基于Citect的自动监控系统的开发与实现

介绍了Citect工业控制软件的主要功能、特点,并对应用Citect开发工程的步骤及其在石油试验环道自动监控系统的应用实例进行了详细说明。     

如何在应用软件中实现财务数学公式自定义

本文实现了在开发具有数据校验功能的软件时，一种全新的数据校验方法，将传统的写在程序中的校验公式或利用手工进行检验数据的方式完全抛弃。该种方法具有配置灵活、维护简单和功能强大的特点，利用界面元素命名方法，内置校验公式到各个界面元素中，而公式是可以灵活维护的，一般是将公式存贮在数据库表中，在软件需校验数据时，从数据库表中读取公式，根据公式中涉及到的各种界面数据项进行自动的数据校验并得出校验结果。这对需大量数据校验和校验算法经常改变的软件是非常有用的。     

新一代并行处理星载计算机技术研究

为提高卫星的整体性能，对并行处理技术在集中式控制体系结构卫星平台的关键部件——星载计算机中的应用进行了研究。所设计的星载计算机采用了总线仲裁和故障隔离技术，并具有图像处理等复杂功能。通过并行双CPU资源的冗余重构设计，可保证在某个CPU发生故障后实现星戴计算机的降级使用，提高了星载计算机的可靠性，并给出了监控软件的流程。最后，采用离散傅里叶变换(DFT)运算，对设计的计算机的并行处理能力进行了预估。     

Ada语言在星载软件上的应用

介绍了星载软件的特点和构成，从提高星载软件可靠性的角度引入了高级程序设计语言－Ada语言与汇编语言的接口调用技术，以及使用Ada 语言开发星载软件和应用技术。     

一种基于双DSP的软件无线电中频调制解调平台的研究与实现

文章简要介绍了软件无线电的概念;分析了TI公司的DSP TMS320VC5509的特点;详细说明了一种基于双DSP的软件无线电中频调制解调平台的研究与实现。     

电路特性仿真软件OrCAD／Pspice的应用

本文通过实例介绍了电路仿真特性软件OrCAD／Pspice在模拟电路、数字电路及数模混合电路几方面的应用。     

基于扩展块的星载软件控制流容错评价方法

空间环境因素引发的星载软件瞬态的控制流错误可能对系统执行效能造成严重影响，为避免容错算法存储开销和执行开销给系统带入过多的计算压力，提出在容错算法开销和所取得的系统的可靠性提升上取得一定折衷，这是星载软件可靠性设计的合理方向。设计了一种适合于弹性添加容错代码的容错方法：扩展块数字签名的控制流检测方法ESCFC（Extend block Signatures for Control Flow Checking）。由空间高能粒子的实验结果和在轨实测结果为系统可靠度建模，提出了算法开销和可靠性效能提升的平衡关系的工程参考和理论依据。定性分析和模拟，充分说明了将该方法运用于航天工程的可行性。     

指令抗干扰性能研究

本文从分析指令的特性出发,研究了指令在外界干扰作用下的特性,提出了单故障相关指令对的概念,分析了单故障相关指令对的性质,提出了单故障相关指令集生成算法,讨论了不同类型指令在单故障情况下的效应,并作了初步分类,最后提供了部分故障试验结果。     

软件测试的度量方法及其应用

软件测试是找出软件中的错误,它是保证软件质量的关键,软件测试的度量是对影响软件测试的属性所进行的定量测量.本文简述了应用软件测试度量技术时所应具有的基本知识,通过一个实例,介绍并讨论了一种实用的关于软件测试进度安排和软件错误数的度量方法.