富县探区长6段油藏特征与勘探对策分析

富县探区三叠系延长组长6段普遍见到不同级别的油气显示,但试油未能获得工业油流.据分析,该区白垩纪末的抬升和翘倾运动使油气发生了第三次运移成藏,油、气、水重新分布并受储层物性控制.正确勾画出有利沉积相带、针对油藏特征采取更有效的工艺技术,是实现该区勘探突破的关键.     

Mach网络服务器的设计

Ｍａｃｈ网络服务器把本地ＩＰＣ机制透明地扩充到网络环境，为分布式应用提供支持。本文介绍了Ｍａｃｈ网络服务器的功能，内部组织结构及网络通讯的基本过程。     

油田开发经济运行质量研究与应用

提出了油田开发经济运行质量的研究方法和技术思路。对胜利油区几种典型的油藏类型进行了经济运行质量评价。以老河口油田桩106块为例，提出了提高油田经济运行质量的三条基本途径，取得了较好的实际应用效果。     

农村电话用户市场调查与分析

受中国电信委托、原邮电部经济技术发展研究中心在全国进行一次农村电信市场调查，以了解当前农村通信市场发展潜力，本文公布了此次调查的结果，从经济能力、资费和潜在市场等方面提出了发展农话的建议 。     

Uncertainty Matters: Computer Models at the Science–Policy Interface

The use of computer models offers a general and flexible framework that can help to deal with some of the complexities and difficulties associated with the development of water management plans as prescribed by the Water Framework Directive. However, despite the advantages modelling presents, the integration of information derived from models into policy is far away from being trivial or the norm. Part of the difficulties of this integration is rooted in the lack of confidence policy makers have on the incorporation of modelling information into policy formulation. In this paper we examine the reasons for this apparent lack of confidence and explore how some tools, presently in use, address this problem. We conclude that public confidence in models is highly dependent on the way uncertainties are addressed and suggest possible directions of action to improve the current situation. Four real case studies illustrate how computer models have been used in The Netherlands for carrying out management plans at regional and national scale. We suggest that the solution to integrate modelling information into policy formulation lies on both the modelling and the policy-making communities.     

从公共住房到租金优惠券——美国低收入阶层住房政策演化解析

本文对美国低收入阶层住房政策的演化过程作了介绍 ,分析了其中三种典型住房政策的实施效果。在把握我国国情的基础上 ,借鉴美国住房政策演化过程的经验教训 ,为建立我国弱势人群住房政策提出了建议。     

Model checker aided design of a controller for a wafer scanner

For a case-study of a wafer scanner from the semiconductor industry it is shown how model checking techniques can be used to compute (1) a simple yet optimal deadlock avoidance policy, and (2) an infinite schedule that optimizes throughput. in the absence of errors. Deadlock avoidance is studied based on a simple finite state model using Smv, and for throughput analysis a more detailed timed automaton model has been constructed and analyzed using the Uppaal tool. The Smv and Uppaal models are formally related through the notion of a stuttering bisimulation. The results were obtained within 2 weeks, which confirms once more that model checking techniques may help to improve the design process of realistic, industrial systems. Methodologically, the case study is interesting since two models were used to obtain results that could not have been obtained using only a single model. Supported by the European Community Project IST-2001-35304 (Ametist), http://ametist.cs.utwente.nl/.     

Energy conservation in the industrial sector of developing countries

This paper begins by examining the most energy-intensive industries and methods by which fuel efficiency can be improved. Next the author analyses the economics of energy conservation using specific case studies drawn from India. It is shown that investing in energy efficiency is more economical Btu per Btu than investing in the enhancement of domestic energy resources. The author also assesses changes in the economics of conservation for private firms when there are government incentives. Finally government policies that can overcome economic and non-economic disincentives for investing in energy conservation are examined.     

溴化亚铜脉冲激光光动力学疗法治疗鲜红斑痣临床研究

用ＣｕＢｒ脉冲激光光动力学疗法治疗鲜红斑痣８例２１个区域，其中１１个区红色完全褪去，７个区残留少量浅色，３个区红色明显褪去，２０个区域无疤痕形成。