SetPi-演算及其对本体演化的建模
Journal Title: Science Paper Online - Year 2010, Vol 5, Issue 2
Abstract
对Pi-演算进行语法扩展，提出了一种新的演算：SetPi-演算，在Pi-演算原有语义的基础上引入了“集合”的思想，从而解决了Pi-演算无法添加进程的弊端。详细给出SetPi-演算的形式化表示方法及其语义，刻画了SetPi-演算的结构同余规则和归约规则等，并进一步对SetPi-演算的描述能力进行了界定和分析；最后将SetPi-演算应用于本体演化领域，描述本体演化的基本变更操作，实现了其形式化建模。
Authors and Affiliations
Lei Liu, Rong Fan, Rui Zhang
Keywords
Related Articles
- EP ID EP134250
- DOI -
- Views 123
- Downloads 0
Importance weighted LLE algorithm for recognition of<br /> TCM tongue manifestation<br />
An importance weighted LLE algorithm was proposed, and was applied to the tongue recognition in Traditional Chinese Medicine (TCM). According to the theory of TCM, the components of a feature vector extracted from a tong...
Plain analysis of acoustical design on the multi-purpose meeting room
The multi-purpose meeting room is one of the familiar performing arts building. As the acoustical design of multi-function meeting room is relatively special, that should be more concerned. This paper presents the acoust...
碎屑岩储层流动单元研究进展
储层流动单元研究最主要的目的是揭示储层的非均质性，流动单元研究的深入开展是深化和发展油藏表征的关键。目前来看，在流动单元的概念、划分方法及控制因素等方面尚未完全达成共识，且在流动单元三维建模及油藏数值模拟研究还比较薄弱。...
Experimental research on tube and shell heat exchanger with a new support structure named flower baffle
A new kind of support structure in shell side of tube and shell heat exchanger named flower baffle is discussed in this article. Experiment based on similarity principle has been taken in order to investigate the perform...
浮选柱多输入/多输出控制系统设计及应用
分析和阐述了浮选柱监控系统的控制要求和原理，采用多变量输入/多变量输出的设计思路，选用开物2000工业组态软件和PLC作为开发工具。通过球形浮子-超声波探测器测定浮选柱液位的高度，采用在线自调整参数的模糊控制、PID控制和充气量控制...