新淬火状态铝合金板的成形极限

论述了硬铝合金成形工艺中应变路径、固溶热处理和时效过程对成形极限的影响,由试验得到了单向拉伸预应变和固溶热处理后时效过程中的成形极限图FLD(Forming Limit Diagram),重点研究了固溶热处理后时效过程中成形极限的变化,并得到了铝合金在时效过程中的成形极限应力图FLSD(Forming Limit Stress Diagram).结果表明,原始退火状态材料的成形极限高于新淬火状态材料的成形极限,且新淬火状态材料的成形极限随时效时间增加而降低,原因主要在于固溶热处理过程中材料组织状态的变化和应变硬化指数n在时效过程中的降低;成形极限应变的降低导致成形极限应力也随时效时间增加而降低.      

基于TDMA的联合自适应B-ACK与ACM的MAC协议

采用自适应块确认（B-ACK）减轻频繁握手造成的长延时,通过自适应编码和调制（ACM）来克服 吞吐量下降的问题,提出了基于时分多址（TDMA）的联合自适应B-ACK 和ACM 的MAC 协议,根据误包率 变化,自适应地调整节点接入网络的策略,从而解决现阶段航空无线协同网络存在的吞吐量低和延迟大的问题。     

基于UML活动图模型的测试用例生成技术研究

为了设计和生成系统工作流程的测试用例,引入测试大纲模型的概念,设计出从UML(Unified Modeling Language)活动图模型到测试大纲模型,再到测试用例模型的三级转换过程和一组消除活动图模型中的非结构化特征、将其转化为模块化的测试大纲模型,以及把并发子过程实例化为一组典型测试场景的基本规则.还研究了针对每一个输入操作,选择基本输入数据集,并将其赋予测试大纲模型之上,从而构造测试用例模型的方法,以及最终基于测试用例模型生成完备的测试用例集合的方法.      

带橡胶阻尼块压气机整流器振动特性分析

橡胶的动态特性及频率与应变相关。为了研究航空发动机带橡胶阻尼块整流器叶片结构的振动特性,使用有限元仿真 和试验相结合的方法,建立了适用于此结构的动态模型,分别使用硅橡胶N50、硅橡胶N60、天然橡胶N60和丁晴橡胶N60这4种 橡胶阻尼块对该结构进行了试验和仿真。对4种橡胶进行准静态拉伸试验,使用Neo-Hookean超弹性模型进行拟合得出C NH1 与最 大应变ε m 的3次多项式,带入ANSYS进行橡胶柱压缩仿真从而验证模型的可靠性;对橡胶进行动刚度试验,得出橡胶动态模量随 频率的增大而逐渐递增;建立非线性弹簧-分数导数模型,带入ANSYS进行迭代计算,并进行扫频试验,对得出的不同橡胶阻尼块 下叶片的第1阶共振频率的仿真结果和试验结果进行对比可知,模型的计算误差均小于5%。综合分析表明：非线性弹簧-分数导 数模型能够准确地描述带橡胶阻尼块整流器叶片结构的振动特性。     

顺序图的形式化方法描述

UML是一种可视化的图形语言,已成为面向对象方法中事实上的工业标准,得到了广泛应用.但是UML缺乏精确的语义描述,不便于使用工具对其进行分析和验证.形式化B方法基于严格的数学理论,按照抽象机的方式理解系统.为了使UML表达的语义更加明确,同时发挥形式化方法的优势,采用B方法对UML中的顺序图进行描述.     

检错码的对偶定理

自动请求重传(ARQ)方法已经在许多数字通信系统特别是通信网中获得了广泛的应用。在ARQ系统中,分组码的不可检错误概率是决定系统性能的重要参数,因此研究各种线性分组码的不可检错误概率显得非常重要。在本文中,不可检错误概率满足上限q~(-(m-k))的q进制线性分组码被定义为检错好码。笔者证明了关于检错码的一个对偶定理,即GF(q)上(n,k)线性分组码为检错好码的充要条件是其对偶码也是检错好码。对偶定理表明,可以从一个线性分组码的对偶码研究它的检错能力,本文用这个定理得到了关于检错码的一系列新的结论。     

电葫吊车数控化的原理与设计

本文结合一应用实例，具体介绍用微机对电葫吊车进行控制。文中也论述了实现电葫吊车数控化的原理及设计方法。     

无人机航路规划的研究

无人机的航路规划要求满足威胁回避和可飞性。采用分层的思想，基于Voronoi图产生初始航路，利用三次样条插值法平滑航路点产生无人机可飞航路，同时利用飞行过程中的信息来更新航路进行重规划。仿真结果表明了算法的有效性。     

星载嵌入式文件系统技术研究及实现

介绍了一种面向空间应用的嵌入式文件系统的设计要点,着重说明了采用B 树组织文件、锁链方式组织元数据以及低资源占用的空间分配回收机制三个方面问题。自主开发的文件系统较好地解决了NAND型Flash存储芯片作为星载存储设备所遇到的磨损均衡、存储空间使用效率的问题,能够更好地支持星载数据的文件化存储管理和可靠传输。