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.     

重点建设工程档案管理工作探讨

针对重点建设工程档案的管理现状,提出了明确岗位责任、加强制度建设以及夯实基础工作的档案管理理念。     

通过报表开发提高MAXIMO系统在设备管理中的应用效果

针对国内许多企业由于在管理理念、模式、人员素质等因素的影响下导致引进的设备信息管理系统无法成功实施的难题，通过在海洋油田使用MAXIMO系统过程中对报表的开发应用，为提高MAXIMO系统在管理中的实施效果提出了新的管理思路。     

新形势下的钻井信息化

介绍了我国石油行业在新的发展形势和管理模式下，钻井领域进行信息化的重要任务。在理清钻井业务流程的基础上，提出了以“钻井数据中心”为核心的钻井信息系统框架。从自动采集和人工采集两个方面阐明了钻井数据采集的范围和方式；从井筒网络、井场局域网、远程传输网和企业网等方面介绍了钻井信息化立体网络的构成，还介绍了钻井数据与甲方数据中心的数据交换方式、钻井数据中心的构建方法、以及钻井数据中心所支持的上层应用系统设计内容。提出了钻井信息化的发展方向，对我国钻井行业信息化有一定的指导意义。     

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/.     

PM2000水电厂生产运行管理系统

介绍了基于Web技术开发的PM2000水电厂生产运行管理系统的软、硬件结 构，详细阐述了该系统所具备的主要功能及其对提高水电厂生产运行管理水平所发挥的作用。     

供应链管理的研究综述

首先阐述了供应链管理的概念，在此基础之上提出目前供应链的研究框架，并指出供应链管理实践中存在的问题，最后提出未来研究方向。     

图书馆管理策略的原则和方法

对图书馆管理策略和基本涵义及其地位与作用进行研究，探讨了科学制定图书馆管理策略的原则和方法。     

关于知识团队特性的研究

章从商业环境的变化分析入手，指出由知识工作为主体构成的知识团队将成为企业运作的重要形式。知识团队与传统的、特别是基于某项单一职能或成员来自某一知识领域的团队有着许多显的不同。通过分析认为，这些不同点主要体现在团队目标的模糊性、团队成员的动态性和团队管理手段的协定性等方面。