数据序列处理的确定性方法
Deterministic method of data sequence processing
浏览论文内容
中文总结 AI 辅助
研究针对医学数据库管理系统信号处理任务，提出数据流处理方法及数据序列代数定理，证明引入算子与相关定理联系，解决关系数据管理系统处理监控任务效率不足及现有系统非确定性问题。
中文摘要 AI 辅助
在典型数据处理系统中，数据管理系统可分离。遗憾的是，关系数据管理系统处理监控系统中的在线信号处理任务效率不足。当前针对监控系统需求的数据库管理系统模型研究主要与数据流模型相关，但这些系统是非确定性的。本文提出了用于医学数据库管理系统信号处理任务的数据流处理方法，以及经形式证明的数据序列（流）代数定理，还证明了一些引入算子与Beatty和Fraenkel定理之间的直接联系。
英文摘要
A data management system can be separated in typical data processing systems. Unfortunately, relational data management systems are not efficient enough to handle the on-line signal processing task in a monitoring system. The main current in research into database management system model for the needs of monitoring systems is connected with a data stream model. However, these systems are non-deterministic. This paper presents the developed methods of data stream processing for signal processing tasks in medical database management systems, as well as the developed theorems of data sequences (stream) algebra with formal proofs. A direct link between some introduced operators and Beatty and Fraenkel theorems has been proved
