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

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

一种圆柱物料装填机器人残余振动抑制方法

为提高载具内的物料装填效率，提出了一种在载具内受限空间中使用的新型圆柱物料装填机器人，并通过优化关节轨迹，对机器人末端残余振动进行抑制。首先，给出物料装填机器人的总体设计方案和工作流程。然后，结合物料装填机器人的结构特点，应用拉格朗日方法建立封闭形式的刚柔耦合动力学模型，并应用模态分析方法得到机器人末端动态响应计算方法。最后，以物料装填机器人关节残余弹性势能最小为优化目标，使用最大最小蚂蚁系统，对机器人关节轨迹进行优化，并对优化结果进行仿真验证。仿真结果表明，优化后的关节轨迹，在满足快速装填要求的基础上，可以降低约34.4%的关节残余弹性势能和约37.6%的机器人末端振动振幅。      

四旋翼倾转飞行器操纵冗余设计

建立了四旋翼倾转飞行器旋翼、机翼、机身的非线性气动模型和飞行动力学模型,并在Matlab/Simulink环境下搭建了仿真模型,根据仿真模型计算各个操纵面的操纵效率,确定了不同状态下各个通道需要用到的操纵方式,结合飞行动力学模型和操纵方式,在纵向通道上进行了全包线的配平计算,表明了操纵策略的可行性。     

基于多尺度残差卷积网络的HEVC视频隐写分析

图片、语音、视频等多媒体形式的信息交流在网络通信中占有重要地位，同时也有很多非法信息的传播隐匿于此。隐写分析是甄别隐秘信息是否存在的有效手段，提出了一种通用的基于多尺度残差卷积网络的HEVC视频隐写分析算法。网络主体由残差计算、特征提取和二分类3部分构成，其中在特征提取部分针对性地提出了残差卷积层、多尺度残差卷积模块及隐写分析残差块。实验结果表明:所提算法基于视频像素域分析网络的检测率高达99.75%，比传统的手工提取特征方法具有更大的优势。      

等温锻造对TA15合金组织性能的影响

研究发现,在(α+β)双相区内等温锻造工艺参数对合金组织有较大影响;TA15钛合金室温拉伸强度在950~990MPa范围内变化,室温冲击性能在45~59J/cm2范围内变化.随锻造温度的升高,室温拉伸强度有所降低,室温冲击性能有所升高;而随锻造速度的减小,室温抗拉强度和冲击性能均逐渐降低.     

航空发动机设计图样典型标准化问题分析

结合航空发动机设计图样标准化检查的实际情况,针对基准、表面及其应用和尺寸标注2类典型标准化问题,对不同的图样标注形式进行了比较和分析,旨在探讨图样上该类标准化问题的合理正确表现形式,提高图样设计水平。     

企业开展知识管理的几点建议

21世纪是资源经济向知识经济的过渡和转型阶段,知识是创新的基础和源泉,企业的发展离不开不断的创新,所以知识管理不仅是企业的资源,而且是使企业可以持续发展的一种重要的战略资源.某权威机构调查显示目前世界500强中有80％的企业已经逐步实施知识管理.本文通过企业成功开展知识管理实践的案例分析,提出了现代国内企业开展知识管理...