Scheduling in or-parallel Prolog systems: Survey and open problems

Implementation of or-parallel Prolog systems offers a number of interesting scheduling problems. The main issues are the interaction between memory models and scheduling, ordering of multiple solutions, and scheduling of speculative work. The problems occur partly because of the design choices (e.g. the choice of a memory model), and partly because of the desire to maintain observational equivalence between parallel and sequential implementations of Prolog, while achieving high efficiency. In the first part of this paper a common framework for discussing scheduling in or-parallel systems is introduced, and also a collection of issues that must be addressed in such systems is presented. In the second part of the paper we survey a number of solutions to these problems comparing their efficiency whenever possible. We close the survey with a short discussion of open problems.Current association: Carlstedt Elektronik AB     

稀土混合物水溶液中囊泡的形成

依据柠檬酸的螯合作用和乙二醇的空间位阻效应，获得了稀土混合物囊泡。并利用ＩＣＰ、ＴＥＭ、ＦＳ等仪器对囊泡的性能进行了研究，最后对囊泡的形成机理进行了讨论。     

金属－橡胶硫化粘接过程中分子取向行为的间接证据

对金属－橡胶热硫化粘接复合体的剥离行为进行了研究，同一粘接试样的双向１８０°剥离试验显示出了巨大的差异。本文分析了弹性材料在硫化过程中的分子行为，并提出了相应的新假设，认为这是由于金属－橡胶在硫化粘接过程中分子取向交联行为所致。这种双向１８０°剥离破坏现象可被看作是金属－橡胶硫化粘接过程中分子取向行为的间接证据。     

Mach网络服务器的设计

Ｍａｃｈ网络服务器把本地ＩＰＣ机制透明地扩充到网络环境，为分布式应用提供支持。本文介绍了Ｍａｃｈ网络服务器的功能，内部组织结构及网络通讯的基本过程。     

钨系延期药预点火反应机理研究

通过程控升温模拟点火条件，根据ＤＳＣ图谱分析，找出主要反应区的温度范围。研究结果表明，钨系延期药预点火反应是一个真正的固－固反应。     

精轧油膜轴承密封失效机理的初步分析

对油膜轴承密封出现的进水、漏油现象作了大量的调查、测量和统计分析，找出了产生质量事故的根本原因，提出了解决措施。     

乙烯基三甲基硅烷等离子体聚合反应历程

应用色谱—质谱(GC-MS)及裂解色谱-质谱(PGC-MS)测定了乙烯基三甲基硅烷等离子体聚合反应中的气体冷凝物及聚合物,研究推导了等离子体聚合反应历程。单体在气相中被电子撞击,然后扩散到基底,在基底发生链增长和链终止反应。     

GH871 合金的蠕变断裂机制

对采用AIM+ESR和VIM+ESR工艺冶炼的GH871合金在650 ℃的蠕变性能及特征的研究表明,与用AIM+ESR工艺冶炼的GH871合金相比,用VIM+ESR工艺冶炼的GH871合金在蠕变断裂过程中裂纹萌生的形式(包括裂纹形状及形成时间)和裂纹扩展至裂纹连接所需的时间均表现出明显韧化的特征.     

石灰竖窑工作衬砖蚀损机理的探讨

阐述了石灰竖窑的预热带、煅烧带和冷却带工作衬砖蚀损机理，并讨论了如何根据耐火砖性能和石灰竖窑不同区域的蚀损机理，选择耐火材料。     

β放射性气体浓度计的新分度方法

本文介绍β放射性气体浓度计的一种新的分度方法——泄漏元件排气法。其特点是一只元件可分度放射性气体浓度计的许多读出数(甚至是几个量程),操作方便。