A theory for execution-time derivation in real-time programs

We provide an abstract command language for real-time programs and outline how a partial correctness semantics can be used to compute execution times. The notions of a timed command, refinement of a timed command, the command traversal condition, and the worst-case and best-case execution time of a command are formally introduced and investigated with the help of an underlying weakest liberal precondition semantics. The central result is a theory for the computation of worst-case and best-case execution times from the underlying semantics based on supremum and infimum calculations. The framework is applied to the analysis of a message transmitter program and its implementation. (c) 2005 Elsevier B.V. All rights reserved.

Detecting finite bandwidth periodic signals in stationary noise using the signal coherence spectrum

All signals that appear to be periodic have some sort of variability from period to period regardless of how stable they appear to be in a data plot. A true sinusoidal time series is a deterministic function of time that never changes and thus has zero bandwidth around the sinusoid's frequency. A zero bandwidth is impossible in nature since all signals have some intrinsic variability over time. Deterministic sinusoids are used to model cycles as a mathematical convenience. Hinich [IEEE J. Oceanic Eng. 25 (2) (2000) 256-261] introduced a parametric statistical model, called the randomly modulated periodicity (RMP) that allows one to capture the intrinsic variability of a cycle. As with a deterministic periodic signal the RMP can have a number of harmonics. The likelihood ratio test for this model when the amplitudes and phases are known is given in [M.J. Hinich, Signal Processing 83 (2003) 1349-13521. A method for detecting a RMP whose amplitudes and phases are unknown random process plus a stationary noise process is addressed in this paper. The only assumption on the additive noise is that it has finite dependence and finite moments. Using simulations based on a simple RMP model we show a case where the new method can detect the signal when the signal is not detectable in a standard waterfall spectrograrn display. (c) 2005 Elsevier B.V. All rights reserved.

Perceptual speed does not cause intelligence, and intelligence does not cause perceptual speed

There is ongoing debate whether the efficiency of local cognitive processes leads to global cognitive ability or whether global ability feeds the efficiency of basic processes. A prominent example is the well-replicated association between inspection time (IT), a measure of perceptual discrimination speed, and intelligence (IQ), where it is not known whether increased speed is a cause or consequence of high IQ. We investigated the direction of causation between IT and IQ in 2012 genetically related subjects from Australia and The Netherlands. Models in which the reliable variance of each observed variable was specified as a latent trait showed IT correlations of -0.44 and -0.33 with respective Performance and Verbal IQ; heritabilities were 57% (IT), 83% (PIQ) and 77% (VIQ). Directional causation models provided poor fits to the data, with covariation best explained by pleiotropic genes (influencing variation in both IT and IQ). This finding of a common genetic factor provides a better target for identifying genes involved in cognition than genes which are unique to specific traits.

Off-line signature verification and forgery detection using fuzzy modeling

Automatic signature verification is a well-established and an active area of research with numerous applications such as bank check verification, ATM access, etc. This paper proposes a novel approach to the problem of automatic off-line signature verification and forgery detection. The proposed approach is based on fuzzy modeling that employs the Takagi-Sugeno (TS) model. Signature verification and forgery detection are carried out using angle features extracted from box approach. Each feature corresponds to a fuzzy set. The features are fuzzified by an exponential membership function involved in the TS model, which is modified to include structural parameters. The structural parameters are devised to take account of possible variations due to handwriting styles and to reflect moods. The membership functions constitute weights in the TS model. The optimization of the output of the TS model with respect to the structural parameters yields the solution for the parameters. We have also derived two TS models by considering a rule for each input feature in the first formulation (Multiple rules) and by considering a single rule for all input features in the second formulation. In this work, we have found that TS model with multiple rules is better than TS model with single rule for detecting three types of forgeries; random, skilled and unskilled from a large database of sample signatures in addition to verifying genuine signatures. We have also devised three approaches, viz., an innovative approach and two intuitive approaches using the TS model with multiple rules for improved performance. (C) 2004 Pattern Recognition Society. Published by Elsevier Ltd. All rights reserved.

Serum antibodies to oral anaerobic bacteria in patients with rheumatoid arthritis

