程序语言中的共归纳数据类型及其应用

归纳数据类型利用代数方法从构造的角度归纳地描述数据类型的有限语法结构,但在描述动态行为方面存在一定的不足。作为归纳数据类型的范畴对偶概念,共归纳数据类型利用共代数方法从观察的角度共归纳地描述了数据类型的动态行为。首先,从范畴论和代数的角度给出程序语言中的归纳数据类型定义,并分析了相应的递归操作;接着,利用共代数给出共归纳数据类型的范畴论定义,并根据共归纳数据类型的终结性分析了相应的共递归操作;最后,指出如何利用无双代数及分配律将归纳与共归纳数据类型有机地融合起来,探讨数据类型的语法构造与动态行为关系。     

用探测性的归纳学习方法从空间数据库发现知识

将探测性数据分析,面向属性的归纳和Ｒｏｕｇｈ集方法结合起来,形成了一种灵活通用的探测性归纳米学习方法ＥＩＬ,可以从空间数据库中发现普遍知识,属性依赖,分类知识等多种知识,同时提出了和总结了多种生成空间数据库概念层次结构的方法用于归纳学习,用中国分省农业统计数据的发掘试验说明了ＥＩＬ的可行性和有效性。     

改进的时间帧展开的时序电路等价验证算法

提出一种改进的基于时间帧展开的时序电路等价验证算法，其来源于模型检查中的基于数学归纳的验证算法，在使用并简化了SAT问题中不可满足子集提取过程后，将基本条件检查和归纳检查合并处理．为了能在时间帧展开过程中减少状态搜索空间，利用结构不动点技术并提出了准动态唯一状态约束等改进的方法．实验表明，随着时间帧的不断展开，文中算法运行时间的增长速度明显慢于基于数学归纳法的验证算法，其适合验证经过时序优化后的电路．     

光掩模检查方法的动向

本文主要说明用于半导体器件制造中的光掩模版的检查方法。因为被制造的光掩模的检查包括外观缺陷检查、尺寸测量、比较测量几个方面,所以根据各自的方法、设备及存在的问题加以归纳。特别是就最近几年在外观缺陷检查研究装置化、自动化问题方面,介绍一下各公司的研究、     

模式推理在归纳程序综合中的应用

本文给出了利用模式推理技术检查归纳假设合理性的若干判定条件.由于这种检查属于语法范畴,故能由系统自动完成,从而降低了假设相容性测试的开销,提高了逻辑程序归纳综合的效率.     

NDSAIL系统的归纳结论正确性准则及其自动确认方法

归纳结论正确性的自动确认是归纳学习用于软件自动化必须解决的首要问题,本文针对自学习软件自动化系统NDSAIL的需要,提出了保证归纳结论正确性的一致性准则和可满足性准则以及用多层次的演绎推理加以自动确认的方法,其主要特点是:(1)面向应用的归纳结论正确性准则;(2)验证功能与修正功能相结合的确认方法;(3)基于自动演绎机制的自动实现。     

离群点检测的邻近性方法综述

离群点检测在数据挖掘中有非常广泛的应用,然而并不是所有的离群点检测问题都能用一种最优的方法去解决。针对不同的应用,需要用不同的方法,才能够最有效地解决实际问题。检测方法大致可以分为基于统计、基于聚类、基于邻近性（基于距离和基于密度）的方法。为了及时掌握当前基于邻近性技术的离群点检测方法的研究现状,通过整理和归纳,将代表性强的基于邻近性的离群点检测方法进行了介绍和评价,将其主要分为基于距离的方法和基于密度的方法,对所有提及的方法的应用场景、算法思想、能解决的问题以及各自的优缺点进行了详细的分析和归纳,指出目前存在的问题和对未来研究的发展方向。对开展邻近性的离群点检测研究具有重要意义。     

基于改进归纳式图卷积网络的文本分类方法

针对图嵌入式文本分类方法在预测性能和归纳能力方面的缺陷，在文本图卷积网络(TextGCN)的基础上，进行适当改进。结合预测文本嵌入(PTE)的高效训练和归纳性，在各个网络层中使用不同的图；通过异质图卷积网络架构来学习特征嵌入，利用习得的特征进行归纳推理。实验结果表明，在大量训练样本标注的情况下，所提方法取得了与其它方法相当或稍优的性能。在少量训练样本标注的情况下，所提方法表现更优，性能增益范围为2%～7%,支持更快的训练和泛化性。     

基于GeoView的拓扑规则管理

GIS空间数据模型中,基于规则的拓扑关系检查是保证数据一致性和正确性的主要方法。本文针对GeoView关系模型组织的空间数据提出了相应的拓扑规则管理方法,根据拓扑关系和实际情况归纳出一系列的拓扑规则,并通过实例介绍了拓扑规则的检查算法的实现。该拓扑规则管理方式已应用于GeoView平台,较好的实现了对空间对象拓扑关系的管理。     

定点微型计算机的容错设计

