956 resultados para Functional requirements
Resumo:
Question: What plant properties might define plant functional types (PFTs) for the analysis of global vegetation responses to climate change, and what aspects of the physical environment might be expected to predict the distributions of PFTs? Methods: We review principles to explain the distribution of key plant traits as a function of bioclimatic variables. We focus on those whole-plant and leaf traits that are commonly used to define biomes and PFTs in global maps and models. Results: Raunkiær's plant life forms (underlying most later classifications) describe different adaptive strategies for surviving low temperature or drought, while satisfying requirements for reproduction and growth. Simple conceptual models and published observations are used to quantify the adaptive significance of leaf size for temperature regulation, leaf consistency for maintaining transpiration under drought, and phenology for the optimization of annual carbon balance. A new compilation of experimental data supports the functional definition of tropical, warm-temperate, temperate and boreal phanerophytes based on mechanisms for withstanding low temperature extremes. Chilling requirements are less well quantified, but are a necessary adjunct to cold tolerance. Functional traits generally confer both advantages and restrictions; the existence of trade-offs contributes to the diversity of plants along bioclimatic gradients. Conclusions: Quantitative analysis of plant trait distributions against bioclimatic variables is becoming possible; this opens up new opportunities for PFT classification. A PFT classification based on bioclimatic responses will need to be enhanced by information on traits related to competition, successional dynamics and disturbance.
Resumo:
The number and degree of digestion of pollen grains in the midgut and rectum, the midgut proteolytic activity and the time of pollen grain passage through the digestive tract in the stingless bee Scaptotrigona postica (Latreille) have been analyzed. The results show similar protein requirements among larvae, nurse bees and queens, as well as between forager bees and old males, but these requirements are higher in individuals from the former groups than in those from the latter. Although protein requirements have been demonstrated to vary according to a bee's activity in the colony, they are similar among bees from different castes or sexes. These changes in feeding behavior are related to the bee's function and to less competition for nourishment among individuals of the colony. It is also noted that pollen grains took between 6 and 28 h to pass through the digestive tract. Pollen grains are irregularly accumulated in the various regions of the midgut, which may reflect functional differentiation throughout the midgut. © 2001 Elsevier B.V.
Resumo:
Biogeographical systems can be analyzed as networks of species and geographical units. Within such a biogeographical network, individual species may differ fundamentally in their linkage pattern, and therefore hold different topological roles. To advance our understanding of the relationship between species traits and large-scale species distribution patterns in archipelagos, we use a network approach to classify birds as one of four biogeographical species roles: peripherals, connectors, module hubs, and network hubs. These roles are based upon the position of species within the modular network of islands and species in Wallacea and the West Indies. We test whether species traits - including habitat requirements, altitudinal range-span, feeding guild, trophic level, and body length - correlate with species roles. In both archipelagos, habitat requirements, altitudinal range-span and body length show strong relations to species roles. In particular, species that occupy coastal- and open habitats, as well as habitat generalists, show higher proportions of connectors and network hubs and thus tend to span several biogeographical modules (i.e. subregions). Likewise, large body size and a wide altitudinal range-span are related to a wide distribution on many islands and across several biogeographical modules. On the other hand, species restricted to interior forest are mainly characterized as peripherals and, thus, have narrow and localized distributions within biogeographical modules rather than across the archipelago-wide network. These results suggest that the ecological amplitude of a species is highly related to its geographical distribution within and across bio geographical subregions and furthermore supports the idea that large-scale species distributions relate to distributions at the local community level. We finally discuss how our biogeographical species roles may correspond to the stages of the taxon cycle and other prominent theories of species assembly. © 2013 The Authors.
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:
Background Existing lower-limb, region-specific, patient-reported outcome measures have clinimetric limitations, including limitations in psychometric characteristics (eg, lack of internal consistency, lack of responsiveness, measurement error) and the lack of reported practical and general characteristics. A new patient-reported outcome measure, the Lower Limb Functional Index (LLFI), was developed to address these limitations. Objective The purpose of this study was to overcome recognized deficiencies in existing lower-limb, region-specific, patient-reported outcome measures through: (1) development of a new lower-extremity outcome scale (ie, the LLFI) and (2) evaluation of the clinimetric properties of the LLFI using the Lower Extremity Functional Scale (LEFS) as a criterion measure. Design This was a prospective observational study. Methods The LLFI was developed in a 3-stage process of: (1) item generation, (2) item reduction with an expert panel, and (3) pilot field testing (n=18) for reliability, responsiveness, and sample size requirements for a larger study. The main study used a convenience sample (n=127) from 10 physical therapy clinics. Participants completed the LLFI and LEFS every 2 weeks for 6 weeks and then every 4 weeks until discharge. Data were used to assess the psychometric, practical, and general characteristics of the LLFI and the LEFS. The characteristics also were evaluated for overall performance using the Measurement of Outcome Measures and Bot clinimetric assessment scales. Results The LLFI and LEFS demonstrated a single-factor structure, comparable reliability (intraclass correlation coefficient [2,1]=.97), scale width, and high criterion validity (Pearson r=.88, with 95% confidence interval [CI]). Clinimetric performance was higher for the LLFI compared with the LEFS on the Measurement of Outcome Measures scale (96% and 95%, respectively) and the Bot scale (100% and 83%, respectively). The LLFI, compared with the LEFS, had improved responsiveness (standardized response mean=1.75 and 1.64, respectively), minimal detectable change with 90% CI (6.6% and 8.1%, respectively), and internal consistency (α=.91 and .95, respectively), as well as readability with reduced user error and completion and scoring times. Limitations Limitations of the study were that only participants recruited from outpatient physical therapy clinics were included and that no specific conditions or diagnostic subgroups were investigated. Conclusion The LLFI demonstrated sound clinimetric properties. There was lower response error, efficient completion and scoring, and improved responsiveness and overall performance compared with the LEFS. The LLFI is suitable for assessment of lower-limb function.
Resumo:
Despite efforts implicating the cationic channel transient receptor potential melastatin member 4 (TRPM4) to cardiac, nervous, and immunological pathologies, little is known about its structure and function. In this study, we optimized the requirements for purification and extraction of functional human TRPM4 protein and investigated its supra-molecular assembly. We selected the Xenopus laevis oocyte expression system because it lacks endogenous TRPM4 expression, it is known to overexpress functional human membrane channels, can be used for structure-function analysis within the same system, and is easily scaled to improve yield and develop moderate throughput capabilities through the use of robotics. Negative-stain electron microscopy (EM) revealed various sized low-resolution particles. Single particle analysis identified the majority of the projections represented the monomeric form with additional oligomeric structures potentially characterized as tetramers. Two-electrode voltage clamp electrophysiology demonstrated that human TRPM4 is functionally expressed at the oocyte plasma membrane. This study opens the door for medium-throughput screening and structure-function determination of this important therapeutically relevant target.
Resumo:
The aim of this research was to characterize the differentiative requirements of human CD8$\sp{+}$ suppressor lymphocytes. We investigated the role of monocytes in cellular interactions required for generation of T suppressor cells (Ts) in pokeweed mitogen (PWM) stimulated peripheral blood mononuclear cells (PBMC). We observed that the functional activity of CD8$\sp{+}$ T cells was dependent on the concentration of monocytes in the inductive cultures; at concentrations normally present in peripheral blood, PWM stimulation induced potent suppressor activity, whereas under conditions of moderate monocyte depletion the same phenotypic subset of CD8$\sp{+}$ cells enhanced responses. We also demonstrated that differentiation of CD8$\sp{+}$CD28$\sp{-}$ suppressor cells could be mediated by soluble products elaborated by monocytes and CD4$\sp{+}$ cells, identified as PGE$\sb2$ and IFN$\gamma$ respectively. These two signals were required sequentially to cause Ts induction. That is PGE$\sb2$ was required initially, followed by an IFN$\gamma$-dependent differentiative step. We also explored the possibility that PGE$\sb2$ caused modulation of the IFN$\gamma$ receptor number and/or affinity on CD8$\sp{+}$ cells, which might render these cells responsive to the differentiative effect of the IFN$\gamma$-signal. Using radiolabelled $\sp{125}$I-IFN$\gamma$, direct binding assays demonstrated that 10$\sp{-8}$M PGE$\sb2$ selectively increased the number of receptors on the CD8$\sp{+}$ cells. In contrast CD4$\sp{+}$ cells treated similarly exhibited no significant change in their number of IFN$\gamma$ receptors. These results, thus, suggest a relationship between PGE$\sb2$ induced expression of IFN$\gamma$ receptor and the initial requirement for PGE$\sb2$ in IFN$\gamma$-dependent differentiation of Ts cells. Together, our results suggest a crucial role for PGE$\sb2$ and IFN$\gamma$ in regulation of the immune response. Furthermore, such detailed definition of the differentiative requirements for CD8$\sp{+}$ suppressor cells should provide new insight into fundamental mechanisms of immunoregulation. ^
Resumo:
Software architecture is the result of a design effort aimed at ensuring a certain set of quality attributes. As we show, quality requirements are commonly specified in practice but are rarely validated using automated techniques. In this paper we analyze and classify commonly specified quality requirements after interviewing professionals and running a survey. We report on tools used to validate those requirements and comment on the obstacles encountered by practitioners when performing such activity (e.g., insufficient tool-support; poor understanding of users needs). Finally we discuss opportunities for increasing the adoption of automated tools based on the information we collected during our study (e.g., using a business-readable notation for expressing quality requirements; increasing awareness by monitoring non-functional aspects of a system).
Resumo:
Formation of the FtsZ ring (Z ring) in Escherichia coli is the first step in assembly of the divisome, a molecular machine composed of 14 known proteins which are all required for cell division. Although the biochemical functions of most divisome proteins are unknown, several of these have overlapping roles in ensuring that the Z ring assembles at the cytoplasmic membrane and is active. ^ We identified a single amino acid change in FtsA, R286W, renamed FtsA*, that completely bypasses the requirement for ZipA in cell division. This and other data suggest that FtsA* is a hyperactive form of FtsA that can replace the multiple functions normally assumed by ZipA, which include stabilization of Z rings, recruitment of downstream cell division proteins, and anchoring the Z ring to the membrane. This is the first example of complete functional replacement of an essential prokaryotic cell division protein by another. ^ Cells expressing ftsA* with a complete deletion of ftsK are viable and divide, although many of these ftsK null cells formed multiseptate chains, suggesting a role in cell separation for FtsK. In addition, strains expressing extra ftsAZ, ftsQ, ftsB, zipA or ftsN, were also able to survive and divide in the absence of ftsK. The cytoplasmic and transmembrane domains of FtsQ were sufficient to allow viability and septum formation to ftsK deleted strains. These findings suggest that FtsK is normally involved in stabilizing the divisome and shares functional overlap with other cell division proteins. ^ As well as permitting the removal of other divisome components, the presence of FtsA* in otherwise wild-type cells accelerated Z-ring assembly, which resulted in a significant decrease in the average length of cells. In support of its role in Z-ring stability, FtsA* suppressed the cell division inhibition caused by overexpressing FtsZ. FtsA* did not affect FtsZ turnover within the Z ring as measured by fluorescence recovery after photobleaching. Turnover of FtsA* in the ring was somewhat faster than wild-type FtsA. Yeast two-hybrid data suggest that FtsA* has an increased affinity for FtsZ relative to wild-type FtsA. These results indicate that FtsA* interacts with FtsZ more strongly, and its enhancement of Z ring assembly may explain why FtsA* can permit survival of cells lacking ZipA or FtsK.^
Resumo:
Verifying whether an ontology meets the set of established requirements is a crucial activity in ontology engineering. In this sense, methods and tools are needed (a) to transform (semi-)automatically functional ontology requirements into SPARQL queries, which can serve as unit tests to verify the ontology, and (b) to check whether the ontology fulfils the requirements. Thus, our purpose in this poster paper is to apply the SWIP approach to verify whether an ontology satisfies the set of established requirements.
Resumo:
Software needs to be accessible for persons with disabilities and there are several guidelines to assist developers in building more accessible software. Regulation activities are beginning to make the accessibility of software a mandatory requirement in some countries. One such activity is the European Mandate M 376, which will result in a European standard (EN 301 549) defining functional accessibility requirements for information and communication technology products and services. This paper provides an overview of Mandate M 376 and EN 301 549, and describes the requirements for software accessibility defined in EN 301 549, according to a feature-based approach
Resumo:
Software needs to be accessible for persons with disabilities and there are several guidelines to assist developers in building more accessible software. Regulation activities are beginning to make the accessibility of software a mandatory requirement in some countries. One such activity is the European Mandate M 376, which will result in a European standard (EN 301 549) defining functional accessibility requirements for information and communication technology products and services. This paper provides an overview of Mandate M 376 and EN 301 549, and describes the requirements for software accessibility defined in EN 301 549, according to a feature-based approach.
Resumo:
The Rev protein of HIV-1 actively shuttles between nucleus and cytoplasm and mediates the export of unspliced retroviral RNAs. The localization of shuttling proteins such as Rev is controlled by the relative rates of nuclear import and export. To study nuclear export in isolation, we generated cell lines expressing a green fluorescent protein-labeled chimeric protein consisting of HIV-1 Rev and a hormone-inducible nuclear localization sequence. Steroid removal switches off import thus allowing direct visualization of the Rev export pathway in living cells. After digitonin permeabilization of these cells, we found that a functional nuclear export sequence (NES), ATP, and fractionated cytosol were sufficient for nuclear export in vitro. Nuclear pore-specific lectins and leptomycin B were potent export inhibitors. Nuclear export was not inhibited by antagonists of calcium metabolism that block nuclear import. These data further suggest that nuclear pores do not functionally close when luminal calcium stores are depleted. The distinct requirements for nuclear import and export argue that these competing processes may be regulated independently. This system should have wide applicability for the analysis of nuclear import and export.
Resumo:
Although Archaea are prokaryotic and resemble Bacteria morphologically, their transcription apparatus is remarkably similar to those of eukaryotic cell nuclei. Because some Archaea exist in environments with temperatures of around 100°C, they are likely to have evolved unique strategies for transcriptional control. Here, we investigate the effects of temperature and DNA template topology in a thermophilic archaeal transcription system. Significantly, and in marked contrast with characterized eucaryal systems, archaeal DNA template topology has negligible effect on transcription levels at physiological temperatures using highly purified polymerase and recombinant transcription factors. Furthermore, archaeal transcription does not require hydrolysis of the β-γ phosphoanhydride bond of ATP. However, at lower temperatures, negatively supercoiled templates are transcribed more highly than those that are positively supercoiled. Notably, the block to transcription on positively supercoiled templates at lowered temperatures is at the level of polymerase binding and promoter opening. These data imply that Archaea do not possess a functional homologue of transcription factor TFIIH, and that for the promoters studied, transcription is mediated by TATA box-binding protein, transcription factor TFB, and RNA polymerase alone. Furthermore, they suggest that the reduction of plasmid linking number by hyperthermophilic Archaea in vivo in response to cold shock is a mechanism to maintain gene expression under these adverse circumstances.
Resumo:
Coupling of cerebral blood flow (CBF) and cerebral metabolic rate for oxygen (CMRO2) in physiologically activated brain states remains the subject of debates. Recently it was suggested that CBF is tightly coupled to oxidative metabolism in a nonlinear fashion. As part of this hypothesis, mathematical models of oxygen delivery to the brain have been described in which disproportionately large increases in CBF are necessary to sustain even small increases in CMRO2 during activation. We have explored the coupling of CBF and oxygen delivery by using two complementary methods. First, a more complex mathematical model was tested that differs from those recently described in that no assumptions were made regarding tissue oxygen level. Second, [15O] water CBF positron emission tomography (PET) studies in nine healthy subjects were conducted during states of visual activation and hypoxia to examine the relationship of CBF and oxygen delivery. In contrast to previous reports, our model showed adequate tissue levels of oxygen could be maintained without the need for increased CBF or oxygen delivery. Similarly, the PET studies demonstrated that the regional increase in CBF during visual activation was not affected by hypoxia. These findings strongly indicate that the increase in CBF associated with physiological activation is regulated by factors other than local requirements in oxygen.