JCML: A specification language for the runtime verification of Java Card programs

COSTA, Umberto Souza; MOREIRA, Anamaria Martins; MUSICANTE, Matin A.; SOUZA NETO, Plácido A. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming. [S.l]: [s.n], 2010.

Specification and Runtime Verification of Java Card Programs

COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009.

O projeto de arquitetura de espaços temporários com o uso de sistema construtivo remontável: um estudo exploratório

The purpose of this research is to study the portable or reassemblable architectures, which, different from conventional architecture (whose designs are of permanent buildings), corresponds to the designing of spaces with temporary purposes. The focus of the study is the architectural design of spaces that are produced from building systems that can to be moved to different places (process of assembly / disassembly / reassembly) in order to identify the types of spaces generated and the processes used in their design / projecting. The aim is to investigate relationships between the initial project conceived based on a Reassemblable Construction System (RCS) and its application in the architectural design of professionals and students in order to contribute to the understanding of the specificities of this type of design activity. To this end it was developed the exploratory research based on multimedia methods, which includes: documentary analysis, technical visits, interviews, surveys, academic exercise and documentation by images. Although the study is not conclusive, the results indicate significant differences between the point of view of the RCS´s designers and its users (architects and architecture students) since the users demonstrated to have some difficulty to access the features provided for the first group, in particular the students. It is also demonstrated that the use of RCSs seems to change the appreciation / hierarchization of the conditions of project design, since, unlike what happens in traditional architectural design, the designers who use them seem to be more concerned with constructive issues, especially the structural elements (support and covering), instead of functionality, aesthetics and even physical characteristics of the site

Desempenho térmico de coberturas: Um estudo comparativo entre as telhas de material reciclado, de fibra e betume, fibrocimento e cerâmica

This study aims to compare the thermal performance of tiles made from recycled material (waste packaging cardboard with aluminized film) with the tiles of fiber and bitumen, fiber cement and red ceramic with the aim of verifying the suitability of tile to be used in hot and humid climate of low latitude. The samples were selected according to the availability from Natal - RN market, as they are sold to the consumers. The methodology was based on studies that used experimental apparatus composed of thermal chambers heated by banks of incandescent bulbs, to analyze the thermal performance of materials. The tiles in the study were submitted to analysis of thermal performance, thermophysical properties and absorptance, using chambers of thermal performance, measuring the thermophysical properties and portable spectrometer, respectively. Comparative analysis of thermal performance between two samples of the recycled material with dimple sizes and different amounts of aluminum were made, in order to verify, if these characteristics had some interference on the thermal performance of them; the results showed no significant performance differences between the samples. The data obtained in chambers of thermal performance and confirmed by statistical analysis, showed, that the tile of recycled material have similar thermal performance to the tile of fiber cement. In addition to these tests was carried out the automatic monitoring of a building covered with tiles of recycled material, to verify its thermal performance in a real situation. The results showed that recycled shingles must be used with technical criteria similar to those used for fiber cement tiles, with regard to the heat gain into the building. Within these criteria should be taken into account local characteristics, especially in regions with hot and humid climate, and its use must be associated, according to the literature, to elements of thermal insulation and use of passive techniques such as vented attics, ceilings and right foot higher

Análise de Handover inter e intra-célula em um sistema de telefonia celular através de método de medição simplificado

This dissertation has the purpose to present a portable device named PlugData MG100G, equipped with a cellular module, to analyze the radiofrequency coverage in a GSM network situated in João Pessoa city, state of Paraíba, at four distinct regions. The equipment, originally, was developed to be used in fixed environments, so it was adapted so that it could be used in conditions of mobility. From the Mobile Measurement Reports (MMRs) RF coverage and the handover process are analyzed. The MMRs enable the identification of the serving cell and the list of the closest neighboring cells monitored by the mobile. This work analyses only data referent to the serving cell and the two closest neighboring cells. Inter-cell and intra-cell handovers are identified. The frequency planning and quality of service offered by the network related to the regions are discussed as well

Desenvolvimento de um ambiente para projeto de controladores fuzzy para dispositivos móveis

