FMS的实时调度与控制方法研究

本文以 CIMS 中的基本单元 FMS 为对象,从离散事件动态系统角度出发,研究了 FMS 的实时调度与控制.首先,从递阶控制角度出发讨论了 FMS 的调度与控制,把一般的 FMS 的调度与控制系统划分成三层:调度层、事件轨迹控制层和单元逻辑控制层,提出了 FMS 调度与控制的一体化结构——调度驱动监控结构.在此基础上,建立了 FMS 基于 Petri 网的调度驱动监控的形式化理论.     

基于Ethernet和Profius-DP的冷轧电解清洗线控制系统

介绍了Ethernet和Profibus-DP现场总线技术,阐述了结合二者来组建现场总线控制系统.以冷扎电解清洗线系统为例具体描述了系统的构成.系统在逻辑结构上分为两层:网络控制层和现场设备层,网络控制层采用工业以太网,Profibus用于现场设备层.用SIMATIC S7进行了网络组态以及硬件组态,并实现了监控软件WinCC与S7的动态连接.     

一种基于微分代数动态逻辑的CPS建模与验证方法

随着CPS在工业控制、智能交通、智能医疗等领域的广泛应用,安全性已成为目前CPS理论和应用研究的核心问题.提出了一种基于微分代数动态逻辑的CPS安全性验证方法,该方法首先把HybridUML模型转换成微分代数程序,然后使用微分代数动态逻辑对系统安全性进行规约,最后依据微分代数动态逻辑推理规则对CPS进行安全性验证.通过对飞机空中避撞系统的实例研究,表明该方法能够有效地验证避撞策略的正确性,从而保证避撞系统的安全性.     

逻辑系统的代数状态空间方法的基础、现状及其应用

逻辑系统指自变量只取有限个值的动态系统.包括2值的经典逻辑(或布尔逻辑)、k值逻辑、(一般)有限值逻辑.近年来,利用矩阵半张量积发展起来的逻辑动态系统的代数状态空间方法得到长足的进展和普遍的重视.同时,它被广泛应用于许多工程问题或理论研究中.它类似于Rn上由微分或差分方程描述的动态系统的Kalman状态空间方法,为逻辑系统的分析与控制设计提供了一个便捷的平台.本文首先对该方法作一简要介绍,然后,对该新兴学科分支的现状作一评述.最后,详细介绍该方法目前的应用以及其更广泛的应用前景.     

基于层进式结构的智能积木搭建与编程系统

为了帮助儿童搭建和理解各式交互装置及其控制逻辑,提出一个基于层进式逻辑结构的智能积木搭建与编程系统——LinkBricks.该系统包含一组基于乐高得宝系列特别设计的智能积木,通过在积木中嵌入无线传感器和驱动器,儿童可在不受连接线限制的情况下自由搭建各式交互装置;与实物搭建套件相配套,同时提供了一套基于层进式结构的智能积木编程系统,儿童可以通过图形用户界面中的简单点击与拖拽创建复杂的控制逻辑.用户实验结果表明,文中系统可以帮助儿童快速搭建出机器人、物联网等各式各样的交互装置,提高学习兴趣,并有助于其了解系统的内在的逻辑、控制和响应等相关知识.     

基于Ethernet和Profibus-DP的冷轧电解清洗线控制系统

介绍了Ethernet和Profibus-DP现场总线技术,阐述了结合二者来组建现场总线控制系统。以冷扎电解清洗线系统为例具体描述了系统的构成。系统在逻辑结构上分为两层:网络控制层和现场设备层,网络控制层采用工业以太网,Profibus用于现场设备层。用SIMATICS7进行了网络组态以及硬件组态,并实现了监控软件WinCC与S7的动态连接。     

离散事件动态系统理论:现状和展望

离散事件动态系统(DEDS)是系统与控制理论中的一个新兴分支与前沿方向.本文论述了 DEDS研究兴起的原因,系统地和概要地阐述了基于逻辑层次、时间层次和统计性能层次模 型的理论与方法的框架和主要结果,并对DEDS的进一步研究动向提出了一些展望.     

面向对象的飞行器仿真平台的控制结构研究

随着仿真技术和软件技术的发展,仿真系统已经发展成为一个功能完善的仿真环境.面向对象仿真是当前仿真研究领域最为引人关注的研究方向之一.提出了一个基于面向对象技术的飞行器动态仿真环境的控制框架.该控制框架包括:输入接口控制、输出接口控制、实验数据控制、仿真实验框架控制、模型结构控制以及仿真逻辑控制.这个系统的理论基础是DEVS,系统可以有效地重用模型库中的模型和仿真数据库.     

动态模糊逻辑的格结构及其应用研究

当前非经典逻辑的一个重要的研究方向是其代数结构的研究,动态模糊逻辑理论作为一种处理动态性、模糊性问题的重要工具,其代数结构尚不够完善和成熟.通过选择适合动态模糊逻辑的逻辑代数表示系统,建立了动态模糊逻辑的格结构,最后研究动态模糊逻辑格结构的特性及其在组织结构中的应用.     

一种基于时间容错的同步机制分析

表决逻辑结构在多通道余度系统的研究和应用中起着核心作用,针对该问题,设计了一个具有动态同步表决控制的逻辑结构,该逻辑结构用来控制表决时间并监测表决数据。理论分析和实验表明,该表决算法在最大限度保证表决正确性的前提下,其表决控制逻辑结构还可以大幅度地提高多通道系统的可靠性。     

动态描述逻辑动作间关系的Petri网分析方法研究

针对动态描述逻辑动作理论在描述和分析多个动作间关系(尤其并发关系)时能力的不足, 提出对多个动态描述逻辑动作间关系描述和分析的 Petri 网方法. 首先讨论了动态描述逻辑动作的等价 Petri 网描述, 进一步通过对动作描述的推理和各个动作的 Petri 网共享合成操作, 得到多个动态描述逻辑动作的 Petri 网系统. 在此基础上, 应用 Petri 网的相关理论与方法, 如可达图分析方法, 研究了多个动态描述逻辑动作间关系的分析与判定方法, 对动态描述逻辑动作理论的描述和分析能力进行了必要的扩充.     

动态可重构系统的通信结构研究

动态可重构技术能在一定控制逻辑的驱动下,对全部或部分逻辑资源实现在系统的动态功能变换和硬件的时分复用.本文介绍了可重构体系结构及典型动态可重构结构;详细分析、比较了动态可重构系统4种通信结构的主要性能,指出各自适用领域,并给出一个应用实例;最后探讨了动态可重构技术研究面临的相关问题和发展趋势.     

基于逻辑分离的无人机仿真系统设计

针对在无人机仿真系统开发过程中的结构复杂问题,以及时间、经济成本等问题,提出一种ROS环境下基于逻辑分离思想的体系结构,并设计了一款基于PX4开源固件的交互式工具包应用到仿真系统.首先,根据逻辑分离思想进行系统整体设计;其次,在单机和多机的条件下进行仿真并验证;最后对仿真进行分析,结果表明该系统可实现表示层、业务层、控制层逻辑分离的无人机仿真测试,体现出系统设计的正确性与可用性.由于逻辑分离思想的应用,使得系统各部分职能明确,具有更高的开放性和可控性.     

基于J2EE的网络考试系统设计与实现

针对现有网络考试系统中页面逻辑、业务逻辑和数据逻辑混杂在一起,系统耦合性高,重用性、可维护性、可扩展性差以及Web用户界面响应灵敏性低等方面的问题,利用Struts框架、Hibernate、Aiax技术结合J2EE四层体系设计和实现了-个网络考试系统.此系统分离了页面逻辑、业务逻辑和数据逻辑,达到了结构上的松散耦合,提高了重用性、可维护性、可扩展性,实现了系统的动态更新页面和实时响应.较好地满足了教学需要,提高了考试评估的科学性和准确性.     

大系统控制论与复杂网络——探索与思考

随着通信技术和网络技术的飞速发展, 在社会、经济乃至日常生活领域中, 出现了越来越多的复杂动态网络. 网络科学作为一门新兴的交叉学科, 对复杂动态网络性能特征、演化进程和控制方法的研究已取得了丰富的成果. 大系统控制论以高维动态大系统的行为分析和控制优化为主要研究内容, 应该能为复杂网络的研究提供有益的借鉴. 本文针对复杂动态网络研究的一些热点问题, 探索了用大系统控制理论和方法解决复杂网络结构分析和控制的可能性, 分析了面临的困难和应对的思路. 针对大规模复杂动态网络的控制和优化, 提出了集网络科学的宏观分析方法、控制科学的定量设计方法和信息科学的智能处理方法于一体的多层递阶结构.     

动态ERP系统中SOA生命周期模型的构造

针对动态ERP系统开发过程中设计思路混乱、理论和实践脱节及分工合作不一致等现象,构造了一种易于理解、可操作性强的SOA生命周期模型,在此基础上选定动态ERP库存管理领域,给出了模型的实现策略.SOA生命周期模型是面向服务的动态ERP系统开发的前提和基础.优先研究SOA生命周期模型是约束和规范动态ERP的设计机制的必要保障.该模型逻辑简明,通用性强,对整个动态ERP系统的开发具有一定指导价值,为完善动态ERP系统的设计机制提供支持.     

高速公路非线性反馈模糊逻辑匝道控制器

入口匝道控制是高速公路交通控制和智能运输系统的重要组成部分,但现有的入口匝道控制效果尚不理想.为此,本文提出一种非线性反馈方法用模糊逻辑进行入口匝道控制.建立了高速公路交通流动态模型,在此基础上,结合模糊逻辑理论设计了非线性反馈匝道控制器,根据密度误差和误差变化用模糊控制决定匝道调节率,模糊变量选用三角形隶属度函数,并制定了包含56条模糊规则的规则库,最后用MATLAB软件进行系统仿真.结果表明该控制器具有优越的动态和稳态性能,它能使高速公路主线交通流密度保持为设定的期望密度,该方法用在高速公路入口匝道控制中效果良好.     

一类混杂系统的模型预测控制

采用基于混合逻辑动态的建模方法，将系统的 连续动态过程、逻辑部分和操作约束表示为带有混合整数不等式约束的线性状态方程的形式 ．给出了混杂系统的建模原理，并采用预测控制策略对系统进行控制．具体实例的仿真结果 表明基于混合逻辑动态模型的预测控制能使混杂系统跟踪设定值并满足操作约束．     

基于DFL的Agent推理模型

推理是Agent研究的核心问题之一.根据Agent的推理特性,引用DFL理论提出基于动态模糊逻辑(DFL)的Agent推理模型,实现了范例验证系统,即基于动态模糊逻辑(DFL)的Agent推理模型的叮当漫画书城系统.     

一种基于模糊逻辑的被动测量自适应抽样算法

结合被动抽样测量系统的特殊性，分析了模糊逻牟译控制理论应用于被动测量系统统抽样算法上的可行性，仿真结果表明，基于模糊逻辑控制理论的自适应抽样算法能够动态地调整被动测量系统地抽样间隔，使网络测量准确度和计算机资源费用达到优化。