872 resultados para Semi-infinite and infinite programming


Relevância:

100.00% 100.00%

Publicador:

Resumo:

This paper describes a Refactoring Learning Environment, which is intended to analyze and assess programming code, based on refactoring rules. The Refactoring Learning Environment architecture includes an intelligent assistant – Refactoring Agent, which is responsible for analysis and assessment of the code, written by students in real time by using a set of refactoring methods. According to the situation and based on the refactoring method, which should be applied, the agent could react in different ways. Its goal is to show the student, as much as possible, the weak places of his programming code and the possible ways to makes it better.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This paper describes a PC-based mainframe computer emulator called VisibleZ and its use in teaching mainframe Computer Organization and Assembly Programming classes. VisibleZ models IBM’s z/Architecture and allows direct interpretation of mainframe assembly language object code in a graphical user interface environment that was developed in Java. The VisibleZ emulator acts as an interactive visualization tool to simulate enterprise computer architecture. The provided architectural components include main storage, CPU, registers, Program Status Word (PSW), and I/O Channels. Particular attention is given to providing visual clues to the user by color-coding screen components, machine instruction execution, and animation of the machine architecture components. Students interact with VisibleZ by executing machine instructions in a step-by-step mode, simultaneously observing the contents of memory, registers, and changes in the PSW during the fetch-decode-execute machine instruction cycle. The object-oriented design and implementation of VisibleZ allows students to develop their own instruction semantics by coding Java for existing specific z/Architecture machine instructions or design and implement new machine instructions. The use of VisibleZ in lectures, labs, and assignments is described in the paper and supported by a website that hosts an extensive collection of related materials. VisibleZ has been proven a useful tool in mainframe Assembly Language Programming and Computer Organization classes. Using VisibleZ, students develop a better understanding of mainframe concepts, components, and how the mainframe computer works. ACM Computing Classification System (1998): C.0, K.3.2.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Distributed applications are exposed as reusable components that are dynamically discovered and integrated to create new applications. These new applications, in the form of aggregate services, are vulnerable to failure due to the autonomous and distributed nature of their integrated components. This vulnerability creates the need for adaptability in aggregate services. The need for adaptation is accentuated for complex long-running applications as is found in scientific Grid computing, where distributed computing nodes may participate to solve computation and data-intensive problems. Such applications integrate services for coordinated problem solving in areas such as Bioinformatics. For such applications, when a constituent service fails, the application fails, even though there are other nodes that can substitute for the failed service. This concern is not addressed in the specification of high-level composition languages such as that of the Business Process Execution Language (BPEL). We propose an approach to transparently autonomizing existing BPEL processes in order to make them modifiable at runtime and more resilient to the failures in their execution environment. By transparent introduction of adaptive behavior, adaptation preserves the original business logic of the aggregate service and does not tangle the code for adaptive behavior with that of the aggregate service. The major contributions of this dissertation are: first, we assessed the effectiveness of BPEL language support in developing adaptive mechanisms. As a result, we identified the strengths and limitations of BPEL and came up with strategies to address those limitations. Second, we developed a technique to enhance existing BPEL processes transparently in order to support dynamic adaptation. We proposed a framework which uses transparent shaping and generative programming to make BPEL processes adaptive. Third, we developed a technique to dynamically discover and bind to substitute services. Our technique was evaluated and the result showed that dynamic utilization of components improves the flexibility of adaptive BPEL processes. Fourth, we developed an extensible policy-based technique to specify how to handle exceptional behavior. We developed a generic component that introduces adaptive behavior for multiple BPEL processes. Fifth, we identify ways to apply our work to facilitate adaptability in composite Grid services.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Supervisory Control & Data Acquisition (SCADA) systems are used by many industries because of their ability to manage sensors and control external hardware. The problem with commercially available systems is that they are restricted to a local network of users that use proprietary software. There was no Internet development guide to give remote users out of the network, control and access to SCADA data and external hardware through simple user interfaces. To solve this problem a server/client paradigm was implemented to make SCADAs available via the Internet. Two methods were applied and studied: polling of a text file as a low-end technology solution and implementing a Transmission Control Protocol (TCP/IP) socket connection. Users were allowed to login to a website and control remotely a network of pumps and valves interfaced to a SCADA. This enabled them to sample the water quality of different reservoir wells. The results were based on real time performance, stability and ease of use of the remote interface and its programming. These indicated that the most feasible server to implement is the TCP/IP connection. For the user interface, Java applets and Active X controls provide the same real time access.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This paper examines five big band arrangements written during a period of two semesters from 1998-1999. I will provide an overview and performance considerations for each arrangement. Each arrangement uses common conventions such as unison lines, octave doubling, four and five part voicings, found in closed, semi-open, and open position. Approach techniques include diatonic, dominant, diminished, chromatic, and parallel. Choice was based primarily on two considerations: desired texture and the best voice leading options identified to provide each part with a swinging line and maintain melodic integrity. Other conventions applied include chord substitution, upper structure triads, and altered and diminished scales to provide harmonic contrast and color. Each arrangement supplied new challenges and the tunes selected provided the arranger with a diverse experience of styles. The inherent qualities of the melody and harmonic progression of each piece were the primary considerations for selection.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This work describes the design process of a small recreational gated community in Pium, Nísia Floresta/RN, from concept to final design stages, with emphasis on low environmental impact, thermal comfort and the spatial quality of housing. The process consisted in a review of the literature and relevant standards, studies of design references and architectural programming. The project development was initially focused on the project’s feasibility, with the definition of the number of units, implantation, size and location of the dwellings and the common areas of the development. Two types of houses (four low rise and five duplex units) have been proposed in order to attend the premises of architectural programming. The conception of the architectural design began with the rooms’ zoning according to the lots. This resulted in the pre-selection of three alternatives that were evaluated in terms of spatial quality and environmental performance. The development of sketches focused on the envelope consistent with the bioclimatic guidelines and on the language of the compatible proposal with the lowest possible environmental impact of the building system, which resulted in the selection of the eucalyptus wood type. During the working drawings, the Quality Technical Regulation for the Level of Energy Efficiency Residential Buildings (RTQ -R) was adopted for the evaluation of the envelope, which resulted in "B" level of efficiency for the first case. After minor adjustments, mainly in frames, the efficiency level rose to "A", demonstrating that early project decisions contributed to the envelope energy performance. Besides the design of the two types of units, the final proposal of the gated community includes the design of the equipment for the common areas (entrance, multipurpose room and support and service sector), and the descriptive texts explaining the project and construction’s details.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The piles are one of the most important types of solution adopted for the foundation of buildings. They are responsible for transmitting to the soil in deepe r and resistant layers loads from structures. The interaction of the foundation element with the soil is a very important variable, making indispensable your domain in order to determine the strength of the assembly and establish design criteria for each c ase of application of the pile. In this research analyzes were performed f rom experiments load tests for precast concrete piles and inve stigations of soil of type SPT, a study was performed for obtaining the ultimate load capacity of the foundation through methods extrapolation of load - settlement curve , semi - empirical and theoretic . After that, were realized comparisons between the different methods used for two types of soil a granular behavior and other cohesive. For obtaining soil paramet ers to be used i n the methods were established empirical correlations with the standard penetration number (NSPT). The charge - settlement curves of the piles are also analyzed. In the face of established comparisons was indicated the most reliable semiempirical method Déco urt - Quaresma as the most reliable for estimating the tensile strength for granular and cohesive soils. Meanwhile, among the methods studied extrapolation is recommended method of Van der Veen as the most appropriate for predicting the tensile strength.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

