教学课程资源库 更多>>

关键词： 模型检验   形式化方法   NuXMV   机载电子硬件  

摘要： 详细设计规范是机载电子硬件适航性设计流程中的关键文档。通过对形式化方法特点分析,给出基于模型检验的设计规范提取步骤,以提高设计的正确性和完整性。以ARINC429总线传输模块设计为例,基于形式化方法完成正向设计过程。试验结果表明,基于形式化方法的设计流程能够有效帮助制定详细设计规范并在后期提高验证效率,进而缩减研制周期。

关键词： 电子病历   中医   结构化  

摘要： 目前医疗资源信息化已成为发展趋势,中医电子病历对于中医学的发展及中医信息化建设非常重要。本文从中医电子病历的研究现状着手,提出了我院肝病结构化中医电子病历系统的设计思路,即中医电子病历要体现中医的特点,以整体观和辨证论治的思想为指导;要实现结构化、标准化和规范化,这是对病案信息进行挖掘和利用的前提和基础;能够实现数据挖掘的功能,分析总结疾病的发生发展规律以及疾病之间的各种关系,使之成为科研工作的有力工具。文章对该系统实现过程中的难点及对策进行了分析,解决了术语不规范、诊断不统一等问题,实现了一个比较完善的肝病结构化中医电子病历系统。

关键词： 构件   基于构件的软件开发   研究技术  

摘要： 基于构件的软件开发研究简称为CBSD,也可称之为基于构件的软件工程,它不仅是目前软件开发技术的一个热点,同时也是一个需要不断克服的难点。研究表明,提高软件产品的质量和生产效率的关键因素离不开基于构件的软将工程,所以,基于构件的软件开发研究十分重要。本文主要介绍一下基于构件的软件开发研究的产生背景、影响因素、方法研究以及和传统的软件技术相比所具有的优势和特点等,希望对软件开发的研究有所帮助。

关键词： 面向对象   软件测试   质量保证   测试方法  

摘要： 由于保证软件质量的一个重要前提条件就是测试软件,开发软件过程当中应该高度重视测试软件所发挥的作用。本文根据面向对象软件测试方法特征,基于过程、方法等角度探讨面向软件测试技术。

关键词： UML   工作流   建模   Rose工具  

摘要： 常规软件产品在需求分析阶段往往采用文字上的需求说明书,这样不同的人员理解起来也各不相同,而UML弥补了这一不足,它采用的是可视化图形且易于理解的建模方式,使得开发人员对于需求的理解趋于一致。选择使用UML可视化的建模语言来进行工作流业务流程的建模,与UML所要表达的动态视图的动态特性相吻合。通过UML的9个视图的分析和研究,给出了具体建模的过程,最后使用Rose工具完成建模实例。从而验证了使用UML对工作流建模的合理性。

关键词： 地质灾害   信息系统   UML  

摘要： 本文采用理论分析与实践相结合的方法，先从理论上研究基于UML的地质灾害信息系统开发的关键技术，在此基础上，将系统的设计文档与UML的特点紧密结合起来，利用UML可以对软件系统进行面向对象的描述和建模，它可以描述从需求分析、系统设计、编码和测试等软件开发全过程。精心规划设计步骤，保证设计出来的系统简单、实用。

关键词： 多智能体   围捕算法   层次结构  

摘要： 针对空地多智能体围捕问题,提出一种层次化的体系结构与任务实现方法。通过系统模态设计实现任务调度与分配,利用改进型人工势场法的路径规划和碰撞预测算法实现追捕者的自主导航,使用基于人工视觉的辅助定位方式完成惯性器件的修正。系统试验表明,该系统可稳定完成围捕任务。

关键词： 结构化设计   道路桥梁设计   具体应用  

摘要： 在道路桥梁设计规划中,不仅仅要充分考虑道路桥梁的使用性能及安全,还要考虑现有国民经济建设发展现状及资金的使用情况,结合实际需要设计合理的道路桥梁结构。传统道路桥梁设计主要采用定值法进行设计结构,从某种角度而言,这种设计结构受不确定因素影响比较多,难以适应社会发展的需要,对此下面主要针对如何优化道路桥梁设计进行详细的分析与总结,在传统设计方法上提出更好的合理化意见,以便进一步优化道路桥梁设计结构,促进其发展。

关键词： 形式化方法   氢氧化铝焙烧炉   联锁设计  

摘要： 介绍形式化方法的基础知识,及其在氢氧化铝焙烧炉风机系统联锁逻辑设计中的应用。

关键词： 软件可靠性方法   面向领域的教学   形式化方法   研究生课程改革  

摘要： "软件可靠性方法"课程是南京航空航天大学培养面向航空应用领域的计算机系统及软件专业人才的一门研究生特色课程。本文首先对软件可靠性方法中有关软件安全性以及形式化方法方面的理论概念、背景以及学科内容发展变化的情况进行了简要描述,并概要介绍了课程的内容;然后,针对传统研究生教学过程中存在的问题提出了面向领域的案例教学方式,并结合南京航空航天大学近年来推行的国际化教学以及科创活动,给出了我们在课程教学中所进行的教学理念、教学内容、教学方法以及考核方式等各个方面的改革内容;最后说明了取得的成果,并指出了进一步需要改进的方面和可能采取的方法。