Sagnac横向剪切干涉仪设计方法的研究

详细论述了实体Sagnac型干涉仪的工作原理和几何尺寸的优化设计方法,并对实体棱镜构成的干涉仪用展开成平板玻璃的方法来计算分束膜的投射高度,简单且快捷。结合实例给出了计算结果,并对干涉仪的加工要求与装调方法等进行了定性分析。     

LZMA压缩算法FPGA硬件实现

LZMA(Lempel Ziv Markov-chain Algorithm)无损压缩算法在进行数据压缩时速度慢且占用大量的CPU(Central Processing Unit)资源,不能满足实时系统的要求.在改进算法的基础上,采用FPGA(Field Programmable Gate Array)设计了一个LZMA压缩算法硬件加速电路.该电路由LZ77压缩控制器、区间编码控制器和数据读出控制器组成,采用数据乒乓结构、高性能并行匹配结构和流水线处理结构等多种方法提高了LZMA压缩算法的速度,在支持标准LZMA压缩文件格式的同时,将压缩速度提升到近125 Mb/s,相比基于软件的LZMA算法加速10倍,每个时钟处理的相对数据加速近200倍.最后通过基于Virtex-6 FPGA的ML605开发平台验证了硬件加速电路的正确性和可行性.      

基于速度分布的纵向碰撞危险REICH模型初步研究

随着空中交通流量的快速增长,迫切需要缩小间隔标准,提高空域容量和减少航班延误。针对纵向间隔,为计算飞机间的纵向碰撞率提供了一种新方法。首先,研究了飞机速度分布情况,建立了纵向碰撞概率模型;然后,以概率论为工具,根据纵向碰撞概率和REICH模型,建立了纵向碰撞危险模型,推导出了计算纵向碰撞率的方法;并利用概率论中的3 s法则,分析了初始距离、纵向碰撞概率、飞行时间以及飞机速度均方差等对纵向碰撞率的影响;最后,通过仿真算例和分析讨论得出130 km的纵向间隔安全可行,可为确定航路飞行过程中飞机间纵向间隔提供参考。     

基于STL文件和有限元法的在轨航天器关键部件热计算

针对STL(stereo lithography)文件在传递复杂几何实体模型信息方面具有精度高的特点,提出了一种基于STL文件计算复杂结构角系数和外热流的方法.根据单元和节点的拓扑关系识别六面体网格边界单元并进行辐射换热计算.详细阐述了基于STL文件和有限元法进行复杂结构的角系数和外热流的计算方法.研究了导热-辐射耦合计算的有限元方法.最后利用有限元法计算航天器关键部件在轨的三维瞬态温度场.      

火箭推进系统充液管路的流固耦合动响应分析

针对大型运载火箭推进系统中的液氧供应管路,建立流固耦合作用的模型,开展了动响应分析研究.在二维平面管系中同时分析纵向和横向振动及其相互作用,并考虑泊松耦合和连接耦合的影响,对火箭贮箱出口的充液管段模型进行了计算.结果表明:相对于经典水锤理论,考虑纵向横向振动的充液管路的流固耦合动响应形式相对复杂,频率和幅值也有变化.该研究工作为下一步的管路试验和振动抑制研究提供了参考.      

剖析SQL Server数据库的备份与恢复

在基于Microsoft SQL Server(以下简称SQL Server)数据库的备份和恢复的方法下,从简单、实用的角度出发,提出了通过Powerbuilder(以下简称PB)应用工具实现SQL server数据库的备份和恢复,同时给出了该方法的主要代码。     

基于观测器的航天器执行机构失效故障重构

针对刚体航天器在轨运行时存在执行机构失效故障和外部干扰问题,提出了一种基于观测器的故障检测与重构方法。该方法运用迭代学习技术,利用上一步的执行机构故障观测信息来估计当前的故障信息,并最终实现故障的精确重构。此外基于Lyapunov方法从理论上证明了此故障诊断方法能够实时、在线地实现对常值、时变甚至随机型的执行机构失效故障的重构,并且对外干扰力矩具有一定的鲁棒性。最后,仿真结果验证了该方法的有效性。
     

冲压发动机进气道/燃烧室/尾喷管耦合流场计算

采用耦合求解的方法进行了冲压发动机进气道/燃烧室/尾喷管流场一体化计算,进气道采用单一气体、变比热比模型,燃烧室和尾喷管采用多组分化学动力学模型,湍流模型为k-g湍流模型。进气道与燃烧室界面通过流量、静压等参数实现耦合。结果表明,通过合理设计参数的传递方式,可以快速实现进气道/燃烧室/尾喷管流场的耦合求解,流场分布合理。     

一种基于P2P网络的语义Web服务发现机制

针对如何高效而又准确地发现分布于各地Web服务的问题,基于P2P网络和语义描述提出一种新型服务发现机制,将服务按照语义动态地注册于由委托(broker)管理的不同节点簇,并将语义相似的节点簇组成虚拟语义网,提高了查询效率;采用反馈机制主动监测拓扑节点,和利用节点簇之间的分裂与聚合机制来保证该模型的有效性和性能.最后通过对原型系统的实现证明了该机制的合理性与有效性.      

基于实时可达域的高速飞行器分组队形优化

无动力高速飞行器作为欠驱动系统,在进行编队飞行队形优化时需系统地考虑其控制特点。借助“实时可达域”这一概念,在分析高速飞行器实际可到达区域的基础上,考虑集群成员数量变化以及实际集群包含多个任务小组的情况,提出一种适用于高速飞行器集群的分组动态队形优化方法。仿真结果表明提出的队形优化方法可对队形形状和参数进行一体化优化,可灵活适应多种飞行任务,同时也适用于集群成员数量发生变化的队形重构问题,具有重要应用价值。