摘要：运行时安全性保障方法旨在系统运行过程中确保安全性属性得到满足.基于单工(simplex)架构的运行时安全性保障方法能够在使用复杂且安全性未经验证的控制器的情况下,为系统提供安全性保证.其基本思想是将复杂且安全性未经验证的复杂控制器与经过严格形式化验证的安全控制器相结合,前者工作在无安全风险的情况下,若检测发现系统存在潜在的安全风险,则通过决策模块完成复杂控制器与安全控制器之间的切换,从而确保系统的安全性.本文重点关注基于simplex架构的信息物理系统运行时安全性保障方法,从simplex架构决策模块的设计、改进与拓展,以及simplex架构的应用3个方面展开研究,对相关工作进行了梳理和总结,指出当前面临的技术挑战,并展望未来的发展方向,认为基于simplex架构的运行时安全性保障方法将会是解决智能信息物理系统安全性保障问题的有效途径之一.

摘要：为提高教学质量,提升学生实践能力,提出新工科背景下基于OBE理念的无线传感器网络的课程教学设计,从课程目标设计、构建课程目标与毕业要求对应关系、建设无线传感器网络的课程内容、设计课程评价体系以及课程的实施效果方面进行详细阐述,最后依据教学效果给出基于OBE理念的教学持续改进建议。

摘要：整车非簧载质量的大小对汽车性能影响较大,汽车研发设计时多用经验计算法获得整车非簧载质量,实车阶段根据弹簧预载力和整车重量对非簧载质量进行验证和修正。为提高整车预研设计阶段非簧载质量计算分析的准确性,文章以常见的麦弗逊悬架和扭转梁悬架为例,运用Adams/Car软件分析了关键底盘零部件的非簧载质量贡献度,该分析方法和分析结论可为汽车研发设计阶段某具体车型非簧载质量计算分析提供一定的参考依据。

摘要：某2×235 MW油页岩电站项目锅炉采用燃烧油页岩的循环流化床锅炉(CFB锅炉),油页岩中灰分占比达到60%以上,要求锅炉排渣系统能够稳定高效地运行。从冷渣器的结构和锅炉运行的角度,针对滚筒冷渣器流渣原因进行研究分析,总结流渣规律并确定流渣原因,最终对滚筒冷渣器的结构设计和运行逻辑等方面提出优化方案,并在入炉燃料粒径控制、锅炉运行方式等方面提出抑制冷渣器流渣的应对措施。通过采用一系列应对措施,滚筒冷渣器的流渣现象得到抑制;锅炉负荷调整过程中,滚筒冷渣器运行较为稳定。

摘要：约旦某油页岩电站项目锅炉为目前世界投运的最大容量的燃烧油页岩的循环流化床锅炉。油页岩灰分大、热值低,应用于发电工程具有一定的挑战性,需要对约旦油页岩进行试烧。该项目油页岩燃料在我国某清洁燃烧与烟气净化重点实验室进行燃烧试验,文章研究油页岩在循环流化床锅炉中的燃烧特性,以及SO_(2)和氮氧化物(NO_(x))的排放特性,掌握约旦油页岩的理化特性和在循环流化床燃烧方式下的燃烧、排放、灰渣等特性,为项目锅炉设计选型及运行提供依据。

摘要：为了满足发动机将动力源源不断地传到车辆的各个部件中,一套完整且更优化的传动系统变得至关重要。在对某车总布置设计过程中,采用参数化设计方法,根据初步选取的发动机、变速箱、分动箱、轮胎及驱动桥等关键总成的相关参数和设计要求的整车尺寸参数,建立了传动系统的参数化三维模型,分析了动力总成姿态角对传动系各传动轴夹角的影响因素。选取发动机、分动箱和驱动桥的姿态角作为变量、以各传动轴夹角为优化目标,通过试验优化设计方法,优化了各动力总成姿态角、减小了各传动轴夹角。

摘要：广佛高速公路路面大修项目是全国第一个大规模应用厂拌热再生沥青技术的高速公路维修项目。本文介绍了旧路的再生适用性评价,再生沥青和再生沥青混合料的设计方法及其性能评价,沥青混凝土路面回收料的铣刨和预处理,再生沥青混合料的拌和、摊铺、碾压工艺及其质量控制等。认为厂拌热再生沥青混凝土路面可以达到普通全新沥青混凝土路面的技术和质量标准,可以用于高等级路面。

摘要：深圳大学创新发展基金基础实验项目是一个培养大学生创新精神、团队合作能力的项目。随着影响力的扩大,每年申报项目的学生越来越多,传统的采用纸质材料手工审批的管理模式慢慢不适应时代的发展。因此,笔者基于校园统一身份认证平台,分析和设计了一个院级学生创新发展基金系统。

摘要：针对传统的电喷发动机节气门故障诊断方法存在故障误判的问题,提出了基于统计模量分析的电喷发动机节气门故障实时诊断方法。对电喷发动机节气门故障信号进行预处理,使用小波变换对故障信号最大值处的模极大值进行滤除,完成对故障定位信号的特征提取;对单个电喷发动机节气门故障信号变量的统计模量进行计算,提取出电喷发动机节气门故障信号批次轨迹分布特征,运用故障信号批次轨迹分布特征来判断控制限,将统计量值与控制限进行比较,完成对电喷发动机节气门故障的诊断。实验结果表明,所提方法与传统方法相比,可以精确地诊断出电喷发动机节气门故障,且诊断效率较高。

摘要：论文研究了基于差动转向的四轮独立驱动(FWIA)无人驾驶汽车(AGV)的路径跟踪问题。通过差动驱动同轴的左右车轮产生差动力矩,这一差动力矩可以统迫使车轮绕着各自的主销转动,这一转向方式被称为差动转向。基于模型预测控制(MPC)设计路径跟踪控制器计算出所需的差动力矩,在完成路径跟踪任务的同时确保车辆的稳定性。期望的横摆角速度考虑了路径跟踪误差,将路径跟踪问题转化成了车辆稳定性问题。通过CarSim-Simulink联合仿真,验证了差动转向的可行性以及路径跟踪控制器的控制效果。