SQL extension for spatio-temporal data

An SQL extension is formalized for the management of spatio-temporal data, i.e. of spatial data that evolves with respect to time. The extension is dedicated to applications such as topography, cartography, and cadastral systems, hence it considers discrete changes both in space and in time. It is based on the rigid formalization of data types and of SQL constructs. Data types are defined in terms of time and spatial quanta. The SQL constructs are defined in terms of a kernel of few relational algebra operations, composed of the well-known operations of the 1NF model and of two more, Unfold and Fold. In conjunction with previous work, it enables the uniform management of 1NF structures that may contain not only spatio-temporal but also either purely temporal or purely spatial or conventional data. The syntax and semantics of the extension is fully consistent with the {SQL:2003} standard.     

Modelling of induced aeration in turbine aerators by use of radial basis function neural networks

Gas induction in agitated vessels with turbine impellers can be modelled accurately by means of radial basis function neural nets. The results obtained with the radial basis neural net were significantly better than those obtained by multivariate regression models or standard back propagation neural nets. Moreover, by using the radial basis function neural net model, it was possible to conduct a sensitivity analysis of the variables affecting aeration. Increased medium density showed a strong adverse effect, while variation of the viscosity can cause an increase or a decrease in the rate of aeration, depending on the prevailing process conditions.     

Possibilities and problems with the use of models as a communication tool in water resource management

Politicians and policy-makers, as well as modellers, often nurses an expectation that model derived results is an objective source of information that can be used to support decisions. However, several prerequisites have to be dealt with in order to ensure that models can be used as legitimate and efficient tools in water resource management. Based on empirical material from recent studies on the use of models in stakeholder dialogues, mainly focusing on catchment nutrient transport, two central problems are identified: (a) Models are laden with choices and thus depend on assumptions and priorities of modellers. (b) There are several factors that influence ability and willingness of stakeholders (as information recovers) to criticize or accept results of the modelling exercise. Recognized factors likely to influence stakeholders' acceptance of model derived results include issues at stake, stakeholders' ability to criticize model derived information, and their trust in the institutions that have developed or applied the used models. Identified prerequisites for successful use of models in integrated water resource management include: consideration of user relevance, awareness of and preparedness to handle constraints linked to communication of model-based results, transparency of used models and data and of involved uncertainties, mutual respect between experts and stakeholders and between involved stakeholder groups, a robust institutional network, and sufficient time for dialogues. Development and use of strategies for participatory modelling, based on a continuous dialogue between experts and stakeholders is recommended as a way to facilitate that the prerequisites for a successful use of models in water resource management are fulfilled.     

Forecasting Canadian nuclear power station construction costs

Because of the huge volume of capital required to construct a modern electric power generating station, investment decisions have to be made with as complete an understanding of the consequences of the decision as possible. This understanding must be provided by the evaluation of future situations. A key consideration in an evaluation is the financial component. This paper attempts to use an econometric method to forecast the construction costs escalation of a standard Canadian nuclear generating station (NGS). A brief review of the history of Canadian nuclear electric power is provided. The major components of the construction costs of a Canadian NGS are studied and summarized. A database is built and indexes are prepared. Based on these indexes, an econometric forecasting model is constructed using an apparently new econometric methodology of forecasting modelling. Forecasts for a period of 40 years are generated and applications (such as alternative scenario forecasts and range forecasts) to uncertainty assessment and/or decision-making are demonstrated. The indexes, the model, and the forecasts and their applications, to the best of the author's knowledge, are the first for Canadian NGS constructions.     

功能确定的离散并发系统的Petri网规范设计方法

本文提出概念模型的概念，作为实际问题到Ｐｅｔｒｉ网模型的桥梁，也就是系统的规格说明，概念模型包括功能图，资源图和约束集三部分，由此将系统设计中的功能与环境严格区分开，给出实际问题到概念模型，以及概念模型到Ｐｅｔｒｉ网模型的转换算法，从而构成一个面向功能的系统的Ｐｅｔｒｉ网规范设计方法，通过一制造系统的建模，说明了该方法的规范性和有效性。     

An illustration of verification and validation in the modelling phase of KBS development

Reliability has become a key factor in KBS development. For this reason, it has been suggested that verification and validation (V&V) should become an integrated part of activities throughout the whole KBS development cycle. In this paper, it will be illustrated how the PROLOGA workbench integrates V&V aspects into its modelling environment, such that these techniques can be of assistance in the process of knowledge acquisition and representation. To this end, verification has to be performed incrementally and can no longer be delayed until after the system has been completed. It will be shown how this objective can be realised through an approach that uses the decision table formalism as a modelling instrument.     

地方时与区时在电离层研究中的差异

本文指出混淆地时与区时两个时间概念在电离层研究中带来的差异的严重性，建议使用地方与区时这两个名词，而抛弃“本地时”和“当地时”等容易引起混淆的名词。     

An institution theory of formal meta-modelling in graphically extended BNF

Meta-modelling plays an important role in model driven software development.In this paper,a graphic extension of BNF (GEBNF) is proposed to define the abstract syntax of graphic modelling languages.Fro...