Enhancing urban analysis through lacunarity multiscale measurement

Urban spatial configurations in most part of the developing countries showparticular urban forms associated with the more informal urban development ofthese areas. Latin American cities are prime examples of this sort, butinvestigation of these urban forms using up to date computational and analyticaltechniques are still scarce. The purpose of this paper is to examine and extendthe methodology of multiscale analysis for urban spatial patterns evaluation. Weexplain and explore the use of Lacunarity based measurements to follow a lineof research that might make more use of new satellite imagery information inurban planning contexts. A set of binary classifications is performed at differentthresholds on selected neighbourhoods of a small Brazilian town. Theclassifications are appraised and lacunarity measurements are compared in faceof the different geographic referenced information for the same neighbourhoodareas. It was found that even with the simple image classification procedure, animportant amount of spatial configuration characteristics could be extracted withthe analytical procedure that, in turn, may be used in planning and other urbanstudies purposes

A Numerical Implementation of the Soret Effect in Drying Processes

Drying of porous media is strictly governed by heat and mass transfer. However, contrary to the definition that drying is simultaneous transport mechanisms of heat and mass, most past and current models either account for temperature or concentration gradient effects on drying. Even though the complexity of computations of these processes varies with area of application, in most cases, the Dufour and Soret effects are neglected. This leads to deviations and uncertainties on the assumptions and interpretations of these and other relevant effects on drying. This paper covers the theoretical methods to derive the coupled transfer effects. In addition, this work proposes and formulates relevant heat and mass transfer equations, as well as the governing equations for drying processes with Dufour and Soret effects. The application of a numerical approach to solve the equations allows for studying of the influence of these effects on the design and operation of dryers. It is shown that the Soret effect can be highly relevant on drying operations with dynamic heating operation. While for drying processes where the steady state drying process predominates, the effect is deemed negligible

Fault Localization in Multi-Threaded C Programs using Bounded Model Checking (extended version)

Software debugging is a very time-consuming process, which is even worse for multi-threaded programs, due to the non-deterministic behavior of thread-scheduling algorithms. However, the debugging time may be greatly reduced, if automatic methods are used for localizing faults. In this study, a new method for fault localization, in multi-threaded C programs, is proposed. It transforms a multi-threaded program into a corresponding sequential one and then uses a fault-diagnosis method suitable for this type of program, in order to localize faults. The code transformation is implemented with rules and context switch information from counterexamples, which are typically generated by bounded model checkers. Experimental results show that the proposed method is effective, in such a way that sequential fault-localization methods can be extended to multi-threaded programs.Comment: extended version of paper published at SBESC'1

DRIS: conceitos e aplicações na diagnose nutricional em plantas frutíferas

Nutrition and fertilization are important factors in determining fruit yield and fruit quality. There are several methods for plant nutritional status diagnosis, among them, two are relevant and named as Sufficiency Range Approach (SRA) and Diagnosis and Recommendation Integrated System (DRIS). This research reports the main concepts and applications of DRIS in nutritional diagnosis of fruit crops, comparing it with current nutritional diagnosis methods, indicating advantages and disadvantages, and possible limitations to be investigated.A nutrição e a adubação são fatores determinantes na produtividade dos pomares e na qualidade de frutos. Dentre os diversos métodos de diagnose nutricional das plantas, destacam-se o critério de faixas de suficiência (CFS) e o sistema integrado de diagnose e recomendação (DRIS "Diagnosis and Recommendation Integrated System"). São relatados neste trabalho os principais conceitos e aplicações do método DRIS na diagnose nutricional em fruteiras, comparando-o com os sistemas atuais de diagnose nutricional, apontando vantagens e desvantagens, e possíveis limitações a serem investigadas