论文部分内容阅读
主要从理论上研究保证分布式计算中资源安全性的方法。抽象地将每个进程表示为一个数据对,由给定资源和分配给分布式计算的资源两部分组成。在此基础之上,定义了一系列基于指称语义的数学计算,进而将资源安全性问题抽象为数学上的运算。
分布式系统下的资源安全性计算
【摘 要】
：
主要从理论上研究保证分布式计算中资源安全性的方法。抽象地将每个进程表示为一个数据对,由给定资源和分配给分布式计算的资源两部分组成。在此基础之上,定义了一系列基于指
【机 构】
：
温州医学院计算机教研室
【出 处】
：
电脑知识与技术
【发表日期】
：
2009年6期
其他文献
数字图像处理是一门内容广泛、专业性强的课程。针对该课程的特点,该文论述了在教学中引入案例教学法的可行性和具体实施方案。
【正】 面对国际风云变幻,共产主义运动处于低潮之际,中国共产党召开了第十四次代表大会,确立了邓小平同志建设有中国特色社会主义理论在全党的指导地位,提出了加快改革开放
珍稀食用菌因其经济价值较高,因此在一些沿海及内地已形成商业化栽培,并在栽培技术上取得一定的水平。如福建三明真菌研究所,经过几年的研究,栽培技术较成熟,取得较好的经济
目的 分析鹤壁市近5年法定传染病疫情动态和流行特征,为制定和完善传染病防治策略和措施提供科学依据.方法 对鹤壁市近5年法定传染病疫情报表进行统计分析.结果 鹤壁市5年传
【正】 一、名称本会定名为中国国际共产主义运动史学会(英文译名为Chinese Association for Historyof International Communist Movement)。二、性质本会是从事国际共产主
目的通过在食品污染物监测中分离沙门氏菌的经验，探讨一种可在常规微生物实验室应用的快速诊断方法。方法利用沙门氏菌的专有酶和酶的荧光底物以及五种简单但有效的生化进行快
此文从土壤中化学元素含量高低的角度分析了7种癌症高发区的土壤环境。表明癌症高发区除土壤污染严重，许多常量成份出现异常外，一些微量元素还明显缺少或严重超量。
《欧洲社会主义思想与运动史》评介陈森由美国著名经济学家卡尔·兰道尔（１８９１—？）撰著的《欧洲社会主义思想与运动史》一书最近由商务印书馆出版发行。该书所论述的时期始于十八
尿道内尖锐湿疣临床易漏诊,并且疗效不甚理想,复发率高.如方法不当,还可导致尿道狭窄等严重并发症.我们从1999年3月～2005年9月,收治尿道内尖锐湿疣患者17例,均经膀胱尿道镜检