用PROLOG语言在第五代计算机中实现三种同步机制

以日本新一代计算机技术研究所研制的个人顺序推理机ＰＳＩ为模型，详细讨论了用ＰＲＯＬＯＧ语言在新一代计算机操作系统中实现忙式等待、信号灯、条件临界区三种同步机制的情况，并进行了评价，软件模拟程序已在微机上调试通过。     

国家教委副主任韦钰在全国高校科技产业工作会议上的报告

全国高校科技产业工作会议今天开幕了。我们这次大会是在党的十四届三中全会后，我国改革开放和现代化建设加快发展步伐的形势下召开的。党的十四大已经把建立社会主义市场经济体制确定为经济体制改革的目标，并明确提出“必须把教育摆在优先发展的战略地位”。现在我国已进入国民经济快速发展和全面建立社会主义市场经济体制的新时期。     

点连式驼峰三级制动位能高计算与分配

分析了点连式驼峰三级制动能高的确定原则，给出了总制动能高的计算公式，Ｉ部位制动能力按溜行有利条件下，易行车溜入Ⅱ部位不超过最大允许速度确定。在保证驼峰作业安全高效的基础上，考虑控制冬季易行车按冬季难行车速度通过最后分路道岔，以此推算Ⅲ国位的制动能力，并进一步推算Ⅱ制动位制动能力。     

强基达标提高项目物资管理水平

介绍铁道部第十六工程局株六铁路复线物资部贯彻标准、强化基础、提高项目物管理水平的工作经验。     

发挥铁路路网优势积极参与物流竞争

为应对入世后世界物流企业的加入和国内新兴的第三方物流企业蓬勃兴起的严峻形势,铁路运输企业必须依托路网优势,积极参与第三方物流竞争,为此提出在解决几个认识问题的基础上,必须采取内联外延、引进人才、研究市场、提高现代管理水平、建立完善运输网络等措施,构建铁路物流企业集团,才能把第三方物流企业做大做强.     

厦门分院贯标工作的体会

本文简要介绍厦门分院贯标工作的一些特点和经验，为进一步搞好分院的贯标工作做参考。     

谈谈规范的海事仲裁协议

海事仲裁在我国的历史不长,但由于海事仲裁方式“一裁终局”和“专家审理”的优越性,正在越来越为广大海运界人士所接受,并成为解决涉外和国内海事纠纷的重要方式。 众所周知,仲裁管辖是协议管辖,仲裁协议是仲裁受案必需的前提。一个有效的仲裁协议,其效力不仅及于各方当事