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

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

深化改革加快发展再创佳绩—曹洪兴厅长在全区交通工作会议上的讲话

为了认真贯彻落实党的十四届三中全会和全国工作电话会议精神，召开了全区交通工作会议，会上总结了我区1993年交通工作所取得的成绩，研究了在新形势下如何进一步加快我区交通建设的办法和措施。     

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

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

武汉交通科技大学正式挂牌

4月17日，花红柳绿，春光融融。武汉交通科技大学揭牌庆典活动在庄严的军乐声中拉开了序幕。     

计算机网络与科技文献服务

本文对计算机 科技文献检索与管理中的应用进行了探讨。文中分析了传统文献检索与管理方式中的一些缺点和局限性，对计算机网络在科技文献中的应用作了介绍，并对网络文献资源的开发和利用以及目前计算机网络使用中的一些不足之处进行了探讨。     

等式约束的严格凸二次规划问题一个新算法

根据广义乘子法的思想，将等式约束的凸二次规划转化为针约束问题，再利用正交校正共轭梯度的法来求解，得到等式约束严格凸二次规划的新算法，不用求逆矩阵，这样可用来解大规模稀疏问题，数值结果表明，在微机４８６／３３上就能解较大规模的随机凸二次规划。     

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

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