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 124
- Downloads 0
两种液体吸湿剂的除湿性能比较
对分别以溴化锂(LiBr)和氯化锂(LiCl)溶液为吸湿剂的除湿器性能进行了测试，得到了2种溶液在除湿工况下的性能数据。并将实验数据分别拟合成了关于进口参数的除湿量经验公式。基于经验公式，分析比较了2种溶液在相同的除湿装置、空气进口参...
Hydrothermal synthesis and luminescence properties of afterglow phosphors (Y1-xGdx)2O3:Eu3+, Mg2+, Ti4+
Y2O3:Eu3+ is a high -performance red light-emitting materials. That doped them to get the afterglow properties is an effective way to develop red long afterglow materials. In this paper, red long afterglow luminescent ma...
不对称酞菁配合物的合成
主要介绍了不对称酞菁配合物的合成方法，包括3:1的A3B型和2:2的A2B2型酞菁配合物的合成。
Research on the method of setting minimum speed limit on freeway
In order to provide gist for minimum speed limit standard and ensure traffic safety and energy saving on freeway, the paper studied the method of setting minimum speed limit on freeway based on speed discrete characteris...
可见光波段光纤光栅耦合器研究
研究了采用INO-008包层模抑制光纤制作的可见光波段光纤光栅耦合器，利用光纤光栅的反射特性和光纤耦合器的耦合特性，通过优化设计光纤光栅和光纤耦合器的相关参数，实现了特定波长的反向输出。通过改变光纤光栅的周期，耦合输出波长可以...