-
题名Petri网的进程表达式与语言表达式
被引量:7
- 1
-
-
作者
曾庆田
吴哲辉
马炳先
-
机构
中国科学院计算机技术研究所智能信息处理重点实验室
山东科技大学计算机科学与技术系
-
出处
《小型微型计算机系统》
CSCD
北大核心
2004年第4期654-658,共5页
-
基金
国家自然科学基金 ( 60 173 0 5 3
60 2 740 3 9)资助
山东省中青年科学家科研奖励基金 ( 0 2 BS0 69)资助
-
文摘
Petri网的语言和进程都是网系统行为的一种有效的描述手段 .对应的进程表达式和语言表达式给出了系统全体行为的约束描述 .本文首先对 Petri网的进程表达式进行了类型的划分并给出了相应的代数判定依据 ,随后证明了 Petri网的进程表达式与语言表达式的类型一致性 ,由此给出了由进程表达式求取语言表达式的算法 ,为基于 Petri网语言 (尤其是无界 Petri网 )
-
关键词
PETRI网
语言
进程表达式
进程网系统
属型
算法
-
Keywords
Petri net
language
process expression
process net system
type
algorithm
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名基于模糊命题模态逻辑的形式推理系统(英文)
被引量:6
- 2
-
-
作者
张再跃
眭跃飞
曹存根
-
机构
江苏科技大学计算机科学与技术系智能计算联合实验室
中国科学院计算机技术研究所智能信息处理重点实验室
-
出处
《软件学报》
EI
CSCD
北大核心
2005年第8期1359-1365,共7页
-
基金
No.60310213国家自然科学基金
No.G1999032701国家重点基础研究发展规划(973)
国家软件发展环境重点实验室~~
-
文摘
探讨基于可信度的模糊命题模态逻辑的形式推理,给出相关的模糊Kripke语义描述.其研究目的旨在解决基于模态命题逻辑的模糊推理的能行问题.在研究过程与方法上,以完全形式化的方法将模糊模态逻辑语法和语义统一在一个形式系统中,以模糊约束作为基本表达式,给出推理规则,建立了相应的模糊推理形式系统,并以形式系统中模糊约束集的可满足性来表示模糊推理的有效性,使模糊推理过程变得容易,为最终在计算机上实现基于模态逻辑的模糊推理打下了一定的基础.主要结论是证明了基于可满足性的模糊推理形式系统的可靠性与完备性.
-
关键词
命题模态逻辑
模糊推理
形式系统
-
Keywords
propositional modal logic
fuzzy reasoning
formal system
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名基于EKEL的影评挖掘分析方法和系统
- 3
-
-
作者
李浩腾
朱信忠
赵建民
曹存根
-
机构
浙江师范大学数理与信息工程学院
中国科学院计算机技术研究所智能信息处理重点实验室
-
出处
《渤海大学学报(自然科学版)》
CAS
2014年第3期299-306,共8页
-
文摘
基于EKEL的影评挖掘分析方法是从影评文本中自动获取电影基本知识与评价知识的一种数据挖掘方法.同时该方法是一种结合文法与本体的知识抽取方法,把设计好的影评文法体系与EKEL系统结合,形成一个文本知识挖掘系统,可以有效且准确地抽取影视领域中的基本知识与评价知识.首先设计影评文法,研究设计方法及设计原则,同时结合EKEL系统,对获取到的影评文本语料进行挖掘并分析,产生EKEL分析树,然后对EKEL分析树进行深入分析及后处理.接着进行影评挖掘实验,分析精确率和召回率,并总结本文所研究知识抽取方法的有效性.最后,并对该方法的通用性进行了展望.
-
关键词
影评
文法设计
知识抽取
EKEL系统
电影标签
文法规范
分析树
-
Keywords
film reviews
designing of grammar
knowledge extraction
EKEL system
film tags
grammarspecification
parse tree
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-