Fuzzy intelligent systems are present in a variety of equipment ranging from household appliances to Fuzzy intelligent systems are present in a variety of equipment ranging from household appliances to small devices such as digital cameras and cell phones being used primarily for dealing with the uncertainties in the modeling of real systems. However, commercial implementations of Fuzzy systems are not general purpose and do not have portability to different hardware platforms. Thinking about these issues this work presents the implementation of an open source development environment that consists of a desktop system capable of generate Graphically a general purpose Fuzzy controller and export these parameters for an embedded system with a Fuzzy controller written in Java Platform Micro Edition To (J2ME), whose modular design makes it portable to any mobile device that supports J2ME. Thus, the proposed development platform is capable of generating all the parameters of a Fuzzy controller and export it in XML file, and the code responsible for the control logic that is embedded in the mobile device is able to read this file and start the controller. All the parameters of a Fuzzy controller are configurable using the desktop system, since the membership functions and rule base, even the universe of discourse of the linguistic terms of output variables. This system generates Fuzzy controllers for the interpolation model of Takagi-Sugeno. As the validation process and testing of the proposed solution the Fuzzy controller was embedded on the mobile device Sun SPOT ® and used to control a plant-level Quanser®, and to compare the Fuzzy controller generated by the system with other types of controllers was implemented and embedded in sun spot a PID controller to control the same level plant of Quanser®

Estudo de antenas patches de microfita miniaturizadas em banda larga para aplicação em dispositivos móveis e portáteis

This work presents techniques used to design and manufacture microstrip patch antennas for applications in portable and mobile devices. To do so, are evaluated several factors that can influence the performance of microstrip patch antennas. Miniaturization techniques are studied and employed in order to apply this type of antenna in mobile and / or mobile. The theories of microstrip patch antennas are addressed by analyzing characteristics such as constitution, kinds of patches, substrates, feeding methods, analysis methods, the main advantages and disadvantages and others. Techniques for obtaining broadband microstrip patch antennas were surveyed in literature and exemplified mainly by means of simulations and measurements. For simulations of the antennas was used the commercial software . In addition, antenna miniaturization techniques have been studied as a main concern the fundamental limits of antennas with special attention to electrically small antennas because they are directly linked to the microstrip patch antennas. Five design antennas are proposed to demonstrate the effectiveness of techniques used to obtain the microstrip patch antennas broadband and miniaturized for use in mobile devices and/or portable. For this, the proposed antennas were simulated, built and measured. The antennas are proposed to be used in modern systems of wireless communications such as DTV, GPS, IEEE 802.16, IEEE 802.11, etc. The simulations of the antennas were made in business and computer programs. The measured results were obtained with a parser Vector of networks of the Rhode and Schwarz model ZVB 14

Análise da lubricidade do biodiesel brasileiro de ésteres etílicos de soja e girassol

Fuel is a material used to produce heat or power by burning, and lubricity is the capacity for reducing friction. The aim of this work is evaluate the lubricity of eight fossil and renewable fuels used in Diesel engines, by means of a HFRR tester, following the ASTM D 6079-04 Standard. In this conception, a sphere of AISI 52100 steel (diameter of 6,000,05 mm, Ra 0,050,005 μm, E = 210 GPa, HRC 624, HV0,2 63147) is submitted to a reciprocating motion under a normal load of 2 N and 50 Hz frequency to promote a wear track length of 1.10.1mm in a plan disc of AISI 52100 steel (HV0,05 18410, Ra 0,020,005 μm). The testing extent time was 75 minutes, 225,000 cycles. Each one test was repeated six times to furnish the results, by means of intrinsic signatures from the signals of the lubricant film percentage, friction coefficient, contact heating, Sound Pressure Level, SPL [dB]. These signal signatures were obtained by two thermocouples and a portable decibelmeter coupled to a data acquisition system and to the HFRR system. The wettability of droplet of the diesel fuel in thermal equilibrium on a horizontal surface of a virgin plan disc of 52100 steel, Ra 0,02  0,005 μm, were measured by its contact angle of 7,0  3,5o, while the results obtained for the biodiesel B5, B20 and B100 blends originated by the ethylic transesterification of soybean oil were, respectively, 7,5  3,5o, 13,5  3,5o e 19,0  1,0o; for the distilled water, 78,0  6,0o; the biodiesel B5, B20 and B100 blends originated by the ethylic transesterification of sunflower oil were, respectively, 7,0  4,0o, 8,5  4,5o e 19,5  2,5o. Different thickness of lubricant film were formed and measured by their percentage by means of the contact resistance technique, suggesting several regimes, since the boundary until the hydrodynamic lubrication. All oils analyzed in this study promoted the ball wear scars with diameters smaller than 400 μm. The lowest values were observed in the scar balls lubricated by mixtures B100, B20 and B5 of sunflower and B20 and B5 of soybean oils (WSD < 215 μm)

