A CASE tool for the modeling of methods and information systems

MODSI is a multi-models tool for information systems modeling. A modeling process in MODSI can be driven according to three different approaches: informal, semi-formal and formal. The MODSI tool is therefore based on the linked usage of these three modeling approaches. It can be employed at two different levels: the meta-modeling of a method and the modeling of an information system.In this paper we start presenting different types of modeling by making an analysis of their particular features. Then, we introduce the meta-model defined in our tool, as well as the tool functional architecture. Finally, we describe and illustrate the various usage levels of this tool.

Analysis of the effects of thermal cycling on the microtensile shear bond strength of a self-etching and a conventional pit and fissure sealants to dental enamel

Objective: To analyze the effects of thermal cycling on the microtensile shear bond strength of a self-etching and a conventional pit and fissure sealants to dental enamel. Material and Method: Twenty-four healthy human molars extracted for orthodontic reasons, were sectioned in the mesio-distal direction and divided into two groups (n=24) according to the sealant to be applied: GI - conventional sealant Climpro (3M/ESPE) and GII - self-etching sealant Enamel Loc (Premier Dental). The sealants were applied on flattened enamel in matrixes 1 mm in diameter, in accordance with the manufacturers' recommendations. The specimens were stored in distilled water at 37°C for 24 hours. After this, half the samples of both groups were submitted to 500 thermal cycles in 30s baths at temperatures between 5 and 55°C. Forty-eight hours after the samples were made, the microtensile shear test was performed in an Instron 4411 test machine, with a stainless steel wire with a cylindrical cross section of 0.2mm in diameter at a constant speed of 0.5mm/s. The bond strength values were submitted to ANOVA for 2 factors and the fracture patterns were examined under an optical microscope at 65X magnification. Results: Thermal cycling did not influence the bond strength of the two sealants. The conventional sealant Climpro presented a statistically higher microtensile shear bond strength (11.72MPa, 11.34MPa with and without cycling, respectively) than the self-etching sealant Enamel Loc (5.92MPa, 5.02MPa with and without cycling, respectively). Fracture pattern analysis showed the occurrence of 100% of adhesive failures for Enamel Loc, while the conventional sealant Climpro presented 95% of adhesive failures and 5% of mixed failures. Conclusion: The conventional sealant presented higher microtensile shear bond strength to dental enamel in comparison with the self-etching sealant. Thermal cycling did not affect the bond strength of the sealants used in this study. © 2011 Nova Science Publishers, Inc.

Challenges of programming apprentice

The present article describes the challenges programming apprentices face and identifies the elements and processes that set them apart from experienced programmers. And also explains why a conventional programming languages teaching approach fails to map the programming mental model. The purpose of this discussion is to benefit from ideas and cognitive philosophies to be embedded in programming learning tools. Cognitive components are modeled as elements to be handled by the apprentices in tutoring systems while performing a programming task. In this process a mental level solution (the mental model of the program) and an implementation level solution (the program) are created. The mapping between these representations is a path followed by the student explicitly in this approach. © 2011 IEEE.

Design of a labVIEW system applied to predictive maintenance

The implementation of vibration analysis techniques based on virtual instrumentation has spread increasingly in the academic and industrial branch, since the use of any software for this type of analysis brings good results at low cost. Among the existing software for programming and creation of virtual instruments, the LabVIEW was chosen for this project. This software has good interface with the method of graphical programming. In this project, it was developed a system of rotating machine condition monitoring. This monitoring system is applied in a test stand, simulating large scale applications, such as in hydroelectric, nuclear and oil exploration companies. It was initially used a test stand, where an instrumentation for data acquisition was inserted, composed of accelerometers and inductive proximity sensors. The data collection system was structured on the basis of an NI 6008 A/D converter of National Instruments. An electronic circuit command was developed through the A/D converter for a remote firing of the test stand. The equipment monitoring is performed through the data collected from the sensors. The vibration signals collected by accelerometers are processed in the time domain and frequency. Also, proximity probes were used for the axis orbit evaluation and an inductive sensor for the rotation and trigger measurement. © (2013) Trans Tech Publications, Switzerland.

