n维欧氏空间中单位球面面积的另一求法

本文利用实分析中球坐标下的积分计算公式,通过构造一个特殊的径向函数,给出了n维欧氏空间中单位球面面积的一个简洁求法.     

模块测试与维护总线

简要介绍了模块测试与维护总线(MTM-BUS)的发展背景;以开放系统的分层结构描述了MTM-BUS的功能、设计要求和思路;最后分析了国内外MTM-BUS的发展状况及趋势。     

知其不可测而测之——从希腊到花拉子模(上)

两千多年以前,古希腊的哲学家兼科学家展开了一项令人望而生畏的计划,其困难度有如今日探索太阳系的边界,那就是测定整个地表的大小与形状.对古希腊人而言,地表简直大得不可思议.不论是希腊人自己,或是他们接触过的任何文明,活动范围都只是大地的一小部分.想要根据能直接测量的微小范围,揣度人类前所未至、甚至从未梦想过的浩瀚陆地,一定需要极高明、极巧妙的方法.除此之外,还需要系统地发展一门崭新的学问,古希腊人称之为"几何学",希腊文原意就是"测地".     

航天器可测试性设计研究

在调研国内外可测试性技术发展历程的基础上,分析中国航天器可测试性设计技术与国外的差距,探讨其发展的前提条件和规划方法,提出适合中国航天器的可测试性设计的技术实现途径.     

基于DSPN的航天器系统级可测试性指标确定方法

为确定航天器系统级可测试性设计的指标要求,对一种基于确定与随机Petri网(Deterministic and Stochastic Petri Net,DSPN)模型的可测试性指标确定方法进行了研究。通过对航天器系统测试过程的DSPN建模,建立起系统级可测试性设计指标与其约束的联系,并利用求解模型同构的马尔科夫链来确定上述关系,文章同时给出了建模设计实例,进行了指标分析和验证。     

软件需求的可否证性研究

系统测试是提高型号软件质量和可靠性的有效方法。以某型运动控制组件为对象,描述了系统测试的实现方法及遇到的问题,探讨了型号软件需求的可测试性问题,指出了软件需求条目编制的关键在于其是否有＂可否证性＂。     

叶果罗夫定理推广及其应用

叶果罗夫定理是对函数序列而言的，证明了叶果罗夫定理对于满足Caratheodory条件的连续指标函数族也成立，并且给出了一个应用例子。     

基于JTAG的板级可测试性设计

阐述了JTAG技术的采用给电路板的可测试性带来的改善,从设计方法、优化策略以及实现技术等几个方面,讨论了利用边界扫描技术进行电路板的可测试性设计。     

基于内部1553B总线的航天器控制系统可测试性框架设计与验证

可测试性设计是提升系统研制效率和测试品质的重要方法.给出基于内部1553B总线的航天器控制系统可测试性设计的分层递阶结构,建立可测试性设计的模型框架,并对基于1553B总线的航天器控制系统可测试性设计的技术实现进行了分析.最后利用TEAMS软件结合实例进行可测试性设计仿真评估,评估结果证明了这种可测试性设计方法的有效性.