数控弯管技术在航空发动机导管加工过程中的应用

介绍了数控弯管技术在航空发动机导管加工过程中的应用及与传统弯管技术的对比 ,并简要说明对导管设计造型的要求     

含有文字序逻辑程序的一种辩论语义

有序逻辑程序的语义研究是常识推理的重要研究内容。文中对Dung的辩论框架进行了扩充，针对含有文字序的逻辑程序提出了一种优先辩论框架，加入了对文字之间优先序的处理，进而定义了相应的优先回答集语义和优先扩充语义。证明了文中的优先回答集是Sakama回答集的特例，而优先扩充语义可以处理没有回答集的优先逻辑程序。     

复合型安全协议及其验证

根据可信第三方(Trusted third part,TTP)参与通信的方式,安全协议可以分为在线TTP型和离线TTP型两类。分析了两类协议的优缺点,提出了一种复合型安全协议,在同一协议中结合了两种方式,方式的选择由消息发送方和接收方共同决定。该协议由4条规则组成。为了描述协议的动态运行过程,对SVO逻辑系统进行了扩充,增加了3条公理,用于刻划消息接收者的不可否认性。基于扩充后的SVO逻辑系统对复合型安全协议进行了形式化描述,证明了该协议具有不可否认性。     

2A12-T4高强度变形铝合金薄壁腔体零件的加工

以薄壁腔体零件加工为例,介绍了(2A12-T4)高强度变形铝合金的性能、加工特点、折弯成形方法(即塑性变形)和主要表面的加工措施。通过采用合理的装夹、加工方法,包括合理地分配切削余量,安排合适的热处理工序(包括循环稳定化处理),解决了高精度薄壁结构件的加工难题。     

光学航天器中继天线微振动测试与分析

以光学设备为主要载荷的航天器对于微振动极为敏感,因此需要对其上面安装的中继天线微振动特性进行评估.文章从中继天线微振动激励来源和传递特性出发,介绍了天线驱动电机、驱动单元、机构三个层级的微振动测试情况.通过对步进电机及直流力矩电机的微振动测试,确定了中继天线微振动激励应该选取的电机类型;通过对驱动单元的微振动测试,获取...     

独立学院体育教学模式发展现状探析——以广西9所独立学院为例

运用文献资料法、问卷调查法和实地考察法等方法,对广西9所独立学院的体育教学现状及模式进行调研和分析。结果表明,这些独立学院在体育师资、体育场馆、课程设置、课程管理和教学评价等方面存在共性问题,针对这些问题提出合理建议,促使体育教学更为完善,同时也为广西独立学院体育教学改革提供借鉴意义。     

基于μCT图像的PVC泡沫微观试样几何模型生成算法

在泡沫微观结构的数值模拟中，泡沫空腔的几何特征和排列状态对计算效率及计算结果有着重要的影响，基于前进面搜索几何构造算法和Laguerre划分算法，提出了一种新的PVC泡沫微观试样几何模型生成算法。从μCT扫描图像重构泡沫的真实几何模型，测量泡沫空腔的几何特征及体积分布规律，将测量得到的泡沫空腔体积转化为球体，并通过前进面搜索几何构造算法投入空间，通过Laguerre划分算法将空间球体进行区域划分，赋予壁厚参数，构建出闭孔PVC泡沫的微观几何模型。所建立的模型在微观几何特征上与实际材料符合较好。      

基于CPCIe高速总线的机载多核计算处理平台

由于中小型飞机航空电子系统对计算处理平台体积、功耗和重量方面的严格限制，有必要对计算处理平台进行高性能、小型化、低功耗的针对性设计。研究了一种基于CPCIe(CompactPCI Express)高速总线和多核处理器的机载计算处理平台架构，攻克了多核处理和CPCIe高速信号完整性在航空电子系统中的适应性问题，设计并实现了一款基于CPCIe高速总线的分布式机载多核计算处理平台，对CPCIe总线信号完整性进行了仿真和测试，最后在航空电子系统中对计算处理平台进行实施验证。相比于传统的联合式架构和综合模块化架构，计算处理平台的性能功耗比分别提升约7倍、5倍，性能体积比分别提升约24倍、2倍，性能重量比分别提升约15倍、1.7倍，可以满足中小型飞机航空电子系统对计算处理平台小型化、低功耗和高性能的需求，具有较好的工程应用参考价值，在航空领域具有广泛的应用前景。     

复杂背景下远距离合作信标识别与定位

传统的飞行器合作信标测控中,以常规光源作为信标,不具备复杂环境的适应能力,尤其存在主动干扰源的情况,如何准确识信标是电视跟踪与测控领域的重点研究内容。本文对信标设计与识别定位方法进行研究,采用激光光源作为合作信标,设计可调制驱动电路,将信息编码调制技术应用在调制光源中,实现了可调制合作信标;并设计了调制与成像解调耦合的处理算法,可有效区分干扰目标与真实目标。试验结果表明,本文设计的可调制信标满足需求,调制与解调处理算法可实现合作信标的精确识别与定位,具备抗干扰能力。