一种膨胀映射的不动点定理

王尚志给出了若干种膨胀映射的概念，并证明了它们的不动点存在定理。对其中第一型膨胀映射的不动点定理做了进一步推广。     

航天器软件质量模型及度量指标

分析了航天器软件的研制技术流程和关注的质量特性,提出了航天器软件质量模型,明确了质量特性和子特性,结合航天器软件研制过程中产生的可度量数据,提出了各质量特性的度量指标。     

对象驱动的软件测试性度量

为了使用统一的方式度量各种软件的测试性,降低测试性度量的难度和费用,提出一种对象驱动的软件测试性度量方法. 方法基于一个由测试性度量、易测试特性度量、测试性因素度量及其关系构成的软件测试性度量框架,首先分析度量的对象,确定对象的类型、对象所属软件的类型和测试情况;然后根据软件的类型和测试情况,从度量框架中选取匹配的元素,构造一个专用的软件测试性度量框架;最后根据度量对象的类型,使用专用软件测试性度量框架中的元素计算测试性因素、易测试特性或测试性. 应用表明方法能够得到软件测试性的定量结果,预计测试资源,为软件测试提供帮助.      

基于CVaR风险度量方法的投资组合模型研究

介绍了CVaR的概念及算法,并利用CVaR对风险进行度量,提出一个新的基于CVaR风险度量方法的投资组合优化模型。利用股票数据进行了实证分析,验证了模型的有效性。     

俄罗斯可靠性度量指标和评价方法

介绍了俄罗斯TOCT可靠性标准体系及其内容,并对俄罗斯可靠性度量指标和评价方法进行了详细的解读,希望对提高我国可靠性技术水平,促进航天器研制的可靠性工作有益。     

基于主动度量学习的空中交通相似场景识别

空中交通的快速增长不断增加了管制员的工作负荷,这已成为制约部门运行的重要因素.如果能够识别出相似的交通场景,就可以利用历史决策经验帮助管制员快速决策控制策略.考虑到交通场景众多且难以标记所有样本,本文提出了一种主动支持向量机度量学习算法(Active SVM metric learning algorithm,ASVM...     

对NASA指挥中心软件测试度量的评定

软件度量用于软件开发过程和软件产品质量的评定，在ＮＡＳＡ航天飞机指挥控制中心改造工程的测试阶段，采用了五种度量，除一种度量之外，其它度量均提供了很有用的信息，根据我们的经验，我们建议在软件开发的测试阶段使用这些度量，同时提出另外的侯选度量供进一步研究。     

Menger PM-空间上复合映射不动点定理的推广

设（X，F，△）和（Y，－↑F，△）是两个完备的MengerPM－空间，△是连续的H型t－范数，函数Φ（t）满足条件（Φ1)，本文在映射T：X→Y和S：Y→X满意更一般的条件下给出了关于复合映射TS和ST的不动点定理。这一定量进一步推广了Fisher,Sehgal和Bharucha-Reid等的有关结果，也是作者“MengerPM－空间上复合映射的不动点定理”一文的一般推广，最后给出了几个有用的结果作为本文主要定理的推广论。     

导航星全球定位系统及其应用

较详细地介绍了导航星全球定位系统（ＧＰＳ）的组成、功能和发展过程。对该系统的导航定位原理、方法、精度度量方法，以及影响导航定位精度的误差进行了分析。全球定位系统是一个具有巨大的发展潜力和深透能力的系统，它的应用范围已超出了其原来的设计要求。最后还介绍了导航星全球定位系统的应用情况。