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

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

增力式多向镦锻装置的研制

在通用压机上生产类似全纤维曲轴一类锻件的先进工艺为多向镦锻法。本文设计的新型增力式多向钮锻装置，在锻造接近结束时，可以增大水平锹粗力，其增力效果超过传统的ＲＲ锻造法及ＴＲ锻造法。     

编组站驼峰车辆溜放速度控制系统的研究

以计算机和红外线传感器为主，研制了编组站驼峰车组溜放速度控制系统，系统通过检测车辆溜放的速度，计算出所需制动力的大小，通过缓器对车辆溜放进行速度控制，并具有对解体车辆自动计数，各种故障报警等功能。     

柴油闪急沸腾喷雾的试验研究

通过对柴油机高压油管进行外加热源加热热，在Ｅ１５０柴油机上实现柴油的闪急沸腾喷雾，并对柴油机的性能及排放进行了试验研究。结果表明，采用闪急沸腾喷雾，柴油机油耗可降低８ｇ／ｋＷ．Ｈ，烟度下降０．４ＢＳＵ，ＮＯＸ排放略有升高，ＣＯ，ＨＣ排放均降低。     

流函数法在减径拔管上限分析中的应用

应用流函数法建立减径拔管的动可容速度场，用上限原理得出减径拔管的上限解，分析了摩擦状态，变形程度及相对壁厚等工艺参数对拉拔载荷的影响，从而得出最佳工艺参数。     

装配式公路钢桥承载力的有限元分析

指出装配式公路钢桥设计中所采用的简化计算方法的不足,使用大型有限元软件ANSYS对其受力情况和承载力进行了分析,并与简化计算方法作了对比,得出了一些规律性的结论,对实际应用具有指导意义。     

《MARPOL73/78》附则VI与柴油机NO_x排放控制技术

着重介绍《MARPOL 73/78》附则VI的起源和发达国家船舶柴油机氮氧化物(NOx)的排放控制技术发展状况,随着《MARPOL 73/78》附则VI的正式实施和今后国际海事组织(IMO)对《MARPOL 73/78》附则VI的进一步修订,船舶柴油机NOx的排放控制及其相关技术会受到包括轮机管理在内的相关人员越来越多的关注。     

对我国建设工程索赔机制运行有关问题的探讨

索赔机制及其运行是实现索赔的重要保证。文章通过对索赔机制的定义及构成分析,阐释了索赔机制的本质及运行影响因素。据此,对我国索赔机制运行中的困境及原因做了剖析,提出了完善我国索赔机制、改善索赔环境的具体措施和建议。     

阜朝高速公路湿陷性黄土段小桥涵地基的处治

湿陷性黄土易产生沉降变形,且承载力低。本文介绍阜朝高速公路湿陷性黄土段小桥涵地基处治的一些方法。     

科技英语翻译对专业知识的要求

本文从词汇、表达方式和语法结构理解三方面论述了专业知识对科技英语翻译的重要性,同时也简要说明了语言知识也很重要,两者缺一不可,相辅相成。