港口桥式起重机吊重系统姿态的稳定性控制

通过建立港口桥式起重机吊重系统的数学简化模型,提出基于位移和角度控制的模糊自适应PID智能控制方法,并在此基础上设计姿态稳定PLC控制系统,通过实验平台验证,该控制方法能够使得吊重系统迅速趋于稳定、响应速度较快,从而提高了起重机的工作效率和安全性。     

局域网在微机联锁系统结构中的应用研究

应用局域网技术、来取代微机联锁控制系统中所广泛采用的“多微机系统”结构，使系统个有更高的可靠性，实时性、安全性、易维护性。本文从多的系统结构。原理及铁路信号的“故障－－安全”设计原则出发，阐述了方案的规划、设计。     

计算机联锁控制系统安全性保障体系的一种模型

根据铁道部１９９４年颁布的《微机联锁系统暂行技术条件》，在阐述可靠性，安全性，故障－安全等概念及其之间的基础上，提出了一种计算机联锁控制系统安全性保障体系的模型。从这一模型可以清楚地了解到计算机联锁控制系统安全性保障体系的内涵。该模型的提出对计算机联锁控制系统安全性保障的实现奠定了理论基础。     

基于混合智能的金属结构诊断及维修决策系统

根据港口起重机金属结构故障发生的特点及其对整机使用安全性的影响情况,确立了起重机金属结构诊断与维修决策系统的基本任务和信息流向,分析了系统面临的智能技术问题,在此基础上,研究了一种智能混合模型,介绍了基于该模型的金属结构诊断及诊断决策智能系统的实现方法及应用特点。     

公路隧道交通安全模糊评判体系研究

综合考虑影响公路隧道交通安全的“人、车、路、环境、交通特性”等因素,建立了隧道交通安全评价的综合评价指标体系,利用层次分析法、模糊数学理论对其进行综合评价,并通过实例对评价模型的运用进行了说明,验证了该方法的有效性和科学性,为管理者采取相应的安全管理措施,提高公路隧道交通系统的安全性提供方法支持。     

PLC控制系统输入和输出的可靠性设计

针对ＰＬＣ控制系统外围设备故障率较高的突出问题，探讨了系统输入，输出的可靠性设计方法。     

LCF—96Ⅱ型列车超速防护系统的可靠性和安全性分析

可靠性和安全性分析是保证和验证铁路信号电子系统性能的重要手段。本文阐述了地铁ＬＣＦ－９６Ⅱ型列车超速防护系统的结构和功能，针对它的容错设计和故障一安全设计给出了Ｍａｒｋｏｖ分析模型，在分析模型中综合考虑了故障检测、共因失效等因素，使得分析模型更加精确。最后得出了定量的系统可靠性和安全性分析结果。     

W-I型水位控制系统在“轮机”教学中的作用

针对“轮机自动化”课程教学中所存在的问题，我们增添了一章“W—I型水位控制系统”的教学和实验。其作法是：将“自动控制理论”和“自动化仪表”的知识有机地结合到对过程控制系统——W—I型水位控制系统的分析和设计中，获得了较好的教学效果。现介绍如下。     

基于多智能体的城市交通流控制原型系统

对中国目前的城市交通流控制系统存在的问题进行了分析。针对原系统结构中的不足提出了构建基于多智能体的智能城市交通流控制系统的思路，并研究了该系统的基本框架和实现途径及方法，同时探讨了该系统中各个交通智能体的结构以及它们的协调合作关系，为基于多智能体的智能城市交通流控制系统的最终实现提供了理论指导和方法依据。     

基于形式化方法的平交道口控制系统安全设计

铁路平交道口控制系统是一种典型的安全苛求系统，为提高铁路平交道口的安全性，提出一个能适应双线双向接车的自动控制系统.首先，分析现有铁路平交道口的作业流程，利用新的控制系统解决现有系统中常见的三个问题，即出清检查、制动距离限制、连续接车中防护门短时间开放问题；其次，基于Event-B语言以及精化策略对设计的自动控制系统建立形式化模型；最后，检查证明义务以验证需求属性是否被满足，并应用动画器Animation展示系统功能的正确性.结果显示：相比传统的道口管理系统，本文提出的自动控制系统增加了双线连续接车功能，且使用形式化建模和验证，避免系统设计中存在的二义性，对平交道口安全管理有一定的参考意义.     

基于模型检测的区块链智能合约公平性形式化验证

随着第二代区块链平台及应用的爆发式增长,作为部署在区块链上可执行代码的智能合约面临越来越多的安全性问题.但是目前针对智能合约安全性问题的研究大多集中在对安全漏洞的挖掘,很少关注智能合约本身公平性对安全性的影响,对此提出一种基于模型检测的智能合约公平性验证方法.采用该方法对Puzzle合约的公平性进行验证,找到了一个已知...     

高速公路交通安全设计与评价研究

基于高速公路主动安全设计的重要性,对高速公路交通安全环境这一复杂的系统进行多级模糊综合评价,构建了一个实用有效的评价模型,并将该评价方法运用于某高速公路交通安全评价中,以验证评价指标体系选取的合理性及有效性。     

