Tool support for testing concurrent Java components

Concurrent programs are hard to test due to the inherent nondeterminism. This paper presents a method and tool support for testing concurrent Java components. Too[ support is offered through ConAn (Concurrency Analyser), a too] for generating drivers for unit testing Java classes that are used in a multithreaded context. To obtain adequate controllability over the interactions between Java threads, the generated driver contains threads that are synchronized by a clock. The driver automatically executes the calls in the test sequence in the prescribed order and compares the outputs against the expected outputs specified in the test sequence. The method and tool are illustrated in detail on an asymmetric producer-consumer monitor. Their application to testing over 20 concurrent components, a number of which are sourced from industry and were found to contain faults, is presented and discussed.

Researchers' information needs in the bibliographic database : a literature review

This article is published online with Open Access and distributed under the terms of the Creative Commons Attribution Non-Commercial License.

Characterization of heat tolerance in wheat cultivars and effects on production components

Abstract: There is a need for heat tolerant wheat cultivars adapted to the expansion of cultivation areas in warmer regions due to the high demand of this cereal for human consumption. The objective of this study was to evaluate the effect of high temperatures on grain yield and yield components of wheat and characterize heat tolerant wheat genotypes at different development stages. The genotypes were evaluated in the field with and without heat stress. High temperatures reduced the number of spikelets per spike (21%), number of grains per spike (39%), number of grains per spikelet (23%), 1000-grain weight (27%) and grain yield (79%). Cultivars MGS 1 Aliança, Embrapa 42, IAC 24-Tucuruí and IAC 364-Tucuruí III are the most tolerant to heat stress between the stages double ridge and terminal spikelet; MGS 1 Aliança, BRS 264, IAC 24-Tucuruí, IAC 364-Tucuruí III and VI 98053, between meiosis and anthesis; and BRS 254, IAC-24-Tucuruí, IAC-364-Tucuruí III and VI 98053, between anthesis and physiological maturity. High temperatures reduce grain yield and yield components. The number of grains per spike is the most reduced component under heat stress. The genotypes differed in tolerance to heat stress in different developmental stages.

Effect of spatial arrangement on the production components and yield of sunflower

ABSTRACT The sunflower plant is an oilseed crop that has aroused a great interest in the Brazilian and international scenery especillay because of the possibility of using its oil for biodiesel production. The objective of this study was to evaluate productivity and yield components of Embrapa 122 sunflower according to the spatial arrangement. Treatments were arranged in 4 x 4 factorial arrangement, which are the four spacings between rows (0.30; 0.50; 0.70 and 0.90 m) and four sowing densities (30,000; 45,000; 60,000 and 75,000 plants ha-1). The experiment was carried out in a complete randomized block design with four replications. The experiments were conducted in the experimental area of the Plant Science Department in Fortaleza, State of Ceará-Brazil and on the Curu Vale Experimental Farm in Pentecoste, State of Ceará-Brazil. Productivity and the following production components were analyzed in the end of the crop cycle: harvested capitula, capitulum diameter, capitulum mass, achene mass per capitulum, mass of 100 achenes, achenes per capitulum, harvest index and oil content in the achenes. The experiments were analyzed jointly in relation to the cropping area and the data submitted to analysis of variance and quantitative factors tested by polynomial regression. The variables, spacing, density and cropping area did not interact with these variables and the spatial arrangement of the plants affected only the components. The cropping area influences the productive behavior of sunflower Embrapa 122. The spatial arrangement of the plants of sunflower of variety Embrapa 122 influences yield components but does not affect productivity.

Sistema de Informação Geográfica: uma arma estratégica para o Database Marketing

Os Sistemas de Informações Geográficas (SIG) tornaram-se disponíveis para uso em computadores de mesa, sendo extremamente adaptáveis para as atividades de marketing de relacionamento. Uma característica desses sistemas é que permitem uma análise de dados de forma praticamente inviável com outras ferramentas. A sua utilização depende da existência de mapas e dados possivelmente caros e difíceis de obter. No Brasil, seu uso vai popularizar-se nos próximos dois anos.

An optimal level of technology reliance on foreign partners in a global sourcing partnership: components procurement, technology management and market performance

Existing studies on global sourcing strategy have implicitly adopted a cJosed-systems perspective in which sourcing activities are managed within a multinational company across national boundaries. Produd and process innovations and components procurement that are jointly managed by a consortium of cooperating firms have not been examined. In this paper, we empiricallyexamine the issues concerning sourcing partnerships in an open-systems perspective. Findings suggest that even in a sourcing partnership arrangement with a foreign supplier, the principal firm's ability to procure and control the supply of major components has a positive bearing on its market performance.

New Steel Alloys for the Design of Heat Recovery Steam Generator Components of Combined Cycle Gas Plants

