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

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

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

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

仪器与设备自动化管理系统方案

结合仪器与设备的管理现状，提出了仪器、设备自动化管理系统软件开发的整体思路。介绍了软件中的建立档案、查询资料、修改档案、打印报表、更新资料、作废仪器与设备目录、帮助、退出8个子系统的功能。     

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

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

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

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

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

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

基于VC++语言设计的设备通讯软件

研究了在Windows环境下汇编语言调用问题，通过用VC＋＋嵌入汇编语言技术，为自主开发的通讯接口卡设计设备驱动软件，编写了通讯类的汇编成员函数，实现了上位机与下位机的通讯。     

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

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