基于混合逻辑动态模型的混杂系统预测控制

针对过程工业控制对象的混杂特性，采用基于混合逻辑动态模型的预测控制策略。给出混杂系统的建模方法，并对其稳定性进行分析。仿真结果表明基于混合逻辑动态模型的预测控制能使混杂系统跟踪设定值并满足操作约束，为研究新一代复杂工业控制系统提供了新的思路。     

基于混合逻辑动态的制造系统建模方法研究

针对制造系统中连续和离散并存的混杂特性,在分析目前混杂系统典型建模方法的基础上,提出采用针对复杂工业过程、集成控制对象定性知识和逻辑规则的混合逻辑动态(MLD)模型对制造系统进行建模方法研究,讨论了制造系统抽象的一般规律,建立了一个具体制造生产线的MLD模型,为今后相关性能分析和控制器设计奠定了基础。     

基于混合逻辑动态的混杂系统研究及应用

综述了一种在工业领域中使用的混杂系统建模方法,即基于混合逻辑动态MLD（Mixed Logic Dynamic）的建模方法。分析了在该建模框架下系统的可观性、可控性、形式验证、稳定性、状态估计及故障检测、最优控制和预测控制,并且以水电厂为例讨论了该方法在实际工程中的应用。基于MLD的混杂系统研究目前仍处于起步阶段,在理论上混杂系统预测控制、最优控制、多目标控制及混合整数二次规划求解都有待研究,在应用上如何根据不同问题有效地建模混杂系统也有待研究。     

列车运行调度的现状及展望

分析列车运行计划制定和速度调整的实际情况,研究列车运行调度的建模及求解技术。针对目前相对静态的列车运行调度模型,建立车站-闭塞分区一体化及考虑列车动态运行状况的优化模型,并提出一种具有预测控制、滚动优化、实时反馈的列车运行调度与控制框架,该框架可以提高行车密度、抵抗随机扰动、优化铁路网络的运营性能。     

具有学习机制的列车运行调度Agent

为提高列车运行调度的智能性,分析了列车运行调度活动,采用agent技术建立了具有学习机制的列车运行调度agent结构,学习机制包含自学习机制和它学习机制,并详细论述了学习机制。通过采用原京沪高速铁路数据建立仿真平台对具有学习机制的列车运行调度agent进行了验证,结果表明,采用具有学习机制的列车运行调度agent可提高列车运行调度系统的智能性,调度决策所用时间缩短一半左右。     

资源配置混杂Petri网的混杂系统生产过程动态调度

为了增强混杂生产过程应对突发事件的能力,以一种新的混杂Petri网(资源配置混杂Petri网)为研究模型,给出了相应的使能和激发规则.并在资源配置混杂Petri网建立的仿真模型的基础上,融入事件逻辑网和逻辑规划,提出一种适用于混杂系统动态生产调度建模和优化的方法.以典型的混杂生产过程为例,研究混杂系统生产过程建模及优化.研究结果表明,资源配置混杂Petri网模型描述能力强,能够有效描述混杂系统生产过程,所提出的动态调度方案切实有效.     

RGV动态调度模型

随着自动化加工制造业的蓬勃发展,智能加工系统呈井喷式发展,相应的调控策略算法成为了核心。本文针对往复式轨道自引导小车RGV(RailGuidedVehicle)智能加工系统的加工情况,以成料数量最大作为目标函数,以RGV的调度路径作为决策变量,得到RGV动态调度模型,构造启发式算法得出近似最优解。最后的仿真结果表明:建立的模型与算法具有可行性。     

基于仿真列车运行的时刻图编制方法

为了实现城市轨道交通的高效运输,在研究了城市轨道交通与铁路交通的差别后,提出了适用于城市轨道交通,基于仿真的列车运行时刻图编制方法.通过仿真列车在交通线路上的运行情况,将仿真结果作为运行时刻图,能按不同的时间区段来调整运行时刻图,以满足城市交通的运能需求与节能需求.在真实生产中取得了良好的经济效益.     

列车运行调度方法的研究与分析

将列车运行调度的相关研究按列车运行图编制和列车运行调整两方面进行分类,介绍列车单双线区段和客运专线的运行图编制方案,分析列车运行实时调整、列车插入(取消)服务及冲突预测方法,探讨研究列车运行自动调度系统的实时性和智能性、突发条件下列车运行的疏解方案、节假日高峰情况下列车运行调度等问题的重要性。     

基于动态描述逻辑的多主体协作模型

