946 resultados para MSC Diagram


Relevância:

10.00% 10.00%

Publicador:

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.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Continuous loading and unloading can cause breakdown of cranes. In seeking solution to this problem, the use of an intelligent control system for improving the fatigue life of cranes in the control of mechatronics has been under study since 1994. This research focuses on the use of neural networks as possibilities of developing algorithm to map stresses on a crane. The intelligent algorithm was designed to be a part of the system of a crane, the design process started with solid works, ANSYS and co-simulation using MSc Adams software which was incorporated in MATLAB-Simulink and finally MATLAB neural network (NN) for the optimization process. The flexibility of the boom accounted for the accuracy of the maximum stress results in the ADAMS model. The flexibility created in ANSYS produced more accurate results compared to the flexibility model in ADAMS/View using discrete link. The compatibility between.ADAMS and ANSYS softwares was paramount in the efficiency and the accuracy of the results. Von Mises stresses analysis was more suitable for this thesis work because the hydraulic boom was made from construction steel FE-510 of steel grade S355 with yield strength of 355MPa. Von Mises theory was good for further analysis due to ductility of the material and the repeated tensile and shear loading. Neural network predictions for the maximum stresses were then compared with the co-simulation results for accuracy, and the comparison showed that the results obtained from neural network model were sufficiently accurate in predicting the maximum stresses on the boom than co-simulation.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The present study examined the floristic composition of three fragments of Araucaria Forest (AF) in the Planalto Catarinense region of southern Brazil as well as the floristic contextualization of these areas in relation to other remnant AF sites. Three AF fragments at different altitudes were analyzed in the municipalities of Campos Novos, Lages, and Painel. Fifty 200 m² plots were examined in each fragment and all of the trees with CBH (circumference at breast height) > 15.7 cm were identified. In order to floristically contextualize the study fragments, comparisons were made with other remnant AF sites by way of dendrograms and NMDS (Non-metric multidimensional scaling). Environmental and spatial variables were plotted on the diagram produced by the NMDS to evaluate their influence on the floristic patterns encountered. The forest fragments studied demonstrated high floristic heterogeneity, indicating that AFs cannot be considered homogeneous formations and they could be classified into 3 phytogeographical categories: i) high altitude areas influenced by cloud cover/fog, including the Painel region; ii) areas of lesser altitude and greater mean annual temperatures situated in the Paraná River basin, and iii) areas situated in the Paraná and Upper-Uruguay river basins and the smaller basins draining directly into the southern Atlantic, near Campos Novos and Lages. The environmental variables most highly correlated with species substitutions among the sites were altitude, mean annual temperature, and the mean temperature of the most humid trimester.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Water and saline intake is controlled by several mechanisms activated during dehydration. Some mechanisms, such as the production of angiotensin II and unloading of cardiovascular receptors, activate both behaviors, while others, such as the increase in blood osmolality or sodium concentration, activate water, but inhibit saline intake. Aldosterone probably activates only saline intake. Clonidine, an a2-adrenergic agonist, inhibits water and saline intake induced by these mechanisms. One model to describe the interactions between these multiple mechanisms is a wire-block diagram, where the brain circuit that controls each intake is represented by a summing point of its respective inhibiting and activating factors. The a2-adrenoceptors constitute an inhibitory factor common to both summing points

Relevância:

10.00% 10.00%

Publicador:

Resumo:

It is well known that the interaction of polyelectrolytes with oppositely charged surfactants leads to an associative phase separation; however, the phase behavior of DNA and oppositely charged surfactants is more strongly associative than observed in other systems. A precipitate is formed with very low amounts of surfactant and DNA. DNA compaction is a general phenomenon in the presence of multivalent ions and positively charged surfaces; because of the high charge density there are strong attractive ion correlation effects. Techniques like phase diagram determinations, fluorescence microscopy, and ellipsometry were used to study these systems. The interaction between DNA and catanionic mixtures (i.e., mixtures of cationic and anionic surfactants) was also investigated. We observed that DNA compacts and adsorbs onto the surface of positively charged vesicles, and that the addition of an anionic surfactant can release DNA back into solution from a compact globular complex between DNA and the cationic surfactant. Finally, DNA interactions with polycations, chitosans with different chain lengths, were studied by fluorescence microscopy, in vivo transfection assays and cryogenic transmission electron microscopy. The general conclusion is that a chitosan effective in promoting compaction is also efficient in transfection.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Brazil's scientific community is under pressure. Each year there is an increase in its contribution to international science and in the number of students who are trained to do research and teach at an advanced level. Most of these activities are carried out in state and federal universities, but with government funding that has decreased by more than 70% since 1996. Interviews with graduate students, post-doctoral fellows and professors in one university department with a strong research tradition illustrate the level of stress engendered by the conflict between increasing competition and diminishing resources, and serve to underscore the negative effects on creativity and on the tendency to choose science as a career.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

