99 resultados para automatic test case generation


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Image categorization by means of bag of visual words has received increasing attention by the image processing and vision communities in the last years. In these approaches, each image is represented by invariant points of interest which are mapped to a Hilbert Space representing a visual dictionary which aims at comprising the most discriminative features in a set of images. Notwithstanding, the main problem of such approaches is to find a compact and representative dictionary. Finding such representative dictionary automatically with no user intervention is an even more difficult task. In this paper, we propose a method to automatically find such dictionary by employing a recent developed graph-based clustering algorithm called Optimum-Path Forest, which does not make any assumption about the visual dictionary's size and is more efficient and effective than the state-of-the-art techniques used for dictionary generation. © 2012 IEEE.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Image categorization by means of bag of visual words has received increasing attention by the image processing and vision communities in the last years. In these approaches, each image is represented by invariant points of interest which are mapped to a Hilbert Space representing a visual dictionary which aims at comprising the most discriminative features in a set of images. Notwithstanding, the main problem of such approaches is to find a compact and representative dictionary. Finding such representative dictionary automatically with no user intervention is an even more difficult task. In this paper, we propose a method to automatically find such dictionary by employing a recent developed graph-based clustering algorithm called Optimum-Path Forest, which does not make any assumption about the visual dictionary's size and is more efficient and effective than the state-of-the-art techniques used for dictionary generation.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This article introduces an efficient method to generate structural models for medium-sized silicon clusters. Geometrical information obtained from previous investigations of small clusters is initially sorted and then introduced into our predictor algorithm in order to generate structural models for large clusters. The method predicts geometries whose binding energies are close (95%) to the corresponding value for the ground-state with very low computational cost. These predictions can be used as a very good initial guess for any global optimization algorithm. As a test case, information from clusters up to 14 atoms was used to predict good models for silicon clusters up to 20 atoms. We believe that the new algorithm may enhance the performance of most optimization methods whenever some previous information is available. (C) 2003 Wiley Periodicals, Inc.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The Weyl-Wigner prescription for quantization on Euclidean phase spaces makes essential use of Fourier duality. The extension of this property to more general phase spaces requires the use of Kac algebras, which provide the necessary background for the implementation of Fourier duality on general locally compact groups. Kac algebras - and the duality they incorporate - are consequently examined as candidates for a general quantization framework extending the usual formalism. Using as a test case the simplest nontrivial phase space, the half-plane, it is shown how the structures present in the complete-plane case must be modified. Traces, for example, must be replaced by their noncommutative generalizations - weights - and the correspondence embodied in the Weyl-Wigner formalism is no longer complete. Provided the underlying algebraic structure is suitably adapted to each case, Fourier duality is shown to be indeed a very powerful guide to the quantization of general physical systems.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This paper develops a novel full analytic model for vibration analysis of solid-state electronic components. The model is just as accurate as finite element models and numerically light enough to permit for quick design trade-offs and statistical analysis. The paper shows the development of the model, comparison to finite elements and an application to a common engineering problem. A gull-wing flat pack component was selected as the benchmark test case, although the presented methodology is applicable to a wide range of component packages. Results showed very good agreement between the presented method and finite elements and demonstrated the usefulness of the method in how to use standard test data for a general application. © 2013 Elsevier Ltd.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Relevância:

100.00% 100.00%

Publicador:

Resumo:

T he people’s daily lives are surrounded by computing devices, with increasing resources (sensors) and, with increasing processing. How these devices communicate is still not natural and This retards the growth of Ubiquitous Computing. This paper presents a way in which these devices can communicate using Jini technology and concepts of Service Oriented Architecture, applying these concepts in a test case of Ubiquitous Computing. To conduct the test case was constructed a fictitious system for management of a soccer championship, where users can interact with each other and with the system in a simplified way, have access to data in real time of the championship during the event. This communication is performed by services built using Jini technology, which were based on key SOA concepts, such as modularity and reusability

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Pós-graduação em Engenharia Mecânica - FEG

Relevância:

50.00% 50.00%

Publicador:

Resumo:

This paper proposes an approach of optimal sensitivity applied in the tertiary loop of the automatic generation control. The approach is based on the theorem of non-linear perturbation. From an optimal operation point obtained by an optimal power flow a new optimal operation point is directly determined after a perturbation, i.e., without the necessity of an iterative process. This new optimal operation point satisfies the constraints of the problem for small perturbation in the loads. The participation factors and the voltage set point of the automatic voltage regulators (AVR) of the generators are determined by the technique of optimal sensitivity, considering the effects of the active power losses minimization and the network constraints. The participation factors and voltage set point of the generators are supplied directly to a computational program of dynamic simulation of the automatic generation control, named by power sensitivity mode. Test results are presented to show the good performance of this approach. (C) 2008 Elsevier B.V. All rights reserved.

Relevância:

50.00% 50.00%

Publicador:

Resumo:

This paper describes a program for the automatic generation of code for Intel's 8051 microcontroller. The code is generated from a place-transition Petri net specification. Our goal is to minimize programming time. The code generated by our program has been observed to exactly match the net model. It has also been observed that no change is needed to be made to the generated code for its compilation to the target architecture. © 2011 IFAC.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

