【摘 要】
:
<正> 1.引言计算模型一直是计算机科学研究的重要问题。与逻辑学家不同,计算机科学家着重于模型的操作语义、代数语义与指称语义。λ-演算是顺序计算的经典模型。与顺序计算
论文部分内容阅读
<正> 1.引言计算模型一直是计算机科学研究的重要问题。与逻辑学家不同,计算机科学家着重于模型的操作语义、代数语义与指称语义。λ-演算是顺序计算的经典模型。与顺序计算不同,我们对并行与并发计算实质的认识尚处于初级阶段。自Milner提出CCS以来,计算机科学家提出了许多计算模型。u.Engberg和M.Nielsen研究过一并发计算模型,提出了CHOCS类语言。但这些模型都存在不同程度的问题。为了找出一个可与λ-演算相比的并发计算模型,Milner等人随后提出
其他文献
东坪金矿床是我国首次发现与碱性正长岩有密切联系的大型金矿床。本文主要论述了该矿床的一般地质特征,分析了矿床地球化学特征,进而研究了成矿规律,并在此基础上探讨了矿床成因
提出了二维气相色谱技术测定汽油中甲缩醛含量的方法。利用非极性填充预柱将汽油中沸点大于正己烷的重组分反吹放空,轻组分和甲缩醛经一个装填有Carbowax-1500[15%(m/m)]固定相
文章给出了电脑配色这一思想 ,提出了电脑配色的核心算法—电脑配色逼近算法 ,并对该算法的数学模型、实现方法及应用进行了介绍探索。
蒿坪金矿产于下古生界二郎坪群大庙组底中碳硅质板岩及碳质云母石英片岩中,受层间断裂控制。矿化类型为石英脉型及构造蚀变岩型,矿化是在中温、弱还原,弱碱性,高盐度条件下进行的
对膏状样品取1.0g,加入四氢呋喃4mL溶解后用甲醇定容至10mL;对乳状、水状及固体样品取1.0g,加入甲醇至近5mL,涡旋振荡1min,用甲醇定容至10mL。将上述试样溶液超声提取15min,
文章对贮能焊封装过程中管壳的受力状态进行了分析,给出了各结合层残余应力的计算结果,结果表明,管壳的翘曲度对电路内部各结合层受力装态的影响很大。
家用摄录机已成为当今家电消费的新时尚,但购买时如何选型却大有文章,首先就是格式问题。 现在的消费者对录像格式的选择容易多了。时至今日,已经完全没有必要再考虑模拟格式
文章介绍了几种动态网页与数据库连接技术,重点介绍ASP中比CGI更快捷简便拓种数据库访问技术,并对在Web页中调用数据库图象作了介绍。
分子印迹(MIP)是合成预定选择性固定相的新兴技术[1-3],毛细管电色谱(CEC)是一种新型高效微分离技术[4-5],CEC和MIP相结合是当前的前沿课题之一。以对羟基苯甲酸为模板分子,采用
Classic 6.10是北京羽商公司今年新推出的一款合并式放大器,回想起来.Classic 6系列的合并机种到现在已经是第四款了,之前有Classic 6.8、Classic 6.6和最早推出的Classic 6.