低熔融指数聚丙烯的开发生产

总结了开发生产低熔融指数聚丙烯的试验过程与结果，通过优选催化剂、优化操作过程、控制加氢量，生产出质量稳定可靠的熔融指数在0．2～0．5g/l0min之间的低熔融指数聚丙烯．     

优化工艺指标提高盐水质量

介绍了通过优化工艺指标，如精确控制化盐温度、增加粗盐水的过碱量、减少助沉剂的投加量等提高了盐水质量并降低了生产成本。     

核电厂应急计划中若干问题和概念的讨论

本文讨论了我国核电厂应急计划和应急准备中新所关心的若干问题，阐述了应急计划中一些基本概念；弄清这些问题和概念，对推动和恰当地进行应急准备可能是重要的。     

Life quality index for the estimation of societal willingness-to-pay for safety

The engineering and management of human safety is an important societal objective that includes extensive efforts by governments, both legislative and administrative, to enhance the health and safety of the public. Although the achievement of safety goals depend primarily on individuals and organizations responsible for safety, much support is drawn from expertise in diverse scientific and engineering disciplines. The activities range from structural safety (dams, tunnels, bridges to tall buildings) to safe operation of hazardous industrial installations (energy generation facilities, LNG terminals, petrochemical plants) to transportation systems (airline, rail, car safety) to technologies designed to minimize adverse impacts on the environment. All these activities are crucially concerned with risk: with the likelihood and the probable effects of various measures on life and health. We have developed a unified rationale and a clear basis for effective strategic management of risk across diverse sectors. Safety is an important objective in society but it is not the only one. The allocation of society's resources devoted to safety must be continually appraised in light of competing needs, because there is a limit on the resources that can be expended to extend life. The paper presents the Life Quality Index (LQI) as a tool for the assessment of risk reduction initiatives that would support the public interest and enhance safety and quality of life. The paper provides an intuitive reformulation of the LQI as equivalent to a valid utility function that is consistent with the principles of rational decision analysis. The LQI is further refined to consider the issues of discounting of life years, competing background risks, and population age and mortality distribution. The LQI is applied to quantify the societal willingness-to-pay, which is an acceptable level of public expenditure in exchange for a reduction in the risk of death that results in improved life-quality.     

广义分散控制系统有穷固定模的判别

本文研究了广义分散控制系统有穷固定模的判别问题，给出了一个确定有穷固定模的新算法，这种算法适用于任意的反馈结构。     

Safety,liveness and fairness in temporal logic

In this paper we present syntactic characterization of temporal formulas that express various properties of interest in the verification of concurrent programs. Such a characterization helps us in choosing the right techniques for proving correctness with respect to these properties. The properties that we consider include safety properties, liveness properties and fairness properties. We also present algorithms for checking if a given temporal formula expresses any of these properties.This work is partly supported by NSF grant CCR-9212183. A preliminary version of this paper appeared in the Fourth ACM Symposium on Principles of Distributed Computing.     

岩心PI值试验研究及应用

主要论述了在多功能采油化学用剂评价仪上进行的岩心ＰＩ值试验的步骤，现象及结论。重点考察了岩心ＰＩ值与渗透率、流量及注入截面面积的关系；平行管岩心复合ＰＩ值和其中单管岩心ＰＩ值的关系。     

含淀粉聚乙烯膜的时控光降解研究

使用复合光降解剂，得到了可光降解的生物降解膜。对膜的光降解进行了考察，并对影响光降解的因素进行了讨论，结果表明，我们所制得的膜是一种较好的时控光降解膜。     

关于最优等效替代法的实质及其应用条件的研究

本文研究了经济分析基本方法之一最优等效替代法的实质,系统地导出了被评价方案的绝对经济指标与相对经济指标的关系,并结合典型案例分析指出了该方法的应用条件,对正确进行建设项目的经济评价具有现实意义。     

Formal methods: The next generation of system design tools

Because of the growing demand for increasingly complex computer-based systems there is now an urgent need to provide tools to assist during the design of such systems. Formal specifications and formal methods provide such assistance but their widespread adoption has been hindered by the so-called ‘math fear’ and the perception that the tools are too difficult, too time consuming and too costly to use in a commercial environment. The aim of this article is to dispel the mystery surrounding the topic and to explain what formal methods are, how and why they are used, the benefits that accrue and why the technology should be accepted on a broader front. The application of formal methods to the design of computer-based systems will be discussed without resorting to jargon or mathematics. The discussion will concentrate more on the software content of systems but the arguments apply equally well to hardware. Some of the available tools will also be introduced.