关于BL-代数的implicative滤子的一些结果

通过研究BL-代数的implicative滤子的等价条件,得到了normal滤子与implicative滤子之间的关系,并给出了两个公开问题"一个normal滤子在什么合适条件下成为fantastic滤子?"和"在什么合适的条件下,normal滤子的拓展性成立?"结论成立的一种条件。     

CAN总线在电液伺服阀性能测试系统中的应用

伺服阀性能测试系统中，测控电路和计算机间的模拟信号传输易受外界干扰，而把信号以数码形式通过CAN总线传输的方法，可以彻底消除外界干扰问题，还能提高系统的性能和可靠性。介绍了CAN总线硬件电路、程序设计及CANopen通讯协议的实现，讨论了CAN总线在测试系统上的实际应用。     

建立装备勤务理论体系的思考

为了适应装备工作发展的客观要求,适应我军装备管理体制改革的迫切需要,建设我军装备勤务新体系及完善军事装备科学理论体系,需要尽快建立和完善装备勤务理论体系.在正确的指导思想和总体目标的指引下,通过运用合理的研究方法,可以构建出具有我军特色的装备勤务理论体系.     

高超声速气动热预测技术及发展趋势

高超声速气动热预测技术是高超声速飞行器发展的关键技术之一。对高超声速气动热预测技术的发展情况进行了分析探讨。首先,简要回顾了国内外高超声速气动热理论预测及地面实验技术的发展历程;在此基础上,结合典型外形的计算与风洞试验结果的比较,重点介绍分析了气动热工程计算方法、数值模拟方法、气动热风洞试验设备的模拟能力及目前实验测试技术的研究水平;最后,对气动热预测技术的发展趋势进行了讨论,提出了气动热预测技术应研究解决的问题。     

无人飞行器地面移动目标跟踪系统研究现状与展望

无人飞行器地面移动目标跟踪系统是一项在军事和民用方面都具有广泛应用前景的非常重要的研究课题。首先分析了系统的特点，然后详细介绍了国内外无人飞行器地面移动目标跟踪系统的研究方法和现状，并指出其不足。最后，针对现有系统中控制方法的欠缺，提出了将仿人眼控制系统用于无人飞行器上的摄像机云台控制的新方法。     

Top-level modeling of an ALS system utilizing object-oriented techniques.

The possible configuration of an Advanced Life Support (ALS) System capable of supporting human life for long-term space missions continues to evolve as researchers investigate potential technologies and configurations. To facilitate the decision process the development of acceptable, flexible, and dynamic mathematical computer modeling tools capable of system level analysis is desirable. Object-oriented techniques have been adopted to develop a dynamic top-level model of an ALS system.This approach has several advantages; among these, object-oriented abstractions of systems are inherently modular in architecture. Thus, models can initially be somewhat simplistic, while allowing for adjustments and improvements. In addition, by coding the model in Java, the model can be implemented via the World Wide Web, greatly encouraging the utilization of the model. Systems analysis is further enabled with the utilization of a readily available backend database containing information supporting the model. The subsystem models of the ALS system model include Crew, Biomass Production, Waste Processing and Resource Recovery, Food Processing and Nutrition, and the Interconnecting Space. Each subsystem model and an overall model have been developed. Presented here is the procedure utilized to develop the modeling tool, the vision of the modeling tool, and the current focus for each of the subsystem models.     

传统审计模式与现代风险导向审计模式的比较分析

注册会计师审计发展到今天,经历了传统审计模式与现代风险导向审计模式,而这两种审计模式无论是在产生背景、审计理念还是采用的技术方法等方面都存在诸多不同,可以说,现代风险导向审计模式是审计人员为了适应审计环境的变化而做出的理性选择。论文试图通过对传统审计模式与现代风险导向审计模式的比较,认识和了解现代风险导向审计模式的具体情况,从而对促进我国审计职业界的发展产生一些有益的启示。     

空间飞行器交会对接相对位置和姿态的在轨自检校光学成像测量算法

空间飞行器交会对接的最后逼近阶段，通常采用光学成像敏感器来测量跟踪飞行器和目标飞行器之间的相对位置和姿态。考虑到飞行器在轨运行期间，CCD相机受空间环境的影响，其内参数会发生变化的实际情况，提出了一种单CCD在轨自检校光学测量方案，其主要特点是飞行器在执行测量任务时，可同时进行相机内参数的自检校。首先根据严格的中心投影共线条件方程，推导出目标飞行器光学特征点坐标和对应的像点坐标与内参数及相对位置和姿态的严格解析关系；然后建立了内参数及相对位置和姿态的解析表达式；提出了目标航天器上光学特征点的布设要求。通过严格的理论分析和数值仿真，单CCD在轨自检校光学测量方案具有可靠性高、精度高、算法易实现、适应能力强等优点。     

铁酸铋/GO复合燃速调节剂在丁羟推进剂中的应用

采用水热法制备了BiFeO3、BiFeO3/GO、钾离子掺杂BiFeO3/GO及铈离子掺杂BiFeO3/GO四种复合材料,研究了材料结构、形貌及其对HMX热分解的催化作用,结果发现铈离子掺杂能够有效降低掺杂铁酸铋的粒径分布,铈离子掺杂的BiFeO3/GO对HMX的热分解表现出很好的催化作用,使之热分解起始温度从281℃...     

天基激光移除空间碎片仿真平台研究与开发

为了从空间碎片和天基移除系统两方面分析激光驱动碎片变轨过程,优化移除任务规划和策略,基于真实的可观测空间碎片数据,设计并开发了一套天基激光移除空间碎片三维数值仿真平台。首先从总体设计出发,对三维数值仿真平台的需求分析、总体框架、模块功能进行了明确的描述。其次通过对激光驱动空间碎片变轨过程数学模型的分析,确定了各模块的具体实现方法。最后采用C++/Qt开发了三维数值仿真平台,通过仿真验证了设计平台的有效性。该仿真平台可用于不同天基平台和目标碎片的任务规划、碎片分布热点区域和航天器防护区域的方案设计及空间环境治理体系的优化设计。