航天运输系统中软件复杂性度量与控制

用软件度量学的方法来科学地评估软件质量,能够更有力地对软件开发过程进行控制和管理,合理地组织和分配资源,制定切实可靠的软件开发计划,从而获得高质量的软件.     

太空新航线

“航天发展战略论坛”谋划20年后航天发展;英国海军“潮良”点防御导弹系统中期改装;神舟七号载人飞船运抵酒泉卫星发射中心;哈萨克斯坦首颗卫星失效;罗塞塔探测器被唤醒     

pq阶亚循环群局部传递的图

所指的图是有限的、单的、无向的且无孤立点。如果图的自同构群分别在图的边集合和点集合上传递．分别称图是边传递的和点传递的。设G≤Aut（F），如果对于每个α∈V（Г），Gα在Г（α）上传递，则称Г是G-局部传递图。主要利用边传递、点传递和局部传递的关系及陪集图的理论，获得了关于pq（p、q是素数，p〉q）阶亚循环群局部传递的图的完全分类。获得的结果为：关于pq阶群局部传递的图或为弧传递图，或为二分的边传递图，或为一些边传递图的并。     

B2C电子商务中信号机制的建立

首先提出双向信息不对称问题是制约B2C电子商务发展的关键,通过对信号传递理论的研究成果进行归纳,总结出建立B2C电子商务中信号机制需要符合的条件,并建立起B2C中信号机制的模型,即企业传递信号—消费者甄别的信号机制和消费者传递信号—企业甄别的信号机制。     

中国首次月球探测工程第一幅月面图像

2007年11月26日发布中国首次月球探测工程第一幅月面图像是由嫦娥一号卫星上的 CCD 立体相机获得的。CCD 相机采用线阵推扫的方式获取图像,轨道高度约200千米,每一轨的月面幅宽60千米,像元     

定数截尾时，Weibull分布的Bayes双样预测

对定数截尾时的Weibull分布，介绍了无信息先验分布下的Bayes等尾精确预测区间，讨论了它的计算方法，指出了平方损失下Bayes预测子不存在，给出了Frequentist预测子，并用数值例说明之。     

GNSS在国际民航组织中的标准化工作综述

介绍全球卫星导航系统(GNSS)在国际民航组织(ICAO)中的标准化工作情况,其中包括ICAO公约附件10有关GNSS标准与建议措施制修订情况以及现各大卫星导航系统加入ICAO标准框架情况,同时对目前我国北斗在ICAO中的标准化工作作了介绍。     

Pareto分布及其在可靠性设计资源分配等问题中的应用

ParetoⅠ型图是QC小组基本工具之一。介绍ParetoⅡ型图、Pareto分布、Pareto累积分布及连续型Pareto分布函数,推荐几种Pareto分布函数的数学模型,以可靠性设计资源分配实例说明Pareto分布在资源分配合理性分析中的应用,并提出了3种分配合理性指标。     

两米光栅—线纹自动测量仪测量不确定度的评定（二）

EvaluationofMeasuringUncertaintyoftheAutomaticInstrumentforMeasuringLengthGratingsandLineStandardsupto2m(2)RenDongmei;NiuLixin;WangXiaowie;QiAihui;CaoHang上接1998年第18卷第3期第26页3测量光栅尺的合成标准不确定度本仪器测量光栅尺时，采用双干涉光路测量方法，其测长公式为l一（11＋12）／2（18）l。一n。·A／2一人·入／64（i—l，2）（19）式中，l——测量长度；l。——干涉光路i测得的长度值；n。——干涉光路i中干涉条纹的变化数；k。——干涉光路i的计数脉冲数。由仪器的工作原理可知，11、人相关，根据不确…     

不确定度评定的一种新方法──最大方差法

研究了不确定度评定的新方法──最大方差法，分析了它的原理，列出了最大方差法用表，举例说明了它的应用。