概述数学教师教学必备软件及软件平台

本文阐述一个数学教师教学所用到的软件及软件平台,主要有:1)平台类:数学软件平台、课件开发平台、素材创作平台、编程语言平台、Internet操作平台;2)软件类:试卷排版软件、试卷批改软件、组卷评测软件、成绩统计软件及排课软件。     

给定人员情况下最小化开发时间和成本的软件项目调度

给出了一种软件项目的随机调度模型.它明确地把调度策略作为输入,一旦调度策略确定,模型就可以输出关于项目的完成时间或成本的一个概率分布.利用随机最优化技术,能够计算出软件项目的一个调度策略,它使得项目在人员给定的情况下开发时间和成本最小.     

基于光纤技术的无线电引信动态模拟测试系统设计

为提高无线电引信杆实验测试结果的准确性,针对从国外引进的老设备存在的突出问题,设计了基于光纤技术的无线电动态模拟测试系统,给出了测试原理、软硬件设计以及对系统的校准分析。     

内存泄漏的一种静态分析方法

内存泄漏是C程序中常见的错误.从面向具体错误类型的测试思想出发,结合静态测试的特点,给出了一种静态查找此类错误的方法.此方法已经实现,并将应用于实际的测试过程.     

软件测试的故障模型

故障模型是测试的基础,也是一个测试方法成熟的重要标志.软件的错误表现为2个方面:①计算结果错误;②系统"死机".导致第1类错误的故障相对来说是比较容易检测的.导致系统死机的故障其后果是严重的,这类故障由于一般其检测概率较小,也往往难以检测.死循环故障是最常见的能引起系统死机的故障,但这种故障由于其复杂性难以对其模型化,同时在许多情况下,死循环故障也比较容易暴露.对C 中几种能导致系统死机的典型故障进行了分析,这种故障的检测其意义重大,将这些典型的故障组合在一起,就构成了面向软件系统死机故障的故障模型.     

单片机软件测试方法研究

单片机(Single Chip Microcomputer:SCM)软件的可靠性是影响系统和设备可靠性的关键因素.以80C51单片机系统一个C51应用为例,针对单片机软件测试的特点,提出了单片机软件测试方法.     

可复用构件模型探讨

针对软件复用中构件模型的建立,介绍了构件模型的基本概念,分析了几个现存的构件模型,并对构件模型技术提出了一些展望。     

基于最优投影与形态学滤波技术的引信安全性软件识别算法

以数字化图像处理与识别技术为基础,利用最优投影及形态学滤波技术,根据某型惯性保险引信X光图像中所反映的零部件位置、灰度和形态等特征,建立保险钢珠和保险簧状态的识别算法,应用C语言进行算法编程,应用C＋＋Builder完成程序界面设计,实现惯性保险引信安全性在无损状态下的自动识别．     

前门耦合仿真平台的设计

从天线接收等效电路出发,用专业的电磁电路仿真软件设计并构建一类前门耦合仿真平台．该平台能弥补传统仿真中天线辐照与敏感设备传导之间的割裂,反映耦合过程,为整机电磁兼容与防护提供丰富细节和数据．该类仿真极具开放性,可依据敏感设备特点与候选仿真软件功能,自选相关软件构建该平台．最后以某型接收机为例,用三维电磁仿真软件CSTMWS完成天线辐照,在基于CSTDS和ADS的仿真平台下实现前门耦合模拟,得出接收机内部耦合数据,验证该类平台的实用性．     

装备需求论证工具化研究

以体系工程思想和DoDAF2．0为指导,在系统分析国内外装备需求论证工具软件研制现状和存在的问题基础上,提出了装备需求论证工具化概念及其软件功能需求,优化设计了工具软件体系结构框架,并着重探讨了软件集成和数据模型等关键支撑技术,为装备需求论证工具化实践奠定了理论基础。