状态转换图

作品数：76被引量：182H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：刘贵云张继军吴哲辉董卫李炜更多>>
相关机构：广州大学东南大学山东农业大学山东科技大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划江西省自然科学基金广东省科技计划工业攻关项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=小型微型计算机系统x
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于有穷自动机的自动信任协商策略被引量：1
《小型微型计算机系统》2013年第6期1375-1381,共7页李健利 刘博 邓潇 
国家自然科学基金项目(61073042)资助
自动信任协商通过协商策略协调协商双方间访问控制策略、信任证的交互披露以逐步建立信任.现有的访问控制策略规则的理论表示缺乏直观性,在分析和构造策略算法时带来不便.本文将有穷自动机形式化定义与自动信任协商相结合,提出一套基于...
关键词：协商策略 有穷自动机状态转换图 访问控制策略 安全披露序列 
一种采用消隐技术的锁无关栈算法被引量：2
《小型微型计算机系统》2013年第6期1349-1353,共5页张连法 杨东升 秦承刚 
国家科技重大专项项目(2011ZX04016-071)资助
随着对实时系统的实时性和系统服务要求的不断提高,基于多核/多处理器硬件平台的实时系统成为发展趋势.相应的高性能实时操作系统需具有更高的硬实时性和可靠性,并避免优先级逆转、死锁.相比阻塞同步,非阻塞同步在提高实时系统性能、确...
关键词：非阻塞同步 锁无关 消隐技术 栈 状态转换图 
上下文无关语言的可重复序列及其性质被引量：1
《小型微型计算机系统》2010年第6期1226-1230,共5页张继军 范昊 
国家自然科学基金项目(60673053)资助;国家自然科学基金委员会重大研究计划项目(90718011)资助
通过分析下推自动机的运行规律和特点,提出上下文无关语言的可重复序列的概念,将其划分为平衡重复序列、增重复序列、减重复序列三类;研究了这三类可重复序列在下推自动机的状态转换图中的结构表现和性质,通过分析下推自动机状态转换图...
关键词：可重复序列 Pumping引理 状态转换图 上下文无关语言 
Petri网的状态转换图被引量：3
《小型微型计算机系统》2008年第9期1714-1718,共5页张继军 吴哲辉 董卫 
国家自然科学基金项目(60673053)资助
给出Petri网的状态转换图模型,并作为分析工具,分析Petri网重复引发序列在状态转换图中的表现特点,给出标注路径(回路)与引发序列(重复引发序列)的关系及其判定条件,并给出求基本重复引发序列的计算方法;定义了可重复序列之间的依赖性...
关键词：PETRI网 状态转换图 重复序列的依赖性 标注路径 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部