基于实数遗传算法的列车优化操纵曲线研究

列车优化操纵是列车节能控制的关键问题，以列车运行动力学方程和牵引计算理论为基础，结合列车运行过程中的要求，构建以能耗、时分误差、限速等为目标的列车节能控制模型，采用实数遗传算法，通过Visual Basic编程对此问题进行求解。在已知列车编组的条件下，以DF4型内燃机车牵引客车、空气制动和燃油量曲线为基础，得到给定运行时间、距离条件下的优化操纵曲线，从而对司机操纵给出指导性意见。     

论高等学校对学生的管理权与受教育权的协调

由于管理观念落后、立法存在缺陷以及救济机制失范等诸多原因,高校对学生的管理权与学生受教育权的冲突日益增多。管理权扩张的本质和个体权利的保障构成了一种悖论,其结果必然是侵犯居于弱势地位的学生的权利。如欲预防和化解高校与学生的纠纷,必须确立以人为本、依法治校的理念,完善教育法律法规体系和构建多元化的长效救济机制,以塑造二者的和谐关系。     

右室射血分数对肺心病早期诊断价值的探讨

采用核多功能仪平衡法测定了10例正常人及44例慢性阻塞性肺疾患患者的右、左室射血分数(Right and Left ventricular ejection fraction,RVEF,LVEF)。结果表明,肺心病组其RVEF显著低于正常组。若以RVEF<45%作为早期肺心病的诊断指标,一些心电图和X线尚未出现改变的慢支或并发肺气肿者,即可诊断为早期肺心病。此外,肺心病患者其LVEF亦减低,提示肺心病左心功能亦受损。故RVEF的检测对肺心病的早期诊断提供了一项简单经济、无创而客观的方法。     

电控柴油机计算机实时仿真系统设计

论述了电控柴油机计算机实时仿真系统的原理 ,构建了一种具有较好的通用性和扩展性的电控柴油机计算机实时仿真系统。     

Wheel slip control with torque blending using linear and nonlinear model predictive control

Modern hybrid electric vehicles employ electric braking to recuperate energy during deceleration. However, currently anti-lock braking system (ABS) functionality is delivered solely by friction brakes. Hence regenerative braking is typically deactivated at a low deceleration threshold in case high slip develops at the wheels and ABS activation is required. If blending of friction and electric braking can be achieved during ABS events, there would be no need to impose conservative thresholds for deactivation of regenerative braking and the recuperation capacity of the vehicle would increase significantly. In addition, electric actuators are typically significantly faster responding and would deliver better control of wheel slip than friction brakes. In this work we present a control strategy for ABS on a fully electric vehicle with each wheel independently driven by an electric machine and friction brake independently applied at each wheel. In particular we develop linear and nonlinear model predictive control strategies for optimal performance and enforcement of critical control and state constraints. The capability for real-time implementation of these controllers is assessed and their performance is validated in high fidelity simulation.     

基于Timed RAISE的高速列车RBC切换协议形式化建模及验证

在CTCS-3(Chinese Train Control System Level 3)级列控系统中,RBC(Radio Block Center)切换是影响列车安全高效运行的重要环节,现阶段对RBC切换协议进行验证分析所使用的形式化方法还存在状态爆炸或描述性质单一等问题。基于Timed RAISE的形式化方法,结合域的模型,在对RBC切换流程分析的基础上,构建状态转移图,得到切换协议的形式化模型,使用等价和推断的推理规则对模型的正确性和实时性进行推理验证,得到的结果表明,RBC切换协议满足规范标准对正确性与实时性的要求,将验证结果与其他文献的结论进行比较分析,说明该方法具有通用性,对于推广其在列控系统场景验证中的应用有一定的实际意义。     

从知识对象到"生活形态":皮尔士实在理论中的中介性原则

一切传统的二元性的认识论必然导致最后一个形而上学式的“自在之物”。由此，皮尔士对传统认识论的批判也必然促使他建立全新的实在理论。在阐述实在概念的过程中，皮尔士逐步建立起了较为完整的实用主义理论构架，并且对实在、真理、意义等普遍性概念给出了独特的理解和全新的意义。     

һ������ʵʱ��Ϣ��ͳ����Ϣ�Ŀɿ�·�������㷨

研究在具有过去的统计信息及实时信息条件下的交通网络上的路径生成问题 我们假定路段通行时间具有一定的概率分布，这一分布从过去的统计数据得到，而当旅行者到达某一节点时，以该节点为起点的路段的通行时间作为实时信息被告知。在以上条件下，我们给出一种自适应算法来实时地生成一条路经，使得在某一预定时刻以前到达目的地的概率最大这个概率是衡量路径的时间可靠性的尺度，因而我们称相应算法为reliable routing algorithm。与之对应，我们注意到在以往的研究中，衡量路径优劣的有平均通行时间长短等等尺度。     

中意律师在侦查阶段辩护职能之比较

1996年，我国刑事诉讼法修订以后，新法从立法上来说，基本上更多地采用了当事人主义的模式，这种模式要求控诉方和辩护方要尽量处于平等地位，而辩护律师的辩护职能的发挥对达到这一要求和目的具有至关重要的作用。但是，当前律师辩护的问题，一直是困扰理论界和实务界的一个重要问题。而律师在侦查阶段辩护权的问题，更是表现得尤其突出。对此，本文针对这一问题，与正在进行司法改革的意大利就有关方面进行了比较分析，旨在从中寻求有益的经验，从而少走弯路。     

Bounded Real Lemma for Generalized Linear System with Finite Discrete Jumps

Introduction In the past decade, research interests on sam-pled-data systems are increasing with the wide ap-plication of digital control in the industry. Tradi-tional discretization technique is limited since failedto take into account intersample behavi…