航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10...     

新建高职院校科研工作开展的困窘及其构想

结合科研管理的工作实践,以成阳职业技术学院为实证,分析了新建高职院校科研工作开展的困窘,主要存在思想认识不够到住、科研工作经历欠缺、科研时间无法保证、科研整体水平较低、科研管理机制不尽合理等问题,并提出了今后科研工作开展的基本构想:明确科研定位、强化科研意识、健全科研管理机制、强化科研激励机制、加强科研团队建设.     

解决五自由度磁悬浮轴承耦合效应的试验研究

五自由度磁悬浮轴承在某型发动机上首次开展了研制.在装配调试过程中,出现了径向磁悬浮轴承和推力磁悬浮轴承的耦合问题.本文介绍了耦合效应的现象和故障排除,保证了五自由度磁悬浮轴承的稳定悬浮.     

运输机空投的飞行动力学建模及仿真

针对现代大飞机双列式空投及重型空投的发展现状,建立了全量模型研究空投过程中飞机动态特性问题。考虑空投过程中货物与飞机之间的运动耦合及货物非对称布局的影响,分别选取货物、全机作为独立实体,在惯性系下从牛顿力学基本原理出发,用矢量方法推导空投过程中货物和全机的动力学方程;经过坐标转换,得到动力学方程在体轴系下的形式,并补充运动学方程,使方程组满足封闭性要求,从而建立完整的矢量动力学模型。通过两个仿真算例,分析了飞机与货物运动耦合的影响及双列投放时的飞行特性,验证了模型的合理性。     

翼尖装置优化设计研究

使用面元法气动分析软件VSAERO对机翼与翼梢小翼组合体模型进行数值模拟,并采用Steve Smith提出的诱导阻力优化方法对翼梢小翼的定位进行优化设计。结果表明,能够有效地预测出翼梢小翼的最优定位,在翼梢小翼优化设计中具有很好的适用性。     

基于信任值的P2P网络访问控制模型

对等网络（P2P）已成为一个非常受欢迎的信息交流的新模式。然而,P2P网络环境的分散的和匿名的特点使得对共享信息的控制变得更加困难,而这是无法通过传统的访问控制方法完成的。首先提出P2P网络环境中的访问控制需求,然后提出了一种基于信任值的P2P网络的访问控制模型。模型整合了信任和推荐模式、公平参与原则和访问控制模式,并将其应用于P2P文件共享系统。仿真分析表明,访问控制模型能够有效识别恶意节点,使P2P网络中合作节点具有较高的成功请求率。     

Ф3．2m风洞活动地板系统研制

目前在风洞中通常采用固定地板和活动地板两种模拟方法开展飞行器地面效应研究,确定地面效应影响量大小。采用固定地板模拟地面时,由于存在地板边界层,不能真实模拟飞机近地飞行状况。采用活动地板模拟地面时,由于活动带运行速度和方向与来流一致,在活动地板表面不存在边界层,可以真实模拟飞机近地飞行状况,提高地面效应试验数据的精准度。介绍了Ф3．2m风洞活动地板系统的研制情况,对活动地板系统的组成、结构形式、主要技术指标等作了简要介绍。YF-16模型试验结果表明：Ф3．2m风洞活动地板试验系统的性能指标达到了设计要求,活动带最大运行速度为60m／s;活动地板和固定地板两种模拟方法获得的地面效应试验结果存在较大差别,差别大小随地板高度和飞机姿态角变化而变化。     

利用吸收光谱法测量激波风洞自由流中一氧化氮的含量

以空心阴极灯Te 灯作为光源,采用光学多道分析仪(OMA) ,首先在静态条件下,获得了Te 灯的透射光强随一氧化氮压强的变化曲线,计算出一氧化氮对Te 灯214nm 和225 .9nm 两条谱线的吸收系数。根据OMA 拍摄的氢氧爆轰驱动激波风洞喷管出口气流中一氧化氮γ带(A2  →X2 ∏跃迁) 对Te 灯的吸收光谱,确定了自由流中一氧化氮的最大含量     

基于TCAD仿真建模的瞬时剂量率效应研究

针对一款百万门级0.18 μm互补金属氧化物半导体（0.18 μm CMOS）工艺抗辐射加固的微处理器电路,提出了采用TCAD仿真建模技术对加固电路开展瞬时剂量率效应研究的方法,仿真结果表明通过保护环结构加固设计,可有效提升电路的抗瞬时剂量率效应性能,并利用瞬时剂量率辐射源进行了仿真有效性的试验验证。结果表明,采用TCAD仿真手段得到的瞬时光电流峰值与试验得到的光电流峰值误差小于5%,证实了仿真研究电路瞬时剂量率效应方法的有效性。     

无虚拟节点罚函数位移协调法

基于罚函数提出了一种界面协调技术——无虚拟节点罚函数位移协调法,推导了该界面协调技术的耦合公式,证明了当惩罚参数y趋于无穷大时该方法的解趋于理论解.该方法的刚度矩阵具有对称性、带状性,同时该法还有精度高、计算效率高等优点.最后,通过算例分析,验证了其合理性.