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.     

关于后张预应力混凝土结构优化设计的几个问题

结合UP软件编程实践，本文对后张预应力混凝土结构计算程序中引入优化功能的意义进行了论述，提出了预应力筋与普通钢筋之间的最优搭配关系，优化原点概念及相关影响因素，列出了优化计算程序所应涉及的基本计算内容，并对当前后张预应力混凝土结构设计中的一些观点提出了不同意见。     

瞬态非傅里叶导热效应判据的探讨

讨论了通用傅里叶导热定律的数学模型,推导了半无限大物体在第一类边界条件下的基于非傅里叶导热定律的双曲线型偏微分方程的解析解。通过分析非傅里叶导热定律在瞬态条件下温度分布的变化过程,提出了非傅里叶导热效应的瞬态判据以及非傅里叶导热的作用范围,对研究工程中瞬态导热问题(如激光处理,电子束处理等)有重要意义。     

对成油体系临界时刻的思考

在分析Magoon和Dow对临界时刻研究的基础上 ,从事件持续时间的长短对油气最终生成的影响这一角度 ,通过对成油体系中各事件发生的过程进行分析 ,指出原成油体系事件分析图表的不合理之处 ;建立成油体系临界时刻分析模型 ,探索临界时刻定量评价的方法以及方法在油气潜力评估中的应用意义     

路面管理系统在某地区的推广应用

介绍了路面管理系统数据采集技术、数据库管理技术、路面使用性能评价及预测模型、养护决策模型在山西省的推广应用情况，并指出了取得的社会经济效益，阐明了其科学性、适用性和可操作性，证明其推广应用的价值。     

石油测井仪器可靠性指标探讨

在分析常用可靠性指标及其应用现状的基础上，根据可靠性理论及石油测井仪器的特点。提出了石油测井仪器的可靠性模型。在探讨常用可靠性指标对石油测井仪器适用性的同时，提出将平衡稳定工作时间NWTURE和免维修测井井次NOLWNM作为石油测井仪器可靠性指标的思想；探讨了获取可靠性指标的途径。给出了推荐使用的石油测井仪器可靠性指标。     

基于分层加权的多边形图形匹配

提出了一种适用凸凹多边形匹配的分层加权测度方法，在此方法中，对凹多边形、首先进行基于提取凸多边形的模式分解，对凹多边形添加辅助线，形成新的外接凸多边形、通过依次抽取外接凸多边形，将凹多边形表达为仅由凸多边形组成的多层拓扑结构，然后，利用预先定义的互为模板的相似度量准则和分层加权测度模型，计算得到多边形的相似度系数，从而实现凹多边形的匹配和检索。     

Efficient mixed Timoshenko–Mindlin shell elements

The precise representation of rigid body motions in the displacement patterns of curved Timoshenko–Mindlin (TM) shell elements is considered. This consideration requires the development of the strain–displacement relationships of the TM shell theory with regard to their consistency with the rigid body motions. For this purpose a refined TM theory of multilayered anisotropic shells is elaborated. The effects of transverse shear deformation and bending‐extension coupling are included. The fundamental unknowns consist of five displacements and eight strains of the face surfaces of the shell, and eight stress resultants. On the basis of this theory the simple and efficient mixed models are developed. The elemental arrays are derived using the Hu–Washizu mixed variational principle. Numerical results are presented to demonstrate the high accuracy and effectiveness of the developed 4‐node shell elements and to compare their performance with other finite elements reported in the literature. Copyright © 2002 John Wiley & Sons, Ltd.     

Model validation and model structure determination

This paper gives a tutorial overview of basic approaches for model validation and model structure determination.Work partially supported by the Swedish Research Council for Engineering Sciences under contract 98-654.