检索结果-内蒙古大学图书馆

一类离散事件动态系统Kalman模型参数矩阵A、B、C图论表示法

引用

武汉科技学院学报 2003年第5期16卷 42-45页

作者：欧贵兵戴志勇武汉科技学院数理系湖北武汉430073

利用图论方法,将串行生产线一类离散事件动态系统的Kalman 模型参数矩阵A、B、C归结为三类型有向赋权网络的邻接矩阵,使得列写A、B、C的算法变得快速、准确而且直观。

关键词：离散事件动态系统参数矩阵 Kalman-(A,B,C)模型工艺流网络图论表示法

来源：评论

学校读者我要写书评

暂无评论

离散型生产排序的自适应控制

引用

系统仿真学报 2006年第8期18卷 2235-2238页

作者：陈进曹文明吕新峰江南大学机械工程学院无锡214122

离散型生产活动排序的自适应控制系统包含预测器、最优控制器、参数估计器三部分。基于极大极小代数法的预测器计算各种排序方案的完工时间,该算法以任务投入加工的时间作为状态变量,以预测的任务加工的完工时间作为输出变量,通过输入... 详细信息

离散型生产活动排序的自适应控制系统包含预测器、最优控制器、参数估计器三部分。基于极大极小代数法的预测器计算各种排序方案的完工时间,该算法以任务投入加工的时间作为状态变量,以预测的任务加工的完工时间作为输出变量,通过输入工艺路线矩阵、加工顺序矩阵和加工时间矩阵,根据生产活动状态变迁的规则建立状态变量的递推计算公式,经过多重循环求出所有状态变量的取值;最优控制器以加工顺序矩阵为控制变量,利用预测器逐步试探求解,最后稳定在性能指标最优的加工顺序矩阵的方案上;参数估计器对加工工时定额进行自适应地学习,利用反馈的真实的加工工时,不断修正定额并收敛到平均值。文中阐述了这种控制方法的仿真实例。

关键词：离散事件动态系统极大极小代数法生产排程仿真自适应控制

来源：评论

学校读者我要写书评

暂无评论

基于UML和Petri网的电力系统恢复模型

引用

高电压技术 2006年第6期32卷 90-93,121页

作者：刘栋陈允平沈广樊友平武汉大学电气工程学院武汉430072

为了描述电力系统恢复过程,提出了基于UML的电力系统恢复过程建模方法,使用类图表示参与电力系统恢复的主要元件的静态特性,使用状态图表示各元件的动态特性。对所建模型进行了仿真和验证,提出了将UML模型转化为赋时Petri网的方法,将UM... 详细信息

为了描述电力系统恢复过程,提出了基于UML的电力系统恢复过程建模方法,使用类图表示参与电力系统恢复的主要元件的静态特性,使用状态图表示各元件的动态特性。对所建模型进行了仿真和验证,提出了将UML模型转化为赋时Petri网的方法,将UML模型的操作转化为Petri网中的变迁,将UML模型中操作的输入、输出及约束表示为Petri网的库所。以IEEE RTS-96系统验证了所提方法的可行性,该方法易于对电力系统恢复过程进行模型化分析和软件实现。

关键词：电力系统恢复统一建模语言公用信息模型赋时Petri网离散事件动态系统

来源：评论

学校读者我要写书评

暂无评论

离散事件动态系统的结构

引用

控制理论与应用 2002年第5期19卷 689-692,698页

作者：林怡青毛宗源广东工业大学机电工程学院广州510090 华南理工大学自动控制工程系广州510640

提出对离散事件动态系统的结构及组合规律进行研究的问题 ,提出离散事件动态系统结构的定义 ,提出子系统的两种组合方式并论证了相关的性能保持条件 .利用系统的结构及组合规律 ,可以在建模过程中同时考虑控制需求 ,避免常规方法的分析... 详细信息

