排序方式: 共有102条查询结果,搜索用时 757 毫秒
1.
2.
无界Petri网的进程表达式 总被引:14,自引:2,他引:14
借助进程网系统的概念,首先证明了无界Petri网∑的进程与其进程网系统∑p,的语言之间存在一一映射关系,将求取∑的进程表达式的问题转化成求取∑p,的语言问题.由于∑p,的结构一般比较复杂,直接求取其语言仍然比较困难.通过定义库所的指标函数,将结构复杂的∑p,分解成结构简单的子网系统,引入了语言的同步交运算,给出了利用这些子网系统求取结构复杂的∑p,语言的方法,从而得到了求取无界Petri网∑的进程表达式的算法. 相似文献
3.
Petri网的进程表达式与语言表达式 总被引:5,自引:3,他引:5
Petri网的语言和进程都是网系统行为的一种有效的描述手段,对应的进程表达式和语言表达式给出了系统全体行为的约束描述.本文首先对Petrl网的进程表达式进行了类型的划分并给出了相应的代数判定依据,随后证明了Petri网的进程表达式与语言表达式的类型一致性,由此给出了由进程表达式求取语言表达式的算法,为基于Petri网语言(尤其是无界Petri网)分析实际的物理系统提供了更为有效的途径. 相似文献
4.
针对基于活动序列的用户行为相似性度量方法未见考虑活动的语义相似性度量,提出一种支持活动语义度量的用户行为相似性计算方法。首先结合活动间的邻接关系与标签文本语义计算活动间的相似度;其次,定义了活动编辑权值函数和活动序列距离;最后,利用活动序列多重集建模用户行为并利用推土机距离计算用户行为相似度。与目前主流算法在度量性质可满足性、现实数据集实验评估等方面进行对比分析,验证了所提方法的可行性和有效性。 相似文献
5.
知识库的异常是影响整个知识系统性能的重要因素之一,因此必须对获取的知识进行校验。本文综述了知识库异常检测和验证的相关研究,给出了异常知识的分类及其危害性,分析了知识库验证困难的原因,介绍了用于知识库验证的静态和动态方法,列举了国际上几个著名的知识库验证工具,并对知识库验证的研究进行了展望。 相似文献
7.
This paper presents the recent process in a long-term research project,called National Knowledge Infrastructure(or NKI).Initiated in the early 2000,the project aims to develop a multi-domain shareable knowledge base for knowledge-intensive applications.To develop NKI,we have used domain-specific ontologies as a solid basis,and have built more than 600 ontologies.Using these ontologies and our knowledge acquisition methods,we have extracted about 1.1 millions of domain assertions.For users to access our NKI knowledge,we have developed a uniform multi-modal human-knowledge interface.We have also implemented a knowledge application programming interface for various applications to share the NKI knowledge. 相似文献
8.
9.
诱发井下泥石流灾害的降雨阈值是矿山井下泥石流防控重要参数。为获得普朗铜矿诱发井下泥石流的降雨临界阈值,以室内试验为研究方法,开展矿区不同降雨强度工况下诱发井下泥石流的降雨量阈值及暴发时间研究。结果表明:当雨强为0.563 mL/min时发生破坏性较大井下泥石流概率较大,当雨强为0.293 mL/min时诱发井下泥石流概率较小,当雨强为0.186 mL/min时则不易形成井下泥石流;降雨强度0.293 mL/min是井下泥石流发生的极限临界状态,也即是诱发井下泥石流的降雨阈值;降雨强度0.563 mL/min时,3#、4#和2#不同放矿口诱发井下泥石流的暴发时间分别为240、260和220 min;降雨强度0.293 mL/min时,3#、4#和2#放矿口诱发井下泥石流的暴发时间分别为180、200和220 min;最后基于水量总量原理验证了试验确定降雨临界阈值的科学性和合理性。研究成果为普朗铜矿及类似矿山井下泥石流的预防和管控提供重要的科学理论依据。 相似文献
10.
基于本体的数学知识获取与知识继承机制研究 总被引:10,自引:0,他引:10
基于本体、框架和逻辑给出了数学知识表示语言,采用了面向概念的数学知识获取方法,利用半自动的方式对数学知识进行了获取。提出了知识树的概念用于所获得的知识的管理,设计并实现了数学知识获取和管理平台。研究了数学概念知识体系结构以及概念之间的知识继承机制,并对知识继承的一致性进行了分析。在数学知识的应用方面,对基于Web的数学知识问答系统、数学智能教学系统、数学知识的多语言版本自动生成等进行了初步的探讨。 相似文献