Dinâmica de Sedimentação de Lodo em Lagoas de Estabilização

Stabilization ponds are an effective sewage treatment alternative for the climatic conditions prevailing in Brazil. In the present work, a primary facultative pond was studied, in the city of Natal, Rio Grande do Norte, Northeast Brazil. The aim of this study was to evaluate the sedimentation dynamics in the facultative pond. The pond was divided in three section or zones along its length starting from the inlet end namely A1, A2 and A3. The research was accomplished in three phases. In the first the mapping of the sludge layer was done, sludge core samples were also collected for analysis for total, fixed and volatile solids and the depth of the sludge layer was determined using a portable echo sounder. In the second solids sedimentation rates were measured using traps placed in the inlet and outlet zones and in the third phase resuspension sludge was evaluate using a tracer. The amount accumulated sludge since the start operation was 13.583 m3. The sedimentation constant averages changed between 0.93 to 2.94 and 3.90 to 5.80 for the depths of 0.5 and 1.0 m respectively. The relationship between volatile and fixed solids (SV/SF) increased along the pond. The removal efficiencies were 52.12%, 36.09%, and 37.50% for BOD, COD and SS, respectively. The sludge accumulation model proposed had a good adjustment with 0.17 m3/hab.year rate. The results presented here demonstrated that the wind had a direct influence on the sedimentation of solids in this pond affecting the efficiency and sludge accumulation

Uso urbano não potável de água de lagoas do sistema de drenagem de Natal

The detention and infiltration ponds of urban drainage system has function to protect the population from undesirable effects of floods. In general these ponds are not completly used and it potential is wasted. As it are disseminated at different places at cities it can reduce costs with water transport and permit water preservation of best quality. Some it utilities includes use in green areas irrigation, industrial among than cooling towers and boiler, soil compaction, cleaning urban road, pisciculture and fire fighting system. The quality these water is influenced by anauthorized sewage in the drainage system. This study was performed in six detention and infiltration ponds at drainage system of Natal, which aim was to verify the non-portable use these ponds on urban environment. As indirect aim would to incentive the water utilization these ponds as a water source to another uses in urban environment. These ponds represents the characteristics of detention and infiltration of Natal city and consequently of Brazil. As the water quality, the ponds presents following characteristics: three has apparently good quality, other showed intermediate condition and two had water polluted. Were performed twenty sample in each ponds and the following parameters assessed: pH, temperature, dissolved oxygen, turbidity, electrical conductivity, coliform thermotolerant, ammonia, organic nitrogen, TKN, nitrate, total phosphorus and alkalinity, bicarbonate, chloride, total hardness, calcium and magnesium hardness, total solids, TSS, TDS, COD and SAR°. To utilization on pisciculture we recommend use in ponds which presents the best quality. Only one pond presented higher pollutants and it not being appropriated for use in cooling tower. The content of solids suspension restricted the water use in all ponds in boilers. As water use in soil compaction, cleaning urban road and fire fighting system the water from these ponds are not appropriated. However, the recommended limits from literature are to domestic sewage, due to this, the parameters are restrictive to diminish the sanitary risk that could be offered with it utilization. The infiltration velocity of water these assessed ponds restrict a moderato use, however the effects are potentiated only in soil less sandy, which not occur in Natal. It is recommend the unrestricted irrigation utilization in ponds with best quality of water, and a restricted irrigation to ponds with worst quality of water. As load of pollutants, it is recommended a complementary treatment in those ponds whit higher load to diminish sanitary risks. In only one pond was found one helminth eggs and due to the convention formula of results, it was found for all ponds less than 1 helminth/liter eggs.