BACKGROUND: This study was conducted to determine the component that causes the disease in rheumatoid arthritis (RA), which shows great resemblance to periodontitis in a pathologic context. MATERIALS AND METHODS: Within this study, the pathogen-specific IgG levels formed against Porphyromonas gingivalis FDC 381, Prevotella melaninogenica ATCC 25845, Actinobacillus actinomycetemcomitans Y4, Bacteroides forsythus ATCC 43047, and Prevotella intermedia 25611 oral bacteria were researched from the blood serum samples of 30 RA patients and 20 healthy controls with the enzyme-linked immunosorbent assay (ELISA) method. RESULTS: The IgG levels of P gingivalis, P intermedia, P melaninogenica, and B forsythus were found to be significantly higher in RA patients when compared with those of the controls. Of the other bacteria antibodies, A actinomycetemcomitans was not found at greater levels in RA serum samples in comparison with the healthy samples. CONCLUSION: The antibodies formed against P gingivalis, P intermedia, P melaninogenica, and B forsythus could be important to the etiopathogenesis of RA.

Mesoporous bioactive glasses. I. Synthesis and structural characterization

Highly ordered mesoporous bioactive glasses (MBGs) with different compositions have been synthesized by a combination of surfactant templating, sol-gel method and evaporation-induced self-assembly (EISA) processes. The texture properties and compositional homogeneity of MBGs have been characterized and compared with conventional bioactive glasses (BGs) synthesized in the absence of surfactants by evaporation method. The formation mechanism (pore - composition dependence) and compositional homogeneity in the case of MBG materials are different from those in conventional BGs. Unlike conventional sol-gel-derived BGs that shows a direct correlation between their composition and pore architecture, MBGs with different compositions may possess similar pore volume and uniformly distributed pore size when the same structure-directing agent is utilized. The framework of MBG is homogeneously distributed in composition at the nanoscale and the inorganic species generally exists in the form of amorphous phase. MBGs calcined at temperatures

Woodleigh, Southern Carnarvon Basin, Western Australia: history of discovery, Late Devonian age, and geophysical and morphometric evidence for a 120 km-diameter impact structure

The discovery of the Woodleigh impact structure, first identified by R. P. lasky, bears a number of parallels with that of the Chlcxulub impact structure of K-T boundary age, underpinning complications inherent in the study of buried impact structures by geophysical techniques and drilling. Questions raised in connection with the diameter of the Woodleigh impact structure reflect uncertainties in criteria used to define original crater sizes in eroded and buried impact structures as well as limits on the geological controls at Woodleigh. The truncation of the regional Ajona - Wandagee gravity ridges by the outer aureole of the Woodleigh structure, a superposed arcuate magnetic anomaly along the eastern part of the structure, seismic-reflection data indicating a central > 37 km-diameter dome, correlation of fault patterns between Woodleigh and less-deeply eroded impact structures (Ries crater, Chesapeake Bay), and morphometric estimates all indicate a final diameter of 120 km. At Woodleigh, pre-hydrothermal shock-induced melting and diaplectic transformations are heavily masked by pervasive alteration of the shocked gneisses to montmorillonite-dominated clays, accounting for the high MgO and low K2O of cryptocrystalline components. The possible contamination of sub-crater levels of the Woodlelgh impact structure by meteoritic components, suggested by high Ni, Co, Cr, Ni/ Co and Ni/Cr ratios, requires further siderophile element analyses of vein materials. Although stratigraphic age constraints on the impact event are broad (post-Middle Devonian to pre-Early Jurassic) high-temperature (200-250 degrees C) pervasive hydrothermal activity dated by K-Ar isotopes of illite - smectite indicates an age of 359 +/- 4 Ma. To date neither Late Devonian crater fill, nor impact ejecta fallout units have been identified, although metallic meteoritic ablation spherules of a similar age have been found in the Conning Basin.

Proton conductivity of mesoporous sol-gel zirconium phosphates for fuel cell applications

Zirconium phosphate has been extensively studied as a proton conductor for proton exchange membrane (PEM) fuel cell applications. Here we report the synthesis of mesoporous, templated sol-gel zirconium phosphate for use in PEM applications in an effort to determine its suitability for use as a surface functionalised, solid acid proton conductor in the future. Mesoporous zirconium phosphates were synthesised using an acid-base pair mechanism with surface areas between 78 and 177 m(2) g(-1) and controlled pore sizes in the range of 2-4 nm. TEM characterisation confirmed the presence of a wormhole like pore structure. The conductivity of such materials was up to 4.1 x 10(-6) S cm(-1) at 22degreesC and 84% relative humidity (RH), while humidity reduction resulted in a conductivity decrease by more than an order of magnitude. High temperature testing on the samples confirmed their dependence on hydration for proton conduction and low hydroscopic nature. It was concluded that while the conductivity of these materials is low compared to Nafion, they may be a good candidate as a surface functionalised solid acid proton conductor due to their high surface area, porous structure and inherent ability to conduct protons.