提出对离散事件动态系统的结构及组合规律进行研究的问题 ,提出离散事件动态系统结构的定义 ,提出子系统的两种组合方式并论证了相关的性能保持条件 .利用系统的结构及组合规律 ,可以在建模过程中同时考虑控制需求 ,避免常规方法的分析困难和综合复杂性 ,大幅度减少系统分析和设计过程的开销 ,从而为离散事件动态系统监控理论的应用开拓新的途径 .

关键词：离散事件动态系统控制结构结构组合并列组合

来源：评论

学校读者我要写书评

暂无评论

极大代数上线性系统的最小实现与最优调度

极大代数上线性系统的最小实现与最优调度

引用

作者：孙志敏数学与系统科学研究院

学位级别：博士

离散事件动态系统(DEDS)是以制造系统、计算机网等为研究背景，是非线性复杂系统。这一领域已形成了极大代数方法，自动机方法，摄动分析方法等多种研究方法，其中极大代数方法已成为研究DEDS的一个重要方法，有重要的理论价值与应用前... 详细信息

离散事件动态系统(DEDS)是以制造系统、计算机网等为研究背景，是非线性复杂系统。这一领域已形成了极大代数方法，自动机方法，摄动分析方法等多种研究方法，其中极大代数方法已成为研究DEDS的一个重要方法，有重要的理论价值与应用前景。本文致力于离散事件动态系统——极大代数方法的研究。迄今为止，尽管有许多这方面的理论研究和应用研究，但仍有许多悬而未决的理论问题。本文主要研究极大代数上线性系统的最小实现和多入口多出口的串行生产线的无阻塞最优控制与最优调度问题。\n\n 本文的主要内容和主要贡献如下：\n\n1. 研究了极大代数上线性系统的单输入单输出的2维最小实现问题\n。给出了存在2维最小实现的充要条件，这条件是用单位脉冲响应序列${\\{g_{i}\\}}_离散事件动态系统^{\\infty}$元素之间的关系描述的，因而容易判断；同时，用涂奉生提出的结构标准形和最小实现算法给出了2维最小实现的构造方法，从而完全解决了2维最小实现问题。作为以上结果的推论，指出了涂奉生猜想在维数小于等于2的情况成立。最后，通过反例说明涂奉生猜想在大于2维的情况下不成立。\n\n2. 研究了极大代数上线性系统的单输入单输出的3维最小实现问题。先给出了特征方程为$\\lambda^离散事件动态系统\\oplus c_离散事件动态系统\\lambda \\oplus c_离散事件动态系统\\lambda^离散事件动态系统=c_离散事件动态系统\\lambda^离散事件动态系统$的\n无穷序列${\\{g_{k}\\}}_离散事件动态系统^{\\infty}$存在3维最小实现的充要条件，这个条件是通过序列${\\{g_{k}\\}}_离散事件动态系统^{\\infty}$元素之间的关系描述的；然后用极大代数和图论相结合的方法给出了特征方程为$\\lambda^离散事件动态系统\\oplus c_离散事件动态系统\\lambda=c_离散事件动态系统\\lambda^离散事件动态系统\\oplus c_离散事件动态系统\\lambda^离散事件动态系统$的无穷序${\\{g_{k}\\}}_离散事件动态系统^{\\infty}$存在3维最小实现的充要条件，并给出\n 特征方程为$\\lambda^离散事件动态系统\\oplus c_离散事件动态系统\\lambda^离散事件动态系统=c_离散事件动态系统\\lambda^离散事件动态系统\\oplus c_离散事件动态系统\\lambda$的部分无穷序列${\\{g_{k}\\}}_离散事件动态系统^{\\infty}$存在3维最小实现的充要条件。\n\n3. 研究了带有限缓冲器的多入口多出口串行生产线的无阻塞最优控制与调度问题，得到了生产线的状态方程及最优控制，然后用极大代数上矩阵的行差单调性理论给出了生产线的性能分析，最后解决了系统的最优调度问题。

关键词：离散事件动态系统极大代数周期序列最小实现多入口多出口最优控制最优调度

来源：评论

学校读者我要写书评

暂无评论

基于Petri网的FMS建模与调度研究