基于动态描述逻辑的主体模型和协作过程就是既考虑了智能主体的知识表示与推理问题,又紧密地结合主体的设计与编程问题,把表示与推理应用到主体的具体设计中.它充分利用了动态描述逻辑的统一的形式化框架,同时从静态的知识表示与推理和动态的运行与变化两个方面来刻画主体的心智状态和协作过程,探讨了主体信念、行为能力、目标和规划等心智要素的表示、推理与修改以及联合目标的形成、多目标的规划问题.多主体协作模型将理论和实践有机地结合起来,能够充分体现智能主体的本质特征与运行机制,为多主体系统的设计与编程奠定了很好的基础.     

混杂系统滚动时域状态反馈预测控制研究与实现

分析了混杂系统混合逻辑动态建模机理,提出混杂系统基于滚动时域状态反馈预测控制策略,并对滚动时域状态估计器的收敛性进行了研究.仿真实例验证了滚动时域状态反馈预测控制策略的有效性.     

基于混合逻辑的非线性系统多模型预测控制

针对已有的多模型预测控制算法在模型预测过程中采用局部线性模型进行预测而产生的预测误差较大这一问题, 本文将非线性过程的多模型描述与输出预测之间的因果关系以约束条件的形式引入到模型预测控制的设计中, 将非线性过程描述成为一个混合逻辑动态系统模型, 模型切换规则以先验知识的形式引入到多模型预测过程中, 该模型可以全局地表征非线性过程的特性, 从而解决了多模型约束非线性预测控制的模型预测与模型切换问题.     

基于模型设计的列车网络控制逻辑开发研究

现代轨道交通列车控制系统的结构日益复杂,针对目前列车网络控制逻辑开发中存在复杂度和开发难度大的问题,详细研究了基于模型设计高效率开发列车控制单元逻辑软件的方法。通过创建技术需求规范、生成定点模型、自动生成产品级软件代码和持续不断的测试及验证,实现了机车辅助变流器负载控制逻辑的开发。离线仿真试验和地面联调试验结果表明本方法可实现机车辅助变流器负载分配规则和逻辑需求,证明了基于模型设计方法在整车控制单元软件开发工程应用中的有效性和可行性,为轨道交通列车其他控制单元的软件高效率开发提供参考。     

交叉口有交通信号控制时用户最优动态配流模型

针对智能交通系统（ＴＴＳ）基础上中主要基础理论之一的动态交通分配问题,在现有研究成果的基础上,提出了更接近真实路网的多起点多旋点交叉口设置有交通信号控制（Ｔｒａｆｆｉｃ Ｓｉｇｎａｌ Ｃｏｎｔｒｏｌ）时的动态配流模型,给出了对现有的通过Ｆｒａｎｋ Ｗｏｉｆｅ算法所得的ＤＵＯ配流解进行修正的原则,最后的算例表明由修正后的模型和算法所得到的ＤＵＯ配流解满足ＴＳＣ约束。     

基于动态描述逻辑的主体模型

在动态描述逻辑的基础上,提出了一种智能主体的心智状态模型．它充分利用了动态描述逻辑统一的形式化框架,同时从静态的知识表示与推理和动态的运行与变化两个方面来刻画主体的心智状态．探讨了主体信念、行为能力、目标和规划等心智要素的表示、推理与修改等基本问题．该主体模型将理论和实践有机地结合起来,表达能力强,能够充分体现智能主体的本质特征与运行机制,为智能主体的设计与编程奠定了很好的基础．     

Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems

We introduce a hybrid variant of a dynamic logic with continuous state transitions along differential equations, and we present a sequent calculus for this extended hybrid dynamic logic. With the addition of satisfaction operators, this hybrid logic provides improved system introspection by referring to properties of states during system evolution. In addition to this, our calculus introduces state-based reasoning as a paradigm for delaying expansion of transitions using nominals as symbolic state labels. With these extensions, our hybrid dynamic logic advances the capabilities for compositional reasoning about (semialgebraic) hybrid dynamic systems. Moreover, the constructive reasoning support for goal-oriented analytic verification of hybrid dynamic systems carries over from the base calculus to our extended calculus.     

基于动态模糊逻辑(DFL)的一种时序推理模型

在我们的研究领域中 ,普遍存在动态模糊事件 .而当今 ,随着计算机科学技术的发展 ,人们又试图用计算机来模拟这些具有“动态模糊性”的事件 .因此 ,以往有关文献提出了动态模糊逻辑、动态模糊集、基于 DFL的一种学习模型及动态模糊主动数据库系统的设计方法和基本概念 ,这些理论的提出 ,虽然为人们解决具有动态模糊性的问题提供了一定的理论依据 ,但从整个动态模糊系统来看 ,这些工作仅仅是一些初步的工作 ,还有许多工作需要进一步研究 .文中给出的基于 DFL的时序推理模型正是这种工作的一个补充 .