基于活性顺序图的形式化验证方法及工具研究

近年来,形式化验证方法在软件开发过程的作用越来越大。如何充分利用形式化验证方法提高软件系统的可靠性已成为软件开发者及使用者主要关注的问题。总结了近年来基于活性顺序图的形式化验证方法的研究进展,首先介绍活性顺序图的语言及其表达能力与复杂性,然后深入分析现有的基于活性顺序图的形式化验证的关键技术及其典型应用,最后实现一种基于活性顺序图的运行时验证工具,实验证明使用本验证工具进行形式化验证的可行性。     

显示控制模拟实验系统的总体设计

显示控制管理分系统作为第三代战斗机综合航电系统的核心分系统,采用综合显示和集中控制的方式完成飞行员与飞机之间的人机交互功能。针对院校缺乏实装难以满足综合航电专业教学需求的现实问题,论述了显示控制模拟实验系统的功能需求,搭建了基于TCP通信的总体框架,分析了显示控制模拟设备的集成方案,以构建逼真的半实物操作环境;分析了模拟实验系统软件的总体结构、主控、界面管理、画面显示与管理、通信、设备功能仿真等模块的设计,以及反映教学需求实验项目的开发,为进一步的软件代码实现奠定了基础,也为其他机型航电模拟训练系统的研制提供了切实可行的技术途径。     

纤维缠绕张力制度开发软件中的屏幕截取技术

探讨了在纤维缠绕张力制度软件中用Visual Basic开发的屏幕截取技术,与传统的方法进行了比较,从其特点、原理、操作过程、及程序等方面进行了详细介绍,并给出了具体代码。     

远程医疗监护诊断异构系统的集成实现

针对实际应用项目的需求,提出了一种异构型的远程医疗监护诊断系统的实现方案,系统由远程监护终端、医院诊断分析端及中心服务器构成。监护终端运行于嵌入式ARM11硬件系统,基于Linux + QT技术实现了病人多生理体征数据的采集和发送;诊断分析端运行于PC机,基于Windows + C# + MATLAB技术实现了远程医疗诊断分析;系统中心服务器实现了异构端的网络通信服务和数据库服务,可并发处理多个终端请求。系统运行效果表明该方案实时性好,系统架构灵活,具有较好的可伸缩性。     

基于Linux的嵌入式实时视频跟踪系统

将ARM与DSP相结合,设计并实现了一套嵌入式实时视频传输跟踪系统;该系统以集成ARM和DSP双内核的OMAP3730作为核心处理器,首先通过ARM上搭载的Linux操作系统实现基于V4L2的图像采集功能,然后调用DSP完成H.264视频编码,压缩后的图像由基于实时流传输协议的流媒体服务器传输至远程计算机端解码并显示,最后利用camshift跟踪算法实现对运动目标物体的实时跟踪。该系统是小型无人机自主导航与控制的视觉导航以及以无人机为平台的运动目标检测的基础,有很好的应用前景。     

制作和显示中文软件封面的一种新方法

本文提出利用SPT和西文W inflows制作中文软件封面的一种新方法.其主要步骤是,先在SPT下生成具有TIF格式的底稿,再用图像格式转换文件,使之转换成PCX格式或BMP格式,最后在Windows操作环境下进行艺术处理,生成中文软件封面.,其次,通过对BMP图像格式文件的分析,编制一个在应用程序中显示该中文软件封面的程序.     

X荧光光谱分析软件的开发与应用

本文介绍了在能量色散X荧光分析仪上开发的文件资料管理系统，多元线性回归、快速半定量分析、镀层厚度分析和多功能Lucas-tooth强度校正等应用软件。这些软件的应用提高了分析水平、管理效率和科研开发能力。     

电感耦合等离子体原子发射光谱分析信息系统的开发 Ⅱ.系统设计与系统评价

讨论了系统设计和系统评价。首先，根据ＩＣＰ－ＡＥＳ中有关信息在计算机中的流动、 转换、储存和处理情况设计了计算机流程图，然后根据数据库规范化的要求对数据库的概念 结构、逻辑结构和物理结构的设计作了讨论。该数据库包括了２８０００余条ＩＣＰ发射谱线的有 关数据。运行结果表明，该系统设计合理，信息量大，且具有方便、实用的用户界面。     

大学物理实验计算机数据处理软件开发与应用

本以“LRC电路谐振特性的研究”实验效据处理为例，介绍大学物理实验教学中采用Visual Basic5．0编程工具开发Windows应用程序的过程。