摘要：为了消除利用离散指数趋近律设计的离散变结构控制系统中存在稳态振荡现象,使系统具有良好的稳态性能,提出了一种新的趋近律,利用该趋近律设计的变结构控制器,不仅能够削弱抖振,使系统运动最终趋于原点不存在稳态振荡,而且能使系统的准滑动模态保持步步穿越切换面的基本属性,有效地改善了趋近过程,提高了控制品质.仿真结果验证了该方法的合理性与有效性.

摘要：在分析了几种离散变结构趋近律趋近过程的基础上,提出了一种改进的趋近律,该方法能够大幅度削弱抖振,使系统运动最终趋于原点且不存在稳态振荡,能使系统的准滑动模态保持步步穿越切换面的基本属性,改善了趋近过程.

摘要：研究离散时间系统变结构控制问题,提出一种新的离散变结构趋近律.利用该趋近律设计的离散变结构控制器,不仅能大幅度削弱抖振,使系统运动最终趋于原点不存在稳态振荡,而且可使系统的准滑动模态保持步步穿越切换面的基本属性,有效地改善了控制品质,提高了系统的鲁棒性.仿真结果验证了该方法的有效性与合理性.

摘要：针对离散时间系统变结构控制的设计问题进行了研究。为了改善离散指数趋近律的趋近过程,提出了一种新的趋近律,利用该趋近律设计的变结构控制器,不仅能够大幅度削弱抖振,使系统运动最终趋于原点不存在稳态振荡,而且能使系统的准滑动模态保持步步穿越切换面的基本属性,有效地改善了趋近过程,提高了控制品质。仿真分析验证了该方法的合理性与有效性。

摘要：针对飞行模拟转台在低速运行时的控制问题进行研究。由于摩擦力矩对飞行模拟转台在低速运行的影响较大,为了使转台在低速运行时具有精确的跟踪能力,采用变结构控制方法设计了控制器,并利用干扰观测器对摩擦力矩进行估计,从而在不增加系统硬件设备及改变转台结构的情况下对摩擦力矩进行补偿。仿真表明,该方法可以使飞行模拟转台在低速情况下具有良好的跟踪能力,干扰观测器可以准确地对摩擦力矩进行估计,并有效地补偿了摩擦力矩的影响,验证了该方法的有效性。

摘要：航空母舰甲板垂向运动是舰载机高海况着舰误差的主要因素,为提高舰载机在高海况下的自动着舰精度,自动着舰系统采用甲板运动补偿器根据甲板垂向运动生成补偿指令,以驱动舰载机精确跟踪甲板运动,从而减少着舰误差。常规甲板运动补偿器在补偿频率范围内虽然可以实现预期补偿效果,但在补偿频率范围外存在高增益区域,对甲板运动中的高频分量起放大作用,并且将其混入生成的补偿指令中,会对舰载机飞行安全产生影响。为在有效补偿的同时减少对甲板运动高频分量的放大作用,通过对舰载机自动着舰系统的频率响应按频率进行采样,设计出离散甲板运动补偿器频率响应,采用频率采样法设计数字式有限冲击响应(FIR)甲板运动补偿器。仿真结果表明:所设计的基于频率采样方法的FIR甲板运动补偿器在有效补偿由甲板运动引起的舰载机着舰误差的同时,可有效降低甲板运动高频分量的影响,提高着舰精度。

摘要：在CAN总线通信网络的建设中,CAN总线控制器实现了CAN总线协议的大部分内容.首先介绍了CAN总线的概况,简单介绍了CAN总协议的内容,详细介绍了有限状态自动机的组成特点以及利用有限状态自动机实现CAN总线协议的方法.最后根据有限状态自动机的设计要求,详细介绍了CAN节点的各种状态以及各个状态之间的转换关系.

摘要：随着现代社会计算机化程度的提高,与计算机相关的各种系统故障足以造成巨大的经济损失.机械化定理证明能够建立更为严格的正确性,从而奠定系统的高可信性.针对机械化定理证明的逻辑基础和关键技术,详细剖析了一阶逻辑和基于消解的证明技术、自然演绎和类型化的λ演算、3种编程逻辑、基于高阶逻辑的硬件验证技术、程序构造和求精技术之间的联系和发展变迁,其中,3种编程逻辑包括一阶编程逻辑及变体、Floyd-Hoare逻辑和可计算函数逻辑.然后分析、比较了各类主流证明助手的设计特点,阐述了几个具有代表性的证明助手的开发和实现.接下来对它们在数学、编译器验证、操作系统微内核验证、电路设计验证等领域的应用成果进行了细致的分析.最后,对机械化定理证明进行了总结,并提出面临的挑战和未来研究方向.

摘要：二维材料因其独特的晶体结构、新奇的物理特性和优异的力学性能,在光电器件、微纳机电系统等诸多领域有着广阔的应用前景,其中力学性能对于器件的制备、功能性、稳定性以及服役寿命等方面尤为重要。本文提出了一种测量二维材料杨氏模量的普适性实验方法,借助通孔鼓泡技术对材料进行连续可控加载,同时结合原子力探针技术原位表征其力学响应。该技术较好地解决了文献中常用恒定分子数鼓泡技术在测试二维材料杨氏模量中存在的加载周期长、加载不连续等弊端。以单层或双层石墨烯薄膜为例,利用自行搭建的通孔鼓泡实验平台结合原子力显微技术实现了鼓泡高度和直径大小的原位测量,借助Hencky解获得石墨烯杨氏模量,实验数值与文献报道相符。此外,在三角波和正弦波两种动态循环加载方式下,该测试方法均表现出良好的稳定性。本文工作不仅发展了一种普适原位的二维材料杨氏模量实验测试方法,也为大面积二维材料薄膜力学性能的程序化测试与分析、高通量实验数据的力学统计分析打下了可靠的实验基础。