论文部分内容阅读
给出Ambient演算的一种内部表示，称为Ambient框架，并给出了Ambient框架的构造方法和具体转换函数，以及基于Ambient框架的执行操作语义．该框架为异步、分布和移动代码提供了语言支持．
Ambient演算的框架设计
【摘 要】
：
给出Ambient演算的一种内部表示，称为Ambient框架，并给出了Ambient框架的构造方法和具体转换函数，以及基于Ambient框架的执行操作语义．该框架为异步、分布和移动代码提供了语言支
【机 构】
：
吉林大学计算机科学与技术学院,吉林大学通信工程学院
【出 处】
：
吉林大学学报：理学版
【发表日期】
：
2006年4期
【基金项目】
：
吉林省科技厅项目基金（批准号：20050527）.
其他文献
【正】郑政办[2011]26号二○一一年四月二十七日各县(市、区)人民政府,市人民政府有关部门,各有关单位:为激励广大专业技术人员干事创业的热情,充分发挥学术技术带头人的示范
高考试题中有关圆锥曲线的试题计算量一般比较大，对运算或变形技能的要求比较高。如何在有限的考试时间内快速完整地完成答题？这就要求我们要在平时的复习中做到“牢”“熟”“
科技文阅读是每年高考的必考题，内容上包括社会科学类文章的阅读和自然科学类文章的阅读，考点是理解文中重要词语、重要句子的含义，能分析、筛选、整合文章提供的信息，依据有效信
采用磁控溅射法制备居里温度（Tc）略低于奈尔温度（TN）的Cr／Gd双层薄膜．利用振动样品磁强计研究薄膜在不同温度下的磁滞特性．结果表明：该类薄膜系统与Tc〉TN的铁磁／反铁磁双层薄膜的磁滞
【正】郑政[2011]73号二○一一年八月十七日各县(市、区)人民政府,市人民政府有关部门,各有关单位:现将《郑州市安全生产行政效能监察办法》印发给你们,请认真遵照执行。郑州
【正】郑政文[2011]112号二○一一年五月十三日各县(市、区)人民政府、市人民政府各部门,各有关单位:《郑州市市直单位保留行政审批项目目录》已经市行政审批制度改革领导小
基于原有SAC-MP算法,提出一种将图分割技术应用到SAC-MP算法中的一种新算法,该算法在执行时能充分利用图分割技术确定适当的k值,避免了由于k值的不确定带来的冗余操作和盲目
对于线性不适定问题。基于Landweber迭代正则化方法提出一种快速收敛的迭代正则化方法，依据Morozov偏差原理，采用后验选取正则化参数的方法得到了最优渐近收敛阶的正则化解．数值
给出一种新的用于模拟地震压力波的格子Boltzmann模型．使用压力分布函数的Chapman—Enskog展开和多重尺度技术，给出满足地震压力波方程要求的高阶矩以及简单的平衡态分布函数表