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 128
- Downloads 0
微波辅助羰基化反应中的一氧化碳释放剂
本文通过实例简要介绍了在微波辅助下的羰基化反应中几种常用的一氧化碳释放剂。并对这几种一氧化碳释放剂进行了比较。
重力坝应力的临界能量误差限自适应有限元分析
本文应用自适应有限元法对重力坝应力的能量误差限进行了研究。通过对不同坝高，不同上游、下游坡比等多种形状重力坝坝体的应力分析，得出在重力坝应力分析过程中存在临界能量误差限，该误差限对不同坝体外形会有微小变化。该结果将会有助...
Model study on in-situ detection of inclusion in liquid metal by ultrasonic waves
The possibility of using ultrasonic waves to in-situ detect the inclusions in liquid metals is researched by a water model. The effects of inclusions with different properties on ultrasonic waves propagating through wate...
电子云等效体积的含义和计算方法
在电磁感应对原子中电子能量的影响研究方面，已利用电子云导体模型揭示了电磁波与电子云往返交换能量的一种行为。本文进一步说明电子云等效体积的物理含义，推导出等效体积的计算式。在此基础上，计算了氦原子中电子云的等效体积，计算结...
柳园口灌区地下水流数值模拟<br /> 和水资源可持续利用<br />
本文建立了柳园口灌区的地下水流数值模拟模型，并用它探讨了灌区水资源可持续利用的策略。在柳园口灌区靠近黄河的灌区上游，作物通常由引黄水灌溉；而在离黄河较远的灌区下游，作物则是通过抽取地下水进行灌溉。灌区上游的田间渗漏是下游...