UML 2.0的形式化语义研究

由于UML 2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证.基于此,在描述UML 2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML 2.0顺序图和状态图之间的模型转换,也为使用UML和形式化方法相结合描述软件体系结构的交互行为奠定了基础.     

新闻文本中事件语义表示

事件是比"概念"粒度更大的知识表示单元,更符合人类的认识过程.事件作为新闻文本的知识单元,结合新戴维森事件语义和6要素事件模型,给出了一个新的事件形式化表示方法;扩展不同的操作算子给出了修饰事件要素的模糊信息、对象、时态与环境的形式化表示方法;使用描述逻辑方法描述了事件对象要素中的概念,给出了新闻文本中事件关系形式化的表示方法.实例表明,该方法能够较好地表示新闻文本中的事件语义.     

协同Ontology系统CODS的研究与实现

结合Ontology可视化表示及处理原型系统的开发,提出了协同Ontology的系统框架CODS及Ontology的形式化表示,给出了基于关系数据库的存储方法,并采用基于角色的加锁机制实现Ontology的协同.     

一种基于有色网的行动推理表示模型

针对行动推理中的异步并发、真并发和冲突难以被表示的问题,利用有色网具有严格的数学模型、易于形式化地描述系统异步、并发等特征的优点,提出一种基于有色网表示行动推理的形式化模型—CPNRAA网.运用其对状态、动作以及复合动作进行了形式化的描述,通过构造动作及复合动作的CPNRAA网并加入一个用于保存动作序列的库所,得出一个可以生成动作序列的CPNRAA网系统,并提出了该网系统动作序列的生成方法.对办公室环境下送咖啡实例的CPNRAA网系统进行了建模和仿真,自动生成的动作序列验证了CPNRAA网表示行动推理的可行性和有效性.     

UML 顺序图的一种形式化描述方法

统一建模语言UML是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为了事实上的工业标准。但UML不是形式化的建模语言,缺乏精确的、形式化的语义,因此阻碍了它的进一步发展。线性时序逻辑是并发或反应式程序动态语义的一种形式化描述语言,它适合用来精确地表示模型的动态语义。本文定义了顺序图的形式化语法,采用线性时序逻辑给出了顺序图的语义描述,并通过实例分析,对模型的某条性质进行了证明,为模型做进一步分析和验证提供了基础。     

本体在智能决策支持系统中的应用探讨

探讨了一种智能决策支持系统的构建方法,引入本体技术实现系境内部信息和知识等资源的共事.提出在IDSS的知识表示、知识管理过程中应用多本体技术、达到形式化表示和高度共享系统知识及信息的目的.     

基于形式化本体的数字化学习资源共享技术研究

阐述了本体表示数字化学习资源的特点,研究了基于形式化本体的教育资源表示技术,在此基础上研究了一个基于本体的教育资源共享系统.     

基于本体的知识形式化表示

本文在介绍了知识的形式化表示的基础上,分析了本体概念、关系、函数、实例、本体基本关系和概念的形式化表示,探讨了基于本体的知识表示的方法;并且将此运用于协作感知模型的知识库构造中的知识表达.     

一种基于形式化描述的测试案例生成方法

基于形式化描述的验证测试是高安全系统的有效评估方法,而如何生成测试案例是基于形式化测试中的关键问题.针对形式化方法生成测试案例的不足,在分析形式化描述语言Z结构特点的基础上,提出了一种基于形式化描述的测试案例生成方法.从分析Z语言描述的输入空间、前置条件和后置条件出发,对前置条件适当重写,然后根据前置条件利用更改的判定条件覆盖准则来生成测试案例集,该方法引入了控制流覆盖准则,克服了经验方法输入空间划分不完整的缺点,降低了形式化描述的难度,并可以使测试案例生成过程自动化.     

受限主观题自动判分系统设计与实现

研究了受限语境下中文文本语义相似度计算,提出一种文本语义形式化表示方法——语片表示法,实现了《〈操作系统〉课程主观题自动判分系统》。进行系统自动判分和人工判分的对比实验,系统判分正确率为85.24%。与同类重要系统进行了对比实验,发现系统有效性与对比系统相当。     

CAI软件评价方法研究

评价可以有效促进计算机辅助教学软件的生产和应用.分析比较了国内外传统的分析式、观察式等教育软件评价方法和特点,将指标体系评价和实验评价相结合,阐述这种综合性评价方法的实施过程,并探索了评价指标体系的建立和指标项目的制定及评价量化方法.     

