论文部分内容阅读
以SOS规则的方式定义了含中断和精化算子的进程代数LOTOS的操作语义，使得这一操作语义与指称语义相对应，即：由指称语义导出的传输系统和操作语义定义的传输系统双模拟．操作语义的基本思想是：重新命名被精化的动作并且使所有与之相关的选择都被激发．
具有中断算子进程的语义动作精化的操作语义
【摘 要】
：
以SOS规则的方式定义了含中断和精化算子的进程代数LOTOS的操作语义，使得这一操作语义与指称语义相对应，即：由指称语义导出的传输系统和操作语义定义的传输系统双模拟．操作语义的
【机 构】
：
中国科学院成都计算机应用研究所
【出 处】
：
中国科学院研究生院学报
【发表日期】
：
2004年4期
其他文献
模拟了海洋表层沉积物再悬浮对海水中NH4+-N、NO3--N浓度的贡献.通过实验,观察到海水中NH4+-N的浓度与沉积物和海水的混合比例成负相关.在不同振荡速率的试验中,60r/min振荡
心理学家罗西和亨利曾做过一个著名的反馈效应实验：他们把一个班的学生分为三组，每天学习之后就进行测验。测验后分别给予学生不同的反馈方式：对第一组学生每天告知其学习结果；对
【正】指导学生学习中国画,首先面临的就是笔墨运用问题。以笔运墨,用笔是排在第一位的,而用笔通常是指线条(其中点是线条的缩短,面是线条的扩大及排列)的各种描绘方法,也即
报道了一种简便的金属氧化物纳米点薄膜的合成方法.首先制备了具有有序纳米凹坑阵列的多孔阳极氧化铝模板,然后在模板表面真空蒸镀金属薄膜,对所制备的金属薄膜进行氧化处理,
在数学教学中加强学生说话训练，不但能培养学生的口头表达能力，而且能培养学生的逻辑思维能力，发展学生的智力，提高学生的素质。笔者在多年的小学数学教学中，对提高学生的说话能力
利用分别征服攻击、Chepyzhov提出的快速相关攻击以及代数攻击等3种算法对改进的求和生成器进行了密码分析,并分别给出了攻击算法的计算复杂度和所需要的密钥流的长度.
【正】创设情境指创设与当前学习主题相关的、尽可能真实的学习情境,引导学生带着真实的任务进入学习情境,使学习直观化和形象化。思想品德课有效的情境创设能激发学生的学习
【正】教学设计以获得优化教学效果为目的,以学习理论、教学理论为理论基础,运用系统方法分析教学问题,确定教学目标,建立解决教学问题的方案和修改方案的过程。如何优化教学