First experiences with the modelling and simulation package MIRACLES applied to a picture archiving and communication system (PACS) in a clinical environment

Since the construction of picture archiving and communication systems (PACS) appears to be extremely difficult, computer modelling and simulation are used as decision support tools. The package MIRACLES (Medical Image Representation, Archiving and Communication Learned from Extensive Simulation) has been developed at BAZIS in order to support the construction of simulation models of image information systems. This article discusses the application of MIRACLES to a prototypical PACS as being installed in a clinical environment. Attention is focussed to the required system analysis and difficulties which arose during the construction of the simulation model. The emphasis is on the presentation of the results of the simulation study, which show that simulation can be fruitfully used to predict, to analyse and to assist in solving performance problems. The simulation study confirmed assumptions and suppositions concerning both the system performance itself and strategies to improve the performance. The study also resulted in a number of concrete recommendations which might be useful for the set-up of the prototypical PACS.     

A new approach for sequential experimental design for model discrimination

Model discrimination procedures are useful tools for selection of the best mathematical models to be used to represent a specific chemical process. The present paper presents and discusses a new sequential discrimination procedure, which makes use of model probabilities and concentrates the efforts on models with higher probabilities. Model probabilities are determined based on simple statistical arguments. Four numerical examples illustrate the application of the proposed discrimination procedure. The obtained results indicate that the new procedure is able to discriminate kinetic models with fewer experiments when compared to other procedures and also indicates when model discrimination is not possible and, thus, when the sequential design must be halted. Furthermore, the speed of the proposed discrimination procedure can be controlled by tuning a design parameter which reflects the analyst's mood (confidence) towards the discrimination problem and allows for increase or decrease of the number of experiments required for model discrimination during the sequential procedure.     

The residue of vector sets with applications to decidability problems in Petri nets

Summary A set K of integer vectors is called right-closed, if for any elementmK all vectors mm are also contained in K. In such a case K is a semilinear set of vectors having a minimal generating set res(K), called the residue of K. A general method is given for computing the residue set of a right-closed set, provided it satisfies a certain decidability criterion.Various right-closed sets wich are important for analyzing, constructing, or controlling Petri nets are studied. One such set is the set CONTINUAL(T) of all such markings which have an infinite continuation using each transition infinitely many times. It is shown that the residue set of CONTINUAL(T) can be constructed effectively, solving an open problem of Schroff. The proof also solves problem 24 (iii) in the EATCS-Bulletin. The new methods developed in this paper can also be used to show that it is decidable, whether a signal net is prompt [23] and whether certain -languages of a Petri net are empty or not.It is shown, how the behaviour of a given Petri net can be controlled in a simple way in order to realize its maximal central subbehaviour, thereby solving a problem of Nivat and Arnold, or its maximal live subbehaviour as well. This latter approach is used to give a new solution for the bankers problem described by Dijkstra.Since the restriction imposed on a Petri net by a fact [11] can be formulated as a right closed set, our method also gives a new general approach for implementations of facts.     

A novel electromyographic signal simulator for muscle contraction studies

Mathematical simulation has been widely used in biomedical and biological sciences. In the case of the surface electromyographic (SEMG) activity, some models have been proposed aiming to study muscle contraction strategies that are used during different tasks and conditions. Most of SEMG simulators are based on energy modulation of a Gaussian noise. This work proposes a novel simulator in which the user-defined parameters are associated with the motor units (MUs) recruitment and their firing rate. Comparison between the mean spectrum of real SEMG signals collected in isometric contraction of the muscle biceps brachii and the mean spectrum obtained from simulated SEMG signals showed a good agreement, pointing the proposed simulator seems to be capable to generate consistent electromyographic signals in time and frequency domains and that can be used in many studies, in particular in the evaluation of automatic methods aimed to detect muscular contraction.     

A Framework for Integrating Non-Functional Requirements into Conceptual Models

The development of complex information systems calls for conceptual models that describe aspects beyond entities and activities. In particular, recent research has pointed out that conceptual models need to model goals, in order to capture the intentions which underlie complex situations within an organisational context. This paper focuses on one class of goals, namely non-functional requirements (NFR), which need to be captured and analysed from the very early phases of the software development process. The paper presents a framework for integrating NFRs into the ER and OO models. This framework has been validated by two case studies, one of which is very large. The results of the case studies suggest that goal modelling during early phases can lead to a more productive and complete modelling activity.       