Demand for power is growing every day, mainly due to emerging economies in countries such as China, Russia, India, and Brazil. During the last 50 years steam pressure and temperature in power plants have been continuously raised to improve thermal efficiency. Recent efforts to improve efficiency leads to the development of a new generation of heat recovery steam generator, where the Benson once-through technology is applied to improve the thermal efficiency. The main purpose of this paper is to analyze the mechanical behavior of a high pressure superheater manifold by applying finite element modeling and a finite element analysis with the objective of analyzing stress propagation, leading to the study of damage mechanism, e.g., uniaxial fatigue, uniaxial creep for life prediction. The objective of this paper is also to analyze the mechanical properties of the new high temperature resistant materials in the market such as 2Cr Bainitic steels (T/P23 and T/P24) and also the 9-12Cr Martensitic steels (T/P91, T/P92, E911, and P/T122). For this study the design rules for construction of power boilers to define the geometry of the HPSH manifold were applied.

Narrowing inequalities in infant mortality in Southern Brazil

OBJECTIVE: To determine the trends of infant mortality from 1995 to 1999 according to a geographic area-based measure of maternal education in Porto Alegre, Brazil. METHODS: A registry-based study was carried out and a municipal database created in 1994 was used. All live births (n=119,170) and infant deaths (n=1,934) were considered. Five different geographic areas were defined according to quintiles of the percentage of low maternal educational level (<6 years of schooling): high, medium high, medium, medium low, and low. The chi-square test for trend was used to compare rates between years. Incidence rate ratio was calculated using Poisson regression to identify excess infant mortality in poorer areas compared to higher schooling areas. RESULTS: The infant mortality rate (IMR) decreased steadily from 18.38 deaths per 1,000 live births in 1995 to 12.21 in 1999 (chi-square for trend p<0.001). Both neonatal and post-neonatal mortality rates decreased although the drop seemed to be steeper for the post-neonatal component. The higher decline was seen in poorer areas. CONCLUSION: Inequalities in IMR seem to have decreased due to a steeper reduction in both neonatal and post-neonatal components of infant mortality in lower maternal schooling area.

A data-mining-based methodology for transmission expansion planning

In recent decades, all over the world, competition in the electric power sector has deeply changed the way this sector’s agents play their roles. In most countries, electric process deregulation was conducted in stages, beginning with the clients of higher voltage levels and with larger electricity consumption, and later extended to all electrical consumers. The sector liberalization and the operation of competitive electricity markets were expected to lower prices and improve quality of service, leading to greater consumer satisfaction. Transmission and distribution remain noncompetitive business areas, due to the large infrastructure investments required. However, the industry has yet to clearly establish the best business model for transmission in a competitive environment. After generation, the electricity needs to be delivered to the electrical system nodes where demand requires it, taking into consideration transmission constraints and electrical losses. If the amount of power flowing through a certain line is close to or surpasses the safety limits, then cheap but distant generation might have to be replaced by more expensive closer generation to reduce the exceeded power flows. In a congested area, the optimal price of electricity rises to the marginal cost of the local generation or to the level needed to ration demand to the amount of available electricity. Even without congestion, some power will be lost in the transmission system through heat dissipation, so prices reflect that it is more expensive to supply electricity at the far end of a heavily loaded line than close to an electric power generation. Locational marginal pricing (LMP), resulting from bidding competition, represents electrical and economical values at nodes or in areas that may provide economical indicator signals to the market agents. This article proposes a data-mining-based methodology that helps characterize zonal prices in real power transmission networks. To test our methodology, we used an LMP database from the California Independent System Operator for 2009 to identify economical zones. (CAISO is a nonprofit public benefit corporation charged with operating the majority of California’s high-voltage wholesale power grid.) To group the buses into typical classes that represent a set of buses with the approximate LMP value, we used two-step and k-means clustering algorithms. By analyzing the various LMP components, our goal was to extract knowledge to support the ISO in investment and network-expansion planning.

Partitioning taxon, phylogenetic and functional beta diversity into replacement and richness difference components

Copyright © 2013 John Wiley & Sons Ltd.

Automatic synthesis of VHDL Hardware Components from IOPT Petri Net models

Conferência: 39th Annual Conference of the IEEE Industrial-Electronics-Society (IECON), Vienna, Austria, Nov 10-14, 2013

Using a prioritized MAC protocol to execute the database operation join in networked embedded computer systems

Database query languages on relations (for example SQL) make it possible to join two relations. This operation is very common in desktop/server database systems but unfortunately query processing systems in networked embedded computer systems currently do not support this operation; specifically, the query processing systems TAG, TinyDB, Cougar do not support this. We show how a prioritized medium access control (MAC) protocol can be used to efficiently execute the database operation join for networked embedded computer systems where all computer nodes are in a single broadcast domain.