Rough Sets and Nuclear Safety

It is well-known that rough set theory can be applied successfully to rough classification and knowledge discovery. Our work is concerned with finding methods for using rough sets to identify classes in datasets, finding dependencies in relations and discovering rules which are hidden in databases by means of decision tables and algorithm D. We use these methods to analyze and control aspects of nuclear energy generation.     

线性自动机理论(Ⅱ)——状态迁移图型——非奇异情形

本文研究了部分标准元素,一个由圈环R的元素a所表示的图形可非奇异线性实现,当且仅当a在R中可完全分解为标准元素和部分标准元素的乘积。     

线性自动机理论(Ⅳ)——状态迁移图型(非奇异情形)

本文本部分在前面结果的基础上,来全面刻划非奇异线性自动机的图型,并确切回答图形的线性实现问题。即是,给出线性自动机图型的一般表达形式,给出一组平面图形得以实现为线性自动机之图型的充要条件或特征性质,并在得以实现的情况下求出实现所给图形的线性自动机。     

线性自动机理论(Ⅴ)——状态迁移图型(一般情形)

本文给出一般线性自动机图型的一般表述形式,给出一组平面图形得以实现为一般线性自动机之图型的充要条件或特征性质,并在得以实现的情况下求出实现所给图形的一般线性自动机。     

关于线性内动机理论中一个命题的简化

在作者的“线性内动机理论(Ⅲ)”一文(本刊1963年第3期)中,§7命题3(pp.41—50)的叙述与证明可简化如下。命题3.对于任意一组具有同一 k 和 m 的准标元素     

关于广义局部类域论之存在定理

古典局部类域论(Local class field theory)之主题在于研讨强正则(Stron-gly regular)域之Abel扩张,而近挽新兴之广义局部类域论(Generalized localclass field theory),益将强正则域扩充而为正则者(见G.Whaples 1952,M.Mo-riya 1942),于此扩充中,奇异者莫若存在定理(G.Whaples 1954,T.Naka-yama,M.Moriya 1943),盖其将不复尽然而为无条件者矣!就此方言,首有M.     

推理网络中的证据理论方法

提出了一种基于证据理论的推理网络上不确定性描述及传播的方法,特别是引入了“认可”函数,能直观地表示对一概念的了解程度。此法已应用于测井信息综合解释专家系统WELIES,取得了满意的效果。     

关于线性內动机理論中的一个自由选取問題

§1.前言在线性内动机理论中,能否并如何线性实现一个事先不完全地给出的状态图形,是一个重要的综合问题.比方说,事先给出的图形仅仅是一个含有K个状态的顺向圈z_K.这样,整个线性内动机之状态图形的其它节点(状态)就成为自由选取(don’t care)的了,它们可以被任意地配置成适当的圈(非奇异情形)以至树形(一般情形).关于这一方面的一个问题是:给了一个顺向圈z_K,试求得以线性实现这个z_K的线性内动机的存储元件(单位延迟)的最小个数.Elspas在1959年提出了这个问题,但没有解决.本文将在作者以前的关于线性内动机理论的工作的基础上来讨论这个问题,     

双向双阈值控制策略

本文提出了一种既能保证推理的有效性,又能提高推理效率的双向双闽值控制策略。已在航空物探专家系统中投入使用。     

线性自动机理论(Ⅲ)——状态迁移图型(非奇异情形)

本文本部分在前面结果的基础上,来全面刻划非奇异线性自动机的图型,并确切回答图形的线性实现问题。即是,给出线性自动机图型的一般表达形式,给出一组平面图形得以实现为线性自动机之图型的充要条件或特征性质,并在得以实现的情况下求出实现所给图形的线性自动机。