期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到10篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于改进谓词/变迁网的飞行方式指示器模型研究
1
作者 郝磊 耿宏 《计算机应用与软件》 北大核心 2023年第7期77-84,102,共9页
为实现空客320飞行仿真中的飞行方式指示器(Flight Mode Annunciator,FMA)仿真,面向离散事件系统,提出一种基于二阶谓词/变迁网的建模方法,并对FMA建模及仿真验证。分析FMA系统功能特点,确定其可用谓词/变迁网建模,但FMA每当飞行方式改... 为实现空客320飞行仿真中的飞行方式指示器(Flight Mode Annunciator,FMA)仿真,面向离散事件系统,提出一种基于二阶谓词/变迁网的建模方法,并对FMA建模及仿真验证。分析FMA系统功能特点,确定其可用谓词/变迁网建模,但FMA每当飞行方式改变时附带的白色方框提示使传统谓词/变迁网模型繁杂而难以实现。为简化系统模型,在谓词/变迁网的基础上提出继发网,以此为基础定义了适用于离散事件系统的通用型二阶谓词/变迁网,以FMA为例进行了建模及仿真验证。实验结果表明,二阶谓词/变迁网解决了离散事件系统建模时“系统中每一次状态更新都会激活同一个新事件”带来的传统谓词/变迁网模型结构复杂问题,实现了空客320飞行仿真中的FMA仿真。 展开更多
关键词 飞行方式指示器 飞行仿真 离散事件系统 继发网 谓词/变迁网
下载PDF
基于Horn子句集的Pr/T网可达树的方案求解 被引量：4
2
作者 方欢 吴哲辉 崔焕庆 《系统仿真学报》 CAS CSCD 北大核心 2005年第z1期163-165,共3页
问题求解是当今人工智能领域研究的重点,在文中对于能用Horn子句集表示问题求解情境的一类问题,利用谓词/变迁网对其进行建模,详细分析了网系统模型的有界性,并借助网系统的可达树提出了一个求解问题解决方案的算法.最后给出一个例子对... 问题求解是当今人工智能领域研究的重点,在文中对于能用Horn子句集表示问题求解情境的一类问题,利用谓词/变迁网对其进行建模,详细分析了网系统模型的有界性,并借助网系统的可达树提出了一个求解问题解决方案的算法.最后给出一个例子对算法思想进行说明. 展开更多
关键词 HORN子句 谓词/变迁网 可达树 方案求解
下载PDF
基于Petri网的数据库概念设计模型 被引量：2
3
作者 秦奋涛 冯贵良 兰安怡 《计算机应用与软件》 CSCD 北大核心 2007年第6期82-83,共2页
在数据库概念设计阶段,E-R图虽然广泛使用,但反映不出对数据的处理要求和数据库的完整性要求。提出了用Petri网建立数据库概念设计模型,把数据及其相关的处理集成在统一的网模型中,而且用事实(死变迁)规范了该模型的数据库完整性。
关键词 概念设计 PETRI网 谓词/变迁网 事实
下载PDF
利用谓词/变迁网证明的一阶谓词逻辑命题 被引量：2
4
作者 方欢 印玉兰 徐誉尹 《计算机工程》 CAS CSCD 北大核心 2006年第23期191-192,198,共3页
研究了证明一般的一阶谓词逻辑命题的方法,根据网逻辑的思想,利用谓词/变迁网对一般形式的一阶谓词逻辑命题进行了图形表示,提出了2种一阶谓词逻辑命题的证明方法:图形证明法和矩阵证明法。举出一个实际的例子来说明证明思路。
关键词 网逻辑 谓词/变迁网 一阶谓词逻辑 命题证明
下载PDF
基于Petri网的多Agent系统建模的研究 被引量：1
5
作者 李伟 乔欣 《系统仿真学报》 CAS CSCD 北大核心 2005年第z1期140-144,共5页
多Agent系统正成为分布式自治系统研究的一个热点,并被大量应用在商业和工业软件系统的开发中.这些系统的复杂性表明急需一种系统建模技术来构造多Agent系统,从而支持可靠的、可维护的和可扩展的系统设计.文中分析了Petri网技术在多Agen... 多Agent系统正成为分布式自治系统研究的一个热点,并被大量应用在商业和工业软件系统的开发中.这些系统的复杂性表明急需一种系统建模技术来构造多Agent系统,从而支持可靠的、可维护的和可扩展的系统设计.文中分析了Petri网技术在多Agent系统建模领域的应用背景,对基于Petri网的多Agent系统建模方法进行了分类、分析、比较和评估,指出了目前使用Petri网技术对多Agent系统进行建模存在的问题,并给出了今后的研究方向. 展开更多
关键词 多AGENT系统 PETRI网 面向对象PETRI网 有色PETRI网 谓词/变迁网 建模
下载PDF
软件体系结构动态特征建模与验证
6
作者 贾晓琳 覃征 +1 位作者 何坚 虞凡 《西安交通大学学报》 EI CAS CSCD 北大核心 2005年第4期347-350,355,共5页
针对软件体系结构描述语言在分析、验证软件构架动态行为中的不足,采用谓词/变迁(Pr/T)网为软件体系结构动态行为建模,并提出了基于线性时序逻辑的软件体系结构动态行为模型验证方法.首先根据体系结构层次模型扩展Pr/T网建立体系结构动... 针对软件体系结构描述语言在分析、验证软件构架动态行为中的不足,采用谓词/变迁(Pr/T)网为软件体系结构动态行为建模,并提出了基于线性时序逻辑的软件体系结构动态行为模型验证方法.首先根据体系结构层次模型扩展Pr/T网建立体系结构动态行为模型(DFM)并构造DFM的可达图,然后使用基于自动机理论的方法来验证模型的时态逻辑性质,最后通过对一个电子商务系统实例的并发控制机制建模和模型检测,验证了该方法的有效性.所提方法结合了Pr/T网和线性时序逻辑的优点,为进一步开展软件体系结构动态行为的分析、验证奠定了基础. 展开更多
关键词 软件体系结构 谓词/变迁网 线性时序逻辑 模型验证
下载PDF
面向代数规约测试谓词/变迁网
7
作者 余波 《小型微型计算机系统》 CSCD 北大核心 2011年第9期1804-1809,共6页
针对谓词/变迁网缺乏有效的形式化验证分析技术,基于代数规约测试谓词/变迁网方法,给出谓词/变迁网转换成代数规约语言CASOCC-WS表示的基调的规则,提出基于测试充分性准则深度优先遍历谓词/变迁网生成变迁触发序列的算法和由变迁触发序... 针对谓词/变迁网缺乏有效的形式化验证分析技术,基于代数规约测试谓词/变迁网方法,给出谓词/变迁网转换成代数规约语言CASOCC-WS表示的基调的规则,提出基于测试充分性准则深度优先遍历谓词/变迁网生成变迁触发序列的算法和由变迁触发序列构造公理等式的启发式规则.案例研究表明:该方法可以有效地解决测试Pr/T网时自动生成测试用例和自动判定测试结果和可行路径的问题. 展开更多
关键词 代数规约 可行路径 谓词/变迁网 变迁触发序列 测试充分性准则
下载PDF
等价标识在谓词/变迁网系统可达树规模缩减中的应用
8
作者 刘悦 《山东矿业学院学报》 CAS 1997年第4期428-431,共4页
本文通过对哲学家就餐问题的分析，对谓词／变迁网系统可达树规模的缩减问题进行了讨论，分析系统性质，给出等价标识，利用等价标识直接构成可达树，规模大幅度减小。
关键词 谓词/变迁网 可达树 等价标识 规模缩减
下载PDF
Agent系统软件体系结构形式化建模方法 被引量：3
9
作者 郑志 杨德礼 杨红 《计算机工程》 CAS CSCD 北大核心 2008年第10期35-37,共3页
基于Agent技术为复杂分布式问题提供了求解方法。软件体系结构是控制软件复杂性、提高软件系统质量、支持软件开发和复用的重要手段之一。软件体系结构设计可用于描述Agent与Agent之间的交互和组织结构的规划,因此Agent系统能从良好的... 基于Agent技术为复杂分布式问题提供了求解方法。软件体系结构是控制软件复杂性、提高软件系统质量、支持软件开发和复用的重要手段之一。软件体系结构设计可用于描述Agent与Agent之间的交互和组织结构的规划,因此Agent系统能从良好的体系结构设计中受益。该文整合了图表句法理论和层次谓词变迁网理论,提出一种形式化建模方法,从抽象层(架构)和实现层(动态行为)两方面来构建Agent系统的软件体系结构。模型具有可验证和追踪性,为Agent系统软件体系结构分析与评估提供了良好的基础。 展开更多
关键词 层次谓词变迁网 图表句法理论 软件体系结构 AGENT系统 形式化规约
下载PDF
面向Artifact的业务过程模型 被引量：1
10
作者 王颖 刘国华 +1 位作者 赵丹枫 赵威 《计算机工程》 CAS CSCD 北大核心 2010年第20期37-39,42,共4页
提出一种面向Artifact的业务过程形式化模型。利用谓词/变迁Petri网建模的优势,根据Artifact的特点,用半结构化数据描述Artifact,以表示Artifact结构的文档类型定义作为静态谓词,通过一种操作XML的一阶逻辑语言描述变迁。实验表明,该模... 提出一种面向Artifact的业务过程形式化模型。利用谓词/变迁Petri网建模的优势,根据Artifact的特点,用半结构化数据描述Artifact,以表示Artifact结构的文档类型定义作为静态谓词,通过一种操作XML的一阶逻辑语言描述变迁。实验表明,该模型能有效分析Artifact的可达性、持久性和唯一性等问题。 展开更多
关键词 业务过程管理 面向Artifact 谓词/变迁Petri网 半结构化数据
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部