多艾真体的鲁棒性归约模型

基于问题归约方法,对理想分布式离散型多艾真体系统鲁棒性问题进行分解和变换,消解为单艾真体的鲁棒性问题和各艾真体之间离散控制过程的鲁棒性问题,从而降低研究对象难度级别和问题元数。利用较简单鲁棒性问题的求解,就可推导出整个多艾真体系统鲁棒性判据,并总结为多艾真体鲁棒性归约模型和定理。对于实际多艾真体系统,提出多艾真体的鲁棒相关性模型,用以表示离散型多艾真体中各个艾真体之间的鲁棒相关性。然后分析多艾真体的鲁棒性归约模型与鲁棒相关性模型之间的转化关系。最后。

一种快速组合算子归约模型FCRM

本文在分析了Turner归约模型中组合算子表达式的膨胀原因后,提出了一种快速组合算子归约模型FCRM。本文描述了FCRM的形式体系、转换规则T和归约规则R_c,并且证明和验证了FCRM组合算子表达式的长度一般为Turner表达式的3/4,而FCRM模型的归约路径仅为Turner模型的一半。

一种新的数据库系统的归约审计模型

当前的审计技术存在着诸如信息冗余等缺陷。文章设计了一种新的归约审计模型,其核心是基于关联特征分析的审计踪迹归约。该模型能够有效降低审计踪迹规模,提高数据库系统效率。

故障诊断算法在MapReduce中的优化实现

针对故障诊断算法特点,给出了MapReduce框架实现故障诊断算法的基本方法;通过对故障诊断算法和MapReduce运算框架的分析,得出诊断算法MapReduce化的基本方法和思路;在算法研究的基础上,针对非迭代诊断算法,采用传统MapReduce框架实现;针对迭代诊断算法,采用添加了传送模块的迭代式MapReduce框架实现;分别以最近邻法和模糊C均值聚类算法为例,给出非迭代和迭代诊断算法MapReduce化的具体实现;实验结果表明,文章所提基本方法可以运用在故障诊断算法中,为诊断算法MapReduce化提供依据,将MapReduce运用到故障诊断算法中可以有效提升故障诊断效率。

有限可换主理想环上广义模理论T(Q)的模型可归约性

本文在对两个模型定义了α，β，ｎ－扩充的基础上，利用广义ＥｈｒｅｎｆｅｕｃｈｔＧａｍｅ理论证明了Ｔ（Ｑ）的模型可归约性，从而得到：对无限基数α，β，（α≥β＞０），对于模型ＡαＴＲ（Ｑ）则存在模型ＢβＴＲ（Ｑ）使得Ａα≡βＢ；以及任意自然数ｍ＞０，存在模型Ｃ０ＴＲ（Ｑ），使得Ａα≡ｍ０Ｃ．