共查询到17条相似文献,搜索用时 78 毫秒
1.
2.
针对制造系统中连续和离散并存的混杂特性,在分析目前混杂系统典型建模方法的基础上,提出采用针对复杂工业过程、集成控制对象定性知识和逻辑规则的混合逻辑动态(MLD)模型对制造系统进行建模方法研究,讨论了制造系统抽象的一般规律,建立了一个具体制造生产线的MLD模型,为今后相关性能分析和控制器设计奠定了基础。 相似文献
3.
基于混合逻辑动态的混杂系统研究及应用 总被引:3,自引:0,他引:3
综述了一种在工业领域中使用的混杂系统建模方法,即基于混合逻辑动态MLD(Mixed Logic Dynamic)的建模方法。分析了在该建模框架下系统的可观性、可控性、形式验证、稳定性、状态估计及故障检测、最优控制和预测控制,并且以水电厂为例讨论了该方法在实际工程中的应用。基于MLD的混杂系统研究目前仍处于起步阶段,在理论上混杂系统预测控制、最优控制、多目标控制及混合整数二次规划求解都有待研究,在应用上如何根据不同问题有效地建模混杂系统也有待研究。 相似文献
4.
5.
为提高列车运行调度的智能性,分析了列车运行调度活动,采用agent技术建立了具有学习机制的列车运行调度agent结构,学习机制包含自学习机制和它学习机制,并详细论述了学习机制。通过采用原京沪高速铁路数据建立仿真平台对具有学习机制的列车运行调度agent进行了验证,结果表明,采用具有学习机制的列车运行调度agent可提高列车运行调度系统的智能性,调度决策所用时间缩短一半左右。 相似文献
6.
资源配置混杂Petri网的混杂系统生产过程动态调度 总被引:1,自引:0,他引:1
为了增强混杂生产过程应对突发事件的能力,以一种新的混杂Petri网(资源配置混杂Petri网)为研究模型,给出了相应的使能和激发规则.并在资源配置混杂Petri网建立的仿真模型的基础上,融入事件逻辑网和逻辑规划,提出一种适用于混杂系统动态生产调度建模和优化的方法.以典型的混杂生产过程为例,研究混杂系统生产过程建模及优化.研究结果表明,资源配置混杂Petri网模型描述能力强,能够有效描述混杂系统生产过程,所提出的动态调度方案切实有效. 相似文献
7.
8.
为了实现城市轨道交通的高效运输,在研究了城市轨道交通与铁路交通的差别后,提出了适用于城市轨道交通,基于仿真的列车运行时刻图编制方法.通过仿真列车在交通线路上的运行情况,将仿真结果作为运行时刻图,能按不同的时间区段来调整运行时刻图,以满足城市交通的运能需求与节能需求.在真实生产中取得了良好的经济效益. 相似文献
9.
10.
基于动态描述逻辑的多主体协作模型 总被引:7,自引:2,他引:7
基于动态描述逻辑的主体模型和协作过程就是既考虑了智能主体的知识表示与推理问题,又紧密地结合主体的设计与编程问题,把表示与推理应用到主体的具体设计中.它充分利用了动态描述逻辑的统一的形式化框架,同时从静态的知识表示与推理和动态的运行与变化两个方面来刻画主体的心智状态和协作过程,探讨了主体信念、行为能力、目标和规划等心智要素的表示、推理与修改以及联合目标的形成、多目标的规划问题.多主体协作模型将理论和实践有机地结合起来,能够充分体现智能主体的本质特征与运行机制,为多主体系统的设计与编程奠定了很好的基础. 相似文献
11.
混杂系统滚动时域状态反馈预测控制研究与实现 总被引:5,自引:0,他引:5
分析了混杂系统混合逻辑动态建模机理,提出混杂系统基于滚动时域状态反馈预测控制策略,并对滚动时域状态估计器的收敛性进行了研究.仿真实例验证了滚动时域状态反馈预测控制策略的有效性. 相似文献
12.
13.
现代轨道交通列车控制系统的结构日益复杂,针对目前列车网络控制逻辑开发中存在复杂度和开发难度大的问题,详细研究了基于模型设计高效率开发列车控制单元逻辑软件的方法。通过创建技术需求规范、生成定点模型、自动生成产品级软件代码和持续不断的测试及验证,实现了机车辅助变流器负载控制逻辑的开发。离线仿真试验和地面联调试验结果表明本方法可实现机车辅助变流器负载分配规则和逻辑需求,证明了基于模型设计方法在整车控制单元软件开发工程应用中的有效性和可行性,为轨道交通列车其他控制单元的软件高效率开发提供参考。 相似文献
14.
15.
基于动态描述逻辑的主体模型 总被引:8,自引:1,他引:8
在动态描述逻辑的基础上,提出了一种智能主体的心智状态模型.它充分利用了动态描述逻辑统一的形式化框架,同时从静态的知识表示与推理和动态的运行与变化两个方面来刻画主体的心智状态.探讨了主体信念、行为能力、目标和规划等心智要素的表示、推理与修改等基本问题.该主体模型将理论和实践有机地结合起来,表达能力强,能够充分体现智能主体的本质特征与运行机制,为智能主体的设计与编程奠定了很好的基础. 相似文献
16.
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. 相似文献
17.
在我们的研究领域中 ,普遍存在动态模糊事件 .而当今 ,随着计算机科学技术的发展 ,人们又试图用计算机来模拟这些具有“动态模糊性”的事件 .因此 ,以往有关文献提出了动态模糊逻辑、动态模糊集、基于 DFL的一种学习模型及动态模糊主动数据库系统的设计方法和基本概念 ,这些理论的提出 ,虽然为人们解决具有动态模糊性的问题提供了一定的理论依据 ,但从整个动态模糊系统来看 ,这些工作仅仅是一些初步的工作 ,还有许多工作需要进一步研究 .文中给出的基于 DFL的时序推理模型正是这种工作的一个补充 . 相似文献