共查询到20条相似文献,搜索用时 15 毫秒
1.
一种集成式IP电话网关的硬件及软件体系结构,分析了IP电话网关的数据处理过程,较深入地研究了网关中DSP和主机的多通道实时通信算法。 相似文献
2.
离散事件系统的协调反馈控制 总被引:3,自引:0,他引:3
本文探讨以Petri网为模型的离散事件系统(DES)的某种禁止状态避免问题,提出了以Petri网N为基网,设计具有外部输入位置Petri网(PNIP),对N进行协调反馈控制的方法。由N现行状态反馈决定的PNIP的控制状态,既保证N避免禁止状态,又使N具有最大自由度。 相似文献
3.
本文设计并实现了一种经济实用的小型IP电话网关。详细介绍了这种IP电话网关的原理、设计思想、关键技术、应用前景和存在的不足。 相似文献
4.
时序逻辑电路的Petri网分析方法 总被引:4,自引:0,他引:4
本文应用带抑止弧的增广Petri网,建立了基本门电路和常用触发器的Petri网模型,讨论了运用该模型描述同步和异步时序逻辑电路,给出了增广Petri网的矩阵描述和状态转移方程,在此基础上提出了同步和异步时序逻辑电路统一分析的Petri网方法。 相似文献
5.
电信级IP电话的实现需要IP电话网关和IP电话支持中心的共同协作,文章阐述了电信级IP电话产品的控制和支持核心──IP电话支持中心的详细设计方案。 相似文献
6.
模糊Petri我在带权不精确知识表示和推理中的应用研究 总被引:7,自引:0,他引:7
Petri网是一种适合于描述异步并发事件的计算机系统模型,可以有效地对并行和并发系统进行形式化验证和行为分析,以模糊Petri网的基本定义为基础,讨论了带权模糊的模糊产生式系统表示法,建立了这种表示法与模糊Petri网之间的映射关系和转换算法;在对模糊Petri网进一步扩充的基础上,解决了与知识的模糊Petri网表示相关的几个问题;最后给出了模糊Petri网中不确定性的计算方法和相应的不精确推理算 相似文献
7.
基于赋时Petri 网的化工批处理建模与控制优化 总被引:4,自引:0,他引:4
分析了化工批处理过程的特点,以过程设备为核心将整个过程操作划分为若干个子进程,用赋时Petri网来建立以子进程表示的批处理过程,并提出启发式动态 经自救对过程进行控制。仿真结果表明,基于赋时Petri网模型与启发式动态 经算法的Petri网控制器,不仅能准确描述批处理过程的同步、并发及资源工人享关系,而且Petri网的运行能给出过程生产的最优控制序列。 相似文献
8.
使用Petri网T-不变量求解子句的逻辑推论 总被引:4,自引:0,他引:4
本文研究了子句逻辑规则的Petri网模型的表示及使用Petri网分析方法进行逻辑推论.基于四值逻辑和冲突变迁的概念,表示了非Horn子句Petri网模型的构造,并使用T-不变量方法解决于句推论问题.另外,本文还显示了向前推论和向后推论在子句Petri网模型中的应用. 相似文献
9.
基于Petri网的知识库维护方法的研究 总被引:7,自引:1,他引:6
刘晓霞 《小型微型计算机系统》1997,18(7):74-77
Petri网作为建立系统模型,性能分析,模拟,系统调度,控制等方面的工具已在计算机各方面得到了很好的应用。本文主要探讨了Petri网在知识库维护方面的应用,包括知识库的正确性、一致性及完备性的检查。对大型知识库的建立及其维护具有重要意义。 相似文献
10.
本文致力于图形Petri网软件工具—GPNST软件包的设计与实现。首先介绍了GPNST的结构和功能,分析了它在Petri网图形编辑和网结构分析方面的能力;其次正式定义了Petri网的扩展—赋时着色Petri网(TCPN),并且使用TCPN建立了柔性制造系统(FMS)的简化仿真模型。利用这个模型,能基本实现FMS的动态仿真,同时显示整个仿真的过程;最后将调度算法、启发式规则、TCPN模型和仿真结合起来,构成一个基于专家系统的调度器,产生出虽非最优,但是具有比较好结果的可行调度,有效地解决了动态仿真中的FMS调度问题。 相似文献
11.
基于Petri网的一种时序分析方法 总被引:1,自引:0,他引:1
Petri网由于有强大的建模能力和成熟的理论支持,被广泛应用于各种系统的建模.本文通过把Petri网转换成转移系统,利用转移系统和Kripke结构给出时序逻辑语义的解释,从而建立了一种在Petri网上进行时序分析的方法.这种方法是根据不动点理论,用模型检查验证公式正确性.通过对Ada程序会合性质进行模型检查,验证了这种方法的有效性. 相似文献
12.
本文首先将模拟技术应用于Petri网中,得到模糊Petri网模型,然后基于Petri网中的库所湾量的概念,在普通Petri网的反馈控制基础上提出了一种模型Petri网的反馈控制方法。该方法使得对复杂系统的模糊Petri多控制器的系统设计成为可能。 相似文献
13.
使用Petri网T—不变量求解子句的逻辑推论 总被引:2,自引:0,他引:2
本文研究了子句逻辑规则的Petri网模型的表示及使用Petri网分析方法进行逻辑推论,基于四值逻辑和冲突变迁的概念,表示了非Horn子句Petri网模型的构造,并使用T-不变量方法解决子句推论问题。 相似文献
14.
15.
本文提出了一个基于Petri网的超媒体形式化模型HPN。它采用层次组织,各层由一个扩展Petri网、若干对象以及Petri网与对象之间的映射表示,通过Petri网结构和执行语义说明超媒体的连接机制、浏览和媒体表现,具有刻画超媒体主要性质的能力。文中给出了HPN模型的模式化定义并举说明其用途。 相似文献
16.
基于Petri网的统一知识表示模型 总被引:2,自引:1,他引:1
本文讨论知识表示的Petri网模型。将多种知识分类表示,对于开发具有较宽领域知识的系统具有重要意义。本文从统一的观点出发,在给出了Petri网的代数规范说明后,将三种主要的知识表示方法分别与Petri网模型之间建立映射系统,这三种知识表示方法为:逻辑表示法,语义网络和产生式系统。 相似文献
17.
18.
模糊Petri网及知识表示 总被引:6,自引:0,他引:6
蔡之华 《计算机应用与软件》1994,11(3):30-36
在建造专家系统中虽然有很多种知识表示方法,但都有不尽人意的地方,本文试图用一种新的方法-Petri网模型来表示知识。本文给出了Fuzzzy Petri网和广义Fuzzy Petri网两种模型,并给出了相应的推理算法,一旦专家知识用Petri网表示后,根据Petri网固有的特性,我们就能处理专家系统中并行推理、无回溯推理,反向推理等问题。 相似文献
19.
离散事件动态系统的代数模型及其控制器的分析计算 总被引:4,自引:2,他引:2
本文在离散事件动态系统的Petri网图形描述的基础上建立了相应的代数模型,该模型可以用来计算无竞争无回路Petri网的“最大状态”;该“最大状态”的计算在本文给出的动态反馈控制器中得到了应用。 相似文献
20.
一类资源组合问题的扩展参数Petri网建模与优化研究 总被引:5,自引:0,他引:5
现代企业重组及CIMS资源调度问题是一类典型资源组合优化问题。文中针对这类资源组合优化问题。提出一种新的建模方法--扩展参数Petri网。该网通过着色Petri网和时间Petri网中引入扩展参数使之对任务执行过程具有很强的模型描述与性能评价能力。另外,在该网中扩展的控制决策层Petri网模型不仅实现了对资源组合方案选择与评价并且可以方便地与不同的优化策略与优化算法进行集成,使问题的求解更加灵活、高 相似文献