论文部分内容阅读
带口令的安全盒子环境演算是对原有的移动环境演算的改进,避免了移动环境演算中open操作所带来的干扰,加强了环境对其自身边界的控制能力,实现了对环境的回收。文中给出了SBAP的语法和语义定义,用SBAP对Pi-演算中的匹配算子进行了改写,并对电子邮件系统进行了描述和仿真。
带口令的安全盒子环境演算
【摘 要】
：
带口令的安全盒子环境演算是对原有的移动环境演算的改进,避免了移动环境演算中open操作所带来的干扰,加强了环境对其自身边界的控制能力,实现了对环境的回收。文中给出了SBA
【机 构】
：
贵州大学计算机理论与软件研究所,韶关学院计算机系
【出 处】
：
计算机工程
【发表日期】
：
2007年9期
其他文献
“主体间性”这一范畴可以并且已经应用到不同领域，不存在所谓的“越界”问题；在区分了审美的“主体间性”与社会学的“主体间性”的基础上，说明只有在审美中才能实现充分的“主
计算机信息技术的应用与发展为人类工作生活带来了很大的影响,在教育教学中也占有很大的比重,并且已经成为学生学习的一门基础学科。由于教师教授的计算机信息技术的专业知识
目的：研究脊索瘤的临床病理特征。方法：对52例脊索瘤患者的临床表现、病理学形态、免疫表型、治疗方法和预后进行回顾性分析。结果：年龄27~79（中位58）岁,其中男29例,女23例。骶尾
在我国教育体系中,书法已作为教育的重要构成内容,借助书法教育不仅可以帮助学生修心养性,还可以提升学生的综合素质。从书法教育的角度来看,其教学质量主要受三种因素影响:
为构建多层次人才体系、打造专业型人才队伍以保障文化旅游业得以健康发展,文章首先从政府层面、企业层面、教育层面和个人层面四个视角对可能影响文化旅游业人才队伍建设的
1993年重金属镉（Cadmium）就被国际抗癌联盟（IARC）定为IA级致癌物,即为人体的确定致癌毒物。镉可以引起肺、前列腺和睾丸的肿瘤。镉还具有生殖细胞突变和发育效应,动物实验表明,镉
当前中国文艺理论的发展,主要存在学术意识、问题意识、世界意识与创新意识缺乏等四方面的问题,针对这些问题,中国文论的进一步发展,必须立足于当代中国文论发展的现实语境,
在油气输送及炼化行业中,由H2S、CO2、H2S、HCl和HCN等引起的腐蚀会导致输送和生产的管道和设备腐蚀,严重影响装置的使用寿命和安全性。双金属复合管道和管件以碳钢或低合金
分析了iSCSI协议原理，提出了利用iSCSI协议规定的特性和参数在OPNET8．0上实现iSCSI协议的思路和方法，建立了iSCSI仿真模型，分析了SCSI和iSCSI层的实现方法，定义了在实现过程中所处