赋色PETRI网

作品数：11被引量：32H指数：4
导出分析报告
相关领域：自动化与计算机技术交通运输工程更多>>
相关作者：安毅生赵祥模李人厚曹恒罗冰洁更多>>
相关机构：长安大学西安交通大学空军工程大学上海交通大学更多>>
相关期刊：《计算机应用研究》《小型微型计算机系统》《中国公路学报》《系统仿真学报》更多>>
相关基金：国家自然科学基金陕西省自然科学基金中国博士后科学基金长江学者和创新团队发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于赋色Petri网的反辐射导弹对雷达毁伤效率评估建模被引量：1
《火力与指挥控制》2023年第1期176-180,186,共6页王轩 
针对反辐射导弹对雷达毁伤效率评估过程中,存在的评估结果不稳定问题,基于赋色Petri网构建了雷达毁伤效率评估模型。采用ZigBee协议构建赋色Petri网,并建立反辐射导弹对雷达毁伤效率参数分析模型。提取反辐射导弹对雷达毁伤评估统计特征...
关键词：赋色PETRI网 反辐射导弹 雷达 毁伤效率 
基于时延赋色Petri网的交叉口群车辆旅行时间模糊预测被引量：2
《中国公路学报》2016年第6期243-252,共10页安毅生 周洁 杨临涧 徐志刚 赵祥模 
国家自然科学基金项目(51278058;50978030);中国博士后科学基金项目(2012M521729);陕西省自然科学基础研究计划重点项目(2014JZ019);中央高校基本科研业务费专项资金项目(310824162021)
为预测车辆在交叉口群的旅行时间,首先利用城市交通系统呈现的分布、并发特性,采用时延赋色Petri网(TCPN)进行模块化、层次化的建模,建立了包括输入/输出路段车流、交叉口车流、信号控制,以及交叉口群车流的TCPN模型;其次,利用模型的监...
关键词：交通工程 旅行时间预测 TCPN 模糊推理 交叉口群 
基于TCPN的交叉口信号控制模型与优化被引量：9
《计算机应用研究》2016年第1期194-198,244,共6页安毅生 雷甜 袁绍欣 赵祥模 
国家自然科学基金资助项目(51278058;50978030);陕西省自然科学基础研究计划项目(2014JZ019);中国博士后科学基金资助项目(2012M521729)
针对城市路网中交叉口车辆通行效率低下、交通信号控制策略难于满足输入路段上车流变化的问题,提出了一种基于时延赋色Petri网的交叉口交通流优化控制模型。建立路段车流、交叉口车流和交通信号控制的TCPN模型,再建立以交叉口输入路段...
关键词：智能交通系统 交通信号控制 时延赋色Petri网 通行能力 优化 
协作权限动态管理的赋色Petri网模型与验证
《小型微型计算机系统》2012年第9期1972-1977,共6页安毅生 罗冰洁 赵祥模 李人厚 
教育部长江学者和创新团队发展计划项目(IRT0951)资助;国家自然科学基金项目(50978030)资助;陕西省自然科学基金项目(2009-JM8002-1)资助
针对多用户环境中协作权限动态分配与回收,及可靠性验证问题,提出基于活动、角色的协作权限动态管理机制,采用赋色Petri网建立形式化模型并分析.该模型将共享的协作文档和视图空间按照活动序列划分,角色的分配、回收与活动相关联,解决...
关键词：协作权限 赋色PETRI网 活动 角色 
一种基于活动序列的协同设计访问控制模型被引量：1
《计算机应用研究》2012年第9期3324-3329,共6页安毅生 罗冰洁 赵祥模 李人厚 
国家教育部长江学者和创新团发展计划资助项目(IRT0951);国家自然科学基金资助项目(50978030);陕西省自然科学基金资助项目(2009-JM8002-1)
为了确保在多用户协同设计环境中对文档及视图访问权限的动态分配与回收、提出了基于活动序列的访问控制模型,采用赋色Petri网描述并实现了模型中活动序列依赖关系约束、角色构造、分配与回收,权限冲突检测等功能。该模型将共享的文档...
关键词：访问控制 活动序列 角色 赋色PETRI网 
基于赋色Petri网的检测线车辆调度建模与仿真被引量：4
《计算机集成制造系统》2012年第9期1991-2002,共12页安毅生 赵祥模 李人厚 
教育部长江学者和创新团队发展计划资助项目(IRT0951);国家自然科学基金资助项目(50978030);陕西省自然科学基金资助项目(2009JM8002-1)~~
为了对汽车检测线运行效率进行评估以确保给定数量车辆检测时间最短,通过分析检测过程中的驱动事件和状态演变,采用赋色Petri网建立汽车检测线串行批处理调度模型,包括检测工位的赋色Petri网模型和车辆调度赋色Petri网模型两个层次。通...
关键词：汽车检测线 赋色PETRI网 调度模型 仿真分析 
基于扩展Petri网的防空C^4ISRK系统建模分析被引量：2
《火力与指挥控制》2010年第2期75-77,共3页张庆波 闫永玲 辛永平 
国防科技重点实验室基金资助项目(2006F18)
针对地空导弹武器系统防空中的火力分配问题,建立了战术级防空C4ISRK系统的Petri网模型。对其进行扩展,即联合谓词Petri网和赋色Petri网,建立旅级火力分配的改进模型,给出了具体的前置谓词公式。为有效分析战术决策的正确性提供了依据...
关键词：防空C4ISRK 火力分配 赋色PETRI网 谓词Petri网 系统建模 
协同设计系统中一种新的访问控制模型被引量：1
《长安大学学报（自然科学版）》2004年第6期88-93,共6页安毅生 施维颖 李人厚 
国家自然科学基金项目(69773004);长安大学科技发展基金项目(0305 1001)
在分析和总结主体对象访问模型和CSCWD(计算机支持协同设计)访问控制需求的基础上,提出一种新的访问控制模型———基于任务角色的粗粒度混合访问控制模型,解决了在主体 对象访问模型中无法根据应用逻辑相关性实施对访问对象的动态保护...
关键词：计算机科学 访问控制 面向任务 任务角色 赋色PETRI网 
基于规则嵌入赋色Petri网模型的柔性装配系统仿真被引量：1
《上海交通大学学报》2004年第8期1342-1345,共4页王琴 钱钧 张伟军 杨汝清 
针对柔性装配系统复杂的并行作业特点,提出了规则嵌入赋色Petri(RCP)网模型.给出RCP的定义,利用面向对象的语言实现了网的静态描述以及动态运行,在此基础上得到了相关的系统参数,柔性仿真系统以模块化结构实现.以上海科技馆的机器人柔...
关键词：柔性装配系统 仿真 赋色PETRI网 机器人 
防空导弹C^3I系统谓词/变迁赋色Petri网建模与仿真被引量：8
《系统工程与电子技术》2002年第12期47-48,52,共3页龙光正 
介绍了Perti网概念及其标识转移方程的完整动态描述。对复杂的防空导弹C3 I空防对抗过程进行了具体分析 ,描述了某型防空导弹的具体作战过程 ,在有机结合谓词公司Petri网和赋色Petri网基础上 ,建立了基于谓词 /变迁的赋色Petri网模型 ,...
关键词：防空导弹 C^3I系统 谓词/变迁 赋色PETRI网 建模 仿真 指挥自动化 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部