935 resultados para System modeling


Relevância:

60.00% 60.00%

Publicador:

Resumo:

In the past, the changes made in organizations were from decisions made by senior administrators and were implemented through authority and power. This sort of change doesn¿t work today because at a time when knowledge is one of the main tools for development, senior administrators need the participation of employees who directly handle strategic information for the company, having the necessary data for the conception, planning and execution of changes. Companies have begun to realize that the use of their own competent staff is the way to implement faster and more efficient strategic maneuvers. Which means, for a successful change, the whole process has to involve their employees. They have to develop efficient methods, such as, techniques for analysis, problem solution, team work, system modeling, change in attitudes and behavior, and management of the organizations culture. These methods define the professional profile of those responsible for the change. Today, each administrator must have the necessary qualifications, knowledge, and competence to identify the need for an organizational change and its introduction. In truth, each administrator is responsible for the structural change in his area and the standardization of his services.

Relevância:

60.00% 60.00%

Publicador:

Resumo:

The capacitor placement problem for radial distribution networks aims to determine capacitor types, sizes, locations and control scheme. This is a combinatorial problem that can be formulated as a mixed integer nonlinear program. The paper presents an algorithm inspired in artificial immune systems and developed for this specific problem. A good performance was obtained through experimental tests applied to known systems. © 2006 IEEE.

Relevância:

60.00% 60.00%

Publicador:

Resumo:

This paper presents the operational analysis of the single-phase integrated buck-boost inverter. This topology is able to convert the DC input voltage into AC voltage with a high static gain, low harmonic content and acceptable efficiency, all in one single-stage. Main functionality aspects are explained, design procedure, system modeling and control, and also component requirements are detailed. Main simulation results are included, and two prototypes were implemented and experimentally tested, where its results are compared with those corresponding to similar topologies available in literature. © 2012 IEEE.

Relevância:

60.00% 60.00%

Publicador:

Resumo:

Modal analysis is widely approached in the classic theory of transmission line modeling. This technique is applied to model the three-phase representation of conventional electric systems taking into account their self and mutual electrical parameters. However the methodology has some particularities and inaccuracies for specific applications which are not clearly described in the basic references of this topic. This paper provides a thorough review of modal analysis theory applied to line models followed by an original and simple procedure to overcome the possible errors embedded in the modal decoupling through the three-phase system modeling. © 2012 IEEE.

Relevância:

60.00% 60.00%

Publicador:

Resumo:

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Relevância:

60.00% 60.00%

Publicador:

Resumo:

Process algebraic architectural description languages provide a formal means for modeling software systems and assessing their properties. In order to bridge the gap between system modeling and system im- plementation, in this thesis an approach is proposed for automatically generating multithreaded object-oriented code from process algebraic architectural descriptions, in a way that preserves – under certain assumptions – the properties proved at the architectural level. The approach is divided into three phases, which are illustrated by means of a running example based on an audio processing system. First, we develop an architecture-driven technique for thread coordination management, which is completely automated through a suitable package. Second, we address the translation of the algebraically-specified behavior of the individual software units into thread templates, which will have to be filled in by the software developer according to certain guidelines. Third, we discuss performance issues related to the suitability of synthesizing monitors rather than threads from software unit descriptions that satisfy specific constraints. In addition to the running example, we present two case studies about a video animation repainting system and the implementation of a leader election algorithm, in order to summarize the whole approach. The outcome of this thesis is the implementation of the proposed approach in a translator called PADL2Java and its integration in the architecture-centric verification tool TwoTowers.

Relevância:

60.00% 60.00%

Publicador:

Resumo:

High-latitude ecosystems play an important role in the global carbon cycle and in regulating the climate system and are presently undergoing rapid environmental change. Accurate land cover data sets are required to both document these changes as well as to provide land-surface information for benchmarking and initializing Earth system models. Earth system models also require specific land cover classification systems based on plant functional types (PFTs), rather than species or ecosystems, and so post-processing of existing land cover data is often required. This study compares over Siberia, multiple land cover data sets against one another and with auxiliary data to identify key uncertainties that contribute to variability in PFT classifications that would introduce errors in Earth system modeling. Land cover classification systems from GLC 2000, GlobCover 2005 and 2009, and MODIS collections 5 and 5.1 are first aggregated to a common legend, and then compared to high-resolution land cover classification systems, vegetation continuous fields (MODIS VCFs) and satellite-derived tree heights (to discriminate against sparse, shrub, and forest vegetation). The GlobCover data set, with a lower threshold for tree cover and taller tree heights and a better spatial resolution, tends to have better distributions of tree cover compared to high-resolution data. It has therefore been chosen to build new PFT maps for the ORCHIDEE land surface model at 1 km scale. Compared to the original PFT data set, the new PFT maps based on GlobCover 2005 and an updated cross-walking approach mainly differ in the characterization of forests and degree of tree cover. The partition of grasslands and bare soils now appears more realistic compared with ground truth data. This new vegetation map provides a framework for further development of new PFTs in the ORCHIDEE model like shrubs, lichens and mosses, to represent the water and carbon cycles in northern latitudes better. Updated land cover data sets are critical for improving and maintaining the relevance of Earth system models for assessing climate and human impacts on biogeochemistry and biophysics.

