基于本体的汽车零部件采购订单的自动生成

本文使用Protégé作为知识建模工具开发汽车制造领域本体,以Jena为开发平台运用基于本体的语义检索技术和规则推理实现订单的自动生成,开发了一套基于本体的汽车零部件采购订单自动生成系统。由于本体是共享概念模型明确的、形式化的规范描述,将本体应用到汽车制造行业的ERP系统中,可以利用本体强大的语义关系表达能力和本体描述知识的共享性,以及建立在其上的自动推理机制实现供应链企业间异构知识的自动集成。     

同步数据流语言输入结构体的可信翻译

为最大程度地减少同步数据流语言编译过程中由编译器引入的错误,需要利用形式化方法自动生成代码,保证编译器产生的代码能够应用于核能仪控系统.本研究使用定理证明工具Coq,对同步数据流语言Lustre到Clight的主节点输入结构翻译阶段涉及的语法、语义及翻译算法进行了形式化定义,并完成翻译算法的形式化证明.研究表明这种经过形式化的编译器能够生成与源代码行为一致的可信目标代码,同时生成的目标代码能够很好满足核能仪控系统的执行规范.     

基于一致性测试理论的Statechart描述的测试用例自动生成

本文研究Statechart描述的测试语义和测试用例的自动生成.基于Tretmans的从标记转换系统描述自动生成测试用例的方法,我们研究如何从Statechart描述自动生成测试用例.本文的主要贡献在于建立了基于Statechart描述的一致性测试和测试用例生成的形式化基础.为Statechart描述建立了形式化测试语...     

ATML测试流程信息的形式化描述

自动测试描述语言(ATML)用于对ATS相关测试信息的标准化描述,这些信息以XML格式表示,其中包含对测试流程的描述.在自动生成测试程序过程中,需要采用编译技术将ATML文档转换为测试程序,要求输入的文件必须采用形式化描述,因此需要将XML格式表示的测试流程信息转换为形式化描述.在研究ATML中测试流程信息结构和实际含义基础上,设计了表示测试流程信息的形式化描述语言.实践表明,该形式化描述语言可以实现测试流程信息的形式化描述,满足测试程序自动生成的要求.     

基于组件的医学影像处理算法平台的实现

随着ITK和VTK的成功,很多知名公司与学术机构也投入大量的人力和物力来研究开发自己的医学影像算法平台,并取得一定的进展.但是,目前大部分医学影像处理算法平台只能用文本编程,不但需要用户有一定的编程水平,而且还要进行不必要的重复编码.针对上述问题,设计并实现了一个能够可视化编程的医学影像处理算法平台,通过对该平台组件的形式化描述,提出了树形数据流模型及遍历方法,并给出平台的语法规则-扩展数据流编程语言的形式化描述.在该平台下,用户可以通过定义和连接各种代表不同图像处理功能的组件来创建程序,不但使非编程人员也能开发出复杂的医学影像处理算法,而且提高了算法的重用性.     

一种结构测试数据自动生成的框架

针对结构测试中控制流和数据流覆盖测试数据的生成都可以归结为面向路径的测试数据生成的问题,提出了一个通用的基于控制流和数据流的结构测试数据自动生成的框架。该框架根据控制流和数据流测试中所采用的覆盖标准优化选取测试路径,并以改进后的迭代松弛法为核心,对所选取的路径生成测试数据。以基于路径覆盖、分支覆盖和数据流覆盖测试数据自动生成这3种算法为核心,开发了一个测试数据自动生成的框架原型。实验结果表明该框架是可行的。     

TMS320C6678的自动代码生成及其应用

为优化DSP工程开发方式,将Simulink的可视化模型开发与TMS320C6678相结合,采用可视化的模块设计工具对算法模型和数据流进行建模。模型之间具有标准的数据流传输接口,由代码生成工具根据算法函数模型的描述生成DSP平台上的信号处理程序,完成了MATLAB算法模型到DSP工程的自动代码生成转换。相较于传统的人工翻译成DSP工程的方式,能够在设计阶段就对算法功能进行仿真测试,使得开发者能够更快捷、以更少的成本花费进行开发,也让后期的算法架构修改变得简单。     

基于SOFL形式化方法的需求分析

介绍了形式化方法在需求分析中的运用,并且介绍了SOFL作为一种优秀的形式化工程方法的一些特点.SOFL在需求分析阶段中采用从informal到semi-formal再到formal的逐步过渡和演化,并采用CDFD进行功能分解和数据流的精确定义,有助于精确且逻辑严密地描述需求,消除需求说明文档隐含的不一致性、二义性、不完整性,从而生成高质量的形式化描述的需求文档.     

微机辅助生成信息系统数据流图

本文介绍了一个微机辅助软件开发工具“数据流图生成软件”,它基于目前信息系统开发系统分析阶段使用较为广泛的结构化系统分析思想,使用一种用来描述系统功能的形式语言对目标系统的功能进行描述,由微机自动绘制出数据流图和产生数据字典中的基本内容。     

PAR平台从规约出发的算法推导与自动生成