本文所述模三检查方法,曾用于一种小规模集成电路计算机中,以实现故障检查、恢复与定位等功能要求。为了适应大规模集成电路的特点,并充分利用它所提供的新的技术可能性,现将模三检查等功能归纳成为一种模三检查器组件,而且将故障恢复安排在微指令一级进行。由此,在相应微处理机的结构很少变化的情况下,就可以完成故障检查、恢复与定位等功能要求。除此之外,将此方法推广到超大规模集成电路的情形,也是很直接的。     

程序语言中共归纳数据类型的一种fibrations方法

范畴论与共代数是程序语言中共归纳数据类型研究的传统方法,这些方法在语义行为分析与共归纳规则描述等方面存在一定的不足。针对以上问题,提出了一种fibrations方法以对共归纳数据类型的语义行为与共归纳规则进行研究。该方法系统分析了fibration上共归纳数据类型的重索引函子、对偶重索引函子与真值函子等基本逻辑结构,应用等式函子与商函子等工具建立共归纳数据类型与其语义行为在程序逻辑上的对应关系,深入分析共归纳数据类型的语义行为;并以基范畴上自函子及其在全范畴上保持等式的提升为工具构造共递归操作,抽象描述共归纳数据类型具有普适意义的共归纳规则;最后通过实例分析简要介绍了fibrations方法的应用。     

基于面向属性泛化及信息增益的数据挖掘方法研究

针对面向属性的归纳方法及粗糙集方法对知识粒性连续性的特点，将两者有机结合，利用面向属性归纳方法对数据进行泛化，再用属性的信息增益技术寻找泛化属性之间的数据依赖关系，能快速地在数据集中挖掘分类规则。将其应用于经典的仿真算例中，仿真结果合理、可靠。     

连续系统故障可诊断性评价方法综述

故障可诊断性评价是故障诊断的基础, 能够为诊断算法的开发和传感器的优化配置提供依据与指导. 在梳 理可诊断性概念、评价流程与功能的基础上, 从定量模型、定性模型以及数据驱动这3 个方面对连续系统可诊断性 评价方法进行分类综述, 归纳和评析了各方法的原理与特点, 并比较了定性评价与量化评价结果的优缺点. 最后探讨了故障可诊断性评价方法未来可能的发展方向.     

NDSAIL系统的归纳结构正确性准则及其自动确认方法

归纳结论正确性的自动确认是归纳学习用于软件自动化必须解决的首要问题。本文针对自学习软件自动化系统ＮＤＳＡＩＬ的需要，提出了保证归纳结论正确性的一致性准则和可满足性准则以及用多层次的演绎推理加以自动确认的方法。其主要特点是：（１）面向应用的归纳结论正确性准则；（２）验证功能与修正功能相结合的确认方法；（３）基于自动演绎机制的自动实现。     

启发式知识获取方法研究

归纳学习是解决知识自动获取的有效方法，针对ID3算法、基于粗集的归纳学习以及其它一些归纳学习方法存在的问题，提出了一种新的归纳学习算法ITIL。此算法用信息增益为启发式，选择尽量少的重要属性或组合，以可分辨性为依据提取规则，许多实例表明，这些规则不仅简单，而且冗余小，作为知识获取模块的一部分，ITIL已被集成到一个“基于知识发现的医疗诊断辅助系统”动态知识库子系统中。     

一种基于包容盒的逐层过滤的动态干涉检查方法

本文针对装配体的可装配性检查,提出了一种动态干涉检查方法,方法的关键是逐层过滤,逐步细化部件拆卸过程中的可能干涉部件集。该算法减少了精确求交的次数,提高了算法效率,本算法已经在面向装配设计系统中实现。     

信息化条件下建立训练评估指标体系研究

本文从建立信息化条件下训练评估指标体系的至关重要性出发,提出了建立评估指标体系的意义与原则,并归纳了信息化条件下训练评估的多种评估方法,着力提高部队的信息化训练质量。     

关于择扰逻辑单调性的几个结果

本文在Ｓｈｏｈａｍ给出的择优模和择优蕴涵概念的基础上，进一步研究了择优逻辑的单调性。首先，讨论了逻辑的若干基本性质，并给出了单调性的一个充分条件；其次，证明了单调性与上律等价，并给了单调性的一个更为简洁的充要条件；最后，讨论了解释集合是归纳集合是归纳集时的单调性，证明的单调性与择优蕴涵的退化等价。这些结果，提示了择优蕴涵、传统蕴涵、单调性、反证律之间的关系。     

管网模型中基于对象分类的构件及组合件构造方法

结合工厂ＣＡＤ系统的开发与研制,对管网建模中出现的拓扑特征进行了分析归纳,提出了一种基于对象分类的构造方法,在保证信息完备性的基础上,该方法能有效地处理各种构件和组合件,在实际应用中取得了很好的效果。     

面向对象软件自动生成在检测系统中的应用

本文运用软件自动生成的方法在检测系统的应用领域内进行研究,通过对应用系统的归纳、抽象,建立了本系统的应用模型;然后运用面向对象的分析和设计方法对该模型进行应用描述、参数化和编译连接,提出了检测领域软件自动生成的设计方案,提高了软件的复用性.