高分三号卫星总体设计验证

高分三号(GF-3)卫星是我国民用"高分辨率对地观测系统重大专项"中唯一一颗微波成像卫星,也是我国第1颗1m分辨率C频段多极化合成孔径雷达(SAR)卫星,其定量化指标要求高,同时具有雷达天线质量、尺寸大,热控要求高,脉冲功率大,构型布局复杂等技术特点和难点。文章围绕GF-3卫星技术难点,系统阐述了卫星高定量化、高扩展性等总体设计特点及设计验证方法,并采用系统建模、模拟分析、地面试验和在轨测试等多种措施,确保卫星优良的图像质量和定量化应用能力,使其具备一定的在轨扩展能力。GF-3卫星设计和研制过程中采用的验证方法,可为后续SAR卫星的总体设计提供参考。     

基于断言的形式验证方法应用研究

针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。     

民机材料适航符合性验证方法和技术发展

通过梳理民机产品所用材料的适航批准方式,综述民机材料适航符合性验证方法和技术发展现状,解析中国民用适航规章中对民用飞机、发动机、直升机等民机产品用材料的2X.603、2X.613和33.15等直接相关条款要求,结合已取得型号合格证民用飞机和直升机材料符合性验证技术发展实际,阐明相应条款的符合性验证方法和验证技术。材料适航符合性验证中,基于统计分析的方法建立标准（规范）是材料符合性验证的核心,随型号批准的材料主要采用MOC1、MOC2、MOC4方法进行适航符合性验证。面向未来,具有自主知识产权材料的应用,材料自主验证技术和能力的建设,是实现先进民机产业化发展的关键。     

可制造性设计在系统工程过程中的应用研究

本文针对复杂产品协同设计、开发与验证过程中的可制造性共性问题,以航空电子系统为典型的复杂系统对象,探讨了可制造性的概念内涵、工作边界、组织架构和开展时机,着重从系统设计和开发策划、系统需求捕获与定义、系统架构定义、系统详细设计与实现和系统验证子过程的角度,详细阐释了可制造性设计融入系统工程过程的实施思路,并结合具体的应用实例,对可制造性设计对产品高质量交付的正向影响进行了阐释,为可制造性工作在系统开发与设计中的落地推广指明了方向、奠定了基础。     

庞巴迪C系列飞机成功首飞

庞巴迪公司在C系列飞机研发过程中，进行了大量的关键技术先期研究和验证试验，新建了多种试验设施，并开展了系统的研究工作。尽管目前对C系列飞机未来的市场前景还无法作出准确的预测，但可以肯定的是，它对世界民用飞机制造业的格局将产生重要影响。     

ASP.NET窗体验证模式及其在用户身份甄别中的应用

本文讨论了基于.NET Framework的网站安全控制方法,重点分析了ASP.NET窗体验证的内部机制,给出了Authentication和Authorization环节的实现方法。     

齐重阳直升机型号试飞专家

作为中国飞行试验研究院试飞总师,您长期从事我国固定翼飞机、直升机试飞技术研究与发展工作,对多种新型飞机和直升机的试飞做出了重要贡献。请您谈谈您所参与完成的重大的试飞项目,以及某型直升机的试飞定型对我国直升机技术的重要意义。齐重阳:从1990年参加工作至今,我先后参与完成了加油工程、飞豹、歼8Ⅱ飞机、歼10、直升机等数十个国家重大型号试飞。     

关于空间应用SoC可靠性设计与验证的思考

介绍了国内外空间应用SoC的研究现状,建立了空间应用SoC可靠性设计流程,总结归纳了相关的可靠性设计、加固方法以及可靠性验证技术,并提出了未来的研究方向和相关工作建议,供相关人员参考。     

飞行临界软件的验证与确认

飞行监界系统的复杂性和容错要求正在急速增长。因此，必须开发新的技术和方法而且要与已有的方法相结合，以使飞行临界系统在合理开发费用下，达到严格的验证和确认。本文探讨了这类临界领域系统在系统结构和软件设计中的一些高级要求，提出了一些有价值的、有效支持体系结构设计与分析以及软件开发、验证的技术。