云南高校图书馆联盟文献共享服务平台- 受控PETRI网

受控PETRI网: 作品数：18被引量：19H指数：2; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：陈浩勋董利达张海艳郑寒邢科义更多>>; 相关机构：东南大学浙江大学西安交通大学武汉大学更多>>; 相关期刊：《武汉大学学报（工学版）》《自动化学报》《航空计算技术》《计算机技术与发展》更多>>; 相关基金：国家自然科学基金国家高技术研究发展计划国家杰出青年科学基金云南省教育厅科学研究基金更多>>

基于受控Petri网的需求追踪演化过程建模被引量：2: 《计算机技术与发展》2015年第5期21-24,28,共5页张国生; 云南省教育科学研究基金项目(2012C106);云南大学教育教学改革研究重点项目(2013BZ5); 需求追踪可以获得更加完备的系统需求,对软件的成功开发起到十分重要的作用。分析了需求制品间的可追踪性链接关系,定义了链接关系语义及其表示原语,对需求过程活动产生的制品进行追踪链接关系分析,用链接关系图表示制品间的约束、依赖...; 关键词：需求追踪链接关系链接语义需求过程演化需求活动控制策略受控PETRI网

采用受控Petri网的虚拟现实遥操作机器人系统模型: 《华侨大学学报（自然科学版）》2014年第2期161-164,共4页张国亮钟必能; 国家自然科学基金资助项目(61202468);福建省自然科学基金资助项目(2013J05091);华侨大学高层次人才科研启动项目(11BS107); 针对机器人遥操作系统分布式操作的特点,采用面向对象的虚拟现实建模方法构建系统的原型,使模型的复杂性不再与具体完成的任务有关.基于时序逻辑的推理规则,利用Petri网作为遥操作控制系统模拟与验证的工具,描述操作任务间的因果关系,...; 关键词：机器人遥操作受控PETRI网虚拟现实虚拟可操作对象

跑道入侵防御灯光控制指令决策方法被引量：2: 《航空计算技术》2013年第4期22-26,共5页陈平汤新民邢健汤淼; 国家自然科学基金与中国民用航空联合项目资助(60879011);国家科技支撑计划项目资助(2011BAH24B06);江苏省"六大人才高峰"高层次人才项目资助(WLW-017);南京航空航天大学研究生创新基地(实验室)开放基金项目资助(kfjj130126); 为避免跑道入侵的发生,提出一种基于Petri网的灯光控制指令自动决策方法。首先根据跑道静态模型和运行过程,利用Petri网建立跑道区域受控运行模型,然后结合跑道管制规则给出线性不等式约束模型和优先等级约束模型。综合跑道运行约束模...; 关键词：跑道入侵防御受控PETRI网灯光控制指令

基于TSTWT网系统的显式控制器设计: 《系统仿真学报》2008年第S2期127-131,共5页董利达郑寒程曦浩; 国家自然科学资金资助(60503027);国家"863"高技术研究发展计划资助(2006AA040309);浙江省科技厅资助(2007C1046); 在基于Petri网的离散事件系统监控理论中,显式控制器的设计具有非常重要的意义。当Petri网为无环网时,控制器设计可以通过线性整数规划法求解,当Petri网含环结构,目前而言,只有当Petri网的最大不可控子网中前向子网为STWT时可以求出其...; 关键词：离散事件系统受控PETRI网简化显式控制器

基于Internet的遥操作机器人监督控制器的设计: 《自动化与仪表》2007年第2期6-9,40,共5页杨海军孟正大; 国家973项目(2002CB312204);江苏省十五攻关项目(BE200103114);国家863项目; 为了解决基于事件的控制方法在基于事件参量的控制器设计上的困难,以及它给机器人的运动带来的走走停停的缺点,在基于事件的控制结构中加入了主端的预测显示控制,引入传统时间参量并建立了基于事件/时间的混合系统监督控制器模型。在保...; 关键词：机器人遥操作 INTERNET 监督控制受控PETRI网

基于受控Petri网的物流实验系统的研究被引量：2: 《武汉大学学报（工学版）》2005年第2期123-127,共5页汪小澄张海艳万涛; 随着控制系统的复杂化,传统的方法已经不能很好地用于描述离散事件系统(简称DES)了.为此,定义了一种受控Petri网(简称CPN),并对其中冲突事件的避免进行了探讨.针对物流实验系统中被控点数较多、控制过程也较为复杂的特点,利用CPN技术对...; 关键词：受控PETRI网物流实验系统建模可编程控制器

一类受控Petri网的控制器设计(英文)被引量：5: 《控制理论与应用》2003年第5期678-684,共7页董利达吴维敏徐巍华苏宏业褚健; supportedbytheNationalOustandingYouthScienceFoundationofChina (60 0 2 5 3 0 8) ;theTeachingandResearchAwardProgramforOut standingYoungTeachersinHigherEducationInstitutionsofMOE ;China ;theDoctorDegreeProgramFoundationofChina(2 0 0 2 0 3 3 5 10 3 ); 通过挖掘Petri网的内在的结构特性 ,获得了一种新的解决禁止状态避免问题的控制器设计方法 .这种设计方法适用于一类具有特殊结构的受控Petri网 (即所有前向路径子网是状态机 )的状态反馈控制器设计 .在非并发的假设条件下 ,所综合的控...; 关键词：受控PETRI网离散事件动态系统控制器设计

一类受控Petri网的反馈控制被引量：2: 《自动化学报》2002年第5期832-837,共6页宋爱波吴哲辉董逸生; 国家自然科学基金 (69873 0 2 9)资助; 受控 Petri网是离散事件动态系统 ( DEDS)的一种控制理论模型 .通过模型来研究实现禁止状态避免的最大允许反馈控制是 DEDS控制理论中的一个重要课题 .文中对受控 Petri网的一个子类 (非受控变迁子集的外延子网为 TC网 )讨论控制综合问...; 关键词：受控PETRI网反馈控制禁止状态离散事件动态系统控制理论

受控Petri Net在遥控机器人作业规划中的应用研究: 《东南大学学报（自然科学版）》1999年第2期12-17,共6页朱清峰宋爱国黄惟一; 国家高技术航天领域863-2基金; 在交互工作方式下的遥控机器人在太空开发和深海勘探等领域具有重要的实用价值，而如何增强其自主作业能力是一个重要的问题．本文采用受控ＰｅｔｒｉＮｅｔ理论建立了遥控机器人的作业规划模型。; 关键词：遥控机器人作业规划受控PETRI网 CPN

基于受控 Petri 网的抽水蓄能机组工况转换控制——建模及实现被引量：3: 《电力系统自动化》1999年第3期35-39,共5页张永刚叶鲁卿; 定义了一种受控Ｐｅｔｒｉ网，并对其中冲突的避免问题进行了探讨。针对抽水蓄能机组运行工况较多、工况转换复杂的特点，采用了受控Ｐｅｔｒｉ网技术对抽水蓄能机组的运行状态进行建模及分析，并用可编程控制器（ＰＬＣ）加以实现。; 关键词：抽水蓄能电站机组受控PETRI网运行工况控制

受控PETRI网