As relações da tríplice hélice no setor da carcinicultura do Rio Grande do Norte: uma análise a partir das abordagens da imersão social e da dependência de recursos

This work consists in a study of the Shrimp Industry in the state of Rio Grande do Norte, whose central issue relates to the understanding of how the Triple Helix (University, Government and the productive sector) interrelationship limits or expands the industry s innovation process. The study aims to understand how the Triple Helix relationship interferes in the innovation process of shrimp in Rio Grande do Norte. As the knowledge becomes the resource key for production methods, the generation of new technologies, new products and processes which demands joint and integrated action of the institutions comprising the Triple Helix: University, Government and productive sector, which possess the essential resources to innovate the process and can be maximized from cooperative relationships between the referred Institutions. Thus, in this work, it was sharply used the pioneering studies of Sabato and Botana (1968) regarding the cooperation relationship between the scientific-technological sphere, the governmental and the productive base, and studies on the Triple Helix approach, proposed by Etzkowitz and Leydesdorff (2000), in which the university has a key role in the process of technological and innovative development of countries and regions, and under which it is assigned to the very University - the character of the entrepreneurial institution, through the concept of entrepreneurial University. Aiming to overcome the criticism of Cooke (2005), regarding the limitations of the Triple Helix approach, in this study it was used - as analytical perspectives - the perspective of social immersion (Granovetter, 1985, 2005) and the theory of resources dependence (PFEFFER; SALANCIK, 1978). The analytical perspectives presented in here, despite of the different assumptions, are essential to eliminate the bias that one only approach can lead (ASTLEY; VAN DE VEM; 2007). The authors arguments focus on the fact that the integration is possible if the researcher acknowledged that different perspectives may have different descriptions of the same phenomenon. As a research strategy, this study is characterized as a study case, along with the proposed objectives - the qualitative method was used as an approach and, depending on the gathering of the sector s historical, a sectional longitudinal view approach was applied (VIEIRA, 2004). The primary and secondary data were used in order to understand the sector s evolutionary process and its inter-institutional relations - regarding the shrimp culture in Rio Grande do Norte - to promote the development, as the content was used for the technical analysis (BARDIN, 1977). The approach of social immersion and resources addiction dependence made it possible to understand that relationships are established within and between each sphere (university, government and productive sector) characterizing a network of low density relationships and strongly internal and external dependence. Based on the speech of Etzkowitz and Mello (2006), a successful Triple Helix strategy of innovation requires not only the involvement and commitment of the parts, within the institutional sphere and among them, but also the development of mechanisms to coordinate the multiple and complex interactions and interfaces, focusing on promoting both environment and context for innovation and learning; it can be acknowledge from study results that the shrimp in the State of the RN, although there are several institutional mechanisms to promote greater integration and technological development, has been presented disjointed - both internally and between the spheres - and under no legitimate practice when facing the innovational promotion and integration institutions. Due to those factors, the central institutions of the network are crucial to the promotion of innovations, spreading through their direct contacts the importance factor of the sustainable competitive activity in the world market and on the national level. However, it may be concluded, from the data, that the Triple Helix relations are interfering in a negative way on what concerns the promotion of innovations in the shrimp industry in RN

Formal verification of PLC programs using the B Method

PLCs (acronym for Programmable Logic Controllers) perform control operations, receiving information from the environment, processing it and modifying this same environment according to the results produced. They are commonly used in industry in several applications, from mass transport to petroleum industry. As the complexity of these applications increase, and as various are safety critical, a necessity for ensuring that they are reliable arouses. Testing and simulation are the de-facto methods used in the industry to do so, but they can leave flaws undiscovered. Formal methods can provide more confidence in an application s safety, once they permit their mathematical verification. We make use of the B Method, which has been successfully applied in the formal verification of industrial systems, is supported by several tools and can handle decomposition, refinement, and verification of correctness according to the specification. The method we developed and present in this work automatically generates B models from PLC programs and verify them in terms of safety constraints, manually derived from the system requirements. The scope of our method is the PLC programming languages presented in the IEC 61131-3 standard, although we are also able to verify programs not fully compliant with the standard. Our approach aims to ease the integration of formal methods in the industry through the abbreviation of the effort to perform formal verification in PLCs

Geoprocessamento de dados meteo-oceonográficos (cor do oceano e temperatura da superfície do mar) aplicado ao monitoramento ambiental na costa setentrional do Rio Grande do Norte

Orbital remote sensing has been used as a beneficial tool in improving the knowledge on oceanographic and hydrodynamic aspects in northern portion of the continental shelf of Rio Grande do Norte, offshore Potiguar Basin. Aspects such as geography, temporal and spatial resolution combined with a consistent methodology and provide a substantial economic advantage compared to traditional methods of in situ data collecting. Images of the Moderate Resolution Imaging Spectroradiometer (MODIS) sensor onboard NASA's AQUA satellite were obtained to support systematic data collections related to the campaign of environmental monitoring and characterization of Potiguar Basin, held in May 2004. Images of Total Suspension Matter (TSM) and values of radiance standard were generated for the calculation of concentrations of total suspension matter (TSM), chlorophyll-a and sea surface temperature (SST). These data sets were used for statistical comparisons between measures in situ and satellite estimates looking validate algorithms or develop a comprehensive regional approach empirically. AQUA-MODIS images allowed the simultaneous comparison of two-dimensional water quality (total suspension matter), phytoplankton biomass (chlorophyll-a) variability and physical (temperature). For images of total suspension matter, the generated models showed a good correlation with the field data, allowing quantitative and qualitative analysis. The images of chlorophyll-a showed a consistent correlation with the in situ values of concentration. The algorithms adjusted for these images obtained a correlation coefficient fairly well with the data field in order that the sensor can be having an effect throughout the water column and not just the surface. This has led to a fit between the data of chlorophyll-the integration of the average sampling interval of the entire water column up to the level of the first optical depth, with the data generated from the images. This method resulted in higher values of chlorophyll concentration to greater depths, due to the fact that we are integrating more values of chlorophyll in the water column. Thus we can represent the biomass available in the water column. Images SST and SST measures in situ showed a mean difference DT (SST insitu - SST sat) around -0.14 ° C, considered low, making the results very good. The integration of total suspension matter, chlorophyll-a, the temperature of the sea surface (SST) and auxiliary data enabled the recognition of some of the main ways to fund the continental shelf. The main features highlighted were submerged canyons of rivers Apodi and Açu, some of the lines and beachrocks reefs, structural highs and the continental shelf break which occurs at depths around -60 m. The results confirmed the high potential for use of the AQUA-MODIS images to environmental monitoring of sea areas due to ease of detection of the field two-dimensional material in suspension on the sea surface, temperature and the concentration of chlorophyll-a