56 resultados para Métodos formais. Desenvolvimento baseado em componentes. Concorrência. Verificação de modelos


Relevância:

40.00% 40.00%

Publicador:

Resumo:

The freedom of concurrence, firstly conceived as a simple market fundament in productive systems that recognized the productive forces freedom of action, appears as a clear instrument of protection and fomentation of the market, recognizing the importance of the simultaneous existence of various economic forces such the proper capitalism reason of constitution. It has, thus, a directly role linked to the fundamental idea that the market and its productive forces needed of a protection against itself, because it exists inside the market situations and circumstances, provoked or not, that could prejudice and even annihilate the its existence and functioning, whilst a complex role of productive forces presents at all economic creation space. It was the primacy of the classic liberalism, the first phase of the capitalism. The Constitutions, in that historic moment, did not proclaim any interference at the economic scenario, simply because it recognized the existence of an economic freedom prepared to justify and guarantee the market forces, with its own rules. Based on the structural changes that occurred at the following historic moments, inside the constitutionally recognized capitalism, it was verified changes in the ambit of treatment of the freedom of concurrence principle that, in a progressive way, passes to present a configuration more concerned with socialist and developing ideas, as long as not only a market guarantee. It emerges a freedom of concurrence which aim is instrumental, in relation to its objectives and constitutional direction as a role, and not anymore stagnant and with isolated treatment, in special at the constitutional systems the present s clear aspects of social interventions and guarantor of fundamental rights more extensive and harmonious. That change is located at a space of state actuation much more ample and juridical important, this time comprehending the necessity of managing the productive scenario aiming to reach a national social and economic development effectively guarantor of fundamental rights for all citizens. Those Constitutions take as point of starting that the social and economic development, and not only anymore the economic growth, is the effective way for concretization of these rights. In that way it needs to be observed and crystallized by political and juridical tools that respect the ideological fundamental spirit of the Constitutional Charters. In that scenario that seeks for solutions of rights accomplishment, in special the social rights, the constitutional principle of freedom of concurrence has been seen as an instrument for reaching bigger values and directives, such as the social justice, which only can be real at a State that can implement a comprehensive and permanent social and economic development. The freedom of concurrence tries to valorize and defend something larger and consonant to the political values expressed in the Constitutional Charters with social character, which is the right to a social and economical sustainable development, guarantor of more clear and compromised collective benefits with social justice. The origin of that constitutional imposition is not only supported by vague orientations of the economic space, but as integrated to it, with basis formed of normative and principles posted and prepared to produce effects at the proper reason of the Constitution

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Worldwide, the demand for transportation services for persons with disabilities, the elderly, and persons with reduced mobility have increased in recent years. The population is aging, governments need to adapt to this reality, and this fact could mean business opportunities for companies. Within this context is inserted the Programa de Acessibilidade Especial porta a porta PRAE, a door to door public transportation service from the city of Natal-RN in Brazil. The research presented in this dissertation seeks to develop a programming model which can assist the process of decision making of managers of the shuttle. To that end, it was created an algorithm based on methods of generating approximate solutions known as heuristics. The purpose of the model is to increase the number of people served by the PRAE, given the available fleet, generating optimized schedules routes. The PRAE is a problem of vehicle routing and scheduling of dial-a-ride - DARP, the most complex type among the routing problems. The validation of the method of resolution was made by comparing the results derived by the model and the currently programming method. It is expected that the model is able to increase the current capacity of the service requests of transport

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Due of industrial informatics several attempts have been done to develop notations and semantics, which are used for classifying and describing different kind of system behavior, particularly in the modeling phase. Such attempts provide the infrastructure to resolve some real problems of engineering and construct practical systems that aim at, mainly, to increase the productivity, quality, and security of the process. Despite the many studies that have attempted to develop friendly methods for industrial controller programming, they are still programmed by conventional trial-and-error methods and, in practice, there is little written documentation on these systems. The ideal solution would be to use a computational environment that allows industrial engineers to implement the system using high-level language and that follows international standards. Accordingly, this work proposes a methodology for plant and control modelling of the discrete event systems that include sequential, parallel and timed operations, using a formalism based on Statecharts, denominated Basic Statechart (BSC). The methodology also permits automatic procedures to validate and implement these systems. To validate our methodology, we presented two case studies with typical examples of the manufacturing sector. The first example shows a sequential control for a tagged machine, which is used to illustrated dependences between the devices of the plant. In the second example, we discuss more than one strategy for controlling a manufacturing cell. The model with no control has 72 states (distinct configurations) and, the model with sequential control generated 20 different states, but they only act in 8 distinct configurations. The model with parallel control generated 210 different states, but these 210 configurations act only in 26 distinct configurations, therefore, one strategy control less restrictive than previous. Lastly, we presented one example for highlight the modular characteristic of our methodology, which it is very important to maintenance of applications. In this example, the sensors for identifying pieces in the plant were removed. So, changes in the control model are needed to transmit the information of the input buffer sensor to the others positions of the cell

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Due to the current need of the industry to integrate data of the beginning of production originating from of several sources and of transforming them in useful information for sockets of decisions, a search exists every time larger for systems of visualization of information that come to collaborate with that functionality. On the other hand, a common practice nowadays, due to the high competitiveness of the market, it is the development of industrial systems that possess characteristics of modularity, distribution, flexibility, scalability, adaptation, interoperability, reusability and access through web. Those characteristics provide an extra agility and a larger easiness in adapting to the frequent changes of demand of the market. Based on the arguments exposed above, this work consists of specifying a component-based architecture, with the respective development of a system based on that architecture, for the visualization of industrial data. The system was conceived to be capable to supply on-line information and, optionally, historical information of variables originating from of the beginning of production. In this work it is shown that the component-based architecture developed possesses the necessary requirements for the obtaining of a system robust, reliable and of easy maintenance, being, like this, in agreement with the industrial needs. The use of that architecture allows although components can be added, removed or updated in time of execution, through a manager of components through web, still activating more the adaptation process and updating of the system