基于Petri网的FMS建模与调度研究

引用

作者：黄波南京理工大学

学位级别：博士

柔性制造系统（FMS）的设计、实现过程是相当复杂的，它具有耗资大、风险大、技术密集的特点，所以需要在系统投入实施和运行之前，找到一种合适的方法对柔性制造系统进行清楚准确地建模并对其构成要素及整体静态／动态特性加以分析，... 详细信息

柔性制造系统（FMS）的设计、实现过程是相当复杂的，它具有耗资大、风险大、技术密集的特点，所以需要在系统投入实施和运行之前，找到一种合适的方法对柔性制造系统进行清楚准确地建模并对其构成要素及整体静态／动态特性加以分析，这样可在设计之初发现并克服系统模型可能存在的致命错误，同时可以简化系统实时监控中的故障诊断和恢复工作。另一方面，调度和控制也是制造系统中的关键问题，在对FMS建模的基础上根据给定的一些调度和控制原则对生产的动态执行情况进行仿真，实时地输入与设备、规则有关信息，并对与系统性能有关的数据加以处理、评价，可以达到系统修正和寻优的目的。目前，由于Petri网不仅能描述资源的共享、冲突、互斥、并发和不确定性，而且能进行定量分析和定性分析，Petri网理论已成为柔性制造系统中建模与分析的主流技术之一。本文主要研究基于Petri网的柔性制造系统的建模与调度方法，针对一些典型的具有NP难度的柔性制造系统调度问题，提出几种简单、有效、实用的基于Petri网的启发式算法。主要研究工作和取得的成果如下：（1）开发了一个FMS的Petri网建模与调度仿真的软件平台，该平台为FMS的调度研究提供了方便的测试运行环境。软件实现了Petri网的静态和动态特性，可以很方便地调入各种FMS的Petri网输入文件，也可自动生成大量满足指定条件的测试模型，另外通过调度函数的使用就可以在其中测试不同的调度算法，使得使用者的主要精力只需集中在所要解决的问题上。（2）通过实验发现L1算法并不像其文献中所说的那样具有可容性，此问题在另一些文献中也被提到并作了修改，但改进算法在某些情况下仍然会抛弃掉最优路径上的一些节点，针对此问题，提出了一种采用改进的最优节点选择的方法，弥补了以前方法的不足。此外，为了提高算法的收敛速度，还提出了一种在保证结果最优的前提下采用快速收敛条件的启发式调度方法。（3）提出了一种在FMS系统的Petri网模型中采用A*算法和深度优先算法（DF）相结合的混合搜索策略，并使用改进的最优节点选择规则来寻找系统的调度方案，此方法能加快算法的收敛速度的同时又能控制搜索结果的质量。（4）提出了一种针对较大规模FMS系统进行调度的LPS算法，这是一种非可容性算法，采用了改进的子节点处理方法、与混合派遣规则相结合的启发函数以及移动窗口等概念，有效减小了算法在可达图中寻路时对节点的搜索范围，使得对于较大规模的FMS系统算法也能很快收敛。并且通过对一组FMS问题的测试表明，该方法结果要优于其它同类算法。

关键词：柔性制造系统离散事件动态系统 Petri网调度算法启发式方法人工智能派遣规则可达图

来源：评论

学校读者我要写书评

暂无评论

机场地面作业与飞机离港过程优化问题研究

机场地面作业与飞机离港过程优化问题研究

引用

作者：魏磊中国民用航空学院

学位级别：硕士

部分航班延误归因于飞机维修、地面服务、旅客服务问题和恶劣天气等因素。由于考虑了安全性等因素，飞机在机场地面的滑行道、跑道等阶段的运行是遵守操作规则的，因而地面过程很大程度上是人为可控的。所以有必要对进离港过程的合理调... 详细信息