Metodologia e diretrizes para desenvolvimento de um ambiente computacional para ensino a distância

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Reconstrução e geração de malhas em estruturas biomecânicas tridimensionais para análise por elemento finitos

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Sistematização de projetos de controladores fuzzy através de programação orientada a objetos

Através do uso da programação em linguagem orientada a objetos e, aplicando-se uma técnica de programação específica, é possível gerar um conjunto de classes genéricas cujos objetos representam cada bloco de um controlador fuzzy e também suas variáveis linguísticas. Tais classes, sendo aplicadas de forma sistemática, facilitam a programação de uma variedade de controladores desta natureza. Este trabalho apresenta a referida técnica e mostra os resultados obtidos através de um modelo simulado de um pêndulo rotacional invertido que é controlado por um sistema de controle composto por três controladores fuzzy, projetados e construídos sob este ponto de vista.

Das ciências do léxico ao léxico nas ciências: uma proposta de dicionário português-espanhol de economia monetária

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Análise da dinâmica do uso da terra e sua interferência em enchentes na área urbana do município de Americana (SP)

Due to an intense process of population growth and urban density in Americana (SP), mainly due to the development of the local textile industry after 1970, there was, concomitant to the occupation of the margin of rivers and streams, soil sealing that increased the level of superficial runoff, triggering frequent floods. Based on the analysis of these processes we investigate the conditions of one densely urbanized area of the county, the Córrego do Parque, in three time series, 1977, 1996 and 2008. Taking as the starting the characterization and spatial distribution of landscape physiography, we prepared thematic letters and synthetic maps digital scale 1:10,000 from photointerpretation of aeroframes. The thematic maps were produced by scanning with subsequent edition using the software Auto-Cad Map. Checking the data and of geographic coordinates with GPS (Global Positioning System). Regarding land use classes, we used the description of the Soil Conservation Service (1975) which allowed us to get the Curve Number parameter, which will be used in hydrologic modeling for verification of flooding (Tucci, 1989). For the process of hydrologic modeling, we used models based on Methodology Object Oriented Modeling Applied to Water Resource Systems, Viegas Filho (1999), using the computer program called IPHS1, which uses models of the Soil Conservation Service (SCS , 2004), for conversion of rainfall-runoff and the spread of excessive rain. The results indicate that increased waterproofing generated by the change in use and occupation over the past decades promoted the increased surface runoff and drainage system overload, increasing the intensity of floods

Gerenciamento de transação e mecanismo de serialização baseado em Snapshot

Pós-graduação em Ciência da Computação - IBILCE

Combining ALOS/PALSAR derived vegetation structure and inundation patterns to characterize major vegetation types in the Mamiraua Sustainable Development Reserve, Central Amazon floodplain, Brazil

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

Análise numérica de um sistema integrado coletor solar/armazenador térmico

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Desenvolvimento de um aplicativo para processamento de imagens obtidas por fotografias aéreas

Pós-graduação em Agronomia (Energia na Agricultura) - FCA

Applications of Linear Programming to Coding Theory

Maximum-likelihood decoding is often the optimal decoding rule one can use, but it is very costly to implement in a general setting. Much effort has therefore been dedicated to find efficient decoding algorithms that either achieve or approximate the error-correcting performance of the maximum-likelihood decoder. This dissertation examines two approaches to this problem. In 2003 Feldman and his collaborators defined the linear programming decoder, which operates by solving a linear programming relaxation of the maximum-likelihood decoding problem. As with many modern decoding algorithms, is possible for the linear programming decoder to output vectors that do not correspond to codewords; such vectors are known as pseudocodewords. In this work, we completely classify the set of linear programming pseudocodewords for the family of cycle codes. For the case of the binary symmetric channel, another approximation of maximum-likelihood decoding was introduced by Omura in 1972. This decoder employs an iterative algorithm whose behavior closely mimics that of the simplex algorithm. We generalize Omura's decoder to operate on any binary-input memoryless channel, thus obtaining a soft-decision decoding algorithm. Further, we prove that the probability of the generalized algorithm returning the maximum-likelihood codeword approaches 1 as the number of iterations goes to infinity.

Desenvolvimento de um aplicativo para processamento de imagens obtidas por fotografias aéreas

Pós-graduação em Agronomia (Energia na Agricultura) - FCA