论文部分内容阅读
π-演算公理化中较难处理的是有关局部化算子的等式,传统的方法是使用带条件的推导规则或使用"区别".提出一条关于π-演算局部化算子的泛公理,并证明它可在开互模拟的公理化中取代"区别"的作用.本方法的好处是在公理化过程中我们只要处理一个互模拟,而无须处理一族互模拟.
开互模拟的一条泛公理
【摘 要】
：
π-演算公理化中较难处理的是有关局部化算子的等式,传统的方法是使用带条件的推导规则或使用"区别".提出一条关于π-演算局部化算子的泛公理,并证明它可在开互模拟的公理化
【机 构】
：
上海交通大学计算机科学与工程系
【出 处】
：
中国科学E辑
【发表日期】
：
2004年期
其他文献
根据水利工程的建设规模、工程量、工程结构、工程复杂程度等,施工监理结合工程施工现场的地质、水文条件、气候环境、地形、交通、地貌等因素,对工程建设项目工期进行有效的
随着时代的发展和进步，我国的社会经济也在迅速的发展，水利工程建设如火如荼。水利工程施工技术和质量的好坏对于人们的生活生产有着非常重要的影响，特别是近几年，我国各地水患灾
钢一混组合梁通常作为斜拉桥主梁使用,其联合截面一般为“π”型。由于其混凝土板很宽,两个钢主梁中心距较大,组合梁受弯时,存在较明显的剪力滞效应。在主梁整体计算中,应先
做好建筑工程施工现场的管理工作已经成为整个建筑工程项目的重要组成部分,而管理质量的好坏直接影响到建筑施工能否顺利进行施工。因此,只有在施工现场做好管理工作,才能保
近年来，随着我国国民经济的快速增长和城镇化脚步的加快，建筑业得到了迅速的发展，同时也推动着建筑电气工程的发展。众所周知，建筑电气工程是关系到整个建筑工程功能性完善程度的
针对柯深 10 1井异常高温高压含蜡凝析气井出现石蜡堵塞现象 ,开展了室内实验和现场评价的研究。文章利用自行开发的固溶物沉积激光测试系统 ,测试了凝析气平衡油在不同压力
建设业主单位作为施工项目的投资主体,是连接设计单位、施工单位和监理单位等各相关参与方的重要纽带,处在施工项目全过程管理的核心地位。可是,由于受到我国建筑行业传统管
目的寻找一种灵敏度和特异度都较高的诊断方法以提高结核病的确诊率。方法收集115例患者,采用结核分枝杆菌感染T淋巴细胞斑点试验(T-Spot.TB),检测其诊断结核病的灵敏度和特
目的:研究静脉-吸入复合全身麻醉下患者手术过程中血浆部分内源性阿片肽水平的变化和手术前后淋巴细胞内前阿片肽基因表达的变化.方法:20例美国麻醉医师协会病情分级标准(ASA