981 resultados para Requirements elicitation techniques
Resumo:
This paper examines two passive techniques for vibration reduction in mechanical systems: the first one is based on dynamic vibration absorbers (DVAs) and the second uses resonant circuit shunted (RCS) piezoceramics. Genetic algorithms are used to determine the optimal design parameters with respect to performance indexes, which are associated with the dynamical behavior of the system over selected frequency bands. The calculation of the frequency response functions (FRFs) of the composite structure (primary system + DVAs) is performed through a substructure coupling technique. A modal technique is used to determine the frequency response function of the structure containing shunted piezoceramics which are bonded to the primary structure. The use of both techniques simultaneously on the same structure is investigated. The methodology developed is illustrated by numerical applications in which the primary structure is represented by simple Euler-Bernoulli beams. However, the design aspects of vibration control devices presented in this paper can be extended to more complex structures.
Resumo:
This work presents the implementation and comparison of three different techniques of three-dimensional computer vision as follows: • Stereo vision - correlation between two 2D images • Sensorial fusion - use of different sensors: camera 2D + ultrasound sensor (1D); • Structured light The computer vision techniques herein presented took into consideration the following characteristics: • Computational effort ( elapsed time for obtain the 3D information); • Influence of environmental conditions (noise due to a non uniform lighting, overlighting and shades); • The cost of the infrastructure for each technique; • Analysis of uncertainties, precision and accuracy. The option of using the Matlab software, version 5.1, for algorithm implementation of the three techniques was due to the simplicity of their commands, programming and debugging. Besides, this software is well known and used by the academic community, allowing the results of this work to be obtained and verified. Examples of three-dimensional vision applied to robotic assembling tasks ("pick-and-place") are presented.
Resumo:
In this paper, the optimum design of 3R manipulators is formulated and solved by using an algebraic formulation of workspace boundary. A manipulator design can be approached as a problem of optimization, in which the objective functions are the size of the manipulator and workspace volume; and the constrains can be given as a prescribed workspace volume. The numerical solution of the optimization problem is investigated by using two different numerical techniques, namely, sequential quadratic programming and simulated annealing. Numerical examples illustrate a design procedure and show the efficiency of the proposed algorithms.
Resumo:
Multiprocessor system-on-chip (MPSoC) designs utilize the available technology and communication architectures to meet the requirements of the upcoming applications. In MPSoC, the communication platform is both the key enabler, as well as the key differentiator for realizing efficient MPSoCs. It provides product differentiation to meet a diverse, multi-dimensional set of design constraints, including performance, power, energy, reconfigurability, scalability, cost, reliability and time-to-market. The communication resources of a single interconnection platform cannot be fully utilized by all kind of applications, such as the availability of higher communication bandwidth for computation but not data intensive applications is often unfeasible in the practical implementation. This thesis aims to perform the architecture-level design space exploration towards efficient and scalable resource utilization for MPSoC communication architecture. In order to meet the performance requirements within the design constraints, careful selection of MPSoC communication platform, resource aware partitioning and mapping of the application play important role. To enhance the utilization of communication resources, variety of techniques such as resource sharing, multicast to avoid re-transmission of identical data, and adaptive routing can be used. For implementation, these techniques should be customized according to the platform architecture. To address the resource utilization of MPSoC communication platforms, variety of architectures with different design parameters and performance levels, namely Segmented bus (SegBus), Network-on-Chip (NoC) and Three-Dimensional NoC (3D-NoC), are selected. Average packet latency and power consumption are the evaluation parameters for the proposed techniques. In conventional computing architectures, fault on a component makes the connected fault-free components inoperative. Resource sharing approach can utilize the fault-free components to retain the system performance by reducing the impact of faults. Design space exploration also guides to narrow down the selection of MPSoC architecture, which can meet the performance requirements with design constraints.
Resumo:
Painolastivesien mukana kulkeutuvien lajien leviäminen on yksi vakavimmista globaaleista ympäristöuhkista. Kansainvälinen merenkulkujärjestö IMO määritteli vuonna 2004 kansainvälisen painolastivesiyleissopimuksen, jonka tarkoituksena on ehkäistä laivojen painolastivesien mukana kulkeutuvien lajien leviämistä. Sopimus velvoittaa aluksia käsittelemään niiden painolastivedet ja se sisältää myös käsittelyjärjestelmiltä edellytetyt vaatimukset. Vaikka sopimus ei ole vielä astunut voimaan, painolastivesien käsittelyyn löytyy markkinoilta jo useita kymmeniä IMO:n hyväksymiä käsittelyjärjestelmiä, jotka hyödyntävät erilaisia mekaanisia, fysikaalisia ja kemiallisia menetelmiä. Yksi yleisimmin käytetyistä menetelmistä on UV-säteilytys. UV-säteily tuotetaan elohopealampuilla, jotka kuitenkin kuluttavat paljon energiaa ja sisältävät myrkyllistä elohopeaa. Tämän työn tarkoituksena oli selvittää, voisiko elohopealamput korvata lähitulevaisuudessa UV-LED -lampuilla. UV-LED –lamppujen etuja ovat muun muassa energiatehokkuus, kestävä rakenne ja myrkyttömyys. Työn tärkeimpänä tavoitteena oli tutkia laboratoriomittausten avulla, millainen UV-annosmäärä 10-50 µm kokoisten kasviplanktonien inaktivoimiseen tarvitaan. Mittausjärjestelyt vastasivat suurelta osin IMO:n vaatimuksia. Laboratoriomittauksissa käytettiin 265 nm:n aallonpituudella toimivia UV-LED -lamppuja. Näytteiden analysoinnissa käytettiin sekä PAM-fluorometriä että virtaussytometriä. Saatujen tulosten perusteella tutkimuksessa käytettyjen lajien Asterionellopsis glacialis ja Thalassiosira sp. täydelliseen inaktivoitumiseen tarvittiin noin 600 mJ/cm2 suuruinen UV-annos. Tulos vastasi ennakko-odotuksia ja se oli vertailukelpoinen muiden aiheesta tehtyjen tutkimusten kanssa. Koska nykyisten UV-LED –lamppujen teho on hyvin alhainen, ne eivät vielä sovellu painolastivesien käsittelyyn. UV-LED –lamppujen kehitystyö on kuitenkin käynnissä ja on arvioitu, että niitä voitaisiin käyttää suurten virtaamien käsittelyssä 5-10 vuoden kuluttua.
Resumo:
A web service is a software system that provides a machine-processable interface to the other machines over the network using different Internet protocols. They are being increasingly used in the industry in order to automate different tasks and offer services to a wider audience. The REST architectural style aims at producing scalable and extensible web services using technologies that play well with the existing tools and infrastructure of the web. It provides a uniform set of operation that can be used to invoke a CRUD interface (create, retrieve, update and delete) of a web service. The stateless behavior of the service interface requires that every request to a resource is independent of the previous ones facilitating scalability. Automated systems, e.g., hotel reservation systems, provide advanced scenarios for stateful services that require a certain sequence of requests that must be followed in order to fulfill the service goals. Designing and developing such services for advanced scenarios with REST constraints require rigorous approaches that are capable of creating web services that can be trusted for their behavior. Systems that can be trusted for their behavior can be termed as dependable systems. This thesis presents an integrated design, analysis and validation approach that facilitates the service developer to create dependable and stateful REST web services. The main contribution of this thesis is that we provide a novel model-driven methodology to design behavioral REST web service interfaces and their compositions. The behavioral interfaces provide information on what methods can be invoked on a service and the pre- and post-conditions of these methods. The methodology uses Unified Modeling Language (UML), as the modeling language, which has a wide user base and has mature tools that are continuously evolving. We have used UML class diagram and UML state machine diagram with additional design constraints to provide resource and behavioral models, respectively, for designing REST web service interfaces. These service design models serve as a specification document and the information presented in them have manifold applications. The service design models also contain information about the time and domain requirements of the service that can help in requirement traceability which is an important part of our approach. Requirement traceability helps in capturing faults in the design models and other elements of software development environment by tracing back and forth the unfulfilled requirements of the service. The information about service actors is also included in the design models which is required for authenticating the service requests by authorized actors since not all types of users have access to all the resources. In addition, following our design approach, the service developer can ensure that the designed web service interfaces will be REST compliant. The second contribution of this thesis is consistency analysis of the behavioral REST interfaces. To overcome the inconsistency problem and design errors in our service models, we have used semantic technologies. The REST interfaces are represented in web ontology language, OWL2, that can be part of the semantic web. These interfaces are used with OWL 2 reasoners to check unsatisfiable concepts which result in implementations that fail. This work is fully automated thanks to the implemented translation tool and the existing OWL 2 reasoners. The third contribution of this thesis is the verification and validation of REST web services. We have used model checking techniques with UPPAAL model checker for this purpose. The timed automata of UML based service design models are generated with our transformation tool that are verified for their basic characteristics like deadlock freedom, liveness, reachability and safety. The implementation of a web service is tested using a black-box testing approach. Test cases are generated from the UPPAAL timed automata and using the online testing tool, UPPAAL TRON, the service implementation is validated at runtime against its specifications. Requirement traceability is also addressed in our validation approach with which we can see what service goals are met and trace back the unfulfilled service goals to detect the faults in the design models. A final contribution of the thesis is an implementation of behavioral REST interfaces and service monitors from the service design models. The partial code generation tool creates code skeletons of REST web services with method pre and post-conditions. The preconditions of methods constrain the user to invoke the stateful REST service under the right conditions and the post condition constraint the service developer to implement the right functionality. The details of the methods can be manually inserted by the developer as required. We do not target complete automation because we focus only on the interface aspects of the web service. The applicability of the approach is demonstrated with a pedagogical example of a hotel room booking service and a relatively complex worked example of holiday booking service taken from the industrial context. The former example presents a simple explanation of the approach and the later worked example shows how stateful and timed web services offering complex scenarios and involving other web services can be constructed using our approach.
Resumo:
The aim of this study was to identify and map the weed population in a no-tillage area. Geostatistical techniques were used in the mapping in order to assess this information as a tool for the localized application of herbicides. The area of study is 58.08 hectares wide and was sampled in a fixed square grid (which point spaced 50 m, 232 points) using a GPS receiver. In each point the weeds species and population were analyzed in a square with a 0.25 m2 fixed area. The species Ipomoea grandifolia, Gnaphalium spicatum, Richardia spp. and Emilia sonchifolia have presented no spatial dependence. However, the species Conyza spp., C. echinatus and E. indica have shown a spatial correlation. Among the models tested, the spherical model has shown had a better fit for Conyza spp. and Eleusine indica and the Gaussian model for Cenchrus echinatus. The three species have a clumped spatial distribution. The mapping of weeds can be a tool for localized control, making herbicide use more rational, effective and economical.
Resumo:
Phytotoxic effects of invasive weed Parthenium hysterophorus were studied by using whole plant, leaf and root aqueous extracts at 0, 2.5, 5.0, 7.5 and 10% (w/v) concentrations against germination and early seedling growth of wheat and canola. Studies were carried out both in Petri plates with filter paper as substratum placed in controlled conditions and soil-filled plastic pots placed in open environments. Pronounced variation was noted for phytotoxic activity of different plant parts of parthenium, aqueous extract concentrations, test species, and bioassay techniques. Aqueous parthenium extracts either inhibited or delayed the germination and suppressed seedling growth of test species over control. For both test species, all the germination attributes were suppressed to a greater extent in Petri plates than in plastic pots. Leaf extracts were more suppressive to germination of test species than whole plant and root extracts. Increasing extract concentration beyond 2.5% caused significant reduction in seedling dry biomass of both test species. Aqueous parthenium extract diminished chlorophyll contents of wheat and canola by 32-63% and 29 69%, respectively. Nevertheless, an increase of 9-172% and 22-60% in phenolic contents of wheat and canola was recorded. Canola appeared to be more susceptible than wheat at all extract concentrations. Present study concluded that bioassays conducted under controlled condition using filter paper as substratum may be misleading due to over estimation of allelopathic response and variation in potential of receiver and donor species. Furthermore, it implies that threshold concentrations of allelochemicals for test species in Petri plates are rarely reached under field conditions.
Resumo:
Presentation at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014
Resumo:
Presentation at Open Repositories 2014, Helsinki, Finland, June 9-13, 2014
Resumo:
Chromosome abnormalities and the mitotic index in lymphocyte cultures and micronuclei in buccal mucosa cells were investigated in a sample of underground mineral coal miners from Southern Brazil. A decreased mitotic index, an excess of micronuclei and a higher frequency of chromosome abnormalities (fragments, polyploidy and overall chromosome alterations) were observed in the miners when compared to age-paired normal controls from the same area. An alternative assay for clastogenesis in occupational exposition was tested by submitting lymphocytes from non-exposed individuals to a pool of plasmas from the exposed population. This assay proved to be very convenient, as the lymphocytes obtained from the same individuals can be used as target as well as control cells. Also, it yielded a larger number of metaphases and of successful cultures than with common lymphocyte cultures from miners. A significantly higher frequency of chromatid gaps, fragments and overall alterations were observed when lymphocytes from control subjects were exposed to miner plasma pools. Control plasma pools did not significantly induce any type of chromosome alterations in the cultures of normal subjects, thus indicating that the results are not due to the effect of the addition of plasma pools per se.
Resumo:
Methods previously described by Canovai et al. (Caryologia 47: 241-247, 1994) which produced C and ASG bands in mitotic chromosomes of Ceratitis capitata were applied to the chromosomes of several Anastrepha species. Metaphase plate yield was substantially increased by use of imaginal disks together with cerebral ganglia. The C-bands were quite prominent allowing the resolution of tiny blocks of heterochromatin. The ASG method produced G-like banded chromosomes, which permitted recognition of each individual chromosome. These simple techniques do not require special equipment and may be valuable for karyotype variability studies in fruit flies and other Diptera
Resumo:
Standard techniques for radioautography used in biological and medical research can be classified into three categories, i.e., macroscopic radioautography, light microscopic radioautography and electron microscopic radioautography. The routine techniques used in these three procedures are described. With regard to macroscopic radioautography, whole body radioautography is a standard technique which employs freezing and cryosectioning and can demonstrate organ distributions of both soluble and insoluble compounds. In contrast, in light and electron microscopic radioautography, soluble and insoluble techniques are separated. In order to demonstrate insoluble labeled compounds, conventional chemical fixations such as formalin for light microscopy or buffered glutaraldehyde and osmium tetroxide for both light and electron microscopy followed by dehydration, embedding and wet-mounting applications of radioautographic emulsions can be used. For the demonstration of soluble labeled compounds, however, cryotechniques such as cryofixation, cryosectioning, freeze-drying, freeze-substitution followed by dry-sectioning and dry-mounting radioautography should be employed both for light and electron microscopy. The outlines of these techniques, which should be utilized in various fields of biological and medical research, are described in detail
Resumo:
To assess relationships between neuropeptide-binding sites and receptor proteins in rat brain, the distribution of radioautographically labeled somatostatin and neurotensin-binding sites was compared to that of immunolabeled sst2A and NTRH receptor subtypes, respectively. By light microscopy, immunoreactive sst2A receptors were either confined to neuronal perikarya and dendrites or diffusely distributed in tissue. By electron microscopy, areas expressing somatodendritic sst2A receptors displayed only low proportions of membrane-associated, as compared to intracellular, receptors. Conversely, regions displaying diffuse sst2A labeling exhibited higher proportions of membrane-associated than intracellular receptors. Furthermore, the former showed only low levels of radioautographically labeled somatostatin-binding sites whereas the latter contained high densities of somatostatin-binding suggesting that membrane-associated receptors are preferentially recognized by the radioligand. In the case of NTRH receptors, there was a close correspondence between the light microscopic distribution of NTRH immunoreactivity and that of labeled neurotensin-binding sites. Within the substantia nigra, the bulk of immuno- and autoradiographically labeled receptors were associated with the cell bodies and dendrites of presumptive DA neurons. By electron microscopy, both markers were detected inside as well as on the surface of labeled neurons. At the level of the plasma membrane, their distribution was highly correlated and characterized by a lack of enrichment at the level of synaptic junctions and by a homogeneous distribution along the remaining neuronal surface, in conformity with the hypothesis of an extra-synaptic action of this neuropeptide. Inside labeled dendrites, there was a proportionally higher content of immunoreactive than radiolabeled receptors. Some of the immunolabeled receptors not recognized by the radioligand were found in endosome-like organelles suggesting that, as in the case of sst2A receptors, they may have undergone endocytosis subsequent to binding to the endogenous peptide
Resumo:
In the present study, using noise-free simulated signals, we performed a comparative examination of several preprocessing techniques that are used to transform the cardiac event series in a regularly sampled time series, appropriate for spectral analysis of heart rhythm variability (HRV). First, a group of noise-free simulated point event series, which represents a time series of heartbeats, was generated by an integral pulse frequency modulation model. In order to evaluate the performance of the preprocessing methods, the differences between the spectra of the preprocessed simulated signals and the true spectrum (spectrum of the model input modulating signals) were surveyed by visual analysis and by contrasting merit indices. It is desired that estimated spectra match the true spectrum as close as possible, showing a minimum of harmonic components and other artifacts. The merit indices proposed to quantify these mismatches were the leakage rate, defined as a measure of leakage components (located outside some narrow windows centered at frequencies of model input modulating signals) with respect to the whole spectral components, and the numbers of leakage components with amplitudes greater than 1%, 5% and 10% of the total spectral components. Our data, obtained from a noise-free simulation, indicate that the utilization of heart rate values instead of heart period values in the derivation of signals representative of heart rhythm results in more accurate spectra. Furthermore, our data support the efficiency of the widely used preprocessing technique based on the convolution of inverse interval function values with a rectangular window, and suggest the preprocessing technique based on a cubic polynomial interpolation of inverse interval function values and succeeding spectral analysis as another efficient and fast method for the analysis of HRV signals