部分航班延误归因于飞机维修、地面服务、旅客服务问题和恶劣天气等因素。由于考虑了安全性等因素，飞机在机场地面的滑行道、跑道等阶段的运行是遵守操作规则的，因而地面过程很大程度上是人为可控的。所以有必要对进离港过程的合理调度以及对飞机地面作业的进行优化和协调，以合理安排机场地面资源，减少延误，从而整体上提高民航业的服务质量和航空业者的竞争力。飞机进离港过程以及飞机地面作业系统与机场行李分拣系统、廊桥调度等系统都具有离散事件动态系统的特性。本论文采用基于极大代数的离散事件动态系统理论分析飞机离港过程，主要内容有：\n 1.引入极大代数构造时间矩阵的方法求解机场地面作业实际模型的关键路径，并通过仿真和比较，验证其有效性。\n 2.针对n×m离散事件动态系统模型维数较高的局限性，建立了飞机离港过程的离散事件动态系统降阶模型，并采用实际数据对飞机的离港过程进行的仿真，得出了闭环模型和特征值，从而确定了系统的周期节奏，并验证了降阶离散事件动态系统模型的有效性。\n 3.

关键词：机场地面作业飞机进离港离散事件动态系统极大代数周期性稳态

来源：评论

学校读者我要写书评

暂无评论

航班进离港过程优化调度的仿真研究

航班进离港过程优化调度的仿真研究

引用

作者：董晋峰中国民用航空学院

学位级别：硕士

航班的优化调度，航线网络的优化设计在国外已经取得了许多成果并在实际中创造了可观的效益。本论文以航班进离港过程为研究对象，通过和首都机场的合作，基于对大量实际运行数据的分析，对进离港过程进行建模仿真，以得到优化调度机场... 详细信息

航班的优化调度，航线网络的优化设计在国外已经取得了许多成果并在实际中创造了可观的效益。本论文以航班进离港过程为研究对象，通过和首都机场的合作，基于对大量实际运行数据的分析，对进离港过程进行建模仿真，以得到优化调度机场各有限资源的手段。\n 民航业是一个具有高度规范性操作的行业，故将离散事件动态系统理论运用于民航管理以提高机场系统的运行效率是可行的。然而机场系统是一个包括许多不确定因素在内的复杂离散事件动态系统。由于现有分析工具还很不完善，难以用现有理论精确描述实际复杂的离散事件动态系统控制输入量和输出量的关系并求解得到相应的控制方案。\n 离散事件动态系统是一门比较新的学科，理论上还很不完善。对于机场航班调度问题，没有精确的数学方法计算来解决，为此本文提出了几种方法：复杂系统随机环境下的最优方案选择方法(DHCProcedure)、顺序排队网络方法、串行生产线的排序方法(包括缓冲区无限和有限两种情况)、随机环境下串行生产线的实时反馈控制排序方法，并给出了详细的推导过程，采用相关的统计软件SPSS和离散事件动态系统理论软件GPSS、Matlab以及VC++6.

关键词：航班优化调度航线网络离散事件动态系统排队论极大代数 DHC方法最优样本资源分配排队网络缓冲区

来源：评论

学校读者我要写书评

暂无评论

基于时序Petri网的DEDS控制器综合

基于时序Petri网的DEDS控制器综合

引用

作者：刘勇山东科技大学

学位级别：硕士

在离散事件动态系统的研究中，逻辑层次的建模与控制是一个很重要的方面。由于Petri网的一些特点，例如真并发的语义、易于转换为计算机程序控制码、逻辑电路形式的硬件实现，因此在DEDS的控制理论研究领域引起了很大的关注。目前大多... 详细信息

