坐标测量机软件质量的评定

EvaluatingSoftwareQualityofCoordinateMeasuringMachineZhouWeihu坐标测量机中广泛采用的用于处理测量数据的软件，其质量优劣悬殊很大，尤其是几何形状评定软件。相当一部分软件因质量不过关而导致用户对坐标测量机失去了信任。英国国家物理实验室的MauriceCox先生在文中论述了坐标测量机软件质量评定和比对的三种方法。坐标测量机软件一致性的测试方法可分为如下三种：证明法、利用数学特征进行自评价法以及用参考数据组（软件规）进行测试的所谓黑匣子法。所有这些测试方法都与坐标测量机的测量能力无关。证明法是将传统的数学证明…     

一个模糊软件可靠性模型的进一步确认

事实已经表明,概率方法在软件可靠性建模中遇到困难。本文介绍一个有效性业已初步确认的模糊软件可靠性模型。通过分析一个实际飞控软件的可靠性行为,进一步确认该模型的有效性。     

KM6氮系统仿真软件研究

介绍KM6氮系统正常工况仿真软件及选择软件平台的原则,针对系统模型非线性和高刚性的特点比较了不同的积分方法。     

硬件设计软件化—EDA新技术介绍

本文从EDA技术的发展历史着手，对电子产品的传统设计方法和EDA方法进行了总结性的比较，提出了利用大规模可编程器件，通过硬件描述语言和EDA软件工具来设计电子系统的思想方法，真正达到硬件设计的软件化。     

KM6-DCS底层网TF-CP5412软件适应性的探讨

德国 WERUM 公司为了限制用户独机使用 TF-CP5412软件,在软件上采用了电子注册的加密技术。但实际使用中发现,当在同一机器上对硬盘进行格式化之类的操作后,重装软件时该软件会认为用户已换机使用,用户只能再向 WERUM 公司购买新的软件。而在实际应用当中,用户很可能会由于各种原因需要对硬盘进行格式化类的操作,这样就不得不为了继续正常使用 CP5412而付出昂贵的重复性投资。为解决上述问题,我们对该软件的加密机制进行了一系列实验和分析,并找出了解决方法。     

中巴地球资源卫星数据管理系统-电子综合化技术在航天器上的应用

本文对中巴地球资源卫星成功在轨运行、圆满完成任务的星载数据管理系统做了全面的剖析,从系统结构、功能等方面阐述了数据管理系统的专业技术及其先进性与系统构成配置的灵活性,对作为飞行器公用平台重要组成部分的数据管理系统的技术发展做了进一步的探讨。     

计算机软件容错技术

论述了软件容错的原理及其在当今系统中的重要性；通过Ａｄａ语言的块结构程序示例，讨论了其在防御系统中的应用以及对未来应用的设想。