期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到6篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
非确定型离散事件系统双模拟控制的实现 被引量：6
1
作者 刘富春 《控制理论与应用》 EI CAS CSCD 北大核心 2015年第1期75-79,共5页
近年来,双模拟等价关系与离散事件系统监控理论相结合的研究引起了国内外许多学者的广泛关注.本文针对作者在前期工作中提出的非确定型离散事件系统的双模拟控制机制,进一步探讨其实现问题.利用投影映射对系统规范说明语言进行等价类划... 近年来,双模拟等价关系与离散事件系统监控理论相结合的研究引起了国内外许多学者的广泛关注.本文针对作者在前期工作中提出的非确定型离散事件系统的双模拟控制机制,进一步探讨其实现问题.利用投影映射对系统规范说明语言进行等价类划分,构造了一棵计算树,得到了一个判断规范说明是否具有基于模拟关系可观性的多项式算法,证明了双模拟控制机制是多项式时间算法可实现的.同时,通过对控制器配备具有存储和判断功能的模拟关系识别器,阐述了这种双模拟控制机制是物理可实现的. 展开更多
关键词 离散事件系统 监督控制 双模拟关系 非确定型自动机 双模拟控制
下载PDF
一种递归π演算向Petri网的转换方法 被引量：2
2
作者 康辉 张双双 梅芳 《吉林大学学报（工学版）》 EI CAS CSCD 北大核心 2014年第1期142-148,共7页
针对π演算中的递归结构,本文给出了一种递归π演算向Petri网的转换方法。该转换遵循基本进程转换规则以及组合规则,采用层次化方法,针对递归次数较多时产生的Petri网结点过多的情况,本文给出了一种更简洁的Petri网表示,它保留了系统的... 针对π演算中的递归结构,本文给出了一种递归π演算向Petri网的转换方法。该转换遵循基本进程转换规则以及组合规则,采用层次化方法,针对递归次数较多时产生的Petri网结点过多的情况,本文给出了一种更简洁的Petri网表示,它保留了系统的语义,且编码完全相同的轨迹集合,对于在规模较大的复杂系统中应用Petri网模型有着积极的意义。本文还分别证明了递归π演算与转换的Petri网的互模拟等价性以及Petri网与其简洁表示的等价性。 展开更多
关键词 计算机软件 递归兀演算转换 层次化方法 Petri网简洁表示 互模拟等价
下载PDF
多项式程序模型的互模拟等价 被引量：1
3
作者 邓辉 吴尽昭 《北京交通大学学报》 CAS CSCD 北大核心 2011年第5期73-77,88,共6页
针对程序的行为等价性,提出多项式程序模型的互模拟等价,适用于代数程序模型描述的软件系统设计和验证分析.给出多项式程序模型互模拟等价概念,建立互模拟等价的符号计算方法,选取结构简单的模型,简化程序设计,缓解状态爆炸导致的形式... 针对程序的行为等价性,提出多项式程序模型的互模拟等价,适用于代数程序模型描述的软件系统设计和验证分析.给出多项式程序模型互模拟等价概念,建立互模拟等价的符号计算方法,选取结构简单的模型,简化程序设计,缓解状态爆炸导致的形式化验证方法计算复杂度过高而难于实现的问题.最后给出并发程序的相关实例. 展开更多
关键词 互模拟等价 多项式程序模型 非确定性 并发
下载PDF
连续时间Markov决策过程互模拟等价及逻辑保持 被引量：1
4
作者 黄镇谨 陆阳 +1 位作者 杨娟 王智文 《控制理论与应用》 EI CAS CSCD 北大核心 2016年第8期1031-1038,共8页
模型检测中,Markov决策过程可以建模具有不确定性的系统,然而状态空间爆炸问题将会影响系统验证的成败与效率,互模拟等价可以用于系统状态的简约.在强互模拟关系的基础上,给出Markov决策过程模型弱互模拟等价关系的概念,导出了连续时间M... 模型检测中,Markov决策过程可以建模具有不确定性的系统,然而状态空间爆炸问题将会影响系统验证的成败与效率,互模拟等价可以用于系统状态的简约.在强互模拟关系的基础上,给出Markov决策过程模型弱互模拟等价关系的概念,导出了连续时间Markov决策过程及其内嵌离散时间Markov决策过程互模拟等价关系的内在联系;在强互模拟等价关系逻辑特征保持的基础上,给出弱互模拟等价关系下的逻辑保持性质,证明了弱互模拟等价的两个状态,同时满足除下一步算子外的连续随机逻辑公式,从而可以将原模型中的验证问题转换为简约后模型的验证问题,提高验证的效率. 展开更多
关键词 马尔科夫链 马尔科夫决策过程 互模拟等价关系 逻辑保持
下载PDF
基于进程代数的安全软件体系结构建模
5
作者 甘厚勇 毋国庆 胡涌涛 《计算机应用》 CSCD 北大核心 2005年第12期2811-2813,共3页
分析了基于进程代数的软件体系结构模型的安全性,将相容性检查和互操作性检查从单个软件体系结构推广到不同风格的体系结构风格,扩展基于进程代数的软件体系结构描述语言,通过顺序进程代数项族和预定义的体系结构类型调用对软件体系结... 分析了基于进程代数的软件体系结构模型的安全性,将相容性检查和互操作性检查从单个软件体系结构推广到不同风格的体系结构风格,扩展基于进程代数的软件体系结构描述语言,通过顺序进程代数项族和预定义的体系结构类型调用对软件体系结构安全建模。通过一个例子介绍了这种建模方法。 展开更多
关键词 进程代数 软件体系结构描述语言 弱互模拟等价 体系结构风格
下载PDF
基于BER和CTMC的航天器发射组织过程可靠度模型
6
作者 董学军 白国庆 陈英武 《国防科技大学学报》 EI CAS CSCD 北大核心 2013年第2期46-51,共6页
在航天器发射工程中,存在组织过程可靠性评估难以量化的问题。基于航天器发射组织过程的时间特性呈现多个子过程并发执行且子过程具有Markov性和齐次性的特点,使用连续时间Markov链(CTMC)建立多吸收态的组织过程可靠度模型,利用互模拟... 在航天器发射工程中,存在组织过程可靠性评估难以量化的问题。基于航天器发射组织过程的时间特性呈现多个子过程并发执行且子过程具有Markov性和齐次性的特点,使用连续时间Markov链(CTMC)建立多吸收态的组织过程可靠度模型,利用互模拟等价关系(BER)简化组织过程的状态空间,并进一步给出各种状态转移率和组织过程可靠度计算方法。最后,通过数据分析说明模型在航天器发射工程进度计划评估中的作用和意义。 展开更多
关键词 航天器发射 互模拟等价关系 连续时间Markov链 过程可靠度
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部