摘要：为了提高面齿轮的加工效率,结合车齿加工圆柱齿轮的方法,提出了一种利用车齿刀加工面齿轮的加工方法。分析了车齿加工的工作原理,建立了加工运动关系模型及车齿加工坐标系,推导了车齿刀切削刃上切削点的切削速度。对车齿刀前后刀面进行设计,建立了切削角度数学模型,分析了刀具切削角度在加工过程中的变化规律。利用VERICUT和DEFORM仿真分析软件对车齿过程进行验证,获得了加工后误差及加工参数对切削力的影响规律。

摘要：飞机设计过程中的工程数据管理及其具体内容,已成为实现数字化飞机设计的关键。结合飞机设计工程数据管理系统的开发,提出并描述了由集成文挡、产品结构和更改控制组成的飞机数字化产品模型,阐述了飞机设计工程数据管理系统的功能模型,重点讨论了系统中产品结构树的生成算法,最后提出了基于工程数据管理的数字化飞机并行设计过程模型。

摘要：针对外层空间物理环境模拟系统的技术要求,基于亥姆霍兹线圈的工作原理,采用一对匝数、边长、高度和厚度相同的共轴平行放置的正方形线圈构成了Helmholtz线圈,结合恒流源和单片机控制技术,设计了电磁场模拟系统.采用ANSYS Workbench有限元分析软件对正方形Helmholtz线圈的电磁场分布进行了数值模拟,重点考察了线圈X轴、Y轴和线圈表面附近的电磁场分布,在此基础上设计了线圈结构参数.对所设计的正方形Helmholtz线圈内部12个关键点的电磁场进行了测量,结果表明线圈内的磁感应强度和磁场均匀性能够满足环境模拟系统的要求.

摘要：大型整体薄壁结构件在航空、航天工业中得到了广泛应用。但由于其刚性差,在铣削加工过程中常常出现铣削力过大而引起较大的变形,严重影响工件的加工质量和精度。针对上述问题,提出一种有限元正交优势分析方法,用以优化铣削参数,减小铣削产生的零件变形。该方法采用正交试验设计规划指导有限元铣削加工变形分析的参数方案设计,通过不同方案的计算结果研究分析铣削速度、铣削深度、铣削宽度、每齿进给量对加工变形的影响,得到各铣削要素选择的较好水平;采用优势分析方法对正交试验结果进行处理,得到各铣削要素对加工变形的贡献率,从而确定优化的铣削加工方案。以某薄壁框类零件为例得到了铣削参数的优化组合,经过验证,优化后的试验方案减少了铣削产生的最大变形量,证明了该方法的可行性及有效性。

摘要：针对航空结构件的变形问题,提出了包含有加工残余应力的变形整体结构件三维质量模型的重构技术,建立加工变形—校正过程的协同仿真环境,将2个过程有机地结合起来;利用改进的二分法进行校正参数的计算,分析了校正支点位置的确定及不同校正载荷作用方式对于校正效果影响,揭示出加工后工件残余应力与校正残余应力的耦合作用规律;通过大量有限元仿真计算,获得了典型框类工件变形校正的规律性曲线,建立了适用于反弯校正的有限元数学模型,设计了变形校正试验,验证了有限元仿真结果的可行性和有效性。

摘要：综述了几种电弧等离子体温度场的诊断技术,阐述了光谱多线解析法、多通道辐射高温计法、散斑照相法的测量原理和光路设计,分析比较了光谱多线解析法、多通道辐射高温计法、散斑照相法等方法的优缺点.提出了发展测量方法稳定可靠,测量精度高,实现电弧燃烧的实时、在线测量技术的必要性.

摘要：通过分析纸币特征,提出利用基于改进色彩空间转换算法作为纸币特征提取,利用支持向量机作为纸币分类器的方法,将并由此为核心算法设计了一种成本低廉的新式纸币分类器械。主要结构是以MCU为核心控制,通过颜色传感器进行特征信息采集,利用改进HSV算法和SVM作为决策算法,控制机械结构进行纸币清分,利用LCD进行显示,完成阶段识别任务后,将清分数据上传至管理信息系统进行管理。实验结果表明,此系统能够完成对于纸币的实时清分、结果显示、数据存储等功能,对于第五套人民币识别具有较高的鲁棒性,该机电系统价格低廉且具备良好的使用性能。

摘要：空间总线(SpaceWire)协议是应用于航空航天领域的高速通信总线协议,保证其可靠性至关重要。但是由于通信系统具有队列量、分布控制和并发性等特点,传统仿真模拟的验证方法存在不完备性的问题,采用模型检测方法对高层次属性进行验证时,通常会出现状态爆炸的问题。基于xMAS模型对SpaceWire通信系统中的信誉逻辑进行形式化建模、验证,xMAS模型既保留了底层的结构信息,又可以验证高层次的属性。对通信系统中信誉逻辑进行抽象进而建立了xMAS模型,提取了可发送性、可接收性和数据一致性等3个关键属性,运用定理证明工具ACL2对关键属性的正确性进行了自动验证。该方法为验证指导下的系统设计提供了有效的参考。

摘要：SpaceWire是应用于航空航天领域的高速通信总线标准,保证其设计的可靠性和正确性至关重要.本文通过概率模型检测的方法对SpaceWire的交换层设计进行形式化建模与量化分析.基于马尔科夫决策过程(MDP)对交换层的链路初始化及正常运行过程建立形式化概率模型,模型包括发送方、接收方和信道,提取SpaceWire交换层的4个关键属性,用概率计算树逻辑(PCTL)进行描述,运用PRISM平台对SpaceWire交换层设计进行验证和分析;并获得信道丢包概率不同情况下,链路初始化成功以及正常运行时数据包正确传输的概率,这种定量形式化分析结果可为SpaceWire的设计和实现提供参考依据.

摘要：作为一种开源的机器人操作系统,ROS在家用或服务性机器人上也得到广泛应用,保证其设计的正确性相当重要.本文通过定理证明的方法对ROS的节点间通信进行形式化建模与属性验证.对通信层的节点间连接建立和消息传递过程进行抽象建模,模型融合网络拓扑、主题匹配和路由机制等部分,定义函数对其进行描述,提取路由函数的存在性、可达性及正确性等3个关键属性,运用定理证明工具ACL2对ROS节点间通信的功能正确性进行自动验证,证明消息从源节点出发并选择有效的传输路径到达目的节点.这种满足属性要求的参数化模型具有一般性和易扩展性,并能保证ROS节点间通信的终止属性和功能正确性,可为ROS通信层设计的正确性验证工作提供一个有效的方法参考.