FDTs for ODP

This paper discusses the use and integration of formal techniques into the Open Distributed Processing (ODP) standardization initiative.

The ODP reference model is a natural progression from OSI. Multiple viewpoints are used to specify complex ODP systems. Formal methods are playing an increasing role within ODP.

We provide an overview of the ODP reference model, before discussing the ODP requirements on FDTs, and the role such techniques play. Finally, we discuss the use of formalisms in the central problem of maintaining cross viewpoint consistency.     

The Semijoin Algebra and the Guarded Fragment

In the 1970s Codd introduced the relational algebra, with operators selection, projection, union, difference and product, and showed that it is equivalent to first-order logic. In this paper, we show that if we replace in Codd’s relational algebra the product operator by the “semijoin” operator, then the resulting “semijoin algebra” is equivalent to the guarded fragment of first-order logic. We also define a fixed point extension of the semijoin algebra that corresponds to μGF.This author has been partially supported by the European Community Research Training Network “Games and Automata for Synthesis and Validation” (GAMES), contract HPRN-CT-2002-00283.     

Formation of metal-arsenate precipitates at the goethite-water interface

Little information is available concerning cosorbing oxyanion and metal contaminants in the environment, yet in most metal-contaminated areas, cocontamination by arsenate [AsO4, As(V)] is common. This study investigated the cosorption of As(V) and Zn on goethite at pH 4 and 7 as a function of final solution concentration. Complimentary extended X-ray absorption fine structure (EXAFS) spectroscopic data were collected at the As and Zn K-edges in order to glean information about the coordination environment of As and Zn at the goethite-water interface. Macroscopic sorption studies revealed that As(V) and Zn sorption on goethite increased in cosorption experiments beyond that suggested by single sorption isotherms. At pH 4 and 7, As(V) surface saturation was 3.2 and 2.2 micromol m(-2), respectively, and Zn surface saturation was absent at pH 4 and approximately 1.0 micromol m(-2) at pH 7. Arsenate sorption on goethite increased in the presence of Zn by 29% and by more than 500% at pH 4 and 7, respectively. In the presence of As(V), Zn sorption on goethite increased by 800 and 1300% at pH 4 and 7, respectively. More As(V) than Zn sorbed on goethite below surface saturation at pH 7. Above surface saturation, the Zn:As surface density ratio (SDR) remained constant at 0.91 +/- 0.03. At pH 4, the Zn:As SDR was less than 1 throughout the concentration range. Below As(V) surface saturation on goethite, As(V) formed bidentate binuclear bridging complexes on Fe and/or Zn octahedra, while Zn mainly formed edge-sharing complexes with Fe at the goethite surface. Above surface saturation, Zn was increasingly complexed by AsO4, gradually forming an adamite-like [Zn2(AsO4)OH] surface precipitate on goethite. Precipitated contaminants are more stable due to the limited dissolution kinetics of their solid phase. This study may therefore prove useful in remediation strategies of sites knowingly contaminated with oxyanions and metals.     

Toward quantifying metrics for rail-system resilience: identification and analysis of performance weak resilience signals

This paper aims to enhance tangibility of the resilience engineering concept by facilitating understanding and operationalization of weak resilience signals (WRSs) in the rail sector. Within complex socio-technical systems, accidents can be seen as unwanted outcomes emerging from uncontrolled sources of entropy (functional resonance). Various theoretical models exist to determine the variability of system interactions, the resilience state and the organization’s intrinsic abilities to reorganize and manage their functioning and adaptive capacity to cope with unexpected and unforeseen disruptions. However, operationalizing and measuring concrete and reliable manifestations of resilience and assessing their impact at a system level have proved to be a challenge. A multi-method, ethnographic observation and resilience questionnaire, were used to determine resilience baseline conditions at an operational rail traffic control post. This paper describes the development, implementation and initial validation of WRSs identified and modeled around a ‘performance system boundary.’ In addition, a WRS analysis function is introduced to interpret underlying factors of the performance WRSs and serves as a method to reveal potential sources of future resonance that could comprise system resilience. Results indicate that performance WRSs can successfully be implemented to accentuate relative deviations from resilience baseline conditions. A WRS analysis function can help to interpret these divergences and could be used to reveal (creeping) change processes and unnoticed initiating events that facilitate emergence that degrades rail-system resilience. Establishing relevant change signals in advance can contribute to anticipation and awareness, enhance organizational learning and stimulate resilient courses of action and adaptive behavior that ensures rail operation reliability.     

Dutch wind power policy: Stagnating implementation of renewables

Since 1985 the official goal for wind power development in the Netherlands is 1000 MW by the year 2000. About 200 MW had been installed in 1995 and in 2000 only about 300 MW appears to be feasible, which is far behind the official goal. Essential government choices that have made policy less effective are relying on large-scale application by utilities, stimulating capacity instead of energy yield, entanglement of energy policy and industrial policy and most of all aloofness in the process of obtaining sites. There was no programme on making sites available and there were no instruments to stimulate crucial actors in the process of decision making of sites. This started a vicious circle: economic feasibility has not been reached, because there is no mass production of turbines, which in turn is a result of the lack of available sites.     

On the Significance of Digits in Interval Notation

We review the various interval notations as starting point for the analysis of the significance of the decimals used for interval bounds. As intervals are used to indicate that a number is known with a certain degree of uncertainty, we also review the rules used in physics to ensure the significance of the decimals used in recording a measurement. It turns out that according to these rules, commonly used interval notation carries too many decimals. To be able to investigate whether rules similar to those used in physics can be used to improve interval notation, we use information theory to determine the information content of the last decimals of the numerals used to denote the interval's bounds. We introduce the Law of One Tenth, stating that in many situations this content diminishes by a factor of ten on average for successive decimals. The law is especially useful in conjunction with a novel and little-used way of writing intervals that we call “factored notation.” The law implies that it is usually futile to write more than two or three decimals inside the brackets of factored notation. This revised version was published online in June 2006 with corrections to the Cover Date.     

Efficient model learning methods for actor-critic control

We propose two new actor-critic algorithms for reinforcement learning. Both algorithms use local linear regression (LLR) to learn approximations of the functions involved. A crucial feature of the algorithms is that they also learn a process model, and this, in combination with LLR, provides an efficient policy update for faster learning. The first algorithm uses a novel model-based update rule for the actor parameters. The second algorithm does not use an explicit actor but learns a reference model which represents a desired behavior, from which desired control actions can be calculated using the inverse of the learned process model. The two novel methods and a standard actor-critic algorithm are applied to the pendulum swing-up problem, in which the novel methods achieve faster learning than the standard algorithm.     

Crossover in Grammatical Evolution

We present an investigation into crossover in Grammatical Evolution that begins by examining a biologically-inspired homologous crossover operator that is compared to standard one and two-point operators. Results demonstrate that this homologous operator is no better than the simpler one-point operator traditionally adopted.An analysis of the effectiveness of one-point crossover is then conducted by determining the effects of this operator, by adopting a headless chicken-type crossover that swaps randomly generated fragments in place of the evolved strings. Experiments show detrimental effects with the utility of the headless chicken operator.Finally, the mechanism of crossover in GE is analysed and termed ripple crossover, due to its defining characteristics. An experiment is described where ripple crossover is applied to tree-based genetic programming, and the results show that ripple crossover is more effective in exploring the search space of possible programs than sub-tree crossover by examining the rate of premature convergence during the run. Ripple crossover produces populations whose fitness increases gradually over time, slower than, but to an eventual higher level than that of sub-tree crossover.