Relevância:

40.00% 40.00%

Publicador:

Resumo:

The reconfiguration of a distribution network is a change in its topology, aiming to provide specific operation conditions of the network, by changing the status of its switches. It can be performed regardless of any system anomaly. The service restoration is a particular case of reconfiguration and should be performed whenever there is a network failure or whenever one or more sections of a feeder have been taken out of service for maintenance. In such cases, loads that are supplied through lines sections that are downstream of portions removed for maintenance may be supplied by the closing of switches to the others feeders. By classical methods of reconfiguration, several switches may be required beyond those used to perform the restoration service. This includes switching feeders in the same substation or for substations that do not have any direct connection to the faulted feeder. These operations can cause discomfort, losses and dissatisfaction among consumers, as well as a negative reputation for the energy company. The purpose of this thesis is to develop a heuristic for reconfiguration of a distribution network, upon the occurrence of a failure in this network, making the switching only for feeders directly involved in this specific failed segment, considering that the switching applied is related exclusively to the isolation of failed sections and bars, as well as to supply electricity to the islands generated by the condition, with significant reduction in the number of applications of load flows, due to the use of sensitivity parameters for determining voltages and currents estimated on bars and lines of the feeders directly involved with that failed segment. A comparison between this process and classical methods is performed for different test networks from the literature about networks reconfiguration

Relevância:

40.00% 40.00%

Publicador:

Resumo:

This work has as main objective to show all the particularities regarding the Three-phase Power Summation Method, used for load flow calculation, in what it says respect to the influence of the magnetic coupling among the phases, as well as to the losses presented in all the existent transformers in the feeder to be analyzed. Besides, its application is detailed in the study of the short-circuits, that happen in the presence of high impedance values, which possess a problem, that is its difficult detection and consequent elimination on the part of common devices of protection. That happens due to the characteristic presented by the current of short¬ circuit, in being generally of the same order of greatness that the load currents. Results of simulations accomplished in several situations will be shown, objectifying a complete analysis of the behavior of the proposed method in several types of short-circuits. Confront of the results obtained by the method with results of another works will be presented to verify its effectiveness

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

