摘要：目前,高级数据链路控制(High-Level Data Link Control, HDLC)协议控制器在航天型号中依然应用广泛,通常以IP核的形式被集成在通信部件中。但是近年,多个经过仿真验证的HDLC IP核在航天型号运行过程中出现了触发概率极小的功能错误,导致数据帧丢失、通信功能失效甚至任务失败。在仅依靠仿真无法保证验证充分性的背景下,采用形式化验证方法进行功能验证。本文依据HDLC国际标准分析同步传输模式关键功能,将关键功能拆分为属性描述,并根据属性编写断言,从而建立HDLC协议同步传输模式关键功能用例集,并以正在航天型号中使用的某HDLC IP核为例,使用形式化验证工具进行验证实验,发现了此前从未发现的两处设计缺陷。针对这些设计缺陷,分析了其触发原理和可能造成的危害。

摘要：在分析军队医科院校计算机基础课程现状的基础上,以Python程序设计模块为例在启发式教学、沉浸式教学、教学评价方式三个方面提供了课程教学设计方案,为军队医科院校计算机基础课程的实施与发展提供良好的借鉴。

摘要：为了满足蛇形机器人轨迹跟踪运动的精度需要,消除外界干扰对机器人跟踪误差的影响,提出了一种蛇形机器人跟踪误差预测的自适应轨迹跟踪控制器。所提出的控制器实现了机器人干扰变量、摩擦系数和控制参数的预测,并用预测值和虚拟控制函数来补偿系统的控制输入,抵消了蛇形机器人在轨迹跟踪过程中的侧滑角,避免了干扰变量对机器人带来的负面影响,提高了轨迹跟踪的误差稳定性与控制精度。在建立蛇形机器人模型后,利用积分形式的侧滑角补偿项改进了视线法,并设计了蛇形机器人的自适应轨迹跟踪控制器。使机器人的位置误差在10 s内实现收敛,角度误差小于0.03 rad,预测值误差在5 s内收敛。通过仿真实验,验证了所提出的控制器的有效性和优越性。

摘要：以某2 030mm酸洗-连轧机组圆盘剪为研究对象,基于ANSYS/LS-DYNA非线性有限元软件,采用弹塑性有限元法,建立剪切过程数值模型。剪切力的理论解和数值解具有较好的一致性,验证了模型的可靠性。计算获得了剪切力曲线;分析了不同剪刃侧向间隙、剪刃重叠量、带钢厚度、单侧切边量及剪切速度条件下的剪切力及其分布规律。为圆盘剪的结构设计、电气控制及调试提供了依据。

摘要：螺杆空压机是压缩空气系统的动力装置,能够为系统提供压力与流量的压缩空气,在矿山工业、钢铁冶金、石油化工、有色金属品制备、医疗器械等行业有着广泛的应用。然而,随着环保要求越来越严格、低能耗节能要求越来越急迫,永磁变频螺杆空压机在我国鼓励节能减排、降能耗的技术背景下应运而生。本研究介绍了螺杆空压机的工作特点以及工作原理,分析了永磁变频技术在螺杆压缩机节能环保技术中的应用。

摘要：为解决SoC(system on chip)设计中无法在RTL(register transfer level)阶段验证毛刺存在及其影响问题,提出一种使用形式验证技术在RTL级检测毛刺的方法,同时提出RTL级毛刺故障注入方法。通过检测逻辑门输入同时翻转的原理设计毛刺检测电路,使用形式验证中断言实现检测电路;基于毛刺检测电路和毛刺在时序逻辑的影响,设计其影响等价电路,实现RTL级毛刺故障注入。实验结果表明,该方法能够准确检测毛刺存在并通过毛刺注入分析,进一步发现毛刺对电路功能的影响,将对毛刺的检测和影响分析提前到RTL级,减少了因后期毛刺故障带来的设计迭代和周期成本。

摘要：针对气囊隔振器的安装和使用受承载特性的直接影响的情况,对某长圆柱形气囊隔振器的承载特性进行研究,其承载特性主要与囊内气体的压力有关。将该长圆柱形气囊隔振器简化为圆柱和圆环2部分,通过分析得到气囊的有效面积表达式;利用虚位移原理推导出气囊的容积表达式;结合气体多变方程建立气囊承载特性数学模型。设计长圆柱形气囊隔振器的承载特性试验,并对气囊承载特性的试验曲线和理论曲线进行对比。结果表明:二者的吻合度较高,可供长圆柱形气囊的设计和使用参考。

摘要：针对蛇形机器人在流场中各关节之间的轨迹跟踪问题,研究一种基于改进蛇形曲线的蛇形机器人在流场中避障的轨迹跟踪控制律.首先,考虑流体环境可能施加在蛇形机器人系统上的外部干扰,采用浸入边界一格子Boltzmann方法(IB-LBM)在流场中建立障碍通道和蛇形机器人的流固耦合模型.然后,对蛇形机器人加入势函数,使其可以避开障碍;并采用改进的蛇形曲线方程使机器人尾部各关节跟踪头部的运动轨迹.最后,通过Matlab仿真和实验,研究不同流场密度、机器人尾部摆动频率以及流场雷诺数等参数对蛇形机器人轨迹跟踪的影响.理论分析和数值仿真表明,所设计的轨迹跟踪控制律不仅可以使蛇形机器人在遇到障碍时各关节跟踪前一关节的运动轨迹,而且还能使横向距离、纵向距离及方向角趋于稳定,达到有效避障的目的.此外,蛇形机器人在离开障碍通道后,各关节可以恢复蛇形曲线的运动形式,为蛇形机器人提供源源不断的前进动力.仿真和实验结果验证了轨迹跟踪控制律的有效性.

摘要：随着接受应试教育的这批学生进入社会、为人父母,大家开始反思自己接受单一知识教育带来的遗憾。好的教育,会帮助个体成为完整、独立的人。成为完整的人,就需要对自己和世界有整体的认识,接受科学、技术、人文、艺术等全面的教育。而在应试教育制度下成长的起来的这代人,由于被迫地追求考试分数,只能接受枯燥的书本知识和既定的标准答案，缺乏思考和动手能力，以至于很少有人能在这个急速变化的时代找到自己合适的位置。

摘要：针对传统制造多孔结构具有的盲目性和不确定性以及如何将多孔结构有效的设计理念应用于实际制造的问题,提出了一种设计及制造具有多孔支架结构的方法.该方法通过设计单元结构,使其组成的多孔结构能在降低弹性模量的基础上保证结构的力学性能.首先,应用Optistruct软件对单元结构进行拓扑优化,提取优化的单元结构;然后,在Magics里将单元模型修复、阵列得到多孔支架,用选区激光熔融技术制造多孔支架;最后,对多孔结构的力学性能进行了测试.实验结果表明:多孔支架的弹性模量与抗压强度值均在骨骼的要求范围内.