论文部分内容阅读
本文提出数据传送进程的符号迁移语义，引入符号互模拟的概念，证明了两个进程在传统意义下互模拟当且仅当它们符号互模拟。我穷域上的数据传送进程的传统迁移图是无穷的而其中相当的一部分的符号迁移图是有穷的，文章的结果为在有穷时间和空间内判定这类进程的互模拟关系开辟了可能性。
数据传送进程的符号互模拟
【摘 要】
：
本文提出数据传送进程的符号迁移语义，引入符号互模拟的概念，证明了两个进程在传统意义下互模拟当且仅当它们符号互模拟。我穷域上的数据传送进程的传统迁移图是无穷的而其中相
【出 处】
：
软件学报
【发表日期】
：
1995年A01期
其他文献
本文分析了显示分子三维结构的光线跟踪算法,介绍了POV-Ray开放源代码软件的用法及其脚本语言。在此基础上,我们应用光线跟踪算法渲染三维分子模型,并进一步给出了增强模型逼真性的方法和途径。
对中小型堰、闸、跌水等渠系建筑物消能设施的选择提出见解,推荐采用筛网式消能工,并且针对筛网式消能工的结构布置、水力计算、消能计算提出一些建议,供水利工作者在实际工
带否定子目标的ＤＡＴＡＬＯＧ（称为ＤＡＴＡＬＯＧ）是ＤＡＴＡＬＯＧ的一种扩充。本文研究ＤＡＴＡＬＯＧ语义的良基模型的不动点特性。首先，重新考察了稳定性变换，定义了新算子及其不动点。在此基础上，定义了振荡不动点模型论语义，然后，本文
【正】 鱼池用药浓度一般以ppm为单位计算。1ppm就是1立方米水体积(即100万毫升的水)用药1克,也就是1吨水中用药1克。 公式:池水体积(立方米)×需用药物的浓度(ppm)=用药
往年的10月、11月都是全国高校招聘会火热的时候，但今年受金融危机影响，招聘单位及岗位大量“缩水”，大学生就业遭遇前所未有的“寒冬”。
目的:体现荧光定量PCR检测技术(FQ-PCR)的临床实用价值及优越性,了解当地人群感染的实际情况.方法:针对HPV6.11型(尖锐湿疣)可疑病例及HPV16.18型(宫颈癌高危人群)应用FQ-PCR
近年来性病的发病较前增多,临床上各种性病治疗方法发展迅速.在取得巨大成绩时,也存在着一些失误,其一是广泛存在的过度治疗,乱用或滥用药普遍存在,用药过多,疗程过长,出现了
1 当代青少年的性现状两年前,北京市政协150位委员提交的一份,关于青少年性健康教育的调查报告,反映出当前北京市未成年人性科学和性健康的知识贫乏,许多青少年竟不知道月经
<正> 《大气科学》第13卷第4期发表的庄荫模、程箴荣两位同志的论文“距离积分式天气雷达数字视频积分处理器的积分精度”一文是有意义的,但文中某些内容也许是欠妥当,现提出
摘要：文章分析了目前非计算机专业《计算机文化基础》课程的教学现状及产生的原因，提出了分级教学、改革考试方式与成绩评定方法等具体措施，并在实践应用中取得了较好的效果。 关键词：计算机文化基础；教学模式；教学方法；考试方式 《计算机文化基础》课程是高等学校非计算机专业学生接受计算机基础教育的入门课程，也是公共基础必修课程。开设该课程的主要目的是培养大学生的信息素养，使学生掌握计算机应用的基础知