The specification of vector autoregressive moving average models

In this paper we propose a new identification method based on the residual white noise autoregressive criterion (Pukkila et al. , 1990) to select the order of VARMA structures. Results from extensive simulation experiments based on different model structures with varying number of observations and number of component series are used to demonstrate the performance of this new procedure. We also use economic and business data to compare the model structures selected by this order selection method with those identified in other published studies.

Rice morphogenesis and plant architecture: Measurement, specification and the reconstruction of structural development by 3D architectural modelling

Background and Aims The morphogenesis and architecture of a rice plant, Oryza sativa, are critical factors in the yield equation, but they are not well studied because of the lack of appropriate tools for 3D measurement. The architecture of rice plants is characterized by a large number of tillers and leaves. The aims of this study were to specify rice plant architecture and to find appropriate functions to represent the 3D growth across all growth stages. Methods A japonica type rice, 'Namaga', was grown in pots under outdoor conditions. A 3D digitizer was used to measure the rice plant structure at intervals from the young seedling stage to maturity. The L-system formalism was applied to create '3D virtual rice' plants, incorporating models of phenological development and leaf emergence period as a function of temperature and photoperiod, which were used to determine the timing of tiller emergence. Key Results The relationships between the nodal positions and leaf lengths, leaf angles and tiller angles were analysed and used to determine growth functions for the models. The '3D virtual rice' reproduces the structural development of isolated plants and provides a good estimation of the fillering process, and of the accumulation of leaves. Conclusions The results indicated that the '3D virtual rice' has a possibility to demonstrate the differences in the structure and development between cultivars and under different environmental conditions. Future work, necessary to reflect both cultivar and environmental effects on the model performance, and to link with physiological models, is proposed in the discussion.

Nitrogen is a requirement for the photochemical induced 3-azabicyclo[3.3.1]nonane skeletal rearrangement!

Specific 3-azabicyclo[3.3.1]nonane derivatives undergo skeletal cleavage when subjected to light or Lewis acidic conditions affording novel heteratricycles, which is in stark contrast to 3-oxabicyclo[3.3.1]nonanes. (c) 2005 Elsevier Ltd. All rights reserved.

The requirement of trade mark use: Recent developments in Australia

The non-use provisions of the Trade Marks Act 1995 (Cth) have attracted some attention in recent reviews of the trade marks system and some reform of these provisions now seems likely. Unfortunately, however, there has been a failure to confront the full range of problems that hamper the effectiveness of the current non-use provisions. Once these problems are properly understood, it can be seen that more wide-reaching reforms than those being canvassed at present merit serious consideration.

Product performance and specification in new product development

This paper deals with product performance and specification in new product development. There are many different definitions of performance and specification in the literature. These are reviewed and a new classification scheme for product performance is proposed. The link between performance and specification is discussed in detail using a new model for the new product development process. The new model involves two stages, with each containing three main phases, and is useful for making decisions with regards to product performance and specification.

The absolute structural requirement for a proline in the P3 '-position of Bowman-Birk protease inhibitors is surmounted in the minimized SFTI-1 scaffold

SFTI-1 is a small cyclic peptide from sunflower seeds that is one of the most potent trypsin inhibitors of any naturally occurring peptide and is related to the Bowman-Birk family of inhibitors (BBIs). BBIs are involved in the defense mechanisms of plants and also have potential as cancer chemopreventive agents. At only 14 amino acids in size, SFTI-1 is thought to be a highly optimized scaffold of the BBI active site region, and thus it is of interest to examine its important structural and functional features. In this study, a suite of 12 alanine mutants of SFTI-1 has been synthesized, and their structures and activities have been determined. SFTI-1 incorporates a binding loop that is clasped together with a disulfide bond and a secondary peptide loop making up the circular backbone. We show here that the secondary loop stabilizes the binding loop to the consequences of sequence variations. In particular, full-length BBIs have a conserved cis-proline that has been shown previously to be required for well defined structure and potent activity, but we show here that the SFTI-1 scaffold can accommodate mutation of this residue and still have a well defined native-like conformation and nanomolar activity in inhibiting trypsin. Among the Ala mutants, the most significant structural perturbation occurred when Asp(14) was mutated, and it appears that this residue is important in stabilizing the trans peptide bond preceding Pro(13) and is thus a key residue in maintaining the highly constrained structure of SFTI-1. This aspartic acid residue is thought to be involved in the cyclization mechanism associated with excision of SFTI-1 from its 58-amino acid precursor. Overall, this mutational analysis of SFTI-1 clearly defines the optimized nature of the SFTI-1 scaffold and demonstrates the importance of the secondary loop in maintaining the active conformation of the binding loop.

Integrating formal specification and software verification and validation

It is not surprising that students are unconvinced about the benefits of formal methods if we do not show them how these methods can be integrated with other activities in the software lifecycle. In this paper, we describe an approach to integrating formal specification with more traditional verification and validation techniques in a course that teaches formal specification and specification-based testing. This is accomplished through a series of assignments on a single software component that involves specifying the component in Object-Z, validating that specification using inspection and a specification animation tool, and then testing an implementation of the specification using test cases derived from the formal specification.

A case study in specification and implementation testing

Achieving consistency between a specification and its implementation is an important part of software development In previous work, we have presented a method and tool support for testing a formal specification using animation and then verifying an implementation of that specification. The method is based on a testgraph, which provides a partial model of the application under test. The testgraph is used in combination with an animator to generate test sequences for testing the formal specification. The same testgraph is used during testing to execute those same sequences on the implementation and to ensure that the implementation conforms to the specification. So far, the method and its tool support have been applied to software components that can be accessed through an application programmer interface (API). In this paper, we use an industrially-based case study to discuss the problems associated with applying the method to a software system with a graphical user interface (GUI). In particular, the lack of a standardised interface, as well as controllability and observability problems, make it difficult to automate the testing of the implementation. The method can still be applied, but the amount of testing that can be carried on the implementation is limited by the manual effort involved.

Partial completion of activity in business process specification

We examine the current workflow modelling capability from a new angle and demonstrate a weakness of current workflow specification languages in relation to execution of activities. This shortcoming is mainly due to serious limitations of the corresponding computational/execution model behind the business process modelling language constructs. The main purpose of this paper is the introduction of new specification/modelling constructs allowing for more precise representation of complex activity states during its execution. This new concept enables visibility of a new activity state–partial completion of activity, which in turn allows for a more flexible and precise enforcement/monitoring of automated business processes.