公路平面交叉口交通安全养护评价体系及方法研究

从公路平面交叉口交通安全养护需求出发,对平面交叉口交通安全养护评价指标体系和方法进行了系统研究和分析,形成了完整的公路平面交叉口交通安全养护评价体系。基于路基路面、安全设施、管理设施、交叉口渠化、绿化五个方面建立了平面交叉口交通安全养护评价指标体系;提出了评价指标数据采集方法和标准;验证了数据采集的一致性;建立了平面交叉口安全养护评价模型;标定出了模型参数;并选取试验路口利用模型计算值和专家主观打分均值的相关性分析,对建立的模型有效性进行了验证。     

基于单片机控制的霓虹灯语音系统

智能作品“梦想与辉煌”包括对霓虹灯和语音功能的自动控制,为此设计了以AT89C51单片机为核心的嵌入式控制系统,整个系统完全采用程控方式工作,结构简单。本文从硬件和软件两个方面介绍了该控制系统的设计方法。经过调试和运行,该系统达到预期目标并运行稳定可靠。     

用于ITS的智能车辆控制系统结构与性能指标研究

控制系统结构与性能指标是研究与设计高速公路环境下的智能车辆的两个基本问题。在对已有的几种控制系统结构并结合驾驶员的驾驶行为进行分析的基础上，给出了一种基于多智能体的智能车辆控制系统结构，探讨了其特点并从系统设计与实用的角度给出了智能车辆的控制系统性能指标。基于多智能体的控制系统结构具有更好的智能和更强的组织灵活性，对于复杂系统与智能控制研究具有重要的理论意义和实践价值。     

基于形式化方法的道口控制系统规范建模与验证

为了增强铁路道口控制系统设计的可靠性,使用一种形式化方法对该系统进行建模与验证. 基于道口管理规范,在分析系统各类属性与事件流程的基础上,使用UML图方法并结合精化策略建立了系统各层的Event-B语言模型. 通过对不变式的证明义务进行证明,验证了系统设计中的安全、时间特性,检查出了需求规范分析中的缺陷,提出了增强系统稳健性的改进方案,修正了系统的设计原型. 最后,通过不变式冲突与死锁检验进一步确认了模型的正确性. 研究表明文中方法提高了形式化建模过程的准确性与层次性,且确认得出目前规范中存在列车驶入道口时不能确保道口出清的缺陷,证实了使用本文形式化流程可以验证道口控制系统的需求规范并形成可靠的设计原型,从而可提高铁路道口的安全性.      

基于CCS-Simulink的永磁同步电机控制器设计及联合仿真

传统嵌入式电机控制系统开发流程需要配置嵌入式处理器的寄存器,编写底层驱动并验证,同时还要考虑数据处理、时序、底层程序与算法协调等诸多问题,效率低、周期长、安全性差,且代码可移植性差。针对上述问题,提出一种基于CCS和Simulink的联合仿真的电机控制系统开发方式,并进行仿真测试和实物验证。结果表明:基于模型设计的方法相对于传统研发方式表现出了更强大的活力和稳定性,提高了开发效率。     

桥上Ⅱ型板式无砟轨道纵向力智能分析系统

为实现桥上Ⅱ型板式无砟轨道无缝线路纵向受力与变形分析的智能化，考虑了桥梁结构、轨道板以及钢轨之间的相互作用，利用有限元法建立了多跨简支梁和大跨度连续梁桥上CRTSⅡ型板式无砟轨道无缝线路精细化有限元模型；采用C#语言对ANSYS进行二次开发，研发了集参数输入、有限元建模、荷载施加、自动计算、数据提取及数据智能处理于一体的纵向力智能分析系统。通过与已有文献对比，验证了智能分析系统的通用性和可靠性,可为桥上Ⅱ型板式无砟轨道无缝线路的设计提供参考。     

公路交通安全设施的改进组合评价模型

为准确、有效地评价公路交通安全设施系统，在综合考虑客观信息和主观评价关键作用的基础上，建立交通安全设施系统评价模型。该模型首先基于模糊层次分析法(FAHP)的模糊三角函数来计算主观权重，将不确定性语言转化为量化值；其次，将利用熵权法计算的指标熵值引入到客观权重计算中，解决传统相关性定权法(CRITIC)没有考虑指标间离散程度的问题；然后，建立优化组合赋权模型，计算各指标的组合权重，并结合模糊综合评价模型(FCE)对整体系统进行评价；最后，选取4个路段的交通安全设施系统进行案例研究，同时进行敏感性和比较分析，以验证模型的可靠性。该模型的建立可为交通安全设施的整体评价提供更全面的评价模型。     

基于安全的高速公路交通SD模型的构建

研究高速公路的交通安全问题，是发展我国高速公路建设的一个重要方面，文中运用系统动力学原理和方法，在具体分析影响高速交通安全诸方面的基础上，构造了系统的动力学模型，该模型一方面可通过计算机进行模拟，另一方面也将图形方式与数量方式相结合，展形系统安全分析。