Packing-dependent pore structure in single-walled carbon nanotube arrays

Based on a self-similar array model of single-walled carbon nanotubes (SWNTs), the pore structure of SWNT bundles is analyzed and compared with that obtained from the conventional triangular model and adsorption experimental results. In addition to the well known cylindrical endo-cavities and interstitial pores, two types of newly defined pores with diameters of 2-10 and 8-100 nm are proposed, inter-bundle pores and inter-array pores. In particular, the relationship between the packing configuration of SWNTs and their pore structures is systematically investigated. (c) 2005 American Institute of Physics.

Optimal control and operation of drum granulation processes

Process optimisation and optimal control of batch and continuous drum granulation processes are studied in this paper. The main focus of the current research has been: (i) construction of optimisation and control relevant, population balance models through the incorporation of moisture content, drum rotation rate and bed depth into the coalescence kernels; (ii) investigation of optimal operational conditions using constrained optimisation techniques; (iii) development of optimal control algorithms based on discretized population balance equations; and (iv) comprehensive simulation studies on optimal control of both batch and continuous granulation processes. The objective of steady state optimisation is to minimise the recycle rate with minimum cost for continuous processes. It has been identified that the drum rotation-rate, bed depth (material charge), and moisture content of solids are practical decision (design) parameters for system optimisation. The objective for the optimal control of batch granulation processes is to maximize the mass of product-sized particles with minimum time and binder consumption. The objective for the optimal control of the continuous process is to drive the process from one steady state to another in a minimum time with minimum binder consumption, which is also known as the state-driving problem. It has been known for some time that the binder spray-rate is the most effective control (manipulative) variable. Although other possible manipulative variables, such as feed flow-rate and additional powder flow-rate have been investigated in the complete research project, only the single input problem with the binder spray rate as the manipulative variable is addressed in the paper to demonstrate the methodology. It can be shown from simulation results that the proposed models are suitable for control and optimisation studies, and the optimisation algorithms connected with either steady state or dynamic models are successful for the determination of optimal operational conditions and dynamic trajectories with good convergence properties. (c) 2005 Elsevier Ltd. All rights reserved.

Identification of MIMO Hammerstein systems using cardinal spline functions

A new approach to identify multivariable Hammerstein systems is proposed in this paper. By using cardinal cubic spline functions to model the static nonlinearities, the proposed method is effective in modelling processes with hard and/or coupled nonlinearities. With an appropriate transformation, the nonlinear models are parameterized such that the nonlinear identification problem is converted into a linear one. The persistently exciting condition for the transformed input is derived to ensure the estimates are consistent with the true system. A simulation study is performed to demonstrate the effectiveness of the proposed method compared with the existing approaches based on polynomials. (C) 2006 Elsevier Ltd. All rights reserved.

Stem cells in the periodontal ligament

The ability to identify and manipulate stem cells has been a significant advancement in regenerative medicine and has contributed to the development of tissue engineering-based clinical therapies. Difficulties associated with achieving predictable periodontal regeneration, means that novel techniques such as tissue engineering need to be developed in order to regenerate the extensive soft and hard tissue destruction that results from periodontitis. One of the critical requirements for a tissue engineering approach is the delivery of ex vivo expanded progenitor populations or the mobilization of endogenous progenitor cells capable of proliferating and differentiating into the required tissues. By definition, stem cells fulfill these requirements and the recent identification of stem cells within the periodontal ligament represents a significant development in the progress toward predictable periodontal regeneration. In order to explore the importance of stem cells in periodontal wound healing and regeneration, this review will examine contemporary concepts in stem cell biology, the role of periodontal ligament progenitor cells in the regenerative process, recent developments in identifying periodontal stem cells and the clinical implications of these findings.

Arginase activity in a murine macrophage cell line (RAW264.7) stimulated with lipopolysaccharide from Actinobacillus actinomycetemcomitans

