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

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

自学习软件自动化系统NDSAIL的设计与实现

本文介绍一个具有自学习功能的软件自动化系统NDSAiL。该系统能自动从示例中学习问题分解方法,并用于自动生成部分通用算法.该系统还能自动学习基本算法及算法优化方法.在算法构架学习背景下,有效地解决了解释学习的操作性准则问题;并针对一类问题解决了归纳学习结果的正确性问题以及unfold/fold转换技术的完全自动化问题.     

归纳程序综合系统NDIPS的设计

本文讨论了软件自动化归纳途径的现状、症结和解决方法,介绍了归纳程序综合系统NDIPS的设计思想和实现技术,强调了系统中自动归纳程序的关键技术。     

核级软件的验证与确认技术研究

核级软件的验证与确认是核电数字化仪控系统研发的关键,用以确保核级软件设计过程的透明性,验证软件需求规格的完整性,确认核级软件功能与设计需求规格的一致性、正确性。核级软件的验证与确认概要地分成软件设计过程的管理技术及软件的测试技术,本文遵循IEC60880以及IAEA的核级软件的验证与确认导则,侧重研究核级软件验证与确认中的需求验证与软件测试技术,通过开发一种自动化V＆V工具,实现核级控制系统应用软件的一套自动化V＆V流程。     

嵌入式软件形式化建模方法

随着嵌入式系统在各行各业的普及,嵌入式系统也越来越复杂,为保证嵌入式系统正确性,研究从需求分析、系统设计到系统验证、代码自动生成统一建模方法尤为重要。针对以上问题,提出采用状态变迁矩阵（STM）对嵌入式软件进行建模,通过确认STM中的每个单元格保证软件的正确性,且在需求分析阶段更容易发现需求遗漏。针对单元格处理经常出现大量的逻辑判断问题,提出采用决策表（DT）模型对复杂多条件判断分支问题进行建模。在模型建立后进行验证,最后自动生成代码。通过对紧急制动控制建模实验,说明方法的正确性。     

自动数据挖掘算法

研究了一种基于文法引导遗传编程（GGP）的自动数据挖掘算法．规则归纳算法是一种典型的数据分类方法．采用文法引导的遗传编程对规则归纳算法进行改进,从而提出了一种规则自动提取的算法．最后结合电视购物项目,给出了基于文法引导的遗传编程自动提取规则的实例．     

启发式知识获取方法研究

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

归纳逻辑程序设计中的优化问题研究

归纳逻辑程序设计的核心问题是如何从背景知识中优选谓词构造满足约束的归纳假设,按Ｏｃｃａｍ准则,满足约束的最精简归纳假设为优,但迄今归纳逻辑程序设计中精简归纳假设构造的计算复杂性尚未解决。     

BroadWin WebAccess网际组态软件

１基于Internet的自动化软件的产生自２０世纪８０年代初诞生至今，自动化软件（组态软件）已经有２０年的发展历史。８０年代的DOS版组态软件，其图形功能虽然不强但实时性较好；而９０年代随着Windows技术的风靡，组态软件也向OS／２移植，由此组态软件技术也得到了更广泛、更深入的发展与应用；９０年代末，随着Internet技术的不断成熟与全球化的应用，自动化软件也本应该向该技术发展，但事实是自动化软件领域无法与Internet技术同步发展。虽然传统自动化软件厂商也推出了针对Internet技术的网络版（www版）组态软件，其技术是将各…     

基于归纳逻辑程序设计的学习方法及其实现的研究

归纳逻辑程序设计是机器学习领域中的一个新方法，它研究的是从实例和背景知识进行逻辑程序（新知识）的构造．本文介绍了归纳逻辑程序设计的基本理论和方法，并介绍了这种学习方法在专家系统中的应用情况．     

一种新的基于记忆的归纳学习算法

一种新的基于记忆的归纳学习算法王正欧，林燕（天津大学系统工程研究所天津３０００７２）关键词基于记忆的推理，归纳学习，不相似量度，分类树．１引言归纳学习是一种研究得较多的机器学习算法，其中Ｍｉｃｈａｌｓｋｉ的方法［１］是有代表性的．但正如文［２］中指出...     

基于状态转移图的箭载软件时序控制测试用例生成方法

