机场行李处理系统与安检设备联动功能的实现

行李输送是机场一项非常重要的工作,通过PLC编程控制完成英国LOGAN行李处理系统与德国海曼X光机安检设备的联动,使得整个系统的组成变得比较简单,便于维护,行李处理系统要求的各种功能也得到了很好的实现,提高了机场的客运能力。     

不断超越极限——美国PNT体系结构的目标

美国PNT体系结构开发团队通过评估未来国际环境和长期用户需求与目前体系结构存在的能力差距,提出了更能完全满足未来需求,且能填补能力差距的目标PNT体系结构,以及实现这一目标的指导原则及其策略和建议。未来环境趋势评估     

模型驱动的嵌入式系统设计

随着嵌入式系统设计周期越来越短,功能越来越复杂,越来越多领域的设计人员参与设计,市场需求导向致使需求变更越来越多,以传统文档形式的需求来驱动开发已根本不能满足时间和成本方面的要求。本文提出了采用可执行模型、动态需求规格和接口控制文档共同作用的驱动嵌入式系统设计方法,它能够较好地满足目前系统设计的要求。在文中,我们首先介绍了当前嵌入式系统设计中存在的一些问题,然后介绍了模型驱动设计的方法、语言和优点,并对动态需求规格和接口控制文档的执行给出了建议,最后得出模型驱动的嵌入式系统设计是一种行之有效途径的结论。     

脱胎换骨的升级——瑞典研制JAS-39E“鹰狮”战斗机

以全球视野来应对战斗机市场的激烈竞争,是瑞典JAS-39战斗机全面升级过程的显著特征。这种升级方法不仅以较高的成本效益缩小了与竞争对手的差距,还加强了与供应商的联系,进一步贴近了用户需求。     

基于场景控制特征的安全性需求分析方法

安全性需求是系统安全性保证的关键。随着系统复杂度和耦合度的剧增,安全性需求的分析提取日益困难。通过对系统需求场景的控制结构和过程分析建模,提出描述控制过程中系统变量间关系的变量影响图模型,进一步给出了安全性需求分析方法。通过该方法,使用变量影响图等对控制过程进行分析,生成基于系统理论事故模型和过程（STAMP）的危险性控制活动,并以此获得系统安全性需求。经实验验证,所提出的安全性需求分析方法在正确性和一致性方面具有较好的效果。      

基于有限状态机的操作系统需求层形式化验证

操作系统是航天器必备的基本软件,操作系统的可靠性和安全性直接关系航天型号任务的成败.虽然目前已采用多种手段对操作系统进行可靠性和安全性保障,但仍存在不能完全排除缺陷的情况,因此对空间操作系统开展形式化验证研究势在必行.需求层验证是操作系统形式化验证的一部分,本文在分析操作系统需求的基础上,采用有限状态机在操作系统需求层进行形式化描述,并针对应用在某航天器上的SpaceOS2在需求层进行了建模,相应地在定理证明工具Coq中进行了描述建模;然后定义了六条操作系统应满足的全局性质并进行了形式化描述,给出了系统模型满足这些性质的机器可检查的证明.证明结果表明采用有限状态机方法对操作系统需求层进行形式化验证是可行的,为进一步全面形式化验证奠定了基础.     

面向创新的产品需求获取与处理研究

模拟创新是我国企业寻求发展的出路之一,其中满足市场需求是产品创新的根本点.如果将市场需求转化为指导产品设计的可操作的设计说明书,需要它们之间语义表达的统一、结构化的表达方法、结构化的映射关系以及产品生命周期内多领域的全局考虑.本文在此前提下对市场需求如何进行敏捷地获取、分析和定义做了较为深入的讨论,建立了产品需求模型,并提出了支持产品创新的需求获取与处理软件系统RADAR的框架结构.最后,给出了实现该系统的关键技术.     

飞翼布局飞机侧风起降特性

飞翼布局飞机的动态特性与常规飞机相差较大,在侧风起降过程中呈现出新的运动特性。对侧风起降过程中飞翼布局飞机的配平特性与响应特性进行了计算与分析,掌握了其区别于常规飞机的特点,侧风对飞翼布局飞机起降安全影响最严重为侧翻效应;结合新型操纵舵面的操纵特性与使用特性,对飞翼布局飞机起降阶段的效能需求开展了分析;通过对常用的侧风操纵策略进行了仿真计算与对比分析,提出了适用于飞翼布局飞机的侧风起降操纵策略。     

复苏中的卫星通信业

2004年通信卫星市场处于意想不到的低迷状态,但航天业内人士预测,随着卫星电视直播市场容量的继续扩大及对高清晰电视、高速宽带等卫星应用新业务需求的日益增长,2005年卫星通信市场需求将从低迷走向适度升温。     

面向需求的通用弹药质量评价

为更好地发挥军事需求的牵引作用,将武器装备符合性质量观念提升到适用性质量观念,提高通用弹药质量水平,科学地评价通用弹药质量非常重要.分析了外军武器装备需求实现和现代质量观念,提出了面向需求的武器装备质量评价理念,论述了面向需求的武器装备质量评价的作用,研究并建立了面向需求的武器装备质量评价模型,评价模型贯彻了需求牵引的思想.通过对通用弹药的特点和基本需求分析,建立了科学的、系统的通用弹药质量评价指标体系.