【摘 要】
：
网络计算系统中涉及的操作复杂,很难直接给出一种的语义描述框架.作为一种网络计算模型,Ambient演算主要刻画了计算的分布性和移动性.目前关于Ambient的语义研究很多,但均是
【机 构】
：
北京航空航天大学计算机科学与工程学院,北京航空航天大学软件开发环境国家重点实验室
论文部分内容阅读
网络计算系统中涉及的操作复杂,很难直接给出一种的语义描述框架.作为一种网络计算模型,Ambient演算主要刻画了计算的分布性和移动性.目前关于Ambient的语义研究很多,但均是基于规约规则的语义形式.这种描述方式尽管简洁,一方面却具有不确定性,不利于实际的网络计算系统的设计和直接实现;另一方面,这种语义描述方式均在一个层次上描述Ambient演算系统中的各种行为语义,使得Ambient演算中各种计算行为纠缠在一起,复杂而难以理解.根据Ambient演算的结构特点,给出了Ambient演算的一种分层语义描述形式,系统以ambient为单元,分成3层进行描述,分别给出不同层上行为的语法定义、语义定义、语义方程以及不同层间的转换函数的定义,从而给出Ambient演算系统的指称语义描述形式.这种描述方式从层次化的角度分析了Ambient演算的计算行为,有助于对Ambient演算中行为的理解和实际应用系统的实现.
其他文献
南阳市防爆厂住宅小区M208是一座东汉中晚期的大型多室墓,三个墓室平面呈“品”字形,穹窿顶.前室、后室至少放置了8具棺.该墓的发掘为研究汉代埋葬习俗,尤其是为了解东汉时期
十八九世纪,清朝政府为了更加有效地管理新疆进行了有目的的移民,清朝政府在新疆的移民屯垦政策是中国中央政府上千年边疆政策的延续和扩展.在新疆的移民屯垦不仅稳固了清朝
材料的高压状态方程实验是惯性约束聚变研究的重要内容,冲击绝热线测量是确定材料高压状态方程和其它动高压性质的基础.本工作主要研究了钼薄膜标准材料的精密轧制工艺,制定
为正确选择附加阻尼控制器的配置点,在建立多机电力系统传递函数矩阵的基础上采用奇异值分解的方法,给出了附加阻尼控制器配置点的评价指标.该评价指标与留数法评价指标具有
采用激光脉冲沉积法在Si(100)衬底上生长ZnO薄膜,衬底温度分别为室温,200℃,300℃,400℃和500℃.用X射线衍射仪、拉曼光谱、扫描电子显微镜对薄膜的微结构进行了测量,并测量
采用浆液浸渍法制备了小同载体负载的Cu_2(OH)_3Cl催化剂,考察了催化剂对甲醇氧化羰基化合成碳酸二甲酯(DMC)反应的催化性能.结果表明,各载体负载的Cu_2(OH)_3Cl催化剂活性均
为获得适中乙烯基含量的液体聚丁二烯为目的,对Co(naph)2-Al2(C2H5)3Cl3-P(OPh)3催化体系进行了较为系统的研究,考察了该体系的催化剂配比、浓度及供电子试剂对分子量、微观
为准确测量上海光源软X射线谱学显微光束线采用的变包含角平面光栅单色仪的转角重复精度,提出了一种新的基于相位板衍射准直技术的测量方法。该方法将半导体激光单模光纤和相
非球面顶点半径和二次常数干涉测量是对二次曲面离轴子孔径在弧矢、子午和中间焦点位置直接干涉测量,拟合得到初级像差系数,并结合化置差计算出顶点曲率半径和二次常数.详细
基于几何光学模型及其原理,推导出在不同弯曲情况下可弯曲式有机电致发光器件的出光率表达式,分析了器件出光率受基板曲率、厚度及有机层折射率的影响,并与平整有机电致发光