With the intention of studying and developing the design process based on a specific methodology, the object of this work is to present the design of a gated condominium community in Natal based on the application of principles of shape grammar, used in their design process. The shape grammar is a design method developed in the 1970s by George Stiny and James Gips. It is used for the analysis of the project as well as for its synthesis, with the goal of creating a "formal vocabulary" through mathematical and/or geometrical operations. Here, the methodology was used in the synthesis of the design process, through the relationship between formal subtractions and the houses’ architectural planning. As a result, five dwellings configurations were proposed, each one different from the other with respect to their shape and architectural programming, distributed in three twin groups, which are repeated until the final total of nine architectural volumes. In addition to studies of the condominium’s ventilation and the buildings’ shading simulations, studies of spatial flexibility and acoustic performance were also performed. The mapping of the design process, one of the specific objectives of the dissertation, was composed not only by the record of formal constraints (the preparation and application of rules), but also by physical, environmental, legal and sustainability aspects in relation to, on one hand, the optimization of the shading and passive ventilation for hot and humid climates, and, on the other hand, the modulation and rationalization of the construction.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This study aims to assess the usability of Interactive Materials developed for the courses offered by UFRN SEDIS the modality of distance education (DE), using the techniques of focus group cooperative evaluation and assessment of satisfaction. The Interactive Materials are intended to serve as an avenue where the course content reaches the student in an educational, stimulating and self-instructive enough for the student to engage and find no difficulty in using it so. After the survey data in this context were selected four Interactive Materials ("Introduction to Applied Calculus", "Science, Technology and Society", "studies the Semi-Arid" and "Cultural Geography") that adopt the framework established by UFRN for SEDIS be evaluated for their usability. Initially, a preliminary test was conducted from cooperative assessment with a student interacting with the four learning objects in order to reveal and map the major failures of usability, supporting deeper questions later. The recordings of this preliminary test were analyzed by a focus group composed of two graphic designers and two multimedia designers, and developers responsible for these objects, which helped to analyze the gap between "what was designed" and "as was used "structuring and supplementing the roadmap for cooperative evaluation and assessment of subsequent satisfaction. The cooperative evaluation was applied individually to ten students of undergraduate UFRN that tested each of the four materials. At the end, every student completed a questionnaire assessing satisfaction form adapted Wanted (Questionnaire for User Interaction Satisfaction). The analysis of the data collected in this study revealed positive, negative and notes to be considered to guide the future development of Interactive Materials, in the context of UFRN SEDIS, feedback to the process of design and evaluation with user participation

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The attention to health issues in aging has increased and it becomes a challenge for public policies directed to the elderly. This study aimed at learning the social representations built by seniors about the service in the Family Health Unit. It is an exploratory study, funded by the Theory of Social Representations of Moscovici. It was held at the Health Unit of the Family Felipe Shrimp, located in the neighborhood Felipe Shrimp in the city of Natal / RN-Brazil. The participants were one hundred and two elderly / as, served by the Family Health Strategy. The data collection period was extended from July to September 2014. Data were collected through the Word Free Association Test and Interview semi-structured, and analyzed with the help of EVOC software. Interviews were conducted with 20 elderly and subjected to content analysis. The research was approved by the Ethics Committee of the University Hospital Research Onofre Lopes, in the opinion 704,323. It was possible to apprehend negative connotations regarding attendance, listing it as bad and disrespectful, and the limited hours of service, difficult to schedule appointments and tests and inadequate infrastructure, the most marked aspects. Seniors express satisfaction with the medical care, however, they understand that it is necessary that all services are properly integrated to a qualified service. The statements reveal that the service in the drive needs to implement new strategies host for users to participate more in educational and health promotion. It is noted, the need of integrated care, the host of qualified hearing in the health services that they address the elderly seeking care at the clinic of the family, so sticking to the principles of the Unified Health System.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Since the creation of supersonic vehicles, during the Second World War, the engineers have given special attention to the interaction between the aerodynamic efforts and the structures of the aircrafts due to a highly destructive phenomenon called flutter in aeronautical panel. Flutter in aeronautical panels is a self-excited aeroelastic phenomenon, which can occurs during supersonic flights due to dynamic instability of inertia, elastic and aerodynamic forces of the system. In the flutter condition, when the critical aerodynamic pressure is reached, the vibration amplitudes of the panel become dynamically unstable and increase exponentially with time, affecting significantly the fatigue life of the existing aeronautical components. Thus, in this paper, the interest is to investigate the possibility of reducing the effects of the supersonic aeroelastic instability of rectangular plates by applying passive constrained viscoelastic layers. The rationale for such study is the fact that as the addition of viscoelastic materials provides decreased vibration amplitudes it becomes important to quantify the suppression of plate flutter coalescence modes that can be obtained. Moreover, despite the fact that much research on the suppression of panel flutter has been carried out by using passive, semi-active and active control techniques, very few of them are adapted to deal with the problem of estimating the flutter speeds of viscoelastic systems, since they must conveniently account for the frequency- and temperature-dependent behavior of the viscoelastic material. In this context, two different model of viscoelastic material are developed and applied to the model of sandwich plate by using finite elements. After the presentation of the theoretical foundations of the methodology, the description of a numerical study on the flutter analysis of a three-layer sandwich plate is addressed.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Este trabalho propõe o estudo comparativo do uso de infográficos multimídia pelos sites Clarín.com, da Argentina e Folha.com, do Brasil. A pesquisa tem como objetivo verificar e analisar como esses dois importantes veículos de comunicação online da América Latina têm utilizado a tecnologia HTML5 para avançar nas possibilidades interativas do gênero jornalístico. Para tanto, a análise comparada trata da infografia multimídia, que tem passado por profundas mudanças tecnológicas, alterando o formato e o conteúdo da notícia. Além da conceituação teórica e revisão de literatura sobre infografia, newsgame, narrativa transmídia, jornalismo online, interatividade e as linguagens de programação voltadas para a produção de infografia multimídia, o trabalho realizou análise comparativa das seções Infográficos, veiculada pela Folha.com, e Especiales Multimedia, do Clarín.com. O estudo, quantitativo e qualitativo, verificou os recursos narrativos e informativos, ferramentas e tecnologias de linguagem de programação para Internet que são empregadas pelos dois meios de comunicação, com base no modelo de análise proposto por Alberto Cairo em Infografia 2.0 – visualización interactiva de información en prensa. A pesquisa demonstrou que ainda que o Clarín.com tenha utilizado a tecnologia Flash na maioria dos infográficos multimídia analisados, os resultados da análise comparada mostram que os infográficos do jornal online argentino possibilitaram níveis mais elevados de interatividade do que os infográficos multimídia da Folha.com, desenvolvidos majoritariamente em HTML5.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