Relevância:

40.00% 40.00%

Publicador:

Resumo:

The Electrical Submersible Pump (ESP) has been one of the most appropriate solutions for lifting method in onshore and offshore applications. The typical features for this application are adverse temperature, viscosity fluids and gas environments. The difficulties in equipments maintenance and setup contributing to increasing costs of oil production in deep water, therefore, the optimization through automation can be a excellent approach for decrease costs and failures in subsurface equipment. This work describe a computer simulation related with the artificial lifting method ESP. This tool support the dynamic behavior of ESP approach, considering the source and electric energy transmission model for the motor, the electric motor model (including the thermal calculation), flow tubbing simulation, centrifugal pump behavior simulation with liquid nature effects and reservoir requirements. In addition, there are tri-dimensional animation for each ESP subsytem (transformer, motor, pump, seal, gas separator, command unit). This computer simulation propose a improvement for monitoring oil wells for maximization of well production. Currenty, the proprietaries simulators are based on specific equipments manufactures. Therefore, it is not possible simulation equipments of another manufactures. In the propose approach there are support for diverse kinds of manufactures equipments

Relevância:

40.00% 40.00%

Publicador:

Resumo:

The objective of the dissertation was the realization of kinematic modeling of a robotic wheelchair using virtual chains, allowing the wheelchair modeling as a set of robotic manipulator arms forming a cooperative parallel kinematic chain. This document presents the development of a robotic wheelchair to transport people with special needs who overcomes obstacles like a street curb and barriers to accessibility in streets and avenues, including the study of assistive technology, parallel architecture, kinematics modeling, construction and assembly of the prototype robot with the completion of a checklist of problems and barriers to accessibility in several pathways, based on rules, ordinances and existing laws. As a result, simulations were performed on the chair in various states of operation to accomplish the task of going up and down stair with different measures, making the proportional control based on kinematics. To verify the simulated results we developed a prototype robotic wheelchair. This project was developed to provide a better quality of life for people with disabilities

Relevância:

40.00% 40.00%

Publicador:

Resumo:

The manufacture of prostheses for lower limb amputees (transfemural and transtibial) requires the preparation of a cartridge with appropriate and custom fit to the profile of each patient. The traditional process to the patients, mainly in public hospitals in Brazil, begins with the completion of a form where types of equipment, plugins, measures, levels of amputation etc. are identified. Currently, such work is carried out manually using a common metric tape and caliper of wood to take the measures of the stump, featuring a very rudimentary, and with a high degree of uncertainty geometry of the final product. To address this problem, it was necessary to act in two simultaneously and correlated directions. Originally, it was developed an integrated tool for viewing 3D CAD for transfemoral types of prostheses and transtibial called OrtoCAD I. At the same time, it was necessary to design and build a reader Mechanical equipment (sort of three-dimensional scanner simplified) able to obtain, automatically and with accuracy, the geometric information of either of the stump or the healthy leg. The methodology includes the application of concepts of reverse engineering to computationally generate the representation of the stump and/or the reverse image of the healthy member. The materials used in the manufacturing of prostheses nor always obey to a technical scientific criteria, because, if by one way it meets the criteria of resistance, by the other, it brings serious problems mainly due to excess of weight. This causes to the user various disorders due to lack of conformity. That problem was addressed with the creation of a hybrid composite material for the manufacture of cartridges of prostheses. Using the Reader Fitter and OrtoCAD, the new composite material, which aggregates the mechanical properties of strength and rigidity on important parameters such as low weight and low cost, it can be defined in its better way. Besides, it brings a reduction of up steps in the current processes of manufacturing or even the feasibility of using new processes, in the industries, in order to obtain the prostheses. In this sense, the hybridization of the composite with the combination of natural and synthetic fibers can be a viable solution to the challenges offered above

