基于国产CUP龙芯系列抗恶劣环境计算机

基于国产CPU龙芯系列的加固机系统是一种采用16RCPC MG系列主板模块的抗恶劣环境安全计算机支持MIPS指令系统．是一种高性能的安全计算机大量的功能、性能测试表明,该产品性能优越．质量可靠,可阻广泛的用于军事装备、信息安全等领域。     

多站纯方位定位系统的可观测性条件

对多运动站纯方位目标定位系统的可观测性问题进行了研究.通过运动等效,将多运动站纯方位定位系统等效成一个特殊的单运动站定位问题.利用拟线性估计方程,导出了系统不完全可观测的一些条件,分析中还发现了系统不完全可观测的新情形.     

关于部分K值逻辑中正则可离函数集的极大封闭集之最小覆盖判定的一些结果

根据部分多值逻辑完备性理论,证明了当m=2时,若正则可离关系G2=G2({1,2})∪G2之关系图仅是一个回路,则T(G2)不是P k的最小覆盖成员.     

纯时滞三种群捕食系统持续生存与全局吸引性

研究了具有HollingⅡ功能性反应的纯时滞的两捕食者、一食饵生物系统,通过构造合理的Lyapunov函数讨论了系统的全局吸引性,并得到系统持续生存的充分条件。     

波斯湾的“空中闪电”F-16 Block60战斗机

据英国《防御系统日报》2月7日报道,针对阿联酋空军需求而研制的F-16 Block 60已从美国洛     

面向对象的软件维护性分析研究

对现有的软件维护性分析方法进行了比较,包括软件维护性度量分析方法、软件维护性指标分析方法和软件维护模型分析方法.针对面向对象的软件维护性的研究现状,在美国空军软件维护性评估理论基础上,提出了适合面向对象的软件维护性的定性分析规则与指标,对于提高软件的维护性具有一定的理论意义和实际应用价值.     

面向故障的软件测试方法研究

提出了一种面向故障的软件测试方法,用以检测C程序中坏的存储分配、存储泄漏、空指针引用、数组越界和未初始化变量等5类故障.该方法在词法分析和语法分析的基础上,利用检查点查找算法查找可疑点,通过适当的人工确认,能够有效找出软件中的故障.     

CAI课件开发中的数据库应用

本文在分析CAI课件开发中测试部分设计难点的基础上,结合实例阐述了使用多媒体课件制作工具Authorware开发CAI课件时,如何通过ODBC数据库接口和SQL语言,以外部数据库作为数据源,实现不同章节抽取测试题的方法。     

固体废物中芥子气的GC分析方法研究

主要介绍销毁日本遗弃在华化学武器固体废物中芥子气的GC分析方法研究。文中研究了多种模拟固体废物基质的样品、采样和处理方法。对多项测试参数进行了优化,检测的技术指标满足了要求,获得了满意的结果。