Aims: The aim of the present study was to determine the role of cyclic adenosine monophosphate (cAMP) on arginase activity in a murine macrophage cell line (RAW264.7 cells) stimulated with lipopolysaccharide (LPS) from Actinobacillus actinomycetemcomitans. Materials and methods: The cells were treated with A. actinomycetemcomitans LPS for 24 h. The effects of SQ22536 (an adenylyl cyclase inhibitor), ODQ (a guanylyl cyclase inhibitor), dibutyryl cAMP (a cAMP analog), 8-bromo cyclic guanosine monophosphate (a cGMP analog), forskolin (an adenylyl cylase activator), and cycloheximide (a protein synthesis inhibitor) on arginase activity in A. actinomycetemcomitans LPS-stimulated RAW264.7 cells were also determined. Arginase activity was assessed in LPS-stimulated cells in the presence of 3-isobutyl-1-methylxanthine (IBMX), siguazodan and rolipram [phosphodiesterase (PDE) inhibitors] as well as KT5720 [a protein kinase A (PKA) inhibitor]. Results: Arginase activity in A. actinomycetemcomitans LPS-stimulated RAW264.7 cells was suppressed by SQ22536 but not ODQ. Enhancement of arginase activity was observed in the presence of cAMP analog or forskolin but not cGMP analog. Cycloheximide blocked arginase activity in the cells in the presence of cAMP analog or forskolin with or without A. actinomycetemcomitans LPS. IBMX augmented arginase activity in A. actinomycetemcomitans LPS-stimulated cells. Rolipram (a PDE4 inhibitor) increased the levels of arginase activity higher than siguazodan (a PDE3 inhibitor) in the antigen-stimulated cells. The effect of cAMP analog or forskolin on arginase activity in the presence or absence of A. actinomycetemcomitans LPS was blocked by the PKA inhibitor (KT5720). Conclusion: The results of the present study suggest that A. actinomycetemcomitans LPS may stimulate arginase activity in murine macrophages (RAW264.7 cells) in a cAMP-PKA-dependent pathway.

Applicability of experience from laboratory reactors with biological phosphorus removal in full-scale plants

Enhanced biological phosphorus removal (EBPR) has been used at many wastewater treatment plants all over the world for many years. In this study a full-scale sludge with good EBPR was tested with P-release batch tests and combined FISH/MAR (fluorescence in situ hybridisation and microautoradiography). Proposed models of PAOs and GAOs (polyphosphate- and glycogen-accumulating organisms) and microbial methods suggested from studies of laboratory reactors were found to be applicable also on sludge from full-scale plants. Dependency of pH and the uptake of both acetate and propionate were studied and used for calculations for verifying the models and results from microbial methods. All rates found from the batch tests with acetate were higher than in the batch tests with propionate, which was explained by the finding that only those parts of the bacterial community that were able to take up acetate anaerobically were able to take up propionate anaerobically.

Between-tree variation in fruit quality and fruit mineral concentrations of Hass avocados

Inconsistent internal fruit quality in Hass avocados affects consumer confidence. To determine the influence of individual trees on fruit quality, Hass avocado fruit were harvested from adjacent trees of similar external appearance in 3 commercial orchards in 1998 and 1 orchard in 1999. The trees in each orchard were grown with similar commercial practices and in similar soil types. Within each location, there were significant (P < 0.05) differences in the mean ripe fruit quality between trees with respect to fruit body rot severity ( mainly anthracnose) with and without cold storage, internal disorders severity due to diffuse discolouration and vascular browning ( after cold storage), days to ripen, percentage dry matter, and the percentage of the skin area with purple-black colour when ripe. These effects were also noted in the same orchard in 1999. There were significant (P < 0.05) differences in fruit flesh calcium, magnesium, potassium, boron and zinc concentrations between trees. Significant (P < 0.05) correlations were observed between average fruit mineral concentrations in each tree ( particularly calcium, magnesium and potassium) and body rot severity, percentage dry matter and fruit mass. There was little conclusive evidence that characteristics such as the growth of the non-suberised roots or the degree of scion under- or overgrowth was involved in these tree effects; however, differences between trees with respect to other rootstock characteristics may be involved. The inconsistency of the correlations across sites and years suggested that other factors apart from tree influences could also affect the relationship between fruit minerals and fruit quality.