论文部分内容阅读
以反例的形式指出了Ｂｉｊｌｓｍａ等人提出的过程调用中透明性引理证明中的错误，并且分别给出了透明性引理和可靠性定理的新的证明方法。
关于过程调用中的透明性和可靠性
【摘 要】
：
以反例的形式指出了Ｂｉｊｌｓｍａ等人提出的过程调用中透明性引理证明中的错误，并且分别给出了透明性引理和可靠性定理的新的证明方法。
【机 构】
：
华东理工大学计算机科学与工程系,华东理工大学计算中心
【出 处】
：
华东理工大学学报：自然科学版
【发表日期】
：
1995年1期
【基金项目】
：
国家自然科学基金
其他文献
采用乳化液膜法，对分离和浓缩苯丙氨酸的一些重要操作参数：搅拌速度、环境温度、外相ｐＨ值、油内比、处理比和料液初始浓度等进行了研究，得出了既能保持膜稳定性又能保持较高分离效
目的探讨急性重症胆管炎患者的合理手术方式及手术时机。方法对2008年1月至2010年3月间我院收治的28例急性重症胆管炎患者的临床资料进行回顾性分析。结果患者中行胆囊切除加
目的分析江阴地区医院患者常见病原菌及其耐药情况，为临床合理使用抗菌药物提供支持。方法对2010．9．1—2011．8．30住院患者分离菌株及其对抗菌药物的耐药情况进行回顾性分析。结果2
文化部全国公共文化发展中心近日在京召开国家公共文化数字支撑平台2013年建设方案研讨会。参与第一批平台建设的北京、黑龙江、陕西、广西、湖北、浙江分中心的负责人及项目
以羧甲基纤维素钠（ＣＭＣ）水溶液模拟非牛顿型发酵介质，在内径为０．１５ｍ，高为０．９７５ｍ的环隙气升式以应器内，考察了液体流变性质和导流筒结构对气液传质的影响。提出了体积氧传递系数的经验关联式。