纺织资源管理系统软件测试的设计与实现

文章介绍了软件测试的基本原则,按照软件测试的基本理论和方法,针对纺织资源管理系统的结构特点,制定了该系统的测试策略,并采用边界测试、功能测试和回归测试等测试方法对系统进行了全面的测试,取得了显著的测试效果。     

提高估算软件成本精度的方法研究

指出已有的软件成本估算方法中的问题,提卅采用模糊神经网络方法构建软件成本的快速估算模型来提高估算精度。将60个软件项目的相关数据作为样本,分别对神经网络和模糊神经网络两种系统进行训练。将两种模型的训练和估算结果进行比较．结果显示模糊神经网络模型在软件成本估算上比神经网络模型具有更高的学习效率和估算精度。     

软件测试管理系统设计

近年来,随着软件规模的不断扩大,传统的手工测试方法已严重影响了软件的发展,它不但需要投入大量的人力、物力和时间,最终还是由于测试的工作量太大,而无法保证软件测试的充分性,从而无法保证软件的质量。企业对软件测试的过程越来越重视,但是目前适合中小企业的软件测试文档管理系统还不是太多。为满足这方面的需求,利用软件开发中瀑布模型的设计方法和面向对象的技术设计,实现了对软件文档和测试用例等进行管理。在实际应用中,通过系统对测试的管理,可以更加方便地对软件进行测试,对测试文档进行统一管理。     

基于DSP的实时跟踪系统的软件优化策略

由于TMS320C6000系列DSP具有独特的超长指令字(VLIW)结构,芯片硬件功能能否充分发挥很大程度上依赖于软件的执行效率.因此,在用DSP进行实时跟踪系统的设计时,软件的执行效率将直接影响系统的实时性.笔者深入研究了基于DSP的视频跟踪系统中软件优化的方法,包括编译器选项的设定、DSP关键字和内联函数的使用、数据打包处理以及软件流水技术.利用这些方法对系统的软件进行优化,解决了系统在处理过程中实时性差的问题,从而提高了整个系统的稳定性.     

基于CAN总线的船舶火灾报警系统的设计

分析了船舶火灾报警系统中影响可靠性的因素。提出了基于CAN总线的船舶火灾报警系统的设计方法，即通过数字滤波和软件陷阱等措施来提高系统的可靠性。实际应用表明，采用这一设计方法可大大提高船舶火灾报警系统的可靠性。     

浅谈架构高效应用系统平台的方法

构筑高效应用系统平台的方法是依据软件管理规范化原则和开发方法可重用性原则,先设计合理的总体框架,全面分析系统内外所涉及的使用对象、处理数据和解决的问题,再逐一建立针对性的功能模块.这样可以提高软件应用开发的效率,较好地构筑高效应用系统平台.     

基于UML的机械CAD系统开发研究

研究如何在面向对象的机械CAD系统开发中借助统一建模语言UML与CASE工具———RationalRose来建造一个健壮的和易维护的机械CAD系统.提出了UML面向对象分析在机械CAD系统开发中的一般过程.并对CASE工具在机械CAD系统开发中的应用及其优越性进行了探讨.对提高CAD软件质量及软件开发效率,促进CAD的应用与发展具有一定的理论与应用价值.     

软件Agent技术与软件体系结构

科学合理的软件体系结构是开发一个成功应用系统的必要条件,对于提高系统的开发效率和质量具有非常重要的意义。软件Agent技术的提出为复杂分布式问题的求解找到了办法。本文综述了软件体系结构和软件Agent技术的主要概念、特性、作用及相应的软件开发方法,指出了各自的研究现状及发展趋势。提出了可用多级正交软件体系结构来实现软件Agent的合成,最后阐明了将软件Agent技术和软件体系结构结合起来在大型软件开发中的应用。     

远程控制系统的软件设计

研究了远程控制系统软件的设计原理和设计方法，提出了一种基于Intemet的远程控制软件设计方案，设计并实现了一套面向现场总线的远程控制系统软件，该设计方案基于Java虚拟机的运行机制，将控制软件嵌入到HTML语言中，使异地用户可以访问现场数据，调节控制器参数，从而达到远程控制的目的，系统运行测试表明，本方案是可行的。