Relevância:

40.00% 40.00%

Publicador:

Resumo:

In general, the designs of equipment takes into account the effects and processes of deterioration it will undergo and arrives at an approximate useful life. However, changes in operational processes and parameters, the action of external agents, the kind of maintenance conducted, the means of monitoring, and natural and accidental occurrences completely modify the desired performance of the equipment. The discontinuities that occur in anisotropic materials often and due to different factors evolve from being subcritical to critical acquiring the status of defect and compromising the physical integrity of the equipment. Increasingly sophisticated technological means of detection, monitoring and assessment of these discontinuities are required to respond ever more rapidly to the requirements of industry. This paper therefore presents a VPS (Virtual Pipe System) computational tool which uses the results of ultrasonic tests on equipment, plotting the discontinuities found in models created in the CAD and CAE systems, and then simulates the behavior of these defects in the structure to give an instantaneous view of the final behavior. This paper also presents an alternative method of conventional ultrasonic testing which correlates the integrity of an overlay (carbon steel and stainless steel attached by welding) and the reflection of ultrasonic waves coming from the interface between the two metals, thus making it possible to identify cracks in the casing and a shift of the overlay

Relevância:

40.00% 40.00%

Publicador:

Resumo:

In this work it was synthesized and characterized the cobalt ferrite (CoFe2O4) by two methods: complexation combining EDTA/Citrate and hydrothermal investigating the influence of the synthesis conditions on phase formation and on the crystallite size. The powders were mainly characterized by x-ray diffraction. In specific cases, it was also used scanning electron microscopy (SEM), energy dispersive spectroscopy (EDS), x-ray fluorescence (XRF) and isotherms of adsorption and desorption of nitrogen (BET method). The study of the crystallite size was based on the interpretation of x-ray diffractograms obtained and estimated by the method of Halder-Wagner-Scherrer and Langford. An experimental design was made in order to assist in quantifying the influence of synthesis conditions on the response variables. The synthesis parameters evaluated in this study were: pH of the reaction medium (8, 9 and 10), the calcination temperature (combined complexation method EDTA/Citrate 600°C, 800°C and 1000°C), synthesis temperature (hydrothermal method 120°C, 140°C and 160°C), calcination time (combined complexation method EDTA/Citrate - 2, 4 and 6 hours) and time of synthesis (hydrothermal method 6, 15 and 24 hours). By the hydrothermal method was possible to produce mesoporous powders with high purity, with an average crystallite size up to 7 nm, with a surface area of 113.44 m²/g in the form of pellets with irregular morphology. By using the method of combined complexation EDTA/Citrate, mesoporous powders were produced with greater purity, crystallite size up to 22nm and 27.95 m²/g of surface area in the form of pellets with a regular morphology of plaques. In the experimental design was found that the hydrothermal method to all the studied parameters (pH, temperature and time) have significant effect on the crystallite size, while to the combined complexation method EDTA/Citrate, only temperature and time were significant

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Broadly speaking, the concept of gene therapy involves the transfer of a genetic material into a cell, tissue, or organ in order to cure a disease or at least improve the clinical status of a patient. Making it simple, gene therapy consists in the insertion of functional genes into cells containing defective genes by substituting, complementing or inhibiting them. The achievement of a foreigner DNA expression into a population of cells requires its transfer to the target. Therefore, it is a key issue to create systems able to transfer and protect the DNA until it reaches the target, the vectors. The disadvantages related to the use of viral vectors have encouraged efforts to develop emulsions as non-viral vectors. In fact, they are easily produced, present controllable stability and enable transfection. The aim of this work was to develop an emulsion for gene therapy and evaluate its ability to compact nucleic acids by the development of a complex with the plasmid pIRES2-EGFP. The first step was to determine the Hydrophilic Lipophilic Balance (HLB) of the Captex® 355 (oily internal phase of the emulsion) through long and short term stability assays. Based on the results, emulsions composed of Captex® 355, Tween 20® and Span 60® with 10.7 HLB were produced by three different methods: phase inversion, spontaneous emulsification and sonication. The results showed that the lowest diameter and best stability of the emulsions were achieved by the sonication method. The cationic emulsions were made by adding DOTAP to the basic emulsion. Its association with pIRES2-EGFP was evaluated by electrophoresis. Several rates of emulsion and DNA were evaluated and the results showed that 100% of the complex was formed when the rate DOTAP/DNA(nmol/µg) was 130. In conclusion, the overall results show the ability of the proposed emulsion to compact pIRES2-EGFP, which is a requirement to a successful transfection. Therefore, such formulation may be considered a promising candidate for gene therapy

