2004年世界UFO大事评说

如果说2004年全球确实发生过一起不明飞行物的目击事件，那它一定是墨西哥空军目击UFO的事件。因为无论从这个事件本身的神秘性、目击者的专业水平、发布者的可信性、研究者的认真程度及提供证据的可靠性，还是它在全球受到的关注程度来看，这起UFO目击事件都可以说是近年罕有的。所以，墨西哥UFO目击事件可称得上是2004年UFO目击第一案。     

基于模糊机会约束规划的机会阵雷达方向图综合

针对机会阵雷达方向图综合的不确定问题,提出了一种基于模糊机会约束规划的方向图综合规划模型。该模型基于可信性理论,综合考虑天线单元分布的随机性以及激励状态的不确定性,将参与方向图综合时激励打开的天线数目看做一个梯形模糊变量,用以描述综合时的复杂不确定环境。随后,将规划模型转化为清晰等价形式,再结合遗传算法和灰关联综合评价法则设计了一种混合智能优化算法,用于求解该模型。以一维任意非均匀线阵为例,对主瓣宽度和最大副瓣电平进行了优化。仿真表明:优化后结果的可信性高于置信水平,验证了该算法的有效性。     

实验结果一致性对报告结果的可信性评价方法

在金属材料化学分析中，重要且大量的工作是对材料进行各种成份的定量分析，其目的就是要用数据来表明各种成份的含量多少，以此判断材料是否符合各种标准规定和要求，其分析过程和测量结果的评定，也反映了工作的测试水平和工作质量。因此，对测试结果的可信性评价是一项严肃而认真的工作，它一般包括正确记录、正确计算、可疑数据取舍和分析结果的表示四个步骤。     

航天器测试需求描述及其自动生成

航天器作为一个典型的安全苛刻系统,其可信性研究需求迫切,支持可信性评估的数据来自于航天器测试用例的执行,而航天器测试需求是测试用例生成的重要依据.在实际应用中,对航天器这类复杂系统,面临测试需求庞杂、测试需求编制周期长、人工经验编制方式难以保证测试需求的充分性、完备性及可复用性等问题.针对这些问题,通过分析航天器组织结构特点,建立航天器形式化模型,基于航天器测试任务流程,给出了航天器静态测试需求和动态测试需求形式化描述规范,并给出航天器测试需求自动生成方法,保证了测试需求的充分性和完备性,提高了测试需求复用性,与人工编制方式相比,缩短了测试需求编制周期.最后设计并实现航天器测试需求生成应用系统,验证所提出方法的有效性.      

基于QFD和TRIZ的可信软件技术冲突解决方法

为解决软件开发中的技术冲突及提高软件的可信性,提出了基于质量功能展开(QFD)和发明性问题解决理论(TRIZ)的可信软件技术冲突解决方法.首先构建可信软件规划质量屋,在软件开发过程中引入用户视角;其次,重点分析质量屋的技术特性自相关矩阵中呈负相关的技术特性,尝试用TRIZ的发明创新原理予以解决,获得多个可行的创新性解决...     

RLV燃料贮箱低温泡沫隔热材料导热分析

针对RLV燃料贮箱使用的泡沫塑料,建立了闭孔匀质泡沫材料的传热模型,给出了利用泡沫材料结构参数计算热导率的方法.算例计算结果与实测值吻合较好,证明了模型的可信性和方法的可行性.最后利用对该模型的分析讨论了泡沫不均匀性的影响.     

飞行器仿真可信性分析

介绍了仿真可信性研究的概念和方法,主要分析了定量研究的方法。飞行器可信性研究可分为静态性能检验和动态性能检验,动态性能检验又包括时间域分析和频率域分析的方法。本文还给出了飞行器仿真可信性研究的一个技术方案。     

质量（可信性、安全性）体系的质量及成熟度

首先由管理质量的三要素：效能、效率及可信性,引伸出质量（可信性、安全性）体系的质量也包含效能、效率及可信性这三个要素;其次参照CMM、CMMI的分级提出质量体系（可信性体系、安全性体系）的成熟度等级。进一步阐述了自主创新投入等对保持质量体系的高可信性的重要性。     

故障注入方法与工具的研究现状

本文将故障注入技术分为基于模拟的故障注入和基于物理的故障注入两类，并从应用方法和工具结构两方面介绍了该项技术的研究现状。     

针对航天测控实时软件的二级AHP-Fuzzy可信性评估模型

随着航天测控系统实时软件的规模和复杂度不断增加,对此类软件可信性的评估越来越重要。然而,如何客观合理地给出一个可信性评估结论也成为新的挑战。通过对航天测控系统实时软件质量特性的分析,确定了航天测控系统软件可信性的评估指标。为了对这些指标进行客观评估,将第三方独立测试结果作为专家评判依据,采用二级AHP-Fuzzy模糊综合评判方法,使软件可信性的评估结论更客观合理。