The power system stability analysis is approached taking into explicit account the dynamic performance of generators internal voltages and control devices. The proposed method is not a direct method in the usual sense since conclusion for stability or instability is not exclusively based on energy function considerations but it is automatic since the conclusion is achieved without an analyst intervention. The stability test accounts for the nonconservative nature of the system with control devices such as the automatic voltage regulator (AVR) and automatic generation control (AGC) in contrast with the well-known direct methods. An energy function is derived for the system with machines forth-order model, AVR and AGC and it is used to start the analysis procedure and to point out criticalities. The conclusive analysis itself is made by means of a method based on the definition of a region surrounding the equilibrium point where the system net torque is equilibrium restorative. This region is named positive synchronization region (PSR). Since the definition of the PSR boundaries have no dependence on modelling approximation, the PSR test conduces to reliable results. (C) 2008 Elsevier Ltd. All rights reserved.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Representative Life-Cycle Inventories (LCIs) are essential for Life-Cycle Assessments (LCAs) quality and readiness. Because energy is such an important element of LCAs, appropriate LCIs on energy are crucial, and due to the prevalence of hydropower on Brazilian electricity mix, the frequently used LCIs are not representative of the Brazilian conditions. The present study developed a LCI of the Itaipu Hydropower Plant, the major hydropower plant in the world, responsible for producing 23.8% of Brazil's electricity consumption. Focused on the capital investments to construct and operate the dam, the LCI was designed to serve as a database for the LCAs of Brazilian hydroelectricity production. The life-cycle boundaries encompass the construction and operation of the dam, as well as the life-cycles of the most important material and energy consumptions (cement, steel, copper, diesel oil, lubricant oil), as well as construction site operation, emissions from reservoir flooding, material and workers transportation, and earthworks. As a result, besides the presented inventory, it was possible to determine the following processes, and respective environmental burdens as the most important life-cycle hotspots: reservoir filling (CO(2) and CH(4) emission: land use); steel life-cycle (water and energy consumption; CO, particulates, SO(x) and NO(x) emissions); cement life-cycle (water and energy consumption; CO(2) and particulate emissions); and operation of civil construction machines (diesel consumption; NO(x) emissions). Compared with another hydropower studies, the LCI showed magnitude adequacy, with better results than small hydropower, which reveals a scale economy for material and energy exchanges in the case of ltaipu Power Plant. (C) 2009 Elsevier Ltd. All rights reserved.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

The applications of the Finite Element Method (FEM) for three-dimensional domains are already well documented in the framework of Computational Electromagnetics. However, despite the power and reliability of this technique for solving partial differential equations, there are only a few examples of open source codes available and dedicated to the solid modeling and automatic constrained tetrahedralization, which are the most time consuming steps in a typical three-dimensional FEM simulation. Besides, these open source codes are usually developed separately by distinct software teams, and even under conflicting specifications. In this paper, we describe an experiment of open source code integration for solid modeling and automatic mesh generation. The integration strategy and techniques are discussed, and examples and performance results are given, specially for complicated and irregular volumes which are not simply connected. © 2011 IEEE.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

With growing electricty demand, the importance of generation through hydropower, a renewable energy source, it’s of great importance. This demand derives from the country’s growth, as well as events that will occur in the coming years. The commission has a crucial role before the entry into operation of hydroelectric plant, sice, ensures a good operation of hydraulic and electrical systems, as well as the safety of the installation. This paper is a case study, commissioning in a PCH in especially the most important tests, such as range operation, índex tes and load rejection. In these trials we can get a Idea of the actual behavior of the unit, as well as future operation maneuvers, and evidence of real efficiency

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Doria, R.G.S.; Canola, P.A.; Freitas, S.H. & Canola, J.C. [Equine chronic proliferative synovitis (villonodular synovitis): clinical, radiographic and ultrasonographic aspects: Relate of case.] Sinovite proliferativa cronica (sinovite vilonodular) em equino: aspectos clinicos, radiograficos e ultra-sonograficos: Relato de caso. Revista Brasileira de Medicina Veterinciria 30(3):157-161, 2008. Departamento de Cirurgia, Faculdade de Medicina Veterinaria, Universidade de Cuiaba, UNIC, Av. Antartica 788, Casa 26, Residencial Villas Boas, Ribeirao da Ponte, Cuiaba, MT 78040-500. Brasil. E-mail: redoria@uol.com.brThe development of intracapsullar masses at the dorsal aspect of the metacarpofalangeal joint for a period of several months is commonly secondary to the chronic synovitis. Although it is known as villonodular synovitis in horses probably is better to refer it as chronic proliferative synovitis. The most common causes are the non-treated osteocondral fractures of the dorsal portion of the proximal phalanx. In addition, the development of villonodular masses follows the degenerative process in the joint. A case of a lame animal is reported at the present study. The correct diagnosis and the adequate therapeutic propositions were given based on the clinical examination, therapeutic local-anesthetic test and radioghaphic and ultrasonographic imaging exams. The development of a criterious identification of this disease must be based on clinical findings, radiographic and ultrasonographic exams which assume fundamental importance to the treatment and prognostic. The aim of this study is to describe the clinical, radiographic and ultrasonographic findings' allowing the identification and diagnosis of chronic proliferative synovitis at the thoracic metacarpofalangeal joint in the horse.