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

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

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.     

�ݼ����߷����������Ϸ�

通过对J.J.Arps方程的推导,提出了油气藏产量递减曲线分析的最佳拟合法。用该法可直接求出递减指数N、初始递减率D1及油气递减前的稳定产量Qi,避免了使用试差法的大量运算过程,大大提高了油气藏工程中指标预测的精度。     

核电厂运行安全指标

本文着重介绍了 IAEA 所制定的核电厂运行安全指标,同时也介绍了美国所制定的类似指标。这些指标为定量地评估和比较各国核电厂运行安全提供了可靠的依据。     

起重搬运作业的安全风险分析

用安全系统的理论和方法 ,以起重作业为研究对象 ,通过危险识别 ,对造成人员损伤的危险事件发生的可能性和导致伤害后果的严重程度 ,进行了定性的风险分析 ,介绍了我国采取的针对性综合管理对策