【摘 要】
：
Petri网以其图形化的表示方式广泛应用于形式化推理中。基于模糊有色Petri网的形式化推理算法,以系统内部事务之间的逻辑关系为依据,充分利用模糊Petri网在分析不确定知识中
【机 构】
：
海军工程大学电子工程学院,中国载人航天工程办公室,91960部队政治部干部科
论文部分内容阅读
Petri网以其图形化的表示方式广泛应用于形式化推理中。基于模糊有色Petri网的形式化推理算法,以系统内部事务之间的逻辑关系为依据,充分利用模糊Petri网在分析不确定知识中的优势,通过知识模糊、库所抽象、转换抽象实现层次化的知识表示和知识推理,并结合有色Petri网对系统规模作适当约简,从而构造出了一种新型的模糊着色网(FCPN)知识表示和获取模型,有效弥补了传统Petri网在实际应用中的缺陷,使模糊推理过程更加简单且易于实现。
其他文献
P-集合（packet sets）是由内P-集合X^F（internal packet setX^F）与外P-集合X^F（outer packet setX^F）构成的集合对,或者,（X^F,X^F）是P-集合,P-集合具有动态特性。把动态特性引入到有限
意图生成是BDI型Agent为实现目标而产生动作序列的过程。验证软件Agent中意图生成的正确性是A-gent编程语言中一个重要的研究问题。针对软件Agent中意图执行的正确性,以当前
光滑支持向量机（SSVM）是支持向量机（SVM）的快速求解模型,拥有更快的求解速度和训练效果。基于光滑的分段多项式函数和插值思想推导出一个新的光滑函数,从而可以更好地逼近正号函
在园区网络的用户规模和网络结构日渐扩大的同时,园区网络的使用效能能否按照设计之初的功能充分发挥,成为了目前网络性能管理的一个主要问题。本文对园区网络设备的运行指标
在线社会网络已得到广泛应用,综合利用在线社会网络的社会关系信息和拓扑特征可以明显增强各层网络协议功能、性能和安全特性而使其成为新的研究热点。主要研究基于在线社会
随着互联网的发展,网络新词不断涌现,但是目前的分词方法很难及时、准确地对其做出识别。对此提出一种应用免疫遗传算法的网络新词识别方法。在分析网络新词特点的基础上,利
利用人工鱼群算法的追尾思想并在过程中加入拥挤度因子,对人工萤火虫群算法进行了改进,提出了一种改进型人工萤火虫群算法,并将该算法用于多峰函数的优化问题。通过实验仿真
P-集合（packet sets）是由内P-集合（internal packet sets）与外P-集合（outer packet sets）构成的集合对,或者（X-F,XF）是P-集合。P-集合具有动态特性。P-集合的动态特性来自对集合X的属
研究表明网络流量具有自相似特性,而自相似网络流量的生成是网络性能分析的一个关键环节,为此设计了一种生成网络背景流量的方法。在VC＋＋环境中对该方法进行了仿真,验证了其有