Efeito Peltier em estruturas semicondutoras quasiperiódicas

There is nowadays a growing demand for located cooling and stabilization in optical and electronic devices, haul of portable systems of cooling that they allow a larger independence in several activities. The modules of thermoelectrical cooling are bombs of heat that use efect Peltier, that consists of the production of a temperature gradient when an electric current is applied to a thermoelectrical pair formed by two diferent drivers. That efect is part of a class of thermoelectrical efcts that it is typical of junctions among electric drivers. The modules are manufactured with semiconductors. The used is the bismuth telluride Bi2Te3, arranged in a periodic sequence. In this sense the idea appeared of doing an analysis of a system that obeys the sequence of Fibonacci. The sequence of Fibonacci has connections with the golden proportion, could be found in the reproductive study of the bees, in the behavior of the light and of the atoms, as well as in the growth of plants and in the study of galaxies, among many other applications. An apparatus unidimensional was set up with the objective of investigating the thermal behavior of a module that obeys it a rule of growth of the type Fibonacci. The results demonstrate that the modules that possess periodic arrangement are more eficient

Avaliação de métodos de análises para determinação da contagem de células somáticas no leite cru, mantido em tanque de resfriamento

We analyzed the quality of raw milk from eight dairy farms in Rio Grande do Norte stored in a cooling tank , in order to evaluate methods for determining somatic cell counts (SCC). The Somaticell® kit and a portable Direct Cell Counter (DCC) were compared with each other and with the MilkoScanTM FT+ (FOSS Denmark), which uses Fourier Transform Infrared (FTIR) spectroscopy). Direct cell counter data were processed for somatic cell scores (log-transformed somatic cell count) and analyzed with the SAS®, statistical package , Statistical Analysis System, (SAS, INSTITUTE, 1998). Comparison of means and correlation of somatic cell scores were conducted using Pearson s correlation coefficient and the Tukey Test at 1 %. No significant difference was observed for comparison of means. The correlation between somatic cell scores was significant, that is, 0.907 and 0.876 between the MilkoScanTM FT+ and the Somaticell® kit and Direct Cell Count (DCC) respectively, and 0.943 between the Somaticell® kit and Direct Cell Count (DCC). The methods can be recommended for monitoring the quality of raw milk kept in a cooling tank in the production unit

Papel de sinais cromáticos na identificação de parceiros sexuais em sagüi comum (callithrix jacchus)

The literature concerning color vision shows a trichromatic advantage in detecting ripe fruits and young leaves, but there are contradictory results. There is also the suggestion of this type of vision being adapted to perceive socio-sexual signals. Indeed, Old World primates utilize the skin color of conspecifics as a factor of attraction. But in New World primates there is no record of a coloration signal in the body that can be utilized by other group members. The present study aims to: 1- test whether there is a relation between coloration of body regions and ovulatory cycle in female Callithrix jacchus; 2- Determine if this species uses visual signals to choose mates that are sexually receptive. We collected feces from six females during one month to quantify progesterone concentration by EIA. Body region coloration was measured using a portable spectrometer and modeled to obtain the quantum catch of each photoreceptor, the opponency channels and chromatic distance between the points in units of JND. We recorded the behavior of six males exposed to three pairs of females with a cycling and a non-cycling female in each pair using a transparent plexiglass apparatus. The color of different body regions presented a correlation between progesterone concentration and the yellow-blue and red-green visual axes, with the genitalia as the region showing the highest correlation. The visual axis more apt to see the color variations was the yellow-blue in dichromats, and in trichromats were the red-green to face, yellow-blue to abdomen and both chromatic axes to genitalia. There was no difference in the signal detectability between trichromats and dichromats, but the perception pattern differed between the phenotypes, with a better signal detection by the dichromat phenotype 562 and the trichromat phenotype 543/562. During the behavioral experiments males presented longer gaze duration in periods of experimental manipulation and gaze duration was always longer towards cycling females compared to non-cycling females. Male locomotion during experimental manipulation was greater than in the control only during the periovulatory period of the female, indicating greater excitement. The behavior of cycling females was more active than the behavior of the non-cycling ones regarding locomotion and touching of the plexiglass division of the apparatus. Male gaze duration to cycling females increased with decreasing progesterone concentration, but none of the coloration parameters was correlated to the mate preference exhibited. This coloration signal can transmit information to animals of the group about fertility of female. Different from the intense red of the genitalia swellings of Old World primates, marmoset female genitalia became more bluish-green in the fertile period. Males chose fertile females and were able to visually identify the periovulatory period of females. Choice is related to progesterone concentration, but our results do not show relation between coloration and mate preference. Maybe some behavioral measure is associated with the choice

