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 133
- Downloads 0
ACF担载TiO2光催化降解甲醛的影响因素研究
采用溶胶-凝胶法(sol-gel)在活性炭纤维(ACF)表面制备了纳米TiO2薄膜光催化材料，利用XRD和SEM对薄膜进行了表征。使用该负载型纳米TiO2光催化材料处理室内空气中的甲醛污染物，分别研究了TiO2涂膜次数、甲醛初始浓度、相对湿度、温度以及...
Study on composite lignosulphonate-based slurry water-reducer
A new type water-reducer for raw cement slurry was developed, which consists of mostly calcium lignosulphonate and a little modified agent N. When adding this kind of composite water-reducer into raw cement slurry, the w...
基于RBF网络的油气管道侵入<br /> 事件识别方法研究<br />
研究了一种用于油气管道安全分布式光纤预警系统的侵入事件识别方法。该预警系统基于Mach-Zehnder光纤干涉仪原理，沿管道同沟敷设光缆，利用其中的三条单膜光纤构成分布式微振动测试传感器。系统实时地检测管道沿途振动信号，采用基于小波...
A Study on Synthesis, Characterization and DNA-binding<br /> of Ruthenium(II) complex: [Ru(bpy)2(ipbh)](ClO4)2<br />
In this study, the DNA-binding of ruthenium(II) mixed-ligand complex containing 2,2'-bipyridine [Ru(bpy)2(ipbh)(ClO4)2 (bpy = 2,2'-bipyridine, ipbh =3-(1H-Imidazo[4,5-f][1,10]phenanthrolin2-yl)-1-benzodioxane) has been s...
气井开关井过程瞬态数值模拟
气井开关井过程中，井筒内气体的流动为瞬变流动，其压力等流动参数是井深和时间的函数。准确预测井筒流动参数的变化是合理设计完井工艺和选择井口等设备的重要依据。根据质量、动量守恒数学模型，采用隐式中心有限差分法建立差分方程组，...