一种用于热校准风洞的数据采集系统集成及软件设计

简要介绍了研华ＡＤＡＭ４０００系列模块的性能及其特点,并详细阐述了利用该系列模块组成一种用于热校准风洞的数据采集秕 及ＬＡＢＴＥＣＨＣＯＴＲＯＬ组态软件包在整个中的应用。     

计算机辅助质量控制图的应用

在现场利用控制图监控生产过程,调查生产过程的状态,了解工序能力是否适宜,实现了预防为主的思想.如果用手工对控制图进行设计和准则判断非常麻烦,难以在实际生产中推广应用.利用计算机辅助控制图,具有准确、方便、直观和快捷的特点.作者设计和开发了"质量控制模拟系统"软件,该软件适用于操作者在现场对生产状态进行分析和判断,及时预防和控制生产过程,也可作为一种有效的辅助教学软件.      

直升机飞行参数综合处理软件设计研究

飞行参数综合处理软件是飞行参数综合处理系统的关键组成部分,主要负责分析和处理机载飞行参数记录器记录的飞行信息数据。文中在分析一种直升机飞行数据文件的数据存储结构的基础上,阐明了开发直升机飞行参数数据处理软件的具体思路和实现过程。     

软件工程系统论研究初探

基于一般系统论和工程系统论以及软件工程的特点提出了建立软件工程系统论的设想,并就软件工程系统论的研究意义、学科性质与体系、研究内容、研究方法等问题进行了初步探讨.工程系统论以各种各样的工程系统为其研究目标,其方法论体系适用于软件工程.创立软件工程系统论的科学体系及理论框架有助于切实贯彻系统科学和工程系统的基本思想,提升软件工程的研究起点,促进软件工程应用基础研究的系统化、严谨化和科学化.按照工程系统论提出的分类研究方法,可将软件工程系统初步分解为软件工程对象系统、软件工程过程系统、软件工程技术系统、软件工程支持系统、软件工程组织系统、软件工程管理系统等6大子系统.     

基于LPC2292的嵌入式Ethernet-CAN转换器

为了在不改变原有网络结构的情况下,将现场总线控制系统改造为以太网分布式控制系统,作者研发了基于ARM体系结构的LPC2292嵌入式微控制器和RTL8019AS以太网控制器的低成本嵌入式Ethernet-CAN转换器。LPC2292采用嵌入式TCP/IP协议栈通过RTL8019AS与以太网中的设备进行通信,利用LPC2292集成的CAN控制器与CAN总线上的终端进行通信。在通信过程中,LPC2292进行TCP/IP协议和CAN协议之间的转换,该转换器很好地完成了两种网络之间的协议转换和数据通信。     

并发式软件系统横切关注点的建模方法

基于面向侧面技术及统一建模语言状态图提出了并发式软件系统开发过程中横切特性的建模方法.该方法将并发软件系统的业务逻辑和横切行为分别封装到复合状态的不同正交区域中,并通过事件广播机制反映二者的交互关系.同时,以模块化的状态迁移系统作为基本计算模型,对该建模方法进行形式化描述,给出了模型元素及建模过程的精确语义.实例研究表明,该方法在并发软件设计阶段实现了横切关注点的分离策略,并使得系统模型具有松耦合、适应性和可跟踪性的优点.     

高超声速风洞相变热图试验图像处理软件研制

高超声速风洞相变热图试验技术是我所正在开展研究的一项试验技术,主要应用于大面积热测量.我所开展热图试验技术研究已有20余年的历史,尽管在试验技术上取得了一定的成果,但是图像处理软件的研制一直都是困扰课题组的一大难题.该软件在整个试验技术中扮演着举足轻重的作用,介绍的图像处理软件包括了图像预处理软件、相变线提取软件、相变线辨识软件和试验结果分析软件四个部分,每个部分都具有独立的可执行程序,能够较好的满足试验需要.     

高速公路收费系统通信服务器的设计与实现

高速公路收费系统通信服务器是高速公路收费系统数据传输的枢纽.重点介绍了高速公路收费系统通信服务器软件的设计、实现方法和特点.通信服务器使用按优先级分发报文的通信协议,支持多用户的并发通信.为了实现数据共享的集中控制,通信服务器采用客户/服务器的模式.使用多线程的编程技术,满足了对通信服务器实时性的要求.目前,该软件已通过了验收,在广深高速公路上运行良好.      

一种基于历史数据的软件缺陷预测方法改进

捕获-重捕获方法常用于评审会后对产品残留缺陷数的估计.使用均方误差对几种基于捕获-重捕获模型的估计器性能进行评估.然后提出一种基于历史数据的估计器改进方法,并对改进前后估计器的缺陷预测效果进行对比分析.      

一种软件测试过程的博弈模型

为分析软件测试的动态过程及其中诸影响因素之间的关系,运用博弈理论,提出了一种新的软件测试过程建模分析方法.建立了一种软件测试过程的博弈模型,并在此基础上对测试过程中的各方决策条件和博弈均衡条件进行了讨论,其结论有助于理论分析和解决"测试策略选择"和"何时停止测试"等问题.由于考虑了参与软件测试活动的各方利益和可能行为,此方法较之软件测试控制论更能够对软件测试过程中所出现的情况进行解释.本模型可为软件测试规程设计提供理论依据,增强软件测试过程的可管理性.