Towards modular and coordinated manufacturing systems oriented to services

Nowadays, there is a trend for industry reorganization in geographically dispersed systems, carried out of their activities with autonomy. These systems must maintain coordinated relationship among themselves in order to assure an expected performance of the overall system. Thus, a manufacturing system is proposed, based on ""web services"" to assure an effective orchestration of services in order to produce final products. In addition, it considers special functions, such as teleoperation and remote monitoring, users` online request, among others. Considering the proposed system as discrete event system (DES), techniques derived from Petri nets (PN), including the Production Flow Schema (PFS), can be used in a PFS/PN approach for modeling. The system is approached in different levels of abstraction: a conceptual model which is obtained by applying the PFS technique and a functional model which is obtained by applying PN. Finally, a particular example of the proposed system is presented.

Stable MPC for tracking with maximal domain of attraction

In this work, a stable MPC that maximizes the domain of attraction of the closed-loop system is proposed. The proposed approach is suitable to real applications in the sense that it accounts for the case of output tracking, it is offset free if the output target is reachable and minimizes the offset if some of the constraints are active at steady state. The new approach is based on the definition of a Minkowski functional related to the input and terminal constraints of the stable infinite horizon MPC. It is also shown that the domain of attraction is defined by the system model and the constraints, and it does not depend on the controller tuning parameters. The proposed controller is illustrated with small order examples of the control literature. (C) 2011 Elsevier Ltd. All rights reserved.

Combined glucosamine and chondroitin sulfate provides functional and structural benefit in the anterior cruciate ligament transection model

Evidence that combined glucosamine sulfate and chondroitin sulfate (Gluchon) or isolated glucosamine (Glu) modifies joint damage in osteoarthritis (OA) is still lacking. We studied joint pain and cartilage damage using the anterior cruciate ligament transection (ACLT) model. Wistar rats were subjected to ACLT of the right knee ( OA) or sham operation. Groups received either Glu (500 mg/kg), Gluchon (500 mg/kg glucosamine +400 mg/kg chondroitin) or vehicle (non-treated-NT) per os starting 7 days prior to ACLT until sacrifice at 70 days. Joint pain was evaluated daily using the rat-knee joint articular incapacitation test. Structural joint damage was assessed using histology and biochemistry as the chondroitin sulfate ( CS) content of cartilage by densitometry (microgram per milligram dried cartilage), comparing to standard CS. The molar weight (Mw) of the CS samples, used as a qualitative biochemical parameter, was obtained by comparing their relative mobility on a polyacrylamide gel electrophoresis to standard CS. Gluchon, but not Glu, significantly reduced joint pain (P<0.05) compared to NT. There was an increase in CS content in the OA group (77.7 +/- 8.3 mu g/mg) compared to sham (53.5 +/- 11.2 mu g/mg) (P<0.05). The CS from OA samples had higher Mw (4:62 +/- 0:24 x 10(4) g/mol) compared to sham (4:18 +/- 0:19 x 10(4) g/mol) (P<0.05). Gluchon administration significantly reversed both the increases in CS content (54.4 +/- 12.1 mu g/mg) and Mw (4:18 +/- 0:2 x 104 g/mol) as compared to NT. Isolated Glu decreased CS content though not reaching statistical significance. Cartilage histology alterations were also significantly prevented by Gluchon administration. Gluchon provides clinical (analgesia) and structural benefits in the ACLT model. This is the first demonstration that biochemical alterations occurring in parallel to histological damage in OA are prevented by Gluchon administration.

A simple, inexpensive and easily reproducible model of spinal cord injury in mice: Morphological and functional assessment

Spinal cord injury (SCI) causes motor and sensory deficits that impair functional performance, and significantly impacts life expectancy and quality. Animal models provide a good opportunity to test therapeutic strategies in vivo. C57BL/6 mice were subjected to laminectomy at T9 and compression with a vascular clip (30 g force, 1 min). Two groups were analyzed: injured group (SCI, n = 33) and laminectomy only (Sham, n = 15). Locomotor behavior (Basso mouse scale-BMS and global mobility) was assessed weekly. Morphological analyses were performed by LM and EM. The Sham group did not show any morphofunctional alteration. All SCI animals showed flaccid paralysis 24 h after injury. with subsequent improvement. The BMS score of the SCI group improved until the intermediate phase (2.037 +/- 1.198): the Sham animals maintained the highest BMS score (8.981 +/- 0.056). p < 0.001 during the entire time. The locomotor speed was slower in the SCI animals (5.581 +/- 0.871) than in the Sham animals (15.80 +/- 1.166), p < 0.001. Morphological analysis of the SCI group showed, in the acute phase, edema, hemorrhage, multiple cavities, fiber degeneration, cell death and demyelination. In the chronic phase we observed glial scarring, neuron death, and remyelination of spared axons by oligodendrocytes and Schwann cells. In conclusion, we established a simple, reliable, and inexpensive clip compression model in mice, with functional and morphological reproducibility and good validity. The availability of producing reliable injuries with appropriate outcome measures represents great potential for studies involving cellular mechanisms of primary injury and repair after traumatic SCI. (C) 2008 Elsevier B.V. All rights reserved.

Spin-density functional for exchange anisotropic Heisenberg model

Ground-state energies for anti ferromagnetic Heisenberg models with exchange anisotropy are estimated by means of a local-spin approximation made in the context of the density functional theory. Correlation energy is obtained using the non-linear spin-wave theory for homogeneous systems from which the spin functional is built. Although applicable to chains of any size, the results are shown for small number of sites, to exhibit finite-size effects and allow comparison with exact-numerical data from direct diagonalization of small chains. (C) 2009 Elsevier B.V. All rights reserved.

The Rg1 allele as a valuable tool for genetic transformation of the tomato 'Micro-Tom' model system

Background: The cultivar Micro-Tom (MT) is regarded as a model system for tomato genetics due to its short life cycle and miniature size. However, efforts to improve tomato genetic transformation have led to protocols dependent on the costly hormone zeatin, combined with an excessive number of steps. Results: Here we report the development of a MT near-isogenic genotype harboring the allele Rg1 (MT-Rg1), which greatly improves tomato in vitro regeneration. Regeneration was further improved in MT by including a two-day incubation of cotyledonary explants onto medium containing 0.4 mu M 1-naphthaleneacetic acid (NAA) before cytokinin treatment. Both strategies allowed the use of 5 mu M 6-benzylaminopurine (BAP), a cytokinin 100 times less expensive than zeatin. The use of MT-Rg1 and NAA pre-incubation, followed by BAP regeneration, resulted in high transformation frequencies (near 40%), in a shorter protocol with fewer steps, spanning approximately 40 days from Agrobacterium infection to transgenic plant acclimatization. Conclusions: The genetic resource and the protocol presented here represent invaluable tools for routine gene expression manipulation and high throughput functional genomics by insertional mutagenesis in tomato.

Human Dental Pulp Cells: A New Source of Cell Therapy in a Mouse Model of Compressive Spinal Cord Injury

Strategies aimed at improving spinal cord regeneration after trauma are still challenging neurologists and neuroscientists throughout the world. Many cell-based therapies have been tested, with limited success in terms of functional outcome. In this study, we investigated the effects of human dental pulp cells (HDPCs) in a mouse model of compressive spinal cord injury (SCI). These cells present some advantages, such as the ease of the extraction process, and expression of trophic factors and embryonic markers from both ecto-mesenchymal and mesenchymal components. Young adult female C57/BL6 mice were subjected to laminectomy at T9 and compression of the spinal cord with a vascular clip for 1 min. The cells were transplanted 7 days or 28 days after the lesion, in order to compare the recovery when treatment is applied in a subacute or chronic phase. We performed quantitative analyses of white-matter preservation, trophic-factor expression and quantification, and ultrastructural and functional analysis. Our results for the HDPC-transplanted animals showed better white-matter preservation than the DMEM groups, higher levels of trophic-factor expression in the tissue, better tissue organization, and the presence of many axons being myelinated by either Schwann cells or oligodendrocytes, in addition to the presence of some healthy-appearing intact neurons with synapse contacts on their cell bodies. We also demonstrated that HDPCs were able to express some glial markers such as GFAP and S-100. The functional analysis also showed locomotor improvement in these animals. Based on these findings, we propose that HDPCs may be feasible candidates for therapeutic intervention after SCI and central nervous system disorders in humans.

Mn-doped cubic BN as an atomiclike memory device: A density functional study

We investigate the electronic properties of Mn(B) substitutional doping in cubic boron nitride (BN), for different charge states, using density functional theory (DFT) calculations. We show that the neutral Mn has a nonmagnetic ground state (S=0). Upon charge injection, it is unambiguously shown that the Mn(B)(-) has a high-spin configuration with a strong, localized magnetic moment of 5 mu(Bohr). We developed a simple model, parameterized by the DFT results, that allows us to interpret the rules played by the crystal-field and exchange-correlation splitting in the magnetization process.

The role of local and systemic renin angiotensin system activation in a genetic model of sympathetic hyperactivity-induced heart failure in mice

Sympathetic hyperactivity (SH) and renin angiotensin system (RAS) activation are commonly associated with heart failure (HF), even though the relative contribution of these factors to the cardiac derangement is less understood. The role of SH on RAS components and its consequences for the HF were investigated in mice lacking alpha(2A) and alpha(2C) adrenoceptor knockout (alpha(2A)/alpha(2C) ARKO) that present SH with evidence of HF by 7 mo of age. Cardiac and systemic RAS components and plasma norepinephrine (PN) levels were evaluated in male adult mice at 3 and 7 mo of age. In addition, cardiac morphometric analysis, collagen content, exercise tolerance, and hemodynamic assessments were made. At 3 mo, alpha(2A)/alpha(2C)ARKO mice showed no signs of HF, while displaying elevated PN, activation of local and systemic RAS components, and increased cardiomyocyte width (16%) compared with wild-type mice (WT). In contrast, at 7 mo, alpha(2A)/alpha(2C)ARKO mice presented clear signs of HF accompanied only by cardiac activation of angiotensinogen and ANG II levels and increased collagen content (twofold). Consistent with this local activation of RAS, 8 wk of ANG II AT(1) receptor blocker treatment restored cardiac structure and function comparable to the WT. Collectively, these data provide direct evidence that cardiac RAS activation plays a major role underlying the structural and functional abnormalities associated with a genetic SH-induced HF in mice.

A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling

Modern Integrated Circuit (IC) design is characterized by a strong trend of Intellectual Property (IP) core integration into complex system-on-chip (SOC) architectures. These cores require thorough verification of their functionality to avoid erroneous behavior in the final device. Formal verification methods are capable of detecting any design bug. However, due to state explosion, their use remains limited to small circuits. Alternatively, simulation-based verification can explore hardware descriptions of any size, although the corresponding stimulus generation, as well as functional coverage definition, must be carefully planned to guarantee its efficacy. In general, static input space optimization methodologies have shown better efficiency and results than, for instance, Coverage Directed Verification (CDV) techniques, although they act on different facets of the monitored system and are not exclusive. This work presents a constrained-random simulation-based functional verification methodology where, on the basis of the Parameter Domains (PD) formalism, irrelevant and invalid test case scenarios are removed from the input space. To this purpose, a tool to automatically generate PD-based stimuli sources was developed. Additionally, we have developed a second tool to generate functional coverage models that fit exactly to the PD-based input space. Both the input stimuli and coverage model enhancements, resulted in a notable testbench efficiency increase, if compared to testbenches with traditional stimulation and coverage scenarios: 22% simulation time reduction when generating stimuli with our PD-based stimuli sources (still with a conventional coverage model), and 56% simulation time reduction when combining our stimuli sources with their corresponding, automatically generated, coverage models.

Functional characterization of the Aspergillus fumigatus PHO80 homologue

Phosphate is an ion that is essential for fungal growth. The systems for inorganic phosphate (Pi) acquisition in eukaryotic cells (PHO) have been characterized as a low-affinity (that assures a supply of Pi at normal or high external Pi concentrations) and a high-affinity (activated in response to Pi starvation). Here, as an initial step to understand the PHO pathway in Aspergillus fumigatus, we characterized the PH080 homologue, PhoB(PHO80). We show that the Delta phoB(PHO80) mutant has a polar growth defect (i.e., a delayed germ tube emergence) and, by phenotypic and phosphate uptake analyses, establish a link between PhoB(PHO80), calcineurin and calcium metabolism. Microarray hybridizations carried out with RNA obtained from wild-type and Delta phoB(PHO80) mutant cells identify Afu4g03610 (phoD(PHO84)), Afu7g06350 (phoE(PHO89)), Afu4g06020 (phoC(PHO81)), and Afu2g09040 (vacuolar transporter Vtc4) as more expressed both in the Delta phoB(PHO80) mutant background and under phosphate-limiting conditions of 0.1 mM P-i. Epifluorescence microscopy revealed accumulation of poly-phosphate in Delta phoB(PHO80) vacuoles, which was independent of extracellular phosphate concentration. Surprisingly, a phoD(PHO84) deletion mutant is indistinguishable phenotypically from the corresponding wild-type strain. mRNA analyses suggest that protein kinase A absence supports the expression of PHO genes in A. fumigatus. Furthermore, Delta phoB(PHO80) and Delta phoD(PHO84) mutant are fully virulent in a murine low dose model for invasive aspergillosis. (C) 2008 Elsevier Inc. All rights reserved.

Functional characterization of the Aspergillus fumigatus CRZ1 homologue, CrzA

The protein phosphatase calcineurin is an important mediator connecting calcium-dependent signalling to various cellular responses in multiple organisms. In fungi calcineurin acts largely through regulating Crz1p-like transcription factors. Here we characterize an Aspergillus fumigatus CRZ1 homologue, CrzA and demonstrate its mediation of cellular tolerance to increased concentrations of calcium and manganese. In addition to acute sensitivitiy to these ions, and decreased conidiation, the crzA null mutant suffers altered expression of calcium transporter mRNAs under high concentrations of calcium, and loss of virulence when compared with the corresponding complemented and wild-type strains. We use multiple expression analyses to probe the transcriptional basis of A. fumigatus calcium tolerance identifying several genes having calA and/or crzA dependent mRNA accumulation patterns. We also demonstrate that contrary to previous findings, the gene encoding the Aspergillus nidulans calcineurin subunit homologue, cnaA, is not essential and that the cnaA deletion mutant shares the morphological phenotypes observed in the corresponding A. fumigatus mutant, Delta calA. Exploiting the A. nidulans model system, we have linked calcineurin activity with asexual developmental induction, finding that CrzA supports appropriate developmental induction in a calcineurin and brlA-dependent manner in both species.

Functional and Evolutionary Insights from the Genomes of Three Parasitoid Nasonia Species

We report here genome sequences and comparative analyses of three closely related parasitoid wasps: Nasonia vitripennis, N. giraulti, and N. longicornis. Parasitoids are important regulators of arthropod populations, including major agricultural pests and disease vectors, and Nasonia is an emerging genetic model, particularly for evolutionary and developmental genetics. Key findings include the identification of a functional DNA methylation tool kit; hymenopteran-specific genes including diverse venoms; lateral gene transfers among Pox viruses, Wolbachia, and Nasonia; and the rapid evolution of genes involved in nuclear-mitochondrial interactions that are implicated in speciation. Newly developed genome resources advance Nasonia for genetic research, accelerate mapping and cloning of quantitative trait loci, and will ultimately provide tools and knowledge for further increasing the utility of parasitoids as pest insect-control agents.

A Practical Teaching Course in Directed Protein Evolution Using the Green Fluorescent Protein as a Model

Protein engineering is a powerful tool, which correlates protein structure with specific functions, both in applied biotechnology and in basic research. Here, we present a practical teaching course for engineering the green fluorescent protein (GFP) from Aequorea victoria by a random mutagenesis strategy using error-prone polymerase chain reaction. Screening of bacterial colonies transformed with random mutant libraries identified GFP variants with increased fluorescence yields. Mapping the three-dimensional structure of these mutants demonstrated how alterations in structural features such as the environment around the fluorophore and properties of the protein surface can influence functional properties such as the intensity of fluorescence and protein solubility.

Existence results for partial neutral functional differential equations with state-dependent delay

In this paper we study the existence of mild solutions for a class of first order abstract partial neutral differential equations with state-dependent delay. (C) 2008 Elsevier Ltd. All rights reserved.