基于特色化项目设计的“数控车削”课程改革探索与实践

文章在说明"数控车削"课程项目化教学改革目标思路的基础上,以具有行业特色的船舶配套零件加工项目为例,详细探讨其项目载体设计与基于工作过程的教学过程设计,并在课程项目化教学改革中予以实践。     

基于油液监测的船舶柴油机故障预测与健康管理技术研究

以连续监测收集的油液光谱数据为依据,提出了基于统计过程控制（SPC）的船舶柴油机故障预测方法,将主要磨损元素的质量浓度梯度作为质量特性指标,运用SPC技术对各质量特性进行了统计分析.结果表明,此船舶柴油机可能存在异常因素而导致磨损状态处在统计控制之外,需要查找故障的根源;并基于上述获得的油液监测数据,利用投影寻踪（PP）方法对此船舶柴油机整机性能退化程度进行了综合评定,制定了相应的评判标准.     

������Ⱥ�㷨�Ĺ�·���˿�������Ż�

公路客运快递依托客运线路采用直达模式进行运输获得了较好的经济效益,但直达模式却制约着其运输网络的能力和结构. 为提高运输网络的能力,完善运输网络结构,发挥公路客运时效性好的优势,本文提出转运的思想,并用优化模型设计公路客运快递的运输网络,使快件运输时间最小化. 优化模型是带有时间窗的运输网络设计问题,传统算法难以求解,因此用蚁群算法进行求解. 算例分析表明,基于优化模型设计的运输网络可以节省快件的运输时间,提高公路客运快递的运输能力.     

国产CBTC系统安全认证模式探索

轨道交通系统作为大容量公共交通工具,其安全性直接关系到广大乘客的生命安全．为了保证轨道交通系统的运行安全性,系统必须在其投入运行之前进行安全认证,只有取得相应的安全授权才能投入运行．结合北京轨道交通亦庄线示范工程中信号系统的安全认证过程,探讨适合我们国家的地铁建设过程中的安全认证模式,在应用国际安全标准的同时,必须结合我们国家的实际情况开展相关的研究工作,从产品研发和工程实施全生命周期各个阶段进行安全分析和设计,把风险控制到可以接受的水平以下．     

新形势下高校家庭经济困难学生认定与资助模式的探讨

家庭经济困难学生认定是高校助学工作的基础。当前认定方法和认定工作中存在着信息虚假、缺乏统一标准、侵犯受资助人隐私等问题。为改变传统的资助模式,文章提出了构建以有偿性资助为主的资助新模式,新资助模式有助于降低认定成本,保护家庭经济困难学生的心理健康以及提高效率。     

一种燃气轮机状态监测和故障诊断专家系统的研究

介绍了一种燃气轮机状态监测和故障和故障诊断专家系统。提出了产生式规则和框架相结合的知识表示方法；合理地组织了知识库，并提供了较完善的知识库管理功能；实现了该诊断问题中故障严重程度和可信度两种模糊概念的推理；建造了适合本问题的正、反向混合推理机。     

基于国外铁路维修车间设计的探索

研究目的:依据国外某铁路项目机车车辆维修车间的设计实例,注重资源共享和工程特点,创新地将动车组、机车、车辆运用和检修设施合并设置,并将大型养护机械车的检修纳入维修车间,配置先进的信息管理系统,从而探索出设计新思路,提出国外维修车间设计的参考意见。研究结论:基于工程特点和总平面布置优化,设置包含动车组、机车、车辆设施的机车车辆检修基地,既可减少工程投资,又可实现资源共享。     

基于动态故障树的计算机联锁系统安全性及性能分析研究

针对2种常用冗余结构计算机联锁系统中的联锁机子系统,在考虑单元模块、比较模块和系统间切换模块全故障模式的情况下,建立双机热备和2×2取2计算机联锁系统的危险失效概率PFD和安全失效概率PFS的动态故障树模型。由于故障树概率近似法和Markov方法计算结果非常近似且概率近似法的求解过程简单和存储要求低等特点,采用概率近似法求解对应的PFD和PFS,实例对比分析2种冗余结构计算机联锁系统的安全性。研究结果表明:在全故障模式下,2×2取2计算机联锁系统的安全性高于双机热备。     

化LF(X)中任一公式为可归约形式的算法

针对基于归结方法的自动推理过程中的化任一公式为可归约形式这一问题进行研究．简述了LF(X)及其中公式的相关概念，证明了对LF(X)中公式进行转化的若干理论结果，并由此给出化LF(X)中任一公式为可归约形式的理论基础和基本算法．     

Validation of an agent based model using a participatory simulation gaming approach: The case of city logistics

Agent-based modeling is used for simulating the actions and interactions of autonomous entities aiming to assessing their effects on the system as a whole. At an abstract level, an agent-based model (ABM) is a representation of the many simple agents and interactions among them. The decision making of the agents is based on the rules given to them. In an ABM, the model output is the result of internal decision-making and may differ with alteration in the decision path. On the contrary, with the set of rules embedded in agents, their behavior is modeled to take a ‘certain action’ in a ‘certain situation’. It suggests that the internal decision making behavior of agents is truly responsible for the model output and thus it cannot be ignored while validating ABMs. This research article focuses on the validating agents’ behavior by evaluating decision-making processes of agents. For this purpose, we propose a validation framework based on a participatory simulation game. Using this framework we engage a human player (i.e. a domain stakeholder) to allow us to collect information about choices and validate the behavior of an individual agent. A proof-of-concept game is developed for a city logistics ABM to test the framework.