Sono e percepção visuoespacial em trabalhadores de uma empresa petroquímica submetidos a esquemas de trabalho em turnos alternantes

Shift work consists of an array of unusual work hours, such as evenings and weekends, and increasing workload, in order to meet the uninterrupted production, which leads to changes in the quality, duration and regularity of sleep. Research indicates that sleep alteration cause cognitive processes to become slower, unstable and prone to errors, leading to loss of cognitive functions such as visuospatial perception. In this sense, this research aimed to evaluate sleep quality and its relation to visuospatial perception in workers in alternating shifts. Participants were 21 panel operators in a petrochemical company, male, aged 19-53 years. All participants were subjected to schedules of alternating shifts (day and night) of 12 nonstop hours and data were collected from 10 workers who were assigned to the day shift and 11 workers assigned to the night shift. For the sleep evaluation were used the Sleep Diary, the Sleep Habits Questionnaire, the Chronotype Identification Questionnaire and the Pittsburgh Sleep Quality Index (PSQI). The visuospatial skills were assessed using the Rey Complex Figure Test and attention was assessed using a portable version of the Psychomotor Vigilance Task (PVT). The results showed that the general sample of workers obtained poor sleep quality on working days and good sleep quality during the work break. There was shortened sleep duration in the work week and appropriate duration in the work break. No losses were found in the workers visuospatiality, but the good quality of sleep during the work break was correlated to adequate visuospatial performance, for the day shift workers. The attention performance oscillated throughout the work hours, especially on the night shift. It is concluded that the alternating shifts work scheme can be detrimental to the sleep quality workers and a good sleep quality can contribute to a better visuospatial performance

Fatores de sucesso ou insucesso do turismo ambientalmente sustentável : percepção das autoridades públicas no pólo costa das dunas do Rio Grande do Norte

This study aims to compare the thermal performance of tiles made from recycled material (waste packaging cardboard with aluminized film) with the tiles of fiber and bitumen, fiber cement and red ceramic with the aim of verifying the suitability of tile to be used in hot and humid climate of low latitude. The samples were selected according to the availability from Natal RN market, as they are sold to the consumers. The methodology was based on studies that used experimental apparatus composed of thermal chambers heated by banks of incandescent bulbs, to analyze the thermal performance of materials. The tiles in the study were submitted to analysis of thermal performance, thermophysical properties and absorptance, using chambers of thermal performance, measuring the thermophysical properties and portable spectrometer, respectively. Comparative analysis of thermal performance between two samples of the recycled material with dimple sizes and different amounts of aluminum were made, in order to verify, if these characteristics had some interference on the thermal performance of them; the results showed no significant performance differences between the samples. The data obtained in chambers of thermal performance and confirmed by statistical analysis, showed, that the tile of recycled material have similar thermal performance to the tile of fiber cement. In addition to these tests was carried out the automatic monitoring of a building covered with tiles of recycled material, to verify its thermal performance in a real situation. The results showed that recycled shingles must be used with technical criteria similar to those used for fiber cement tiles, with regard to the heat gain into the building. Within these criteria should be taken into account local characteristics, especially in regions with hot and humid climate, and its use must be associated, according to the literature, to elements of thermal insulation and use of passive techniques such as vented attics, ceilings and right foot higher