为提升箭载嵌入式软件测试的效率和质量,本文专门针对箭载软件时序控制这一测试需求,提出了一种基于状态转移图的测试用例自动生成算法设计方法。具体分析步骤为首先分析时序控制特性,其次选取状态转移图来表征,自定义所需图元属性以及图元关系、触发条件全面性与一致性的约束条件从而保证模型合理性；再次采用基路径覆盖、转移对覆盖、条件元覆盖三种覆盖准则相结合方式实现测试用例的自动生成；最后以某箭上软件全飞行周期时序控制为基础,多次结果表明该方法生成的软件测试用例可完全覆盖时序控制功能和性能需求,验证了方法的有效性和稳定性,可为箭载软件自动化测试工程化实践提供一定的借鉴。     

面向办公辅助的Excel表格自动合并技术及系统实现

微软的Office软件是日常办公的必然选择之一,其电子表格软件Excel在非专业数据处理方面具有强大的优势。然而Excel软件尚未实现两个或多个表格的自动合并功能,用户通常以手工方式合并表格。手工方式合并表格不仅低效,而且易出现操作上的失误,影响合并结果的正确性和可靠性。为此,研究面向办公辅助的Excel电子表格自动合并技术,通过VC编程调用Excel自动化对象来实现对Excel表格的操控,从而实现Excel表格自动合并的功能。系统性能良好,运行高效可靠。     

一种基于规则的知识获取策略

本文介绍一种化工废物资源化应用专家系统的结构及各部分的功能，着重介绍系统归纳学习设计方法。     

有向软件图的极小源（汇）点集判定算法

本文研究了有向软件图的有小源（汇）点集问题，提出了有效的判定算法，并证明了证明了该算法的正确性。该算法可以用于有关软件图的结构正确性的自动分析。     

基于模糊理论扩充的归纳学习方法和思想

归纳学习是机器学习最重要、最核心也是最成熟的一个分支，但在应用归纳学习所获得的知识以及改进归纳学习算法等方面存在着很多传统方法难以解决的问题。本文从归纳学习的本质--归纳依赖于数据间的相似性出发，尝试将能够较好地定量反映数据间相似性程度的模糊理论应用到归纳学习中去，为归纳学习和机器学习找出一个新的研究方法和思路。     

安全协议验证的归纳方法与串空间形式化比较

使用归纳方法和串空间分别将NSL(Needham-Schroeder-Lowe)协议及其正确性在辅助证明系统Agda中形式化,并比较了这两种安全协议验证法,证明两种方法形式化的正确性和攻击者能力是相同的.     

基于SysML的机载软件分层精化建模与验证方法

机载软件被广泛应用于航空航天领域, 大幅提升了机载设备的性能.但随着机载软件规模逐渐增大、功能逐渐增多, 给软件的开发带来了难度, 如何保障机载软件的正确性和安全性也成为一个难题.基于模型的开发可以有效提升开发效率, 而形式化方法能够有效保障软件的正确性.为了降低开发难度, 同时保障机载软件的正确性、安全性, 本文提出一种基于SysML状态机图子集的机载软件分层精化建模与验证方法.首先使用SysML状态机图对机载软件的动态行为进行建模, 根据提出的精化规则, 对初始模型进行手动逐层精化得到精化设计模型.然后针对软件模型动态变化的特性, 将SysML状态机模型自动转换为时间自动机网络, 并从软件需求中手动提取形式化TCTL性质进行模型检验.其次, 为了实现编码自动化, 将SysML模型自动转换至Simulink, 利用Simulink Coder生成源代码.最后, 以一个自动飞行控制软件为例进行了开发和验证, 实验结果表明了该方法的有效性.     

文本元数据自动抽取算法的研究

提出一种从科技文献等文档中自动抽取元数据的方法,将自动归纳法和相似特征度算法结合起来,基于特征相似的归纳学习算法自动生成抽取规则,并对文档进行元数据的自动抽取。这种方法利用文档自身某些特有属性,对文档的内容进行分块,利用归纳法自动生成抽取规则,并结合特征相似度对生成规则进行匹配,然后对文档元数据信息进行自动抽取,提高了自动生成规则的效率和抽取元数据信息的准确率。     

基于重写技术的程序开发与验证

完整地介绍了一个基于重写技术的程序开发和验证系统,重点展示验证子系统的理论、方法 和技术.验证子系统使得系统能自动证明程序和规范中的优化规则及测试等式,从而进一步保 证程序开发过程的正确性.验证子系统所采用的主要技术是以成批证明方法和证据测试集为 特色的重写归纳方法.