Prolog逻辑程序的测试方法

Prolog逻辑程序设计语言具有不同于传统程序设计语言的特点.本文根据测试Prolog程序的实践,提出了一系列为Prolog程序生成测试用例的准则.按这些准则测试实际程序效果良好.这是在逻辑程序测试新领域迈出的一步.     

海洋机器人用水下电机的深水密封研究

本文研究了海洋机器人用水下电机各个部分的密封方法，同时介绍了一个先进的动密封装置以及检验密封性能的水压试验方法．经测试及实际使用表明该密封方法和动密封装置完全满足水下机器人在深水中运行的密封要求     

钢／铝合金液固相复合工艺的研究

通过正交试验研究了各工艺量数以钢／铝合金液固相复合性能的影响，最佳工艺条件为铝合金液体温度７９０℃，钢板表面处理为酸洗＋钢刷＋５％的氟钛酸钾助焊剂，复合压力为３９．２ＭＰａ，组织观察表面界面脆性化合物的形成是导致结合强度降低的一个重要因素。     

HL-1M装置的真空运行与质谱诊断

通过对 HL- 1M装置真空运行模式、真空运行参数、氦辉光放电清洗和硅化壁处理手段等的规范化 ,显著地改善了装置的真空壁出气、本底杂质浓度、托卡马克放电杂质出气比和再循环 ,成功地实现了高参数放电、长脉冲放电和装置暴露大气后快速恢复放电 ,并成功地为演证低混杂电流驱动、离子回旋共振加热、电子回旋共振加热、中性束注入、弹丸注入和分子束注入实验和升级等离子体运行等提供了良好的真空壁条件。描述了 HL- 1M装置真空系统、壁出气和再循环控制、质谱诊断和程序脉冲送气等方面的主要实验成果 ,并为 HL- 2 A装置的真空系统研制和运行提供了有益的参考     

大伙房水库输水工程TBM维修保养管理模式设计

1 TBM维修管理模式1·1 TBM维修管理模式的源起和思路通过发达国家设备管理模式和我国施工现场设备管理实际情况的比较,国内设备管理工作的成效很大程度上取决于企业的决策者对该项工作的认识,管理水平的高低相差甚远,换一个领导班子就换一种思路,换一批工人就换一种做法,随意性和盲目性比较突出。要改变此状况,可行的做法就是:学习先进的管理经验,设备管理变“人治”为“法治”,制定出科学合理、切实可行的维修保养的模式,形成规范化、标准化、操作性强的文件,作为今后现场设备维修保养的依据。基于此,设备部门在设备安装阶段,利用引进…     

我国丝绸旅游商品开发现状与对策研究

丝绸商品在我国旅游商品中占有重要地位。针对我国丝绸旅游商品开发中存在的问题,提出突出丝绸旅游商品的文化内涵和地域特质,优化购物环境、提升丝绸产品的实用价值和美学价值、注重名牌效应和市场营销等是增强我国丝绸旅游商品市场竞争力,提高旅游经济效益的有效策略。     

反向凝固法生产H90-钢-H90复合带

研究H90-钢-H90反向凝固复合过程中复合层厚度的变化规律以及复合带的组织和性能，探讨界面结合机理。结果表明：随着浸渍时间的增加，复合层的厚度变化经历了凝固生长、平衡相持和回熔3个阶段，钢带的预热温度越低，获得的最大复合层厚度越厚；H90复合层的组织为等轴晶粒，复合界面处Cu和Fe发生了扩散，而Zn未发生明显扩散，扩散层较薄，约为4μm；复合带的界面结合牢固；不同复合层厚度的复合带，其力学性能略有差异，但均达到GB5213——85所规定的F级深冲钢板的力学性能要求。     

连续式超临界流体萃取进卸料装置

概括了超临界流体萃取技术和包括连续式操作在内的超临界流体萃取装置的研究现状 ,提出了一种通过球形进、卸料器完成固相物料超临界流体萃取连续化进卸料的装置 ,介绍了该装置的结构和工作原理 ,给出装置中各主要部件的计算方法。     

Processing and microstructural evolution of powder metallurgy Zn-22 Pct Al eutectoid alloy containing nanoscale dispersion particles

The present article deals with the processing and microstructural evolution of powder metallurgy (PM) Zn-22Al pct eutectoid alloy. The powder material was produced through inert gas atomization and then cryomilled in liquid nitrogen. The milled powder particles were consolidated by hot isostatic pressing (“hipping”) followed by thermomechanical treatment, resulting in a two-phase microstructure. The microstructures were characterized using scanning electron microscopy (SEM) and transmission electron microscopy (TEM). The principal processing factors and microstructural characteristics associated with the major processing steps, including spray atomization, mechanical milling (MM), consolidation, and heat treatment, were evaluated and discussed. Hot isostatic pressing and extrusion followed by heat treatment to produce the superplastic structure (Al-rich phase and Zn-rich phase) are effective in elimination porosity. A TEM examination of the microstructure of the alloy after processing reveals the presence of nanodispersion particles that are not uniformly distributed. The formation of the dispersions was attributed to the interaction between the powder material (primarily Al phase) and environmental elements such as oxygen and nitrogen during milling. Moreover, the size and distribution of the dispersions present in the bulk material met the anticipated requirements for serving as inhibitors for grain growth and barriers for dislocation movement. The TEM observations on crept specimens reveal extensive dislocation/dispersion interactions.     

引渤济锡海水输送工程

引渤济锡海水输送工程是内蒙古锡林郭勒盟恢复草原生态和实施以发展电力和煤化工为主体的褐煤开发战略的基础工程。该工程是从渤海引海水，通过辽宁省的葫芦岛市、朝阳市和内蒙古的赤峰市到锡林浩特，本阶段设计年输海水3．65亿甜。该工程将与锡林格勒盟地区待建的煤化工、海洋化工、生态工程形成新型的循环经济发展产业链。长距离输送海水是一个世界性的新课题。现研究了长距离海水输送的特点，提出了应对海水强腐蚀、海生物附着所引起的污损问题和输送过程中防泄漏和渗漏问题的工程措施，采用一条夹砂玻璃钢管管线结合隧洞和一座在线调节水库的输送海水方案，包括：设9座泵站，设计总扬程1147m海水水头，线路全长607km左右，其中玻璃钢管全长290km，直径3．2km，隧洞全长317km，输海水总成本为4．1元／m左右。引渤济锡海水输送工程的建立，标志着我国海水综合利用进入一个新的历史阶段，工程本身具有下述特点：输送海水流量、距离、扬程综合指标，世界第一；内径3．2m夹砂玻璃钢管是国内目前采用的最大管径的玻璃钢管。此外，引渤济锡海水输送工程的建设不仅能够促进锡林郭勒盟地区经济的持续发展，而且具有下述重大战略意义：一是通过“盐田置换”方式促进环渤海经济区建设；二是为发展制盐工业提供了新的发展模式；三是为我国开发内蒙古、新疆维吾尔自治区巨大的煤炭资源、恢复生态系统提供了一条新的思路。