吸气式激光推进单脉冲性能实验研究

利用实验室建立的多种测量系统,组合不同的聚焦及约束条件,广泛进行了吸气式激光推进单脉冲性能实验研究。给出了气压、单脉冲能量和实验件构形对冲量耦合系数影响规律,发现随实验条件变化存在不同的冲量耦合系数稳定区间;测量了单脉冲激光推力加载过程,其持续时间约为170μs,峰值约为200 N;获得了不同约束和不同能量下的流场波系结构,认为激波速度大、有效作用时间长有利于获得高的冲量;进一步综合分析了目前吸气式激光推进的研究局限和发展方向,为重复多脉冲性能研究奠定了很好的实验方法和数据基础。     

中介逻辑的模型论性质

中介逻辑是朱梧槚与肖奚安合作创立的一个新的逻辑系统,该系统的创立有着很强的哲学背景,因此在创立后得到了很大的发展。但对于该系统语义的研究还不够广泛和深入。本文系统地研究了中介逻辑的模型论性质。第一部分系统地定义了中介逻辑模型论的一些概念:如语言、结构、解释、满足等,第二部分证明了对任一和谐理论,都可在其见证集的等价类上建立其模型。利用此定理,笔者证明了广义完全性定理,并由此证明了中介逻辑的可靠性与完备性。本文最后一部分讨论了中介模型论的其他重要性质。利用中介逻辑的完备性,本文证明了紧致性定理,即一理论有模型当且仅当其任一有穷子集有模型。文中还证明了中介逻辑的Lowenheim-Skolem-Tarski定理。     

玻璃型二次表面镜的卫星飞行试验

文章介绍了兰州物理研究所研制的石英玻璃型二次表面镜（ＯＳＲ）的卫星搭载试验结果，并对ＯＳＲ的长期空间稳定性作了初步预测。试验和计算结果表明，其ＯＳＲ的太阳吸收率的１０年增值△αｓ预计不超过０．０５５，与国外同类产品的空间稳定性水平相当，已能满足卫星应用的要求。     

感应加热中功率延伸电缆结构形式的优选设计

在某些特殊工艺的感应加热中,感应线圈需要通过延伸电缆与电源连接.为了解决延伸电缆带来的功率损耗高的问题,分析了并行实芯导体结构、同轴空心导体结构和多束细漆包线密布结构等3种结构形式的电缆的功率损耗和回路电感储能的情况,并进行了试验测定与分析,结果表明,多束细漆包线密布结构电缆上的功率损耗最小,同轴空心导体结构电缆回路的电感量最小.据此,提出了以同轴空心导体结构为基本结构,内、外导体为多束细漆包线密布而成的延伸电缆结构形式.     

Ada软件数据流分析方法及其实现

简要介绍了有关数据流分析的基本概念之后，较为着重地讨论了一种基于静态分析的Ａｄａ软件数据流分析方法，同时也讨论了分析过程中一些实现原理。实践结果表明，文中讨论的数据结构，实现机制与处理方法是行之有效的。     

基于FPGA的FFT处理器设计

分析讨论了快速傅里叶变换(FFT)的算法结构,基于FFT运算特点,给出了一种采用现场可编程门阵列(FPGA)实现FFT运算的新方案。该方案采用基2算法及单元结构的设计思路,计算单元采用流水与并行结合的结构,加快了运算速度,内部接收单元采用乒乓RAM结构,扩大了数据吞吐量。MAX plusⅡ环境下的时序分析结果与基于Matlab的理论计算相一致,说明了方案设计的正确性。FPGA与FFT的结合将大幅度提高FFT的处理速度,扩大了FFT的应用领域。     

载人航天器人-机界面宜人设计方法的研究

根据载人航天器人－机界面宜人设计的必要性，详细论述了人－机界面的发展趋势和未来的研究方向，在此基础上，提出宜人设计的具体措施，最后，形成几点看法以供讨论。     

有关产品编号规定的思考

简述了产品编号在航天型号研制、生产过程中的重要作用,思考了编制企业标准《产品编号规定》的必要性,并对其企业标准应编写的内容、要求及实施效果作了介绍。     

旋转梁的动力学建模及其反馈控制

利用哈密尔顿原理,推导了刚柔耦合形式的旋转欧位－伯努利梁的动力学方程,并在小转速的假设下,给出了线性化近似方程的解析解;讨论了由直流电机和压电陶瓷组成的控制系统,并从动力学稳定的角度出发,利用Lyapunov第一方法设计系统的反馈控制实现了动力学稳定性。最后通过计算机仿真证明控制策略的有效性。     

串接式BENFIELD对接加载约束子结构法——带冠涡轮叶片和压气机叶片的动力分析

本文把Benfield和Hruda的对接加载约束子结构法加以推广,导出一组适用于多部件串接式系统的递推公式。应用两种有限单元:八结点超参厚壳元和非协调位移模式的八结点三维块单元,以带冠涡轮叶片和压气机叶片作为实例,它和全结构整体计算方法以及试验数据作对比,证明了本文方法在保持高的计算精度的同时,可以成倍地节省机时和费用。