TIIVISTELMÄ Lappeenrannan teknillinen yliopisto Konetekniikan koulutusohjelma Voitto Kettunen Konepajan hitsaustuotannon kehittäminen kattavien laatuvaatimusten mukaiseksi Diplomityö 2015 167 sivua, 39 kuvaa, 26 taulukkoa ja 3 liitettä Tarkastajat: Professori Jukka Martikainen DI Pertti Kaarre Hakusanat: hitsaus, hitsauksen laatu, konepajan laadunhallinta, kattavat laatuvaatimukset, ISO 9001, ISO 3834, EN 1090 Keywords: welding, quality of welding, engineering workshop quality management, comprehensive quality requirements, ISO 9001, ISO 3834, EN 1090 Hitsaamalla liitetyt teräksiset rakenteet muodostavat ylivoimaisesti suurimman osan konepajatuotannosta. Niihin kuuluu esimerkiksi ajoneuvoja, koneita, laitteita, säiliöitä, siiloja, siltoja, mastoja, piippuja, tukirakenteita ja rakennusten runkoja. Tämän diplomityön tavoitteena on kehittää konepajan laadunhallinta sellaiseksi, että se mahdollistaa kattavien laatuvaatimusten täyttämisen hitsaustuotannossa. Laatuvaatimusten täyttämiseen pyritään käyttämällä hitsaustoimintojen standardia EN ISO 3834-2 sekä kantavien teräsrakenteiden standardeja EN 1090-1 ja EN 1090-2. Teräsrakenteiden suunnittelua ohjaa EN 1993 ja niiden toiminnallisia ominaisuuksia tuotestandardit, kuten terässavupiippu- ja säiliöstandardit. Kantavien teräsrakenteiden suunnittelua ja tuotantoa ohjaa myös seuraamusluokan CC, käyttöluokan SC ja tuotantoluokan PC kautta määräytyvä toteutusluokka EXC. Aikaisempaa enemmän tullaan panostamaan esimerkiksi asiakirjojen sähköiseen hallintaan, raaka-aineiden jäljitettävyyteen tuotteeseen, särmien ja kulmien muotoiluun, pintojen käsittelyyn, hitsien tarkastukseen, hitsaushenkilöstön pätevyyteen ja hitsaustuotannon tehokkuuteen. Saarijärven Säiliövalmiste Oy:n hitsauksen laadunhallinta sertifioitiin standardin ISO 3834-2 mukaan ja kantavien teräsrakenteiden FPC-järjestelmä standardisarjaa EN 1090 noudattaen. Samalla tehtiin päivitys laadunhallintajärjestelmään ISO 9001. Toteutus, joka tehtiin sovitussa aikataulussa, haastaa jokaisen toimijan konepajassa toiminnan, tuotannon ja tuotteiden laadun kehittämiseen uusia käytänteitä ja menetelmiä soveltaen. Kehitystoimien tuloksena toiminta on selkeämpää, ennakoitavampaa ja hallitumpaa, mikä lisää yrityksen toiminnan tuottavuutta ja kannattavuutta. Sertifioidut laatujärjestelmät ovat myötävaikuttaneet tilausten lisääntymiseen yrityksen kaikkien tuotteiden osalta.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The objective of the present survey was to assess the Brazilian scientific production in psychiatry, psychobiology, and mental health during the 1998-2002 period. The universities' graduate programs concentrate the vast majority of the scientific production in Brazil. We assessed the annual reports from the graduate programs to the Brazilian Ministry of Education concerning master's and doctoral theses and the articles published in journals indexed by the Institute of Scientific Information (ISI). There are nine Master's and Doctoral graduate programs dedicated to research in psychiatry, neuropsychiatry, psychobiology, and mental health in the country, seven being located in southern states. During the 5-year period, from 1998 to 2002, 186 students received their doctorate degree (37/year). The programs published 637 articles in journals indexed by ISI, the majority of them in journals with an impact factor higher than 2. The research advisors' productivity varied among graduate programs, ranging from 0.6 to 2.0 articles per year in ISI-indexed journals. Despite the substantial barriers faced by the Brazilian scientific community (mainly financial and writing difficulties), Brazil's scientific mental health production is on the rise. The number of articles published in ISI-indexed journals has doubled without a significant increase in the number of graduate theses, suggesting that there was an improvement in both the quality of the scientific production and the productivity of the graduate programs. Based on these data, it is reasonable to predict a tendency to an increase in production over the next few years.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The 3rd International Conference on High Pressure Bioscience and Biotechnology was held in the city of Rio de Janeiro from September 27 to September 30, 2004. The meeting, promoted by the International Association of High Pressure Bioscience and Biotechnology (IAHPBB), congregated top scientists and researchers from all over the world. In common, they shared the use of hydrostatic pressure for research, technical development, or industrial applications. The meeting consisted of invited lectures, contributed papers and a well-attended poster session. Very exciting discussions were held inside and outside the sessions, and the goals of discussing state-of-the-art data and establishing working collaborations and co-operations were fully attained.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The temperature-pressure behavior of proteins seems to be unique among the biological macromolecules. Thermodynamic as well as kinetic data show the typical elliptical stability diagram. This may be extended by assuming that the unfolded state gives rise to volume and enthalpy-driven liquid-liquid transitions. A molecular interpretation follows from the temperature and the pressure dependence of the hydration and cavities. We suggest that positron annihilation spectroscopy can provide additional quantitative evidence for the contributions of cavities to the dynamics of proteins. Only mature amyloid fibrils that form from unfolded proteins are very resistant to pressure treatment.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The pressure behavior of proteins may be summarized as a the pressure-induced disordering of their structures. This thermodynamic parameter has effects on proteins that are similar but not identical to those induced by temperature, the other thermodynamic parameter. Of particular importance are the intermolecular interactions that follow partial protein unfolding and that give rise to the formation of fibrils. Because some proteins do not form fibrils under pressure, these observations can be related to the shape of the stability diagram. Weak interactions which are differently affected by hydrostatic pressure or temperature play a determinant role in protein stability. Pressure acts on the 2º, 3º and 4º structures of proteins which are maintained by electrostatic and hydrophobic interactions and by hydrogen bonds. We present some typical examples of how pressure affects the tertiary structure of proteins (the case of prion proteins), induces unfolding (ataxin), is a convenient tool to study enzyme dissociation (enolase), and provides arguments to understand the role of the partial volume of an enzyme (butyrylcholinesterase). This approach may have important implications for the understanding of the basic mechanism of protein diseases and for the development of preventive and therapeutic measures.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The present study proposes to apply magnitude-squared coherence (MSC) to the somatosensory evoked potential for identifying the maximum driving response band. EEG signals, leads [Fpz'-Cz'] and [C3'-C4'], were collected from two groups of normal volunteers, stimulated at the rate of 4.91 (G1: 26 volunteers) and 5.13 Hz (G2: 18 volunteers). About 1400 stimuli were applied to the right tibial nerve at the motor threshold level. After applying the anti-aliasing filter, the signals were digitized and then further low-pass filtered (200 Hz, 6th order Butterworth and zero-phase). Based on the rejection of the null hypothesis of response absence (MSC(f) > 0.0060 with 500 epochs and the level of significance set at a = 0.05), the beta and gamma bands, 15-66 Hz, were identified as the maximum driving response band. Taking both leads together ("logical-OR detector", with a false-alarm rate of a = 0.05, and hence a = 0.0253 for each derivation), the detection exceeded 70% for all multiples of the stimulation frequency within this range. Similar performance was achieved for MSC of both leads but at 15, 25, 35, and 40 Hz. Moreover, the response was detected in [C3'-C4'] at 35.9 Hz and in [Fpz'-Cz'] at 46.2 Hz for all members of G2. Using the "logical-OR detector" procedure, the response was detected at the 7th multiple of the stimulation frequency for the series as a whole (considering both groups). Based on these findings, the MSC technique may be used for monitoring purposes.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This study attempted to provide a project based on the already tested and successful results of foreign business which can help to contain the final price of innovation on desired levels. The research will attempt to dig out most of available information related to aforementioned definitions and thus completing theoretical background. Next author will explain used methodology and the process of evidence collection. After that the study will show the analysis of collected data in order to obtain results which are going to be compared with stated objectives in the final part. The conclusion of the research and proposed possibilities for additional work will be given in the last part. For this study author has chosen the qualitative model because it performs very well for analysis of small scale of data. The case study method was used because it gave author an opportunity to make an in-depth analysis of the collected information about particular organization so it became possible to analyze system's details in comparison. The results have been early considered valid and applicable to other studies. As the result thesis has proposed undertakings which reflect researches aimed on solving problems with provision of services and development of communications. In addition thesis has proposed formulation of database of postal service for Russian Post when (by request) customer possess an account where he or she can access postal services via PC or info table in postal office and order delivery of postal products which will be given private identification code. Project's payoff period has been calculated as well.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Bone marrow is a heterogeneous cell population which includes hematopoietic and mesenchymal progenitor cells. Dysregulated hematopoiesis occurs in chronic myelogenous leukemia (CML), being caused at least in part by abnormalities in the hematopoietic progenitors. However, the role of mesenchymal stem cells (MSCs) in CML has not been well characterized. The objectives of the present study were to observe the biological characteristics of MSCs from CML patients and to determine if MSCs originate in part from donors in CML patients after bone marrow transplantation (BMT). We analyzed MSCs from 5 untreated patients and from 3 CML patients after sex-mismatched allogeneic BMT. Flow cytometry analysis revealed the typical MSC phenotype and in vitro assays showed ability to differentiate into adipocytes and osteoblasts. Moreover, although some RT-PCR data were contradictory, combined fluorescence in situ hybridization analysis showed that MSCs from CML patients do not express the bcr-abl gene. Regarding MSCs of donor origin, although it is possible to detect Y target sequence by nested PCR, the low frequency (0.14 and 0.34%) of XY cells in 2 MSC CML patients by fluorescence in situ hybridization analysis suggests the presence of contaminant hematopoietic cells and the absence of host-derived MSCs in CML patients. Therefore, we conclude that MSCs from CML patients express the typical MSC phenotype, can differentiate into osteogenic and adipogenic lineages and do not express the bcr-abl gene. MSCs cannot be found in recipients 12 to 20 months after BMT. The influence of MSCs on the dysregulation of hematopoiesis in CML patients deserves further investigation.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Water geochemistry is a very important tool for studying the water quality in a given area. Geology and climate are the major natural factors controlling the chemistry of most natural waters. Anthropogenic impacts are the secondary sources of contamination in natural waters. This study presents the first integrative approach to the geochemistry and water quality of surface waters and Lake Qarun in the Fayoum catchment, Egypt. Moreover, geochemical modeling of Lake Qarun was firstly presented. The Nile River is the main source of water to the Fayoum watershed. To investigate the quality and geochemistry of this water, water samples from irrigation canals, drains and Lake Qarun were collected during the period 2010‒2013 from the whole Fayoum drainage basin to address the major processes and factors governing the evolution of water chemistry in the investigation area. About 34 physicochemical quality parameters, including major ions, oxygen isotopes, trace elements, nutrients and microbiological parameters were investigated in the water samples. Multivariable statistical analysis was used to interpret the interrelationship between the different studied parameters. Geochemical modeling of Lake Qarun was carried out using Hardie and Eugster’s evolutionary model and a model simulated by PHREEQC software. The crystallization sequence during evaporation of Lake Qarun brine was also studied using a Jänecke phase diagram involving the system Na‒K‒Mg‒ Cl‒SO4‒H2O. The results show that the chemistry of surface water in the Fayoum catchment evolves from Ca- Mg-HCO3 at the head waters to Ca‒Mg‒Cl‒SO4 and eventually to Na‒Cl downstream and at Lake Qarun. The main processes behind the high levels of Na, SO4 and Cl in downstream waters and in Lake Qarun are dissolution of evaporites from Fayoum soils followed by evapoconcentration. This was confirmed by binary plots between the different ions, Piper plot, Gibb’s plot and δ18O results. The modeled data proved that Lake Qarun brine evolves from drainage waters via an evaporation‒crystallization process. Through the precipitation of calcite and gypsum, the solution should reach the final composition "Na–Mg–SO4–Cl". As simulated by PHREEQC, further evaporation of lake brine can drive halite to precipitate in the final stages of evaporation. Significantly, the crystallization sequence during evaporation of the lake brine at the concentration ponds of the Egyptian Salts and Minerals Company (EMISAL) reflected the findings from both Hardie and Eugster’s evolutionary model and the PHREEQC simulated model. After crystallization of halite at the EMISAL ponds, the crystallization sequence during evaporation of the residual brine (bittern) was investigated using a Jänecke phase diagram at 35 °C. This diagram was more useful than PHREEQC for predicting the evaporation path especially in the case of this highly concentrated brine (bittern). The predicted crystallization path using a Jänecke phase diagram at 35 °C showed that halite, hexahydrite, kainite and kieserite should appear during bittern evaporation. Yet the actual crystallized mineral salts were only halite and hexahydrite. The absence of kainite was due to its metastability while the absence of kieserite was due to opposed relative humidity. The presence of a specific MgSO4.nH2O phase in ancient evaporite deposits can be used as a paleoclimatic indicator. Evaluation of surface water quality for agricultural purposes shows that some irrigation waters and all drainage waters have high salinities and therefore cannot be used for irrigation. Waters from irrigation canals used as a drinking water supply show higher concentrations of Al and suffer from high levels of total coliform (TC), fecal coliform (FC) and fecal streptococcus (FS). These waters cannot be used for drinking or agricultural purposes without treatment, because of their high health risk. Therefore it is crucial that environmental protection agencies and the media increase public awareness of this issue, especially in rural areas.