面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大，软件系统一旦出现故障，很可能会造成人员伤亡或财产等重大损失，因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域，作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时，可信性会下降，会影响到与它可信关联的组件可信性，从而影响到整个系统的可信性.遵循这一思路，设计了软件系统组件可信性发生改变后对其它组件可信性影响度量公式，进一步给出当一组件可信性发生变化，整个软件系统各组件可信性度量发生变化的度量模型.本文以某“航天电源管理设备”为例，证明了本文所建立的组件可信依赖关系度量模型的合理性和有效性.     

大气色散对航空双谱段高分辨率斜视成像影响

航空双谱段高分辨率斜视成像载荷作为重要的成像手段,具有焦距长、分辨率高等特点,由于大气层上疏下密的分层特性,光线在大气中斜视传播时,导致光谱展宽并产生色散和畸变,严重影响系统成像分辨率和目标定位精度。文章分析了斜视成像的几何特性;利用MODTRAN软件仿真分析了斜视成像时大气透过特性和光谱散射特性;通过光线追踪法定量分析了大气色散对可见光和中波红外谱段的光线弯曲和光谱色散的影响,并提出了基于多光谱ZnS楔形窗口补偿方法。结果表明,远距离斜视成像可见光近红外0.50～0.95μm透过率高,散射小;中波3.70～4.80μm散射和路径辐射效应较小,光线斜视传播时,光线弯曲角度基本一致;大气色散对可见光谱段影响较大,航高20km斜视120km时,成像分辨率由0.375m退化至4.2m,大气色散对中波红外谱段影响较小;色散补偿后,可见光谱段色散角度下降为原来的1/2,中波红外谱段不受影响,在提升可见光成像品质的同时,保持中波红外谱段色散特性不变。     

基于析取关系直接变换的冲突解脱方法

针对自由飞行条件下的飞行冲突解脱问题,提出了一种基于析取关系直接变换的联立求解方法(DDTSA)。首先在不引入额外辅助变量的情况下,将基于析取关系的安全边界条件变换成易于联立求解的约束条件,使问题的变量和方程个数大幅度减少,从而降低问题的求解难度。然后为保证求解的精度和稳定性,采用基于Radau配置点的拉格朗日插值多项式对微分代数方程组进行离散化处理,继而求解离散化得到的非线性规划问题。最后分别对2架、3架以及4架飞机的冲突解脱问题进行仿真,仿真结果表明与相关文献中的方法相比,该方法具有更高的计算效率并且能够得到更优的结果。     

优势关系集值决策系统中变精度粗集模型

将变精度的思想引入优势值关系的集值决策系统中,构建了一种基于优势值关系的变精度集值决策系统粗糙集模型,并讨论了该模型的性质及阈值β的变化对模型的影响。新模型可以处理存在偏序关系的不确定或不完备信息系统,并具有一定的容错能力。另一方面,通过合理设置参数β可使新模型的分类效果更加符合实际情况以及人在数据处理过程中的直观感受。实例分析进一步验证了相关结论的正确性。     

制造业经理人online

普惠公司企业传播及政府关系副总裁杰·德弗兰克用创新实力赢得客户普惠作为一家拥有近90年历史的企业,一直以来秉承创新的理念并以其作为努力的方向,推出齿轮传动式涡扇(GTF)发动机技术就是很重要的一个证据。针对GTF发动机,虽然已经拿出了一个基本架构,但普惠还在不断进行着更好的创新,包括推出PW1100G之后,帮助A320neo已实现的额外2%燃油效率的提升,以及在     

罗-罗公司与普感公司宣布建立新含作关系

10月14日,罗-罗公司与普惠公司联合直布,双方已达成构建新合作关系的协议,为未来的中型飞机（120-230座级客机）提供动力。两家公司将组建一家各持股50％的合资企业,为新一代中型飞机开发新型动力装置。     

股指期货与现货指数超前滞后关系研究

采用沪深300股指期货和沪深300现货指数的高频数据,运用协整理论和向量自回归模型对股指期货和现货指数的关系进行探讨。研究发现:沪深300股指期货和现货指数之间存在长期稳定的均衡关系,期货价格在价格发现中尚且不能占据主导地位,价格发现能力较弱。     

中航信与携程签署战略合作协议

近期,中航信与国内最大的在线旅行服务公司——携程共同签署了战略合作协议。根据协议,双方将在航空机票分销、酒店等多领域开展全方位的深入合作。     

合作与竞争——OEM、航空公司与MRO企业之间新的战略合作关系

高可靠性的发动机打破原有的合作关系 尖端技术的应用使得发动机的可靠性越来越高，在翼时间越来越长。国际航空理事会负责技术服务和维修条例的副总裁乔纳森-伯杰表示：“如今，发动机的在翼服务时间为5～7年，而普惠公司早期的JT8D和类似发动机的在翼时间平均仅为12～18个月。”     

基于实体-属性框架的领域知识库构建

知识库是进行各种自然语言处理任务不可或缺的一项基础性的资源。而目前知识库的构建还是一个难点问题,尤其是以自动方式构建复杂的领域性知识库系统的研究还处于探索阶段。本文提出一种基于实体-属性框架的领域知识库自动构建方法,致力于利用航空百科辞典的信息自动获取术语之间的上下位关系及部分实体属性关系,其中,基于多策略的上下位关系术语对提取融合了后缀子串匹配、模板自动构建、实质提取三种方法,分别考虑了辞典中反映上下位关系的不同信息。其中模板自动构建方法,在无需人工标注语料的情况下获得了比较好的效果。属性提取部分采用了以人工标注语料为前提的模板匹配方法。实验表明,本文系统对术语上下位关系抽取的F值达到76.01%,对各个属性的抽取也达到了75%以上。