A search for new heavy resonances decaying to boson pairs (WZ, WW or ZZ) using 20.3 inverse femtobarns of proton-proton collision data at a center of mass energy of 8 TeV is presented. The data were recorded by the ATLAS detector at the Large Hadron Collider (LHC) in 2012. The analysis combines several search channels with the leptonic, semi-leptonic and fully hadronic final states. The diboson invariant mass spectrum is studied for local excesses above the Standard Model background prediction, and no significant excess is observed for the combined analysis. 95$\%$ confidence limits are set on the cross section times branching ratios for three signal models: an extended gauge model with a heavy W boson, a bulk Randall-Sundrum model with a spin-2 graviton, and a simplified model with a heavy vector triplet. Among the individual search channels, the fully-hadronic channel is predominantly presented where boson tagging technique and jet substructure cuts are used. Local excesses are found in the dijet mass distribution around 2 TeV, leading to a global significance of 2.5 standard deviations. This deviation from the Standard Model prediction results in many theory explanations, and the possibilities could be further explored using the LHC Run 2 data.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

A substantial amount of information on the Internet is present in the form of text. The value of this semi-structured and unstructured data has been widely acknowledged, with consequent scientific and commercial exploitation. The ever-increasing data production, however, pushes data analytic platforms to their limit. This thesis proposes techniques for more efficient textual big data analysis suitable for the Hadoop analytic platform. This research explores the direct processing of compressed textual data. The focus is on developing novel compression methods with a number of desirable properties to support text-based big data analysis in distributed environments. The novel contributions of this work include the following. Firstly, a Content-aware Partial Compression (CaPC) scheme is developed. CaPC makes a distinction between informational and functional content in which only the informational content is compressed. Thus, the compressed data is made transparent to existing software libraries which often rely on functional content to work. Secondly, a context-free bit-oriented compression scheme (Approximated Huffman Compression) based on the Huffman algorithm is developed. This uses a hybrid data structure that allows pattern searching in compressed data in linear time. Thirdly, several modern compression schemes have been extended so that the compressed data can be safely split with respect to logical data records in distributed file systems. Furthermore, an innovative two layer compression architecture is used, in which each compression layer is appropriate for the corresponding stage of data processing. Peripheral libraries are developed that seamlessly link the proposed compression schemes to existing analytic platforms and computational frameworks, and also make the use of the compressed data transparent to developers. The compression schemes have been evaluated for a number of standard MapReduce analysis tasks using a collection of real-world datasets. In comparison with existing solutions, they have shown substantial improvement in performance and significant reduction in system resource requirements.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Reliable and fine resolution estimates of surface net-radiation are required for estimating latent and sensible heat fluxes between the land surface and the atmosphere. However, currently, fine resolution estimates of net-radiation are not available and consequently it is challenging to develop multi-year estimates of evapotranspiration at scales that can capture land surface heterogeneity and are relevant for policy and decision-making. We developed and evaluated a global net-radiation product at 5 km and 8-day resolution by combining mutually consistent atmosphere and land data from the Moderate Resolution Imaging Spectroradiometer (MODIS) on board Terra. Comparison with net-radiation measurements from 154 globally distributed sites (414 site-years) from the FLUXNET and Surface Radiation budget network (SURFRAD) showed that the net-radiation product agreed well with measurements across seasons and climate types in the extratropics (Wilmott’s index ranged from 0.74 for boreal to 0.63 for Mediterranean sites). Mean absolute deviation between the MODIS and measured net-radiation ranged from 38.0 ± 1.8 W∙m−2 in boreal to 72.0 ± 4.1 W∙m−2 in the tropical climates. The mean bias was small and constituted only 11%, 0.7%, 8.4%, 4.2%, 13.3%, and 5.4% of the mean absolute error in daytime net-radiation in boreal, Mediterranean, temperate-continental, temperate, semi-arid, and tropical climate, respectively. To assess the accuracy of the broader spatiotemporal patterns, we upscaled error-quantified MODIS net-radiation and compared it with the net-radiation estimates from the coarse spatial (1° × 1°) but high temporal resolution gridded net-radiation product from the Clouds and Earth’s Radiant Energy System (CERES). Our estimates agreed closely with the net-radiation estimates from the CERES. Difference between the two was less than 10 W•m−2 in 94% of the total land area. MODIS net-radiation product will be a valuable resource for the science community studying turbulent fluxes and energy budget at the Earth’s surface.