【摘 要】
：
<正> 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,
家用摄录机已成为当今家电消费的新时尚,但购买时如何选型却大有文章,首先就是格式问题。 现在的消费者对录像格式的选择容易多了。时至今日,已经完全没有必要再考虑模拟格式
分子印迹（MIP）是合成预定选择性固定相的新兴技术[1-3],毛细管电色谱（CEC）是一种新型高效微分离技术[4-5],CEC和MIP相结合是当前的前沿课题之一。以对羟基苯甲酸为模板分子,采用
Classic 6.10是北京羽商公司今年新推出的一款合并式放大器,回想起来.Classic 6系列的合并机种到现在已经是第四款了,之前有Classic 6.8、Classic 6.6和最早推出的Classic 6.