Relevância:

60.00% 60.00%

Publicador:

Resumo:

The source rock potential of Cretaceous organic rich whole rock samples from deep sea drilling project (DSDP) wells offshore southwestern Africa was investigated using bulk and quantitative pyrolysis techniques. The sample material was taken from organic rich intervals of Aptian, Albian and Turonian aged core samples from DSDP site 364 offshore Angola, DSDP well 530A north of the Walvis Ridge offshore Namibia, and DSDP well 361 offshore South Africa. The analytical program included TOC, Rock-Eval, pyrolysis GC, bulk kinetics and micro-scale sealed vessel pyrolysis (MSSV) experiments. The results were used to determine differences in the source rock petroleum type organofacies, petroleum composition, gas/oil ratio (GOR) and pressure-volume-temperature (PVT) behavior of hydrocarbons generated from these black shales for petroleum system modeling purposes. The investigated Aptian and Albian organic rich shales proved to contain excellent quality marine kerogens. The highest source rock potential was identified in sapropelic shales in DSDP well 364, containing very homogeneous Type II and organic sulfur rich Type IIS kerogen. They generate P-N-A low wax oils and low GOR sulfur rich oils, whereas Type III kerogen rich silty sandstones of DSDP well 361 show a potential for gas/condensate generation. Bulk kinetic experiments on these samples indicate that the organic sulfur contents influence kerogen transformation rates, Type IIS kerogen being the least stable. South of the Walvis Ridge, the Turonian contains predominantly a Type III kerogen. North of the Walvis Ridge, the Turonian black shales contain Type II kerogen and have the potential to generate P-N-A low and high wax oils, the latter with a high GOR at high maturity. Our results provide the first compositional kinetic description of Cretaceous organic rich black shales, and demonstrate the excellent source rock potential, especially of the Aptian-aged source rock, that has been recognized in a number of the South Atlantic offshore basins.

Relevância:

60.00% 60.00%

Publicador:

Resumo:

Este trabalho propõe dois métodos para teste de sistemas de software: o primeiro extrai ideias de teste de um modelo desenvolvido em rede de Petri hierárquica e o segundo valida os resultados após a realização dos testes utilizando um modelo em OWL-S. Estes processos aumentam a qualidade do sistema desenvolvido ao reduzir o risco de uma cobertura insuficiente ou teste incompleto de uma funcionalidade. A primeira técnica apresentada consiste de cinco etapas: i) avaliação do sistema e identificação dos módulos e entidades separáveis, ii) levantamento dos estados e transições, iii) modelagem do sistema (bottom-up), iv) validação do modelo criado avaliando o fluxo de cada funcionalidade e v) extração dos casos de teste usando uma das três coberturas de teste apresentada. O segundo método deve ser aplicado após a realização dos testes e possui cinco passos: i) primeiro constrói-se um modelo em OWL (Web Ontology Language) do sistema contendo todas as informações significativas sobre as regras de negócio da aplicação, identificando as classes, propriedades e axiomas que o regem; ii) em seguida o status inicial antes da execução é representado no modelo através da inserção das instâncias (indivíduos) presentes; iii) após a execução dos casos de testes, a situação do modelo deve ser atualizada inserindo (sem apagar as instâncias já existentes) as instâncias que representam a nova situação da aplicação; iv) próximo passo consiste em utilizar um reasoner para fazer as inferências do modelo OWL verificando se o modelo mantém a consistência, ou seja, se não existem erros na aplicação; v) finalmente, as instâncias do status inicial são comparadas com as instâncias do status final, verificando se os elementos foram alterados, criados ou apagados corretamente. O processo proposto é indicado principalmente para testes funcionais de caixa-preta, mas pode ser facilmente adaptado para testes em caixa branca. Obtiveram-se casos de testes semelhantes aos que seriam obtidos em uma análise manual mantendo a mesma cobertura do sistema. A validação provou-se condizente com os resultados esperados, bem como o modelo ontológico mostrouse bem fácil e intuitivo para aplicar manutenções.

Relevância:

60.00% 60.00%

Publicador:

Resumo:

Federal Highway Administration, Office of Research and Development, Washington, D.C.

Relevância:

60.00% 60.00%

Publicador:

Resumo:

National Highway Traffic Safety Administration, Washington, D.C.

Relevância:

60.00% 60.00%

Publicador:

Resumo:

National Highway Traffic Safety Administration, Washington, D.C.

Relevância:

60.00% 60.00%

Publicador:

Resumo:

National Highway Traffic Safety Administration, Washington, D.C.

Relevância:

60.00% 60.00%

Publicador:

Resumo:

National Highway Traffic Safety Administration, Washington, D.C.

Relevância:

60.00% 60.00%

Publicador:

Resumo:

National Highway Traffic Safety Administration, Washington, D.C.