简要介绍PAR方法及其支撑平台,使用PAR方法及其平台从规约出发形式化推导并生成了两个典型的算法程序。PAR方法及其平台使用一阶谓词逻辑表示功能规约,分划与递推来进行算法形式推导,各种转换系统来自动生成算法程序。这显著地提高了算法程序的正确性和开发效率,也有助于深刻地理解算法设计思想。     

基于Agent技术的虚拟仪器的研究与实现

基于Agent技术的虚拟仪器,除了继承虚拟仪器的优点外,还具有一定的适应性、协作性和学习性。文章介绍了虚拟仪器Agent的结构、多Agent协调工作机制、虚拟仪器Agent的自动生成及竞争规则。解决了软件设计复杂和软件维护困难的问题,提高了虚拟仪器的可扩展性、适应性和生存周期。     

秦氏模型智能控件化虚拟仪器系统及其本质特征

智能控件化虚拟仪器是最近几年才出现的一种全新的虚拟仪器开发模式,与目前流行的图形式虚拟仪器环境有着本质的区别,它采用了完全不同的技术路线,提供了不同的产品.通过简单图形化平台的开发,基于LabVIEW的仪器组建,以及智能控件化虚拟仪器集成开发环境VMIDS的介绍,详细剖析了主流的图形化工作环境和全新模式的智能虚拟控件两者的工作原理、本质特征和使用方法等,通过比较使读者更好地理解国产的秦氏模型智能虚拟控件和智能控件化虚拟仪器.     

虚拟仪器的实现

虚拟仪器是继模拟仪器、数字化仪器、智能仪器后的新一代仪器,是电子测试领域发展的一个新方向。虚拟仪器是电子测量技术和计算机测控技术的前沿技术,它将计算机的采集、测试、分析与处理引入到电子测试领域,利用数字化技术和软件技术极大地提高了测试系统的灵活性和可扩展性。阐述了测试仪器的发展历程,给出了虚拟仪器的概念,总结了虚拟仪器的特点,重点研究了虚拟仪器的软件、硬件结构,并展望了虚拟仪器的发展前景。     

虚拟仪器开发环境的比较研究

虚拟仪器开发环境非常多,需要十分慎重取舍才能获得最佳效果.为使虚拟仪器开发者能更快更高效地选择适当的开发环境,对当前流行的各种开发环境进行了分类、分析和比较研究.首先将其总体分为两类:基于通用编程软件和基于图形化语言,然后根据各类开发环境在虚拟仪器开发方面的特点进行论述,同时给出了一个相关实例,最后得出对于虚拟仪器的开发,常需要根据开发项目的实际,结合各种开发环境各自的优势进行混合编程,方可达到良好的效果.     

基于虚拟仪器技术的示波分析方法的实现

文中采用虚拟仪器对常见的电化学方法—示波计时电位法 (OCP)进行了改进。研究了相应的硬件配置 ,并采用图形化编程软件—HPVEE加以实现。实验结果表明虚拟仪器的采用 ,实现了OCP方法的自动化和多功能化     

面向虚拟试验的可视化对象建模工具设计与实现

虚拟试验在现代军工产品研发过程中显得日益重要,但基于虚拟试验的可视化建模却并未得到充分关注;针对虚拟试验在军工产品研发中的应用,设计了虚拟试验定义语言(VITA definition language,VDL),并基于该语言,设计并实现了面向虚拟试验的可视化建模工具,具有VDL代码和可视化模型双向转化、可视化建模等功能,可以简单快捷地实现VDL建模功能;首先介绍了VDL模型的定义,然后详细阐述了可视化对象建模的设计和实现方法;最后,通过应用实例验证了该可视化建模工具的实用性。     

虚拟电容式传感器检测系统的设计与应用

结合虚拟仪器和电容式传感器测量技术,设计了一种虚拟电容式传感器检测系统。介绍了该系统的各个组成部分,包括电容式传感器的结构设计、检测电路的参数设置、在LabVIEW开发环境下虚拟仪器平台的构建等。最后,将系统应用于金属位移及膏布药层厚度的检测,给出了实验方案,取到了令人满意的效果。     

基于COM组件的CATIA产品信息集成技术研究与实现

产品数据模型是虚拟产品开发中信息集成的核心。采取基于COM组件的方式进行CATIA产品信息集成,具有结构清晰和互操作性强的优点。该文针对轿车虚拟产品开发的应用背景,实现了基于COM的CATIA产品信息集成,为轿车虚拟产品开发系统中的其他分系统提供了快速有效的产品信息访问。     

虚拟仪器在汽车制造中的应用

主要介绍虚拟仪器的几种基本构成方案，并通过汽车制造中，连杆螺母自动拧紧检测系统和油泵支架成品性能综合检测系统两组虚拟仪器的应用．说明虚拟仪器技术日益成熟及应用简单、灵活、柔性的特点。     

基于Add-in的代码自动生成技术的研究

VB的Add—in技术提供了扩展VB开发环境的接口。文章论述了基于VBAdd—in技术的可视化代码自动生成系统的设计方法，该系统的实现与应用可以简化软件的开发过程。加快软件的开发速度，提高代码的重用率。