-
题名基于本体的模型集成
被引量：6
- 1
-
-
作者
蔡树彬
明仲
李师贤
刘显明
-
机构
中山大学计算机科学系
深圳大学计算机与软件学院
江西电力信息通讯有限公司
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2009年第4期713-719,共7页
-
基金
国家自然科学基金(No.60673122)
江西省电力公司科技项目(No.200850802)
广东省自然科学基金(No.7301315,No.815103000700002)
-
文摘
模型在决策支持系统中具有非常重要的作用.如何更好地集成模型,实现模型协作,一直是该领域的重点研究内容.模型参数的表示和匹配是模型集成的核心问题.由于难以描述模型输入、输出参数的语义,模型集成的自动化程度、智能化程度、扩展性、开放性和可理解性等性能一直不够理想.提出一种基于本体的程序-逻辑混合(PLM)模型表示法.该方法易于实现,支持推理,具有高开放性和可扩展性.使用本体描述模型参数的语义,并基于参数的语义匹配,设计模型集成策略,可自动、智能地创建易于理解的模型集成方案.给出模型集成的形式化定义并证明相关定理.
-
关键词
决策支持系统
模型集成
模型表示
本体
-
Keywords
decision support system（DSS）
model integration
model representation
ontology
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名以扩展分区为核心的流程网分析方法
- 2
-
-
作者
刘显明
李师贤
李卫华
梁文
马勇
-
机构
江西省电力信息通讯有限公司技术部
中山大学计算机科学系
广东工业大学计算机学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2010年第10期48-50,共3页
-
基金
江西省电力公司科技项目No.200850802~~
-
文摘
业务流程网是一种用于业务流程建模的新工具。介绍了业务流程网基本概念后,提出一种用于业务流程网状态空间计算的新方法。该方法以自动机研究领域的分区方法为基础,为分区扩展成本信息,从而得到一种扩展分区,进而给出状态空间计算方法,最后证明了:对于有界的业务流程网来说,扩展分区的计算是可终止的,并且最小成本可达问题是可判定的。
-
关键词
扩展分区
业务流程
PETRI网
状态空间计算
-
Keywords
extended zone
business process
Petri net
state space computation
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
