我要投搞

标签云

收藏小站

爱尚经典语录、名言、句子、散文、日志、唯美图片

当前位置:主页 > 变迁系统 >

谓词变迁系统

归档日期:09-30       文本归类:变迁系统      文章编辑:爱尚语录

  研究了利用谓词/变迁系统对一阶谓词公式建模的方法。借助于软件工程中由粗到细,逐层分解的思想,定义了对各种逻辑联结词进行处理的基本模型。给出了一阶谓词公式的二叉树表示方法,进而 ...

  系统仿线期谓词/变迁系统一阶谓词公式逻辑联结词二叉树事实变迁递归性质;

  计算网格是第三代因特网和高性能并行计算的研究热点,它提供了一个有效的平台,共享资源,支持全球范围内分布异构应用程序的运行,其动机和目标是明显的,并被人们广泛认同和接受。但是目前网 ...

  本文通过对哲学家就餐问题的分析,对谓词/变迁网系统可达树规模的缩减问题进行了讨论,分析系统性质,给出等价标识,利用等价标识直接构成可达树,规模大幅度减小。

  介绍了Perti网概念及其标识转移方程的完整动态描述。对复杂的防空导弹C3 I空防对抗过程进行了具体分析 ,描述了某型防空导弹的具体作战过程 ,在有机结合谓词公司Petri网和赋 ...

  2002年12期C3I赋色Petri网谓词/变迁Petri网离散事件系统;

  以国家CIMS工程技术研究中心制造系统为对象,设计并实施了一个制造系统故障预防系统。文中首先提出了制造系统的谓词/变迁网模型,以此为基础设计了基于Petri网可达性树分析方法和图 ...

  为解决规划形式化系统中动态、异步和并发等特征难以被表示的问题,提出一种使用谓词/变迁网表示Agent规划问题的形式化方法,利用谓词/变迁网的动态、异步、并发等特征表示规划问题,同 ...

  在异构式制造控制系统体系结构的基础上 ,围绕系统分解后各局部自治对象的个体行为怎样与系统总体目标保持一致的问题 ,对制造控制系统的集成模型进行了探讨。在 Dr.Scherr提出的 ...

  带有对象的Petri网是一种将面向对象的方法和谓词 /变迁网相结合的高级Petri网。网中的托肯能携带各种信息 ,用这种网所表述的系统具有规模小、灵活、直观、模块性好、可操作性良 ...

  2001年03期对象Petri网DEDS列车运行模型行车指挥智能交通系统(ITS);

  本文首先在命题逻辑的库所/变迁网模型中,提出四种新的证明目标命题成立的推理算法,即求包含目标变迁的T-不变量并同时求出变迁发生序列的算法,它们都源于归结反演系统中的改进策略.然后 ...

  在分析维修机构的任务、过程和资源等建模要素的基础上,提出了面向任务的维修机构性能建模框架。分析比较了离散事件系统建模方法,提出了Petri网在维修机构建模中的优势。研究了维修机构 ...

本文链接:http://foungjampee.com/bianqianxitong/138/