A logical approach to program analysis

This paper describesMicroScope, a framework for developing analysis tools for Lisp programs. MicroScope uses a knowledge-intensive approach for program representation and analysis. The analysis tools share a common object oriented program database, and a common Prolog inference engine. The use of Prolog and a declarative representation for programs permits sharing of information, and provides high bandwidth communication between diverse analysis tools. It also supports program specification and debugging activities in the same framework. Extensions to Prolog to support analysis are described, and two tools, theCritic and theExpector, are presented.This work supported in part by Hewlett-Packard Company, the National Science foundation Under Grant Number MCS81-21750 and the Defense Advanced Research Projects Agency under contract number DAAK11-84-K-0017.     

Stochastic response of flexible rotor-bearing system to seismic excitations

Random vibration analysis of flexible rotor-bearing systems subjected to six-component nonstationary earthquake ground accelerations is carried out. The rotor system consists of several rigid disks and a flexible shaft that is modelled as a Timoshenko beam. The governing equations of motion involve both inhomogeneous random excitations and random parametric excitations. Analytically, the Markov vector approach using the Ito equation and Stratonovich averaging procedures is employed to determine the response statistics. Unfortunately, the second moments of the response quantities thus obtained involve a great discrepancy when compared with the results of Monte Carlo simulation. The difficulty involved in analytically solving such a complicated problem is pointed out. Currently, the method of Monte Carlo simulation appears to be the only practical approach for such a problem. The significant influence of the seismic base rotations and the flexibility of the rotor-bearing system on the overall dynamic structural response is demonstrated by a numerical example.     

Development of alternative technical systems

This paper considers the integration of alternative technical systems (TS) belonging to a wider class of competing TS, into a supersystem. The paper introduces the notion of alternative TS, shows the peculiarities of their incorporation into a supersystem, reveals the mechanisms used for such incorporation, and shows areas of application for the suggested method.     

纳米加工和纳米电子器件

介绍了电子束曝光技术、EUV光刻技术和X射线光刻技术的进展;对各种纳米电子器件如单电子器件、共振隧穿器件和分子电子器件的研究现状及面临的主要挑战进行了讨论。     

六盘山盆地与酒西盆地成藏条件对比

研究认为，六盘山盆地与酒西盆地具有相似的构造演化特征和油气成藏条件。中生代为走滑拉分盆地，发育张扭伸展断层系，新生代为陆内前陆盆地，发育扭压逆冲断裂系；中生代坳陷都发育生烃潜力较好的白垩系烃源岩，具有相似的烃源岩演化特征、生储盖组合条件和油气运聚特征。因此，分析酒西盆地油气藏分布特征和成藏控制因素，有利于认识和预测六盘山盆地的油气分布规律，以便指导下一步的油气勘探。     

连铸钢坯质量的原位统计分布分析研究

采用原位统计分布分析技术得到与样品原位置相对应的数以万计原始信号并对其进行系统解析，实现不同质量连铸钢坯试样的疏松度、均匀度以及夹杂物含量的定量表征。准确计算了连铸钢坯试样疏松度、碳元素的最大偏析度。提出铸坯各原位置成分含量的权重比率方法用以表征材料的均匀度，并提供了统计分布允许差范围内（C0±R）所占权重比率以及权重比率为95%置信度时，中位值置信扩展率（K）等2种判断模式。该方法以测量信息的原始性、原位性及统计性为特征，反映了连铸钢坯较大尺度范围内各化学组成及其形态的定量统计分布规律。采用上述方法可以     

钛制设备在焦化行业中的应用

介绍焦化行业钛设备的应用,剖析了分块式钛泡罩塔盘的结构特点,并对其经济性作了分析。     

核磁共振谱的岩石孔喉结构分析

刘堂宴 ,王绍民 ,傅容珊 ,周明顺 ,李艳华 ,罗曼 .核磁共振谱的岩石孔喉结构分析 .石油地球物理勘探 ,2 0 0 3,38(3) :32 8～ 333岩心核磁共振 T2 谱和压汞分析数据均在一定程度上反映了岩石的孔喉结构 ,理论分析表明 ,这两组数据具有相关性。应用岩心核磁共振 T2 谱研究岩石孔喉结构 ,关键是确定 T2 与 Pc的转换系数。但以前的方法在 T2与 Pc 的转换过程中 ,需要涉及某些岩石特性参数 ,实用中有一定困难。本文直接利用岩心核磁共振 T2 谱和压汞分析数据之间的相关性 ,客观地确定 T2 与 Pc之间的转换系数 ,避免了确定岩石特性参数的困难。应用本文方法 ,对 6块岩心的多种核磁共振分析数据进行了对比分析 ,做出了 NMR (Nuclear Magnetic Resonance,简称NMR) T2 毛管力曲线和孔喉半径分布 ,并将这些结果与压汞分析的结果进行了对比。结果表明 ,岩心 NMR T2谱在实用性和评价精度上均略显优势 ;至少是在饱含油的条件下 ,岩心的 NMR T2 谱可以用于研究孔喉结构分布 ,油气的弛豫特性作为影响背景值存在 ,对于评价结果没有明显的影响 ;在全部 6块岩心中 ,T2 与 Pc 的转换系数位于 2 5 0 0～ 4 0 0 0μs· MPa之间。     

油气润滑系统在四切分轧制技术上的应用

本文介绍了油气润滑技术的工作原理及特点，阐述了该系统在四切分轧制技术上的应用与延伸。     

济钢中厚板厂的技术改造与发展

结合济钢中厚板厂二期和三期工程、开发管线钢项目和大板坯连铸高效改造及炉外精炼改造，介绍了该厂的技术改造项目，对今后的发展进行了阐述．