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

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

中高轨卫星海洋成像图像几何定位精度提升方法

针对中高轨卫星海洋成像时缺少控制点下的图像定位精度提升问题,提出一种提升定位精度的方法。该方法利用中高轨卫星成像范围大,配合姿态机动,在短时间内寻找有特征点的区域,通过卫星图像与高精度控制图像进行匹配,寻找控制点,求解偏置矩阵,并将该区域的偏置矩阵补偿到海洋地区,以达到提升图像定位精度的目的。结合中高轨卫星成像特点,对河南嵩山检校场和太原区域图像进行仿真,并利用嵩山检校场数据进行在轨几何检校,将检校参数补偿到太原区域。仿真结果表明:无控制点定位精度从118.3个像素提高到37.8个像素,证明了文章提出方法的有效性。     

浅谈工业制造业中几何量测量技术及应用

本文主要介绍基于智能制造基础上,可实现几何量测量的几种测量技术及其应用领域,以供广大检测及计量工程师等在工作中参考借鉴。     

可调动叶风扇技术新进展

变几何喷管可降低风扇出口背压，适应民用发动机涵道比逐渐增大的趋势。但是这种系统存在重量大、紧凑性不足的缺点，为此，旋转合成技术公司提出了可调动叶风扇概念。     

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

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

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

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

北斗三频周跳探测与修复算法研究

载波相位观测值已越来越多地应用到增强系统中,由于观测环境影响,载波相位测量不可避免地会产生周跳,周跳的成功探测与修复是提高导航定位精度的一个重要因素。针对北斗卫星导航系统三频观测数据,分析其不同线性组合观测值的特性,选取合适的组合系数,形成一个伪距相位组合和两个无几何相位组合,采用历元间差分的方法探测和修复组合观测值的周跳,然后还原求解出原始信号的周跳,最后通过实验验证了该方法的可行性。     

制造业经理人online

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