基于模型诊断的研究与新进展

综述基于模型诊断的基本任务、诊断过程、研究现状及主要研究领域 .通过与传统诊断方法的比较指出基于模型诊断方法的研究意义 .列举一些最近出现的有代表性的诊断系统 ,并指出有待解决的问题 .     

关于Lebesgue积分的中值定理

给出了一个引理的六种证法与Lebesgue积分中值定理及其推广定理.     

基于事务数据库的关联规则采掘算法研究

采掘关联规则是知识发现领域的一个重要问题,文中对采掘关联规则问题进行了简单的回顾,分析了传统的关联规则Apriori算法的优缺点,设计了一种基于事务数据库的快速采掘算法TB－MA。实例证明,与Apriori算法相比,TB－MA算法削减了数据库遍历次数,提高了采掘效率,是十分有效的采掘算法。     

关于平均伪轨跟踪性质

证明了紧致度量空间上具有平均伪轨跟踪性质的同胚只有一个链分支,这个链分支就是全空间。特别的,每个点是链回归的。利用这个结果,给出Sakai新近一个定理的简短证明。     

CM分担两个有穷集合的亚纯函数的唯一性

k≥3是正整数,S＝ωω7－42ω2＋70ω－30＝0},f与g为两个满足min{(∞,f),(∞,g)＞1／2的非常数亚纯函数,如果Ek)(S,f)=Ek)(S,g),E({ ∞}f)=E({∞},g),则必有f=g。ωωωω     

可拓集合在资源开拓研究中的应用

利用可拓集合,给出了可拓资源的形式化定义;同时分析了可拓资源的类型,研究了资源的开拓方法,充分利用可拓资源,是企业资源研究的重要内容。     

具有两个公共值集的亚纯函数的唯一性

F．Gross提出问题：能否找到两个（甚至一个）有穷集合Sj(j＝1,2）,使得满足E（Sj,f)=E(Sj,g)(j＝1,2）的任何两个整函数f和g必恒等,这里E(Sj,f）表示Sj关于f的逆像,记重数。仪洪勋对此问题作了肯定回答。本文在涉及重值的情况下对此问题作进一步的讨论,主要结果如下：设S＝{ω｜ω^8-56ω^2 42},如果f与g为两个满足E4）（S,f）＝E4）（S,g）和E^-（{∞},f）＝E^-({∞},g）的非常数亚纯函数,则必有f≡g。     

交互式计算机辅助事故树绘图研究

提出交互式计算机辅助事故树绘图新思想,同时指出这是一种新的事故树数据输入法,即图形输入法。详细讨论了数据采集过程中数据结构的采用和算法设计,不但能方便地实现计算机事故树绘图,而且在绘图的同时得到事故树的全部数据,进而可对事故树进行全部定性和定量分析,这是计算机辅助事故树分析中绘图和数据输入方法的重要补充,同时也将有益于其他类型树及图的绘制。     

群的灰同余关系

给出了群的灰同余关系的定义,在此基础上证明了群的灰同余关系满足乘法交换律,论证了群的灰同余关系的乘,交仍满足灰同余关系等等重要性质,由此将群的同余关系的性质推广到了灰同余关系。     

基于区间值模糊集的聚类分析

对于区间数,提出了反映决策者心态的心态指标的概念,在此基础上,给出了基于区间值模糊集之聚类分析的两种方法心态分类法、数-区间分类法,对后一种分类法,引入了一种指标,并用它对其分类结果的可信度进行了定量分析.