Type inference in stack based languages

We consider a language of operations which pass parameters by means of a stack. An algebra over the set of type signatures is introduced, which allows the type signature of a program to be obtained from the type signatures of its constituent operations.Although the theories apply in principle to any stack based language, they have been evolved with particular regard to the proposed ANSI Standard Forth language, which is currently implemented in a type free manner. We hope this work will stimulate an interest in Forth amongst those applying algebraic techniques in software engineering, and we hope to lay the theoretical foundations for implementing practical type checkers to support Forth.     

换热器小浮头螺栓断裂失效分析

针对换热器小浮头螺栓发生断裂的情况进行失效分析，找出原因，提出处理措施及材质选择时应注意的问题。     

PIMS在企业生产经营中的应用

介绍PIMS在企业生产经营中的应用 ,运用PIMS可对炼油化工企业进行原油采购决策、加工保本点预算、效益预测、物流分配、整体流程优化、投资分析、瓶颈制约因素探讨、原料和产品库存管理、经济活动分析等 ,并结合生产装置特点和市场环境影响因素 ,获取最大生产经营效益。根据影子价格 ,找出提高效益的潜力 ,确定产品、中间产品或半成品合理价格 ,规范关联交易 ,增强企业市场应变能力 ,提高经济效益与管理水平。     

长江重要堤防隐蔽工程建设投资对扩大内需、拉动经济的作用和影响

长江重要堤防隐蔽工程是党中央、国务院实施积极财政政策进行长江堤防建设的重要组成部分，隐蔽工程既是重要的基础设施，也是重要的环境保护工程，隐蔽工程与其他行业的关联性很强，对众多行业具有巨大的带动作用，有效地扩大了内需，拉动了经济增长。     

激光熔覆Ni基SiC合金涂层组织与性能的研究

利用5kWCO2连续波激光器在16Mn钢基材表面对含20%(体积比)SiC陶瓷粉末的镍基自熔性合金粉末进行激光熔覆得到Ni基SiC合金涂层(NiSiC)。研究了合金涂层的组织形貌及相结构,并用单纯的镍基合金涂层(Ni60)进行了显微硬度及滑动磨损性能的对比试验。结果表明,NiSiC合金涂层由γ枝晶及其间的共晶组织组成,主要组成相为γ-Ni,γ-(Ni,Fe)固溶体和(Cr,Fe)7C3,Cr23C6及(Cr,Si)3Ni3Si等化合物。添加SiC的镍基合金涂层NiSiC比单纯的镍基合金涂层Ni60具有较高的硬度和耐磨性。     

Numerical modeling of combustion processes and pollutant formations in direct-injection diesel engines

The Representative Interactive Flamelet (RIF) concept has been applied to numerically simulate the combustion processes and pollutant formation in the direct injection diesel engine. Due to the ability for interactively describing the transient behaviors of local flame structures with CFD solver, the RIF concept has the capabilities to predict the auto-ignition and subsequent flame propagation in the diesel engine combustion chamber as well as to effectively account for the detailed mechanisms of soot formation, NO_X formation including thermal NO path, prompt and nitrous NO_X formation, and reburning process. Special emphasis is given to the turbulent combustion model which properly accounts for vaporization effects on the mixture fraction fluctuations and the pdf model. The results of numerical modeling using the RIF concept are compared with experimental data and with numerical results of the commonly applied procedure which the low-temperature and high-temperature oxidation processes are represented by the Shell ignition model and the eddy dissipation model, respectively. Numerical results indicate that the RIF approach including the vaporization effect on turbulent spray combustion process successfully predicts the ignition delay time and location as well as the pollutant formation.     

Si基膜片型气敏传感器微结构单元的热学性能

微结构气敏传感器由于其微型化、低功耗、易阵列化和易批量生产等优点而受到国内外研究者的广泛关注。利用微机电系统（MEMS）加工技术，制备Si基膜片型微结构单元，并分析其热学性能。这种单元工作区温度为-300℃时，加热功率约75mW；并且膜片工作区的热质量很小，温度可以于毫秒量级的时间内，在室温和450℃之间调制。利用这种微结构单元，可以在温度调制方式下，研究气敏薄膜的电学特性和敏感机理。     

Fibre backbone for cable TV using multi-channel am video trunking

This paper updates a scenario for the evolutionary integration of optical fibre transmission technology into existing cable television networks first presented in 1988. The resulting ‘fibre backbone’ yields a hybrid fibre/coaxial network with significantly better reliability and transmission quality than present systems. System and electro-optical component advances in the last year are reviewed, and the merits of various modulation techniques are examined. The fibre backbone approach emphasizes continuing the broadband delivery of a large number of video signals to the consumer.     

黄河流域委属大河控制站站网布局分析检验与调整

简要论述了黄河流域委属大河控制站的基本情况，通过资料分析，按“直线原则”计算了黄河大河控制站布站数目的上、下限，并调查分析落实了各河段近期和中长期治理开发对水资料的需求，确定各河段测站数目的采用值；对照现有站数，结合测站位置，功能，测验，生活条件等，逐段逐站进行审查，综合评估，决定测站的撤，迁，留，并对密度不足的河段提出了设站意见。     

浅谈水利枢纽道路工程建设中的几个问题及其对策

从水利枢纽工程建设的实际出发,分析了枢纽道路建设中的几个值得考虑的基本问题。针对永久性道路的建设环境和建筑特点以及临时性道路的复杂性和多样性,提出了永久性道路和临时性道路建设的基本对策。基于高新技术材料HEC作为道路建筑胶凝材料的实际工程应用,在道路结构布局观念、设计思想、建筑选材和施工工艺及其技术经济性能比等方面提出了枢纽道路工程建设的实施方案,其有效性和可推广性在水布垭道路工程建设中得到了印证。