教学课程资源库 更多>>

关键词： 定理证明   形式化方法   高阶逻辑   乘法器   HOL4   形式化建模  

摘要： 针对计算机系统设计的正确性问题,研究了一种在测试空间上完备的形式化方法,探讨了硬件系统在定理证明器HOL4中进行形式化验证的一般方法,其中包括如何采用高阶逻辑形式化描述系统的实现与规范,以及在HOL4中证明目标的一般过程.同时,以乘法器为实例,提出一种功能分解法对需要分析的电路进行形式化建模,并对模型的性质在HOL4中进行推理与验证,从而证明了乘法器电路设计的模型满足所提取的性质.

关键词： UML   临床毕业实习管理   需求分析   用例建模  

摘要： 需求分析阶段的任务是确定软件系统功能,用例建模是面向对象软件开发技术中的一个重要部分,它从用户角度描述软件系统功能。以医学院临床管理信息系统为例,利用统一建模语言UML对系统进行抽象,建立用例模型;根据用例建模,采用结构化设计的方法设计出临床毕业实习管理系统功能模块,完成系统初步设计。

关键词： 面向对象   软件测试   技术分析  

摘要： 现阶段,虽然软件取得了广泛的应用,但因为软件本身不完善而导致的应用事故却时有发生,这给用户带来了比较严重的影响。因此,为了确保所开发的软件不存在缺陷和漏洞,采用面向对象的软件测试技术对其进行测试是完全有必要的,应该引起我们充分的重视。

关键词： 可复用软件   构件   开发技术  

摘要： 可复用软件的构件是保证可复用软件正常运行的基础,笔者深入分析了可复用软件的具体开发技术及其相关开发技术,对提升可复用软件的开发质量具有十分重要的意义。

关键词： 体系结构   数据中心   元模型   体系结构设计  

摘要： 近年来,体系结构元模型成为体系结构技术研究热点。由于元模型概念源自软件工程领域且相对抽象,导致在基于元模型的体系结构设计方法概念理解上存在误区。从体系结构元模型概念内涵和作用机理出发,分析了基于元模型的体系结构设计方法内涵和本质,并与传统体系结构设计方法进行了对比与分析,为推广基于元模型的体系结构设计方法提供指导。

关键词： 软件构件   软件开发  

摘要： 随着我国科学技术不断的发展,软件开发的理论和流程,以及构件技术也在逐渐的完善和发展,而基于软件构件技的软件开发,可以更好的利用构件技术的功能,使其软件开发的成本有效的降低,同时软件的系统的安全性、可维护性也能得到可靠的保障;对此本文结合构件定义,通过对软件开发形式和构建模型的分析,最后梳理出基于软件构件的开发流程,希望对于软件工程的发展,有着积极促进的作用。

关键词： 大数据   反恐情报   数据仓库  

摘要： [目的/意义]大数据背景下,反恐情报工作的深层次变革正在酝酿和发生。分析数据的相关性、发掘数据的深层次价值,是大数据反恐情报研究的关键。[方法/过程]在对大数据反恐情报、传统数据仓库体系结构相关理论研究的基础上,将大数据、反恐情报、数据仓库进行深层次融合,结合当前我国反恐情报数据库的现实问题,构建了以反恐情报主题数据库、反恐情报数据仓库为核心的基于大数据的反恐情报数据仓库体系结构。[结果/结论]通过对基于大数据的反恐情报数据仓库体系结构的构建,以期为我国反恐情报的信息化分析和服务决策能力提升提供技术支撑。

关键词： 陆军信息火力战   统一建模语言   作战实体   军事概念建模  

摘要： 陆军信息火力战在未来作战中的地位十分重要,为满足信息火力战仿真需求,对陆军信息火力战概念建模问题进行了研究。简述了军事概念建模的基本概念、建模过程,在对陆军信息火力战格式化描述的基础上,采用统一建模语言对其进行形式化描述,分别建立了陆军信息火力战静态模型和动态模型。通过建立陆军信息火力战概念模型,实现了军事人员和技术开发人员间的交流,为下一步陆军信息火力战仿真奠定基础。

关键词： 战时装备维修保障   维修保障行动   建模   统一建模语言  

摘要： 针对战时装备维修保障行动建模仿真与优化分析对军事概念模型的需求,提出了一种面向保障力量运用的战时装备维修保障行动概念建模方法,分别从保障指挥行动和保障分队行动两个方面,运用统一建模语言,将组织结构静态建模与行为过程动态建模相结合,构建了战时装备维修保障行动概念模型体系,为下一步开展仿真实验分析奠定了军事概念模型基础。

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

摘要： 要保证路桥建设的质量就要从路桥的设计到最终的施工使用都要经得起考验,这样才能保证路桥使用寿命和安全性,也能更好地促进我国交通事业健康发展。在路桥设计中应用结构化设计不仅能够提升路桥建设的经济效益,降低成本,同时对路桥的安全性也是一大保障,所以在今后的路桥设计中桥梁设计者要大力推广应用结构化设计。