910 resultados para Web Accessibility. Non-functional requirements. Elicitation. Catalog of NFRs. Framework NFR
Resumo:
In metazoans, bone morphogenetic proteins (BMPS) direct a myriad of developmental and adult homeostatic evens through their heterotetrameric type I and type II receptor complexes. We examined 3 existing and 12 newly generated mutations in the Drosophila type I receptor gene, saxophone (sax), the ortholog of the human Activin Receptor-Like. Kinasel and -2 (ALK1/ACVR1 and ALK2/ACVR1) genes. Our genetic analyses identified two distinct classes of sax alleles. The first class consists of homozygous viable gain-of-function (GOF) alleles that exhibit (1) synthetic lethality in combination with mutations in BMP pathway components, and (2) significant maternal effect lethality that can be rescued by an increased dosage of the BMP encoding gene, dpp(+). In contrast, the second class consists of alleles that are recessive lethal and do not exhibit lethality in combination with mutations in other BMP pathway components. The alleles in this second class are clearly loss-of-function (LOF) with both complete and partial loss-of-function mutations represented. We find that one allele in the second class of recessive lethals exhibits dominant-negative behavior, albeit distinct from the GOF activity of the first class of viable alleles. On the basis of the fact that the first class of viable alleles can be reverted to lethality and on our ability to independently generate recessive lethal sat mutations, our analysis demonstrates that sax is an essential gene. Consistent with this conclusion, we find that a normal sax transcript is produced by sax(P), a viable allele previously reported to be mill, and that this allele can be reverted to lethality. Interestingly, we determine that two mutations in the first: class of sax alleles show the same amino acid substitutions as mutations in the human receptors ALK1/ACVR1-1 and ACVR1/ALK2, responsible for cases of hereditary hemorrhagic telangiectasia type 2 (HHT2) and fibrodysplasia ossificans progressiva (FOP), respectively. Finally, the data presented here identify different functional requirements for the Sax receptor, support the proposal that Sax participates in a heteromeric receptor complex, and provide a mechanistic framework for future investigations into disease states that arise from defects in BMP/TGF-beta signaling.
Resumo:
Over the years the use of application frameworks designed for the View and Controller layers of MVC architectural pattern adapted to web applications has become very popular. These frameworks are classified into Actions Oriented and Components Oriented , according to the solution strategy adopted by the tools. The choice of such strategy leads the system architecture design to acquire non-functional characteristics caused by the way the framework influences the developer to implement the system. The components reusability is one of those characteristics and plays a very important role for development activities such as system evolution and maintenance. The work of this dissertation consists to analyze of how the reusability could be influenced by the Web frameworks usage. To accomplish this, small academic management applications were developed using the latest versions of Apache Struts and JavaServer Faces frameworks, the main representatives of Java plataform Web frameworks of. For this assessment was used a software quality model that associates internal attributes, which can be measured objectively, to the characteristics in question. These attributes and metrics defined for the model were based on some work related discussed in the document
Resumo:
The identification of genes essential for survival is important for the understanding of the minimal requirements for cellular life and for drug design. As experimental studies with the purpose of building a catalog of essential genes for a given organism are time-consuming and laborious, a computational approach which could predict gene essentiality with high accuracy would be of great value. We present here a novel computational approach, called NTPGE (Network Topology-based Prediction of Gene Essentiality), that relies on the network topology features of a gene to estimate its essentiality. The first step of NTPGE is to construct the integrated molecular network for a given organism comprising protein physical, metabolic and transcriptional regulation interactions. The second step consists in training a decision-tree-based machine-learning algorithm on known essential and non-essential genes of the organism of interest, considering as learning attributes the network topology information for each of these genes. Finally, the decision-tree classifier generated is applied to the set of genes of this organism to estimate essentiality for each gene. We applied the NTPGE approach for discovering the essential genes in Escherichia coli and then assessed its performance. (C) 2007 Elsevier B.V. All rights reserved.
Resumo:
Web service-based application is an architectural style, where a collection of Web services communicates to each other to execute processes. With the popularity increase of developing Web service-based application and once Web services may change, in terms of functional and non-functional Quality of Service (QoS), we need mechanisms to monitor, diagnose, and repair Web services into a Web Application. This work presents a description of self-healing architecture that deals with these mechanisms. Other contributions of this paper are using the proxy server to measure Web service QoS values and to employ some strategies to recovery the effects from misbehaved Web services. © 2008 IEEE.
Resumo:
Pós-graduação em Ciência da Informação - FFC
Resumo:
The aims of the present study were to evaluate the morphometry of corpus luteum (CL) and progesterone (P-4) plasma concentration of 86 buffaloes (33 pregnant and 53 non-pregnant) and 95 cows (36 pregnant and 59 non-pregnant) at the moment of slaughter. Seventy CLs of buffaloes and 110 CL of cattle were analyzed. The CL classified as II and III were more common in both species (35.7 and 41.4% for buffaloes and 43.6 and 35.5% for cows). The 29 non-pregnant buffaloes had a total of 36 CL, being 19.4% CLI; 33.3% CL II; 27.8% CL III and 19.4% CL IV. The 51 nonpregnant cows had a total of 71 CL, being 26.8% CL I; 47.9% CL II; 21.1% CL III and 4.2% CL IV. The average diameters of bubaline and bovine CL were 5.2 +/- 0.9 and 6.4 +/- 1.8 mm (CL I); 17.6 +/- 2.6 and 19.8 +/- 3.2 mm (CL II); 17.2 +/- 2.1 and 20.0 +/- 3.2 mm (CL III); 7.8 +/- 1.8 and 8.7 +/- 2.7 mm (CL IV), respectively. The mean plasma concentrations of P4 were 5.6 (CL I); 5.4 (CL II); 4.7 (CL III) and 0.5 (CL IV) ng/mL for buffaloes and 0.02 (CL I); 6.3 (CL II) and 6.4 (CL III) ng/mL for cows. In both species, P4 concentration was similar between stages II and III. The results indicated that the characterization of the CL provides important information about the status of estrous cycle.
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
We present the results of a new, non-parametric method to reconstruct the Galactic dark matter profile directly from observations. Using the latest kinematic data to track the total gravitational potential and the observed distribution of stars and gas to set the baryonic component, we infer the dark matter contribution to the circular velocity across the Galaxy. The radial derivative of this dynamical contribution is then estimated to extract the dark matter profile. The innovative feature of our approach is that it makes no assumption on the functional form or shape of the profile, thus allowing for a clean determination with no theoretical bias. We illustrate the power of the method by constraining the spherical dark matter profile between 2.5 and 25 kpc away from the Galactic center. The results show that the proposed method, free of widely used assumptions, can already be applied to pinpoint the dark matter distribution in the Milky Way with competitive accuracy, and paves the way for future developments.
Resumo:
Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
Resumo:
Background: Exercise training is a non-pharmacological strategy for treatment of heart failure. Exercise training improves functional capacity and quality of life in patients. Moreover, exercise training reduces muscle sympathetic nerve activity (MSNA) and peripheral vasoconstriction. However, most of these studies have been conducted in middle-aged patients. Thus, the effects of exercise training in older patients are much less understood. The present study was undertaken to investigate whether exercise training improves functional capacity, muscular sympathetic activation and muscular blood flow in older heart failure patients, as it does in middle-aged heart failure patients. Design: Fifty-two consecutive outpatients with heart failure from the database of the Unit of Cardiovascular Rehabilitation and Physiology Exercise were divided by age (middle-aged, defined as 45-59 years, and older, defined as 60-75 years) and exercise status (trained and untrained). Methods: MSNA was recorded directly from the peroneal nerve using the microneurography technique. Forearm Blood Flow (FBF) was measured by venous occlusion plethysmography. Functional capacity was evaluated by cardiopulmonary exercise test. Results: Exercise training significantly and similarly increased FBF and peak VO2 in middle-aged and older heart failure patients. In addition, exercise training significantly and similarly reduced MSNA and forearm vascular resistance in these patients. No significant changes were found in untrained patients. Conclusion: Exercise training improves neurovascular control and functional capacity in heart failure patients regardless of age.
Resumo:
Recently in most of the industrial automation process an ever increasing degree of automation has been observed. This increasing is motivated by the higher requirement of systems with great performance in terms of quality of products/services generated, productivity, efficiency and low costs in the design, realization and maintenance. This trend in the growth of complex automation systems is rapidly spreading over automated manufacturing systems (AMS), where the integration of the mechanical and electronic technology, typical of the Mechatronics, is merging with other technologies such as Informatics and the communication networks. An AMS is a very complex system that can be thought constituted by a set of flexible working stations, one or more transportation systems. To understand how this machine are important in our society let considerate that every day most of us use bottles of water or soda, buy product in box like food or cigarets and so on. Another important consideration from its complexity derive from the fact that the the consortium of machine producers has estimated around 350 types of manufacturing machine. A large number of manufacturing machine industry are presented in Italy and notably packaging machine industry,in particular a great concentration of this kind of industry is located in Bologna area; for this reason the Bologna area is called “packaging valley”. Usually, the various parts of the AMS interact among them in a concurrent and asynchronous way, and coordinate the parts of the machine to obtain a desiderated overall behaviour is an hard task. Often, this is the case in large scale systems, organized in a modular and distributed manner. Even if the success of a modern AMS from a functional and behavioural point of view is still to attribute to the design choices operated in the definition of the mechanical structure and electrical electronic architecture, the system that governs the control of the plant is becoming crucial, because of the large number of duties associated to it. Apart from the activity inherent to the automation of themachine cycles, the supervisory system is called to perform other main functions such as: emulating the behaviour of traditional mechanical members thus allowing a drastic constructive simplification of the machine and a crucial functional flexibility; dynamically adapting the control strategies according to the different productive needs and to the different operational scenarios; obtaining a high quality of the final product through the verification of the correctness of the processing; addressing the operator devoted to themachine to promptly and carefully take the actions devoted to establish or restore the optimal operating conditions; managing in real time information on diagnostics, as a support of the maintenance operations of the machine. The kind of facilities that designers can directly find on themarket, in terms of software component libraries provides in fact an adequate support as regard the implementation of either top-level or bottom-level functionalities, typically pertaining to the domains of user-friendly HMIs, closed-loop regulation and motion control, fieldbus-based interconnection of remote smart devices. What is still lacking is a reference framework comprising a comprehensive set of highly reusable logic control components that, focussing on the cross-cutting functionalities characterizing the automation domain, may help the designers in the process of modelling and structuring their applications according to the specific needs. Historically, the design and verification process for complex automated industrial systems is performed in empirical way, without a clear distinction between functional and technological-implementation concepts and without a systematic method to organically deal with the complete system. Traditionally, in the field of analog and digital control design and verification through formal and simulation tools have been adopted since a long time ago, at least for multivariable and/or nonlinear controllers for complex time-driven dynamics as in the fields of vehicles, aircrafts, robots, electric drives and complex power electronics equipments. Moving to the field of logic control, typical for industrial manufacturing automation, the design and verification process is approached in a completely different way, usually very “unstructured”. No clear distinction between functions and implementations, between functional architectures and technological architectures and platforms is considered. Probably this difference is due to the different “dynamical framework”of logic control with respect to analog/digital control. As a matter of facts, in logic control discrete-events dynamics replace time-driven dynamics; hence most of the formal and mathematical tools of analog/digital control cannot be directly migrated to logic control to enlighten the distinction between functions and implementations. In addition, in the common view of application technicians, logic control design is strictly connected to the adopted implementation technology (relays in the past, software nowadays), leading again to a deep confusion among functional view and technological view. In Industrial automation software engineering, concepts as modularity, encapsulation, composability and reusability are strongly emphasized and profitably realized in the so-calledobject-oriented methodologies. Industrial automation is receiving lately this approach, as testified by some IEC standards IEC 611313, IEC 61499 which have been considered in commercial products only recently. On the other hand, in the scientific and technical literature many contributions have been already proposed to establish a suitable modelling framework for industrial automation. During last years it was possible to note a considerable growth in the exploitation of innovative concepts and technologies from ICT world in industrial automation systems. For what concerns the logic control design, Model Based Design (MBD) is being imported in industrial automation from software engineering field. Another key-point in industrial automated systems is the growth of requirements in terms of availability, reliability and safety for technological systems. In other words, the control system should not only deal with the nominal behaviour, but should also deal with other important duties, such as diagnosis and faults isolations, recovery and safety management. Indeed, together with high performance, in complex systems fault occurrences increase. This is a consequence of the fact that, as it typically occurs in reliable mechatronic systems, in complex systems such as AMS, together with reliable mechanical elements, an increasing number of electronic devices are also present, that are more vulnerable by their own nature. The diagnosis problem and the faults isolation in a generic dynamical system consists in the design of an elaboration unit that, appropriately processing the inputs and outputs of the dynamical system, is also capable of detecting incipient faults on the plant devices, reconfiguring the control system so as to guarantee satisfactory performance. The designer should be able to formally verify the product, certifying that, in its final implementation, it will perform itsrequired function guarantying the desired level of reliability and safety; the next step is that of preventing faults and eventually reconfiguring the control system so that faults are tolerated. On this topic an important improvement to formal verification of logic control, fault diagnosis and fault tolerant control results derive from Discrete Event Systems theory. The aimof this work is to define a design pattern and a control architecture to help the designer of control logic in industrial automated systems. The work starts with a brief discussion on main characteristics and description of industrial automated systems on Chapter 1. In Chapter 2 a survey on the state of the software engineering paradigm applied to industrial automation is discussed. Chapter 3 presentes a architecture for industrial automated systems based on the new concept of Generalized Actuator showing its benefits, while in Chapter 4 this architecture is refined using a novel entity, the Generalized Device in order to have a better reusability and modularity of the control logic. In Chapter 5 a new approach will be present based on Discrete Event Systems for the problemof software formal verification and an active fault tolerant control architecture using online diagnostic. Finally conclusive remarks and some ideas on new directions to explore are given. In Appendix A are briefly reported some concepts and results about Discrete Event Systems which should help the reader in understanding some crucial points in chapter 5; while in Appendix B an overview on the experimental testbed of the Laboratory of Automation of University of Bologna, is reported to validated the approach presented in chapter 3, chapter 4 and chapter 5. In Appendix C some components model used in chapter 5 for formal verification are reported.
Resumo:
Eukaryotic ribosomal DNA constitutes a multi gene family organized in a cluster called nucleolar organizer region (NOR); this region is composed usually by hundreds to thousands of tandemly repeated units. Ribosomal genes, being repeated sequences, evolve following the typical pattern of concerted evolution. The autonomous retroelement R2 inserts in the ribosomal gene 28S, leading to defective 28S rDNA genes. R2 element, being a retrotransposon, performs its activity in the genome multiplying its copy number through a “copy and paste” mechanism called target primed reverse transcription. It consists in the retrotranscription of the element’s mRNA into DNA, then the DNA is integrated in the target site. Since the retrotranscription can be interrupted, but the integration will be carried out anyway, truncated copies of the element will also be present in the genome. The study of these truncated variants is a tool to examine the activity of the element. R2 phylogeny appears, in general, not consistent with that of its hosts, except some cases (e.g. Drosophila spp. and Reticulitermes spp.); moreover R2 is absent in some species (Fugu rubripes, human, mouse, etc.), while other species have more R2 lineages in their genome (the turtle Mauremys reevesii, the Japanese beetle Popilia japonica, etc). R2 elements here presented are isolated in 4 species of notostracan branchiopods and in two species of stick insects, whose reproductive strategies range from strict gonochorism to unisexuality. From sequencing data emerges that in Triops cancriformis (Spanish gonochoric population), in Lepidurus arcticus (two putatively unisexual populations from Iceland) and in Bacillus rossius (gonochoric population from Capalbio) the R2 elements are complete and encode functional proteins, reflecting the general features of this family of transposable elements. On the other hand, R2 from Italian and Austrian populations of T. cancriformis (respectively unisexual and hermaphroditic), Lepidurus lubbocki (two elements within the same Italian population, gonochoric but with unfunctional males) and Bacillus grandii grandii (gonochoric population from Ponte Manghisi) have sequences that encode incomplete or non-functional proteins in which it is possible to recognize only part of the characteristic domains. In Lepidurus couesii (Italian gonochoric populations) different elements were found as in L. lubbocki, and the sequencing is still in progress. Two hypothesis are given to explain the inconsistency of R2/host phylogeny: vertical inheritance of the element followed by extinction/diversification or horizontal transmission. My data support previous study that state the vertical transmission as the most likely explanation; nevertheless horizontal transfer events can’t be excluded. I also studied the element’s activity in Spanish populations of T. cancriformis, in L. lubbocki, in L. arcticus and in gonochoric and parthenogenetic populations of B. rossius. In gonochoric populations of T. cancriformis and B. rossius I found that each individual has its own private set of truncated variants. The situation is the opposite for the remaining hermaphroditic/parthenogenetic species and populations, all individuals sharing – in the so far analyzed samples - the majority of variants. This situation is very interesting, because it isn’t concordant with the Muller’s ratchet theory that hypothesizes the parthenogenetic populations being either devoided of transposable elements or TEs overloaded. My data suggest a possible epigenetic mechanism that can block the retrotransposon activity, and in this way deleterious mutations don’t accumulate.
Resumo:
The aim of this PhD thesis was to evaluate the effect of a sub-lethal HPH treatment on some probiotic properties and on cell response mechanisms of already-known functional strains, isolated from Argentinean dairy products. The results achieved showed that HPH treatments, performed at a sub-lethal level of 50 MPa, increased some important functional and technological characteristics of the considered non intestinal probiotic strains. In particular, HPH could modify cell hydrophobicity, autoaggregation and resistance to acid gastric conditions (tested in in vitro model), cell viability and cell production of positive aroma compounds, during a refrigerate storage in a simulated dairy product. In addition, HPH process was able to increase also some probiotic properties exerted in vivo and tested for two of the considered strains. In fact, HPH-treated cells were able to enhance the number of IgA+ cells more than other not treated cells, although this capacity was time dependent. On the other hand, HPH treatment was able to modify some important characteristics that are linked to the cell wall and, consequently, could alter the adhesion capacity in vivo and the interaction with the intestinal cells. These modifications, involving cell outermost structures, were highlighted also by Trasmission Electron Microscopy (TEM) analysis. In fact, the micrographs obtained showed a significant effect of the pressure treatment on the cell morphology and particularly on the cell wall. Moreover, the results achieved showed that composition of plasma membranes and their level of unsaturation are involved in response mechanisms adopted by cells exposed to the sub-lethal HPH treatment. Although the response to the treatment varied according to the characteristics of individual strains, time of storage and suspension media employed, the results of present study, could be exploited to enhance the quality of functional products and to improve their organoleptic properties.
Resumo:
Bioinformatics, in the last few decades, has played a fundamental role to give sense to the huge amount of data produced. Obtained the complete sequence of a genome, the major problem of knowing as much as possible of its coding regions, is crucial. Protein sequence annotation is challenging and, due to the size of the problem, only computational approaches can provide a feasible solution. As it has been recently pointed out by the Critical Assessment of Function Annotations (CAFA), most accurate methods are those based on the transfer-by-homology approach and the most incisive contribution is given by cross-genome comparisons. In the present thesis it is described a non-hierarchical sequence clustering method for protein automatic large-scale annotation, called “The Bologna Annotation Resource Plus” (BAR+). The method is based on an all-against-all alignment of more than 13 millions protein sequences characterized by a very stringent metric. BAR+ can safely transfer functional features (Gene Ontology and Pfam terms) inside clusters by means of a statistical validation, even in the case of multi-domain proteins. Within BAR+ clusters it is also possible to transfer the three dimensional structure (when a template is available). This is possible by the way of cluster-specific HMM profiles that can be used to calculate reliable template-to-target alignments even in the case of distantly related proteins (sequence identity < 30%). Other BAR+ based applications have been developed during my doctorate including the prediction of Magnesium binding sites in human proteins, the ABC transporters superfamily classification and the functional prediction (GO terms) of the CAFA targets. Remarkably, in the CAFA assessment, BAR+ placed among the ten most accurate methods. At present, as a web server for the functional and structural protein sequence annotation, BAR+ is freely available at http://bar.biocomp.unibo.it/bar2.0.
Resumo:
In dieser Arbeit wurde eine neue Methode zur asymmetrischen Substitution der K-Regionen von Pyren entwickelt, auf welcher das Design und die Synthese von neuartigen, Pyren-basierten funktionalen Materialien beruht. Eine Vielzahl von Substitutionsmustern konnte erfolgreich realisiert werden um die Eigenschaften entsprechend dem Verwendungszweck anzupassen. Der polyzyklische aromatische Kohlenwasserstoff (PAK) Pyren setzt sich aus vier Benzolringen in Form einer planaren Raute mit zwei gegenüberliegenden K-Regionen zusammen. Der synthetische Schlüsselschritt dieser Arbeit ist die chemische Transformation der einen K-Region zu einem α-Diketon und der darauffolgenden selektiven Bromierung der zweiten K-Region. Dieser asymmetrisch funktionalisierte Baustein zeichnet sich durch zwei funktionelle Gruppen mit orthogonaler Reaktivität aus und erweitert dadurch das Arsenal der etablierten Pyren Chemie um eine vielseitig einsetzbare Methode. Aufbauend auf diesem synthetischen Zugang wurden fünf wesentliche Konzepte auf dem Weg zu neuen, von Pyren abgeleiteten Materialen verfolgt: (i) Asymmterische Substitution mit elektronenziehenden versus -schiebenden Gruppen. (ii) Darstellung von Pyrenocyaninen durch Anbindung von Pyren mit einer der K-Regionen an das Phthalocyanin Gerüst zur Ausdehnung des π-Systems. (iii) Einführung von Thiophen an die K-Region um halbleitende Eigenschaften zu erhalten. (iv) Symmetrische Annullierung von PAKs wie Benzodithiophen und Phenanthren an beide K Regionen für cove-reiche und dadurch nicht-planare Strukturen. (v) Verwendung des K-Region-funktionalisierten Pyrens als Synthesebaustein für das Peri-Pentacen. Neben der Synthese wurde die Selbstorganisation in der Festphase und an der flüssig/fest Grenzfläche mittels zweidimensionaler Weitwinkel-Röntgenstreuung (2D WAXS) bzw. Rastertunnelmikroskopie (STM) untersucht. Die halbleitenden Eigenschaften wurden in organischen Feld-Effekt Transistoren (OFETs) charakterisiert.