Relevância:

40.00% 40.00%

Publicador:

Resumo:

The present work aims the preparation of filmes of strontium-doped lanthanum manganite (perovskita) yttria-stabilized zirconia (LSM-SDC) films deposited on substrate of YSZ by means of spin coating technique having as principal objective their application to solid oxide fuel cells of intermediate temperature. La0,8Sr0,2MnO3 and Ce0,8Sm0,2O1,9 were obtained by modified Pechini method by use of gelatin which act as polymerization agent. The powders obtained were characterized by Xray fluorescence, X ray diffraction, electronic scanning microscopy and the superficial area by BET method. The results obtained by X-ray fluorescence showed that the route adopted for obtention of powders was effective in the obtention of the compositions with close values to the stoichiometrics. Ethyl cellulose was used as pore-forming agent and mixed with the LSM-SDC powders in weight proportions of 1:24, 2:23 and 1:9. The films were sintered at 1150 °C for 4 h and characterized by X-ray diffraction and scanning electron microscopy technique (SEM) and atomic force. The phases quantification of the precursory powders and of the obtained films was carried through Rietveld method. According with the analysis of SEM, as the content of ethyl cellulose was increased, the pore distribution in films become more uniform and the pore size reduced. The methodology used for the obtention of the films was very efficient, considering a material was obtained with characteristics that were proper to the application as electrolyte/cathode system to solid oxide fuel cells

Relevância:

40.00% 40.00%

Publicador:

Resumo:

The increase of capacity to integrate transistors permitted to develop completed systems, with several components, in single chip, they are called SoC (System-on-Chip). However, the interconnection subsystem cans influence the scalability of SoCs, like buses, or can be an ad hoc solution, like bus hierarchy. Thus, the ideal interconnection subsystem to SoCs is the Network-on-Chip (NoC). The NoCs permit to use simultaneous point-to-point channels between components and they can be reused in other projects. However, the NoCs can raise the complexity of project, the area in chip and the dissipated power. Thus, it is necessary or to modify the way how to use them or to change the development paradigm. Thus, a system based on NoC is proposed, where the applications are described through packages and performed in each router between source and destination, without traditional processors. To perform applications, independent of number of instructions and of the NoC dimensions, it was developed the spiral complement algorithm, which finds other destination until all instructions has been performed. Therefore, the objective is to study the viability of development that system, denominated IPNoSys system. In this study, it was developed a tool in SystemC, using accurate cycle, to simulate the system that performs applications, which was implemented in a package description language, also developed to this study. Through the simulation tool, several result were obtained that could be used to evaluate the system performance. The methodology used to describe the application corresponds to transform the high level application in data-flow graph that become one or more packages. This methodology was used in three applications: a counter, DCT-2D and float add. The counter was used to evaluate a deadlock solution and to perform parallel application. The DCT was used to compare to STORM platform. Finally, the float add aimed to evaluate the efficiency of the software routine to perform a unimplemented hardware instruction. The results from simulation confirm the viability of development of IPNoSys system. They showed that is possible to perform application described in packages, sequentially or parallelly, without interruptions caused by deadlock, and also showed that the execution time of IPNoSys is more efficient than the STORM platform