Rheological properties of wheat flour and quality characteristics of pan bread as modified by partial additions of wheat bran or whole grain wheat flour

The use of bran and whole grain flour changes dough rheology and causes difficulties in manufacturing bakery products. The aim of this study was to analyse the influence of substituting refined wheat flour (WF) by wheat bran (WB; 5%, 10%, 20%, 30% and 40%) or whole grain wheat flour (WGWF; 10%, 20%, 30%, 40% and 50%) on dough rheological properties and pan bread quality characteristics. The addition of WB and WGWF increased water absorption and resistance to extension and decreased stability, extensibility and peak viscosity. Effects with WB were more pronounced. The presence of WB or WGWF increased crumb moisture content, firmness and hardness and decreased specific volume of pan bread. It is important to set new farinographic and extensographic standards when using WB and WGWF, allowing for a correct correlation between rheology and quality characteristics of bakery products, as the same standards used for WF are not valid.     

Sugarcane Serine Peptidase Inhibitors,Serine Peptidases,and Clp Protease System Subunits Associated with Sugarcane Borer (Diatraea saccharalis) Herbivory and Wounding

Sugarcane’s (Saccharum spp.) response to Diatraea saccharalis (F.) (Lepidoptera: (Crambidae) herbivory was investigated using a macroarray spotted with 248 sugarcane Expressed Sequence Tags (ESTs) encoding serine peptidase inhibitors, serine peptidases. and Clp protease system subunits. Our results showed that after nine hours of herbivory, 13 sugarcane genes were upregulated and nine were downregulated. Among the upregulated genes, nine were similar to serine peptidase inhibitors and four were similar to Bowman-Birk Inhibitors (BBIs). Phylogenetic analysis revealed that these sequences belong to a phylogenetic group of sugarcane BBIs that are potentially involved in plant defense against insect predation. The remaining four upregulated genes included serine peptidases and one homolog to the Arabidopsis AAA+ chaperone subunit ClpD, which is a member of the Clp protease system. Among the downregulated genes, five were homologous to serine peptidases and four were homologous to Arabidopsis Clp subunits (three homologous to Clp AAA+ chaperones and one to a ClpP-related ClpR subunit). Although the roles of serine peptidase inhibitors in plant defenses against herbivory have been extensively investigated, the roles of plant serine peptidases and the Clp protease system represent a new and underexplored field of study. The up- and downregulated D. saccharalis genes presented in this study may be candidate genes for the further investigation of the sugarcane response to herbivory.     

The renewable energy market in Brazil: Current status and potential

Renewable energy offers a range of options with which to meet the growing demand for energy, particularly in the context of the pursuit (especially in developing countries) of economic development which takes into account social and environmental issues. Brazil has abundant natural sources of renewable energy, such as wind and solar power, hydraulic energy, small hydroelectric plants, ethanol and bio-diesel. These sources form part of the Brazilian strategy aimed at satisfying the demand for 6300 MW of fresh capacity per year arising out of projected economic growth of 5.1% per year over the next 10 years. Renewable energy sources currently provide 47.2% of the internal supply of primary energy in Brazil. Brazil has been pursuing a strategy of maintaining its renewable energy matrix and developing and providing incentives for further low carbon initiatives.In this study we set out an overview of the renewable energy options available in Brazil, their current status, the main positive results obtained to date and future potential. We describe the market for renewable energy in Brazil and examine specific public policies aimed at overcoming barriers to this market, thereby promoting its consolidation and expansion.     

MOSFET threshold voltage: Definition,extraction, and some applications

This paper exploits a universal current-based definition of the threshold voltage (V_T) and discusses some direct methods to measure it. The consistency, accuracy, and sensitivity of the extraction procedures to second-order effects are examined through numerical simulations and experimental measurements. In addition to three procedures based on dc current measurements we propose an automatic V_T-extractor circuit which allows the direct determination of the threshold voltage with minimum influence of second-order effects.