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

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

沥青路面机械施工质量问题初探

在公路新改建工程中,大部分采用沥青摊铺机等机械施工.本文结合施工实践,着重分析路基质量对路面质量的影响及与路面质量紧密相关的因素,提出“最小摊铺厚度原则”和“路基路面横坡干涉理论”,从而提出一些控制路面质量的措施.     

乌鞘岭隧道千枚岩大变形段平导扩挖爆破有关影响分析

乌鞘岭隧道设计为2座平行的单线隧道,线间距40 m。介绍DK175+503~DK177+042段平导扩挖爆破对已建成的相邻工程的爆破振动及变形影响。     

大秦线扩能改造的特殊信号和联锁设计——2800m长的股道和腰岔的联锁方案

本文以大秦线2亿t扩能改造为例，介绍其信号系统设计中对股道有效长度达到2800m的技术站进行的特殊处理，包括防护股道腰岔的信号机设置、进路办理方法和联锁处理。     

考虑抗剪强度指标互相关性的边坡可靠度分析

根据已有研究：C、(?)的互相关性对边坡整体稳定可靠度指标的影响是显著的,因此在计算边坡稳定失效概率时要充分考虑其互相关性。为了更真实的了解在应用设计验算点法研究Bishop条分边坡的整体稳定时土性参数C、(?)之间的互相关性,本文将土的抗剪强度指标C、(?)看作随初变量,并服从正态分布。在工程中极限状态方程往往很复杂,不易直接代入方程求解,因此本文给出了直接迭代公式,并且结合实例验证了其精度。     

PC箱梁桥裂缝成因及防治对策

针对PC箱梁桥在施工或使用中混凝土出现开裂的情况，将裂缝分为“荷载裂缝”和“变形裂缝”两大类，分析了裂缝的特征及成因，提出了防治对策。     

方中空夹层钢管混凝土轴压构件的理论研究

在确定了钢材和混凝土本构关系模型的基础上,采用数值方法,对方中空夹层钢管混凝土轴压构件的荷载—变形关系曲线进行了计算,计算结果和试验结果吻合良好。     

基于融合技术的计算机网络安全

网络攻击手段的多样化，不仅给网络安全与管理提出了新的挑战，而且对网络创新安全理论，整合各种安全解决方案，构建综合的动态网络提出了更高的要求。重点讨论了不同安全产品的融合和安全产品与网络设备的融合。     

关于漏解问题的探讨

“N 1”改造后,有关出发进路末端道岔区段漏解锁问题的探讨。     

城市轻轨铁路高架桥监理质量控制重点

以津滨快速轨道工程为例，阐述并指出控制工程测量、审查施工工艺、严格监控各部位的重点工序是城市轻轨铁路高架桥监理质量的控制重点。