带有阻尼机构的多柔体航天器动力学建模

对通过阻尼机构连接的多柔体航天器动力学问题进行研究,考察的系统由航天器本体、若干六自由度刚性阻尼平台以及固连于阻尼平台的大柔性附件构成,阻尼平台与航天器本体之间以弹性 阻尼装置连接,为典型的多柔体系统.以混合坐标描述系统的运动,利用Kane方程建立了具有较强通用性且有利于系统控制器设计的含有约束阻尼的动力学模型.数值仿真结果表明,阻尼器可有效衰减柔性附件的振动,有利于星体受扰后的快速稳定     

基于Event B的中断管理需求和设计形式化建模与验证方法

随着软件复杂度的迅速增长,传统的基于测试的方法逐渐难以满足航天器操作系统的可靠性和安全性需求,形式化方法逐渐成为航天器操作系统安全可靠性的有效保障.基于Rodin平台,采用Event B形式化语言,通过需求和设计重写、制定精化策略并逐步精化的方法,对航天嵌入式操作系统SpaceOS2的中断管理模块建立了需求层和设计层形式化模型,将模型检验和定理证明相结合,验证模型的正确性并且满足安全性质.     

涡轮叶冠间隙流动特性实验

针对叶冠腔内有冷却气流的转子叶片叶冠,通过改变主流雷诺数、前后孔岀流比、叶尖间隙等参数得到静止状态下叶冠间隙流动的总压损失系数.实验结果表明:增大主流雷诺数与前孔岀流比,叶冠总压损失系数增大;减小叶尖间隙,总压损失系数也增大,小叶尖间隙下,总压损失系数随主流雷诺数与前孔岀流比增长更快,而后孔岀流比对叶冠总压损失系数影响不大.      

多导线对称分布原子磁分束器和干涉仪设计分析

提出了采用多根对称分布载流导线构成原子分束器的方法,包括三导线和四导线磁导引。阐述了原子分束器的分束机制,用Ansoft Maxwell 2D软件计算给出了部分载流导线移动到不同位置时的磁场分布图。通过分析了导引中心的变化,发现只要通过改变载流导线之间的相对位置就可以来实现从单路到双路导引和三路导引的转换。由此分别设计由3根对称分布载流导线构成的原子双路分束器和4根对称分布载流导线构成三路分束器,然后运用Monte Carlo方法模拟验证其原子分束功能。最后以三线对称分布分束器为基础构成Mach-Zehnder原子磁干涉仪。     

基于角位移的火控系统旋转变压器改进性设计

通过对旋转变压器角位移测量原理分析,提出了基于粗精通道的改进性方案,利用多模块组合设计,研制出一种新型的角位移测量系统和相应的测量算法。试验表明,改进后的组合测量系统最大误差可控制在±0.01°以内,有效地提高了火控系统角位移测量精度。     

叶型上局部凸起对扩压器性能影响的数值研究

借助CFD数值模拟技术,对四种常规叶片扩压器（不同凸起位置）内部流场进行了数值模拟,研究了不同凸起位置对扩压器性能的影响,讨论了改变叶片凸起位置对扩压器静压恢复系数、总压损失系数等性能参数的影响,以为小型/微型发动机的叶片扩压器的优化设计提供一定的参考价值。结果表明,当叶片扩压器产生局部凸起时,在流动进入叶片扩压器凸起截面后面产生了低速流动,导致了明显的总压损失,使得叶片扩压器的效率降低。叶片中间产生凸起对于叶片扩压器的总压损失最高。在工程实际中叶片扩压器如果产生局部凸起,尽量选择在叶片前端。     

高校多校区管理探析

分析了高校多校区办学面临的主要问题、管理的主要指导思想及管理模式,并对我校新校区的布局及管理进行了探讨,具有一定的现实指导意义。     

分布估计算法在飞翼飞行器控制分配中的应用

针对飞翼飞行器多操纵面气动布局的结构特点与当前控制分配方法中存在的不足,提出了以多操纵面协调控制的综合效果尽量接近期望单操纵面控制的效果为优化目标,得到了多操纵面控制分配的连续多变量目标函数,并给出基于分布估计算法的控制分配求解策略,完成了飞翼飞行器多操纵面的优化分配。仿真结果验证了该方法的有效性。     

星载软件可测试性设计方法

随着星载软件复杂度的增加,提高软件测试效率对保证软件质量越来越重要,软件的可测试性设计成为提高软件测试效率的关键手段。文中针对星载软件的可测试性设计提出了四种方法:设计可测试的分层体系结构可将软件故障限制在层次范围内;合约式任务模板可规范任务的输入输出,降低任务间的耦合性;状态序列编码可用于动态指示软件的切换与流向;多任务调度记录与堆栈使用记录可用于静态复现一段时间内软件的详细工作过程。可测试性设计方法应用在某项目的软件研制中,软件测试效率有明显提高,证明方法可行有效。     

基于变化映射表的WSN通信数据语义安全算法

提出一种基于变化映射表的语义安全算法.该算法首先针对无线传感器网络(WSN,Wireless Sensor Networks)应用对临界值敏感的特点,采用变精度状态采集方法,建立了一个原始语义与其标识数值的映射表;在此基础上,网关和节点之间通过同步映射表进行通信数据的语义加密和解密,为提高安全性,在通信过程中,映射表基于通信携带的随机变更因子而不断更新.最后给出算法分析及仿真验证,结果表明提出的算法可以有效抑制已知明密文对攻击和实现语义安全.