在自动控制原理教学中如何应用"四步教学法" ——以二阶系统时域响应为例

通过二阶系统时域响应实例,系统地讲解"体验式四步教学法"的授课过程.首先提出二阶系统性能指标问题,然后分别对指标进行理论分析、仿真分析、实物实验分析,使教学过程形成了一个有机整体.通过实施"体验式四步教学法",使学生加深了对二阶系统性能指标的理解,培养了学生的创新思维和能力.     

在组织中实践基于模型的系统工程

 基于模型的系统工程（MBSE）要解决复杂系统工程的问题，需要通过信息、计算和软件来架设传统系统与各领域工程（嵌入式、安全、结构等）之间的桥梁。综合产品团队使MBSE的有效方式可以有效降低实践风险，同时MBSE工具链和集成开发环境的成熟度也是制约实践效果的重要影响因素。全面数字化趋势引领的第4次工业革命中，MBSE向数据主线/数字工程等演进的趋势日趋显著。面向未来，必须认识到MBSE和产品数据管理/产品生命周期管理集成，以及在数字工程和数字主线大背景下理解和再造MBSE的必要性。     

具有临界指数的k-耦合薛定谔系统的基态解

考虑k-耦合薛定谔系统■证明了在系数满足一定条件时正的基态解的存在性以及非平凡解的不存在性结果。     

大采高综采面瓦斯涌出治理技术研究

为有效治理大采高综采工作面瓦斯涌出问题,对工作面瓦斯涌出量及其来源进行分析。同时,为解决原瓦斯治理措施顺层钻孔抽采效果不佳的问题,提出U+I型通风和高抽巷瓦斯治理方案。现场实践表明:工作面回风巷和尾巷瓦斯浓度达到工作面管理要求;高抽巷瓦斯抽采纯量随工作面推进逐步增加,呈现小幅度的波动现象,瓦斯纯量最高达到121.61m3/min,工作面瓦斯得到有效治理。     

基于数字图像的大空隙沥青混凝土离散元模型

为了从细观角度深入分析大空隙沥青混凝土性能,利用CT扫描获取PAC-13大空隙沥青混凝土内部图像,将三维重构的切片图像和CT横向扫描图进行阈值分割,通过体视学理论选取与真实级配最相近的图像作为集料、空隙结构提取对象,建立了像素边长为0.5 mm的离散元模型,并进行单轴压缩虚拟测试.结果表明:三维重构切片图的级配误差比横向扫描图级配误差小了约20%,重构的切片图级配更具代表性;该模型实现的虚拟单轴压缩试验强度值与室内单轴压缩试验强度值相差小于3%,该模型具有很好的可靠性,这种数字图像建模的方法为研究大空隙沥青混凝土内部细观结构提供了参考.     

Cm命题演算的定理机器证明系统

C_m系统是制约逻辑的命题演算系统,但是其推导定理的过程可否由图灵(计算机)算法完成尚未得到明确的结论.研究证明了C_m的公式集是递归可枚举集,并且给出了一个递归枚举算法,该算法能够对任一给定的实际可证的C_m式在有限的步骤内判定它属于C_m可证公式集.并给出了C_m命题演算系统的一个定理机器证明系统.因此证明了C_m系统至少是半可判定的.     

一种精确曝气控制系统的设计与应用

污水处理过程中,曝气池内的溶解氧质量浓度是决定污水处理效果的关键因素。运用ICA技术(即仪表、控制和自动化)对污水处理厂曝气环节进行设计。在出水水质稳定达标的前提下,通过对溶解氧质量浓度精准的自动调节,最大化的减少能源消耗和工人的劳动强度。     

安全钳提拉机构的设计

SAM是电梯的触动系统,又名安全钳提拉机构,是电梯的重要安全部件之一. SAM系统将限速器提拉力传递到两侧安全钳,安全钳楔块压紧导轨接触面并制停电梯.本文阐述了电梯安全部件的基本性能、重要参数和设计要求.详述了系统惯性力、弹簧拉力的计算方法.为SAM系统部件设计和选型提供重要的参数依据.同时本文提供了欧标和美标对SAM系统的设计要求,以及SAM部件选型的验证方法.为设计者提供设计依据.