独立函数的表达式及完备性

给出独立函数的逻辑表达式和递推关系式。证明了独立函数系的线性完备性。讨论逻辑函数关于独立函数系的展开式、不同极性独立函数系展式之间的关系,以及与Reed-Muller展式之间的关系。这些问题的结论为建立新型的通用逻辑模块奠定了理论基础。     

关于刚体转动的角速度和角加速度的讨论

在理论力学教学中，平面运动刚体的转动与基点无关的证明过于简单，本利用矢量代数的知识，证明平面运动刚体的角度与角加速度与基点的选择无关。     

基于空间算子代数的航天器多体动力学递推实时仿真算法

进一步发展了空间算子代数符号体系,给出了一组坐标系无关空间矢量,张量和矢阵符号表示和相应的坐标投影规则.基于空间算子代数符号体系,推导了适用于航天器实时仿真的无根、树状拓扑、开环多体动力学递推算法,并根据投影规则给出了递推算法在惯性坐标系的投影方程.新的空间算子代数符号体系有符号定义严格,推导过程力学概念清晰,推导结果易于实时仿真程序实现的优点.推导的递推算法非常适合于正逆混合问题和变拓扑问题的求解,可以满足多体航天器动力学实时仿真的要求.     

多轴加工刀轨最优行距计算方法研究

以五轴加工为例,对多轴加工行距提出了一套刀轨最优行距计算方法。该方法通过推导五轴加工刀具运动刃口回转面包络方程,计算相邻轨迹刀具包络面的交线,即残余凸台的顶尖线,进一步计算该线到加工曲面的距离,从而得到最大残余高度值,由此判断当前行距的优劣,据此进行进一步的搜索,最终得到最优的行距。     

基于模糊变结构的空间飞行器姿态控制

根据空间飞行器姿态系统具有非线性、强耦合、多输入多输出的特点,对飞行器姿态模型的非线性和不确定性,提出分散模糊变结构控制方法。利用模糊系统对不确定性函数进行逼近,将获得的模糊系统函数作为系统不确定性界函数,对模糊逼近所带来的误差以及外部干扰项,采用控制补偿方法。理论分析和仿真研究表明,提出的控制方法具有姿态跟踪精度高,实时计算量小,便于工程实现等优点。     

基于UAT数据链的ADS-B机载系统的设计与实现

介绍了UAT和ADS-B的含义及相互关系,详细描述了基于UAT的ADS—B机载系统的组成和工作原理,并在此基础上给出了UAT机载设备的处理流程和设计方法。     

航空铆钉的动态力学性能测试

在飞机鸟撞的课题研究中,数值模拟占据着日益重要的地位,而数值模拟的精度在很大程度上依赖于铆钉力学参数的准确性,但是目前航空铆钉的动态力学性能参数还很匮乏。本文测定了航空铝合金铆钉在不同加载速度下的剪切和拉伸力学性能。设计了基于分离式Hopkinson拉杆系统的铆钉动态性能测试装置,并利用此装置对7种不同型号的航空铆钉进行了动态剪切和拉伸试验,得到了每种型号铆钉的动态力学性能。利用电子万能试验机对7种铆钉进行了两种应变率下的准静态剪切和拉伸试验,并且和动态试验结果进行对比。讨论了加载速度、加载形式、铆钉直径以及铆钉形式对铆钉力学性能的影响,并利用扫描电子显微镜(SEM)观察了铆钉剪切破坏以及拉伸破坏的断口形貌,分析了其破坏形式。本文的研究结果对于航空铝合金铆钉在工程中的应用、尤其是在抗冲击领域的应用具有指导意义。     

基于UDDI的应用服务注册中心的设计与实现

Web服务是当前基于Web的分布式计算与应用的关键技术基础.通用描述发现集成协议(UDDI)是Web服务的核心技术标准,提供了Web服务的信息注册查找规范,解决了Web服务的描述、发布以及查找问题.UDDI规范仅提供了标准接口及数据结构,缺乏对UDDI注册中心的安全性、可管理性等明确的定义和实现机制.基于Web服务及UDDI技术分析,设计实现了基于UDDI的应用服务注册中心(ASC).ASC由ASC客户端、ASC服务器、ASC管理控制台组成,支持Web服务的发布、查找、管理等操作.根据实际应用需求,设计并实现了发布者声明关联匹配算法,扩展了UDDI标准的应用编程接口,提供了安全、管理等功能,形成了一个具有较强安全性和易管理性的应用服务注册系统.     

基于ATML标准的卫星控制系统通用化测试平台

针对卫星控制系统测试通用化需求,提出了基于ATS（automated test system）结构及ATML（automatic test markup language）标准的测试平台实现方案.将通用测试平台分为通用测试站、测试适配器、综合开发及运行环境三部分.通过ATML标准及面向信号的系统描述方式,使得测试需求和测试能力解耦.根据通用测试平台提供的测试能力,按照不同卫星的测试需求对其进行配置,能够实现测试平台的通用化.     

时间的模糊区间段表示及其运算

介绍了Allen的区间代数及其扩展--INDU网络,将Heisenberg不确定性原理应用于INDU网络,将INDU的25种基本关系中两区间有端点相等的或区间段相等的这15种关系删除,这15种关系在现实世界中是不可能出现的,就产生了有10种基本关系的FINDU网络,给出了FINDU网络的复合运算表.FINDU网络在军事多自主体系统中可以得到很好的应用.