在离散事件动态系统的研究中，逻辑层次的建模与控制是一个很重要的方面。由于Petri网的一些特点，例如真并发的语义、易于转换为计算机程序控制码、逻辑电路形式的硬件实现，因此在DEDS的控制理论研究领域引起了很大的关注。目前大多数的研究表现为在变形后的受控Petri网基础上，利用各种方法求得各种逻辑型、结构型控制器，解决DEDS监控理论中的事件反馈控制问题与状态反馈控制问题。总的说来，以往的工作有以下的不足：首先，由于受控Petri网的特性，大部分基于此的方法求出的是逻辑型控制器，而且对于受控系统都有一些限制。其次，目前使用的控制规范大多采用自然语言、库所容量不等式约束等形式，且大多针对库所与标识的约束，对变迁的约束一般要转化为对其输入库所的约束。所以，目前研究中针对的控制目的大多是一些固定内容，因此限制了对系统进行改造的程度。而且，在一些研究中，对于生成的带有控制结构的新Petri网模型，往往加入一些扩展，改变了网的外延规则，使得这种改造某种程度上失去了意义。与次同时，研究人员注意到线性时序逻辑具有以下特点：它可以像经典逻辑一样，描述被模拟对象的静态规范；同时，它还可以很自然的表示状态转换机制，即描述对象的动态语义。所以，本文引入线性时序逻辑公式作为基于Petri网的离散事件动态系统控制器综合的控制规范的描述语言，通过利用时序逻辑公式的语义对有界Petri网的扩展可达标识图的处理，以及本文改造的转移系统转化为Petri网的算法，将其转化为与原模型具有相同变迁集、相同语言以及最大保持原网结构的原型Petri网模型，实现了模型与控制期望的有效、明确、具有实际意义的融合，更加有利于控制综合后的模型的物理实现。具体内容上，本文首先讨论了时序Petri网语言表达能力。借助带抑止弧的增广Petri网，证明了时序Petri网的语言描述能力不弱于图灵机，大大超过原型Petri网。接着，又通过对时序Petri网的可达标识图的构造，证明了有界时序Petri网的语言表达能力等同于正规语言，与有界Petri网是等价的。进而说明了任何一个有界时序Petri网均可转化为一个语言与其相同的原型Petri网，显示了将加入线性时序逻辑公式为控制规范的原型Petri网再转化为原型Petri网的合理性。本文最后还给出了一系列算法，描述了如何实现将一个有界时序Petri网转化为一个

关键词：离散事件动态系统监控理论 Petri网控制器线性时序逻辑

来源：评论

学校读者我要写书评

暂无评论

基于随机Petri网的集装箱码头通过能力系统仿真

基于随机Petri网的集装箱码头通过能力系统仿真

引用

作者：唐臣大连理工大学

学位级别：硕士

港口通过能力是港口企业在外部环境条件一定时的生产能力，在港口生产管理中有着非常重要的作用。港口系统是一个典型的离散事件动态系统，影响港口通过能力的因素既多又复杂。因此，计算港口通过能力的方法成为港口管理学科中一个重要... 详细信息

港口通过能力是港口企业在外部环境条件一定时的生产能力，在港口生产管理中有着非常重要的作用。港口系统是一个典型的离散事件动态系统，影响港口通过能力的因素既多又复杂。因此，计算港口通过能力的方法成为港口管理学科中一个重要的研究课题。本文结合集装箱码头的特点，首先分析了集装箱码头通过能力及其子系统的相互关系，总结出通过能力中诸多随机变量服从的概率分布。而后，使用离散事件动态系统的建模理论——随机Petri网，依据港口通过能力的系统结构模型，采用随机Petri网的层次模型方法，建立了集装箱码头通过能力的层次模型及泊位、装卸、堆场和集疏运四个子系统的动态模型。根据集装箱码头通过能力的层次模型和子系统的动态模型，结合集装箱码头生产作业的特点与仿真目标的要求，在对码头通过能力的各生产环节进行合理简化后，借助于离散事件动态系统的现代仿真语言WITNESS，建立了集装箱码头通过能力及子系统的仿真模型，并用DCT码头的实际运营数据验证了仿真模型的可靠性。然后，基于通过能力各子系统的仿真模型，模拟了在到港船舶数量逐年增多的情况下，通过能力各环节所能完成的集装箱吞吐量，找出瓶颈环节。最后，提出改善瓶颈环节的方案，并模拟得到方案实施后的总体通过能力。

关键词：集装箱码头通过能力离散事件动态系统随机Petri网系统仿真

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：