Especificação do tipo intervalar parametrizado em CASL

The interval datatype applications in several areas is important to construct a interval type reusable, i.e., a interval constructor can be applied to any datatype and get intervals this datatype. Since the interval is, of certain form, a set of elements limited for two bounds, left and right, with a order notions, then it s reasonable that interval constructor enclose datatypes with partial order. On the order hand, what we want is work with interval of any datatype like this we work with this datatype then. it s important to guarantee the properties of the datatype when maps to interval of this datatype. Thus, the interval constructor get a theory to parametrized interval type, i.e., a interval with generics parameters (for example rational, real, complex). Sometimes, the interval application in some algebras doesn t guarantee the mainutenance of their properties, for example, when we use interval of real, that satisfies the field properties, it doesn t guarantee the distributivity propertie. A form to surpass this problem Santiago introduced the local equality theory that weakened the notion of strong equality, and thus, allowing some properties are local keeped, what can be discard before. The interval arithmetic generalization aim to apply the interval constructor on ordered algebras weakened for local equality with the purpose of the keep their properties. How the intervals are important in applications with continuous data, it s interesting specify that theory using a specification language that supply a system development using intervals of form disciplined, trustworth and safe. Currently, the algebraic specification language, based in math models, have been use to that intention often. We choose CASL (Common Algebraic Specification Language) among others languages because CASL has several characteristics excellent to parametrized interval type, such as, provide parcialiy and parametrization

EUPAT for WoW: Uma ferramenta de assistência à programação por usuário final

Neste trabalho, apresentamos uma ferramenta cujo intuito é auxiliar não-programadores, jogadores de videogame, na criação de extensões na forma de Add-ons para World of Warcraft, o jogo online. Nele, o usuário pode criar extensões customizando completamente sua interface, de forma a reinventar a sua experiência de jogo e melhorar sua jogabilidade. A criação de extensões para aplicativos e jogos surgiu da crescente necessidade de fornecer aos usuários mecanismos eficientes de Programação por Usuário Final, permitindo que os mesmos preenchessem suas necessidades singulares através da criação, customização e especificação de extensões em software. Em World of Warcraft mais especificamente, os Add-ons exploram um tipo de extensão na qual os jogadores passam a programar sua própria interface de usuário ou a fazer uso de interfaces criadas por outros usuários. No entanto, realizar a programação dessas extensões - os Add-ons - não é uma tarefa fácil. Dentro deste contexto, desenvolvemos a ferramenta EUPAT for WoW (do inglês, End-User Programming Assistance Tool for World of Warcraft) que oferece assistência à criação de Add-ons. Além disso, investigamos como usuários jogadores com e sem conhecimento de programação são beneficiados. Os resultados desta pesquisa permitiram refletir sobre as estratégias de assistência de programação por usuário final no contexto de jogos

Um método semi-automatizado para elicitação de requisitos de acessibilidade Web

In the context of Software Engineering, web accessibility is gaining more room, establishing itself as an important quality attribute. This fact is due to initiatives of institutions such as the W3C (World Wide Web Consortium) and the introduction of norms and laws such as Section 508 that underlie the importance of developing accessible Web sites and applications. Despite these improvements, the lack of web accessibility is still a persistent problem, and could be related to the moment or phase in which this requirement is solved within the development process. From the moment when Web accessibility is generally regarded as a programming problem or treated when the application is already developed entirely. Thus, consider accessibility already during activities of analysis and requirements specification shows itself a strategy to facilitate project progress, avoiding rework in advanced phases of software development because of possible errors, or omissions in the elicitation. The objective of this research is to develop a method and a tool to support requirements elicitation of web accessibility. The strategy for the requirements elicitation of this method is grounded by the Goal-Oriented approach NFR Framework and the use of catalogs NFRs, created based on the guidelines contained in WCAG 2.0 (Web Content Accessibility Guideline) proposed by W3C

Um Framework para criação de jogos voltados para o ensino de lógica de programação

Digital games have been used as aiding tool for transmission of knowledge, allowing faster dissemination of content. Using this strategy of disseminating logical reasoning development for basic school children can be the motivating gear that helps in the learning process for any area. In this context, many games can be created and provided for the use of teacher and student. However, the complexity of construction of these games becomes a obstacle which can, often, prevent their construction. Thus, this paper presents a framework for creating games, which teach programming logic, presenting from their conception to their integration with the visual programming environment (Blockly) and scenarios created in HTML5.

Segmentação fuzzy de objetos tridimensionais com propriedades texturais

Digital image segmentation is the process of assigning distinct labels to different objects in a digital image, and the fuzzy segmentation algorithm has been used successfully in the segmentation of images from several modalities. However, the traditional fuzzy segmentation algorithm fails to segment objects that are characterized by textures whose patterns cannot be successfully described by simple statistics computed over a very restricted area. In this paper we present an extension of the fuzzy segmentation algorithm that achieves the segmentation of textures by employing adaptive affinity functions as long as we extend the algorithm to tridimensional images. The adaptive affinity functions change the size of the area where they compute the texture descriptors, according to the characteristics of the texture being processed, while three dimensional images can be described as a finite set of two-dimensional images. The algorithm then segments the volume image with an appropriate calculation area for each texture, making it possible to produce good estimates of actual volumes of the target structures of the segmentation process. We will perform experiments with synthetic and real data in applications such as segmentation of medical imaging obtained from magnetic rosonance

Estudo e desenvolvimento de algoritmos criptográficos para redes de sensores sem fio, utilizando técnicas de programação genética

Cryptography is the main form to obtain security in any network. Even in networks with great energy consumption restrictions, processing and memory limitations, as the Wireless Sensors Networks (WSN), this is no different. Aiming to improve the cryptography performance, security and the lifetime of these networks, we propose a new cryptographic algorithm developed through the Genetic Programming (GP) techniques. For the development of the cryptographic algorithm’s fitness criteria, established by the genetic GP, nine new cryptographic algorithms were tested: AES, Blowfish, DES, RC6, Skipjack, Twofish, T-DES, XTEA and XXTEA. Starting from these tests, fitness functions was build taking into account the execution time, occupied memory space, maximum deviation, irregular deviation and correlation coefficient. After obtaining the genetic GP, the CRYSEED and CRYSEED2 was created, algorithms for the 8-bits devices, optimized for WSNs, i.e., with low complexity, few memory consumption and good security for sensing and instrumentation applications.

Estudo e desenvolvimento de algoritmos criptográficos para redes de sensores sem fio, utilizando técnicas de programação genética

Cryptography is the main form to obtain security in any network. Even in networks with great energy consumption restrictions, processing and memory limitations, as the Wireless Sensors Networks (WSN), this is no different. Aiming to improve the cryptography performance, security and the lifetime of these networks, we propose a new cryptographic algorithm developed through the Genetic Programming (GP) techniques. For the development of the cryptographic algorithm’s fitness criteria, established by the genetic GP, nine new cryptographic algorithms were tested: AES, Blowfish, DES, RC6, Skipjack, Twofish, T-DES, XTEA and XXTEA. Starting from these tests, fitness functions was build taking into account the execution time, occupied memory space, maximum deviation, irregular deviation and correlation coefficient. After obtaining the genetic GP, the CRYSEED and CRYSEED2 was created, algorithms for the 8-bits devices, optimized for WSNs, i.e., with low complexity, few memory consumption and good security for sensing and instrumentation applications.

Investigação do papel modulador do Haloperidol sobre os níveis de proteínas relacionadas à plasticidade e preferência por objetos novos em camudongos

Dopamine (DA) is known to regulate both sleep and memory formations, while sleep plays a critical role in the consolidation of different types of memories. We believe that pharmacological manipulation of dopaminergic pathways might disrupt the sleep-wake cycle, leading to mnemonic deficits, which can be observed in both behavioral and molecular levels. Therefore, here we investigated how systemic injections of haloperidol (0.3 mg/kg), immediately after training in dark and light periods, affects learning assessed in the novel object preference test (NOPT) in mice. We also investigated the hippocampal levels of the plasticity-related proteins Zif-268, brain-derived neurotrophic factor (BDNF) and phosphorylated Ca2+/calmodulin-dependent protein kinases II (CaMKII-P) in non-exposed (naïve), vehicle-injected controls and haloperidol-treated mice at 3, 6 and 12 hours after training in the light period. Haloperidol administration during the light period led to a subsequent impairment in the NOPT. In contrast, preference was not observed during the dark period neither in mice injected with haloperidol, nor in vehicle-injected animals. A partial increase of CaMKII-P in the hippocampal field CA3 of vehicle-injected mice was detected at 3h. Haloperidol-treated mice showed a significant decrease in the dentate gyrus of CaMKII-P levels at 3, 6 and 12h; of Zif-268 levels at 6h, and of BDNF levels at 12h after training. Since the mnemonic effects of haloperidol were only observed in the light period when animals tend to sleep, we suggest that these effects are related to REM sleep disruption after haloperidol injection

Análise gráfica de estruturas porosas sobre a ótica da estereologia

In this work we developed a computer simulation program for physics porous structures based on programming language C + + using a Geforce 9600 GT with the PhysX chip, originally developed for video games. With this tool, the ability of physical interaction between simulated objects is enlarged, allowing to simulate a porous structure, for example, reservoir rocks and structures with high density. The initial procedure for developing the simulation is the construction of porous cubic structure consisting of spheres with a single size and with varying sizes. In addition, structures can also be simulated with various volume fractions. The results presented are divided into two parts: first, the ball shall be deemed as solid grains, ie the matrix phase represents the porosity, the second, the spheres are considered as pores. In this case the matrix phase represents the solid phase. The simulations in both cases are the same, but the simulated structures are intrinsically different. To validate the results presented by the program, simulations were performed by varying the amount of grain, the grain size distribution and void fraction in the structure. All results showed statistically reliable and consistent with those presented in the literature. The mean values and distributions of stereological parameters measured, such as intercept linear section of perimeter area, sectional area and mean free path are in agreement with the results obtained in the literature for the structures simulated. The results may help the understanding of real structures.

Gêneros do discurso e escrita: o que as coleções didáticas de português (des)prestigiam no ensino da produção textual?

Through the examination of official indicators, it can be observed that writing is pointed out as one of the main problems concerning formal basic education. However, this teaching-learning object is one of the central objectives at school, having an essential role in different curricular components as well as in the interaction demands required by society. Such paradox indicates, therefore, the relevance of investigations which analyze the intrinsic elements of child development as written text producer. Hence, the main purpose of this research consists of analyzing the treatment given to the types of discourse and the teaching situations in which the written text are produced, concerning Portuguese language didactic material collections approved by Programa Nacional do Livro Didático (PNLD 2010) the Brazilian program of didactic book and worked at elementary school. Such materials correspond to the collections adopted in municipal education system schools from Natal, RN which were below the official education indicator IDEB 2009. Thus, the questions that guide this work are: 1. During writing production lessons, is the diversity of types of discourse effectively worked on didactic collections? 2. Which are the types of discourse and the social spheres prioritized when teaching writing production? 3. How is the situation addressed in the production of the written text should be produced? For this research, we retook the authors Bakhtin, Bunzen, Faraco, Freire, Rodrigues, Rojo, Schneuwly e Dolz and we made a list of all types of discourse and spheres contemplated in the propositions of the writing production in didactical books, concerning the eight collections which compounds the first moment of analysis. Then, we verified how the situation of production is oriented by examining two didactic collections if and how they express the elements referring to the social-historical, functional and linguistic-discursive context of the text to be produced. The data obtained indicate: lack of diversification of types of discourse in the collection that compounds the Aggregate Sample of the research; the conception of a diversity based on the didactic of visiting; the recognition of all canonical and hegemonic types of text as one of the privileged objects of study; the centralization on the standard variety of the language and the devaluation of the representative types of cultural diversity; the shortage of productions which retrace to written language related to different technologies of communication and information; and the little emphasis on the types of discourse related to public language practices. As for the situations of production, it is observed the predominance of the school as a producer of dialogic relationships, whose propositions present, for example, text addressees, enunciative positions, support and contexts of restricted circulation, especially at school. Two divergent situations are observed among the collections: the lack of a work in which the situation of production is under the perspective of the types of discourse as object of teaching-learning; the concept of the types of discourse as object of reflection, presenting a differentiated didactic orientation towards the situation of production. This research contributes, therefore, with a mapping of the existence and the treatment of the types of discourse on propositions of writing production in didactic books; with the critical analysis of the approach of written activities, considering the elements of the historical-social, functional and linguistic-discursive context; thus, through teaching, research and public policies, use and selection of didactic material for the area

Aplicação do método de análise hierárquica na tomada de decisão para adoção de computação em nuvem: um estudo de caso na federação das indústrias do RN

The progresses of the Internet and telecommunications have been changing the concepts of Information Technology IT, especially with regard to outsourcing services, where organizations seek cost-cutting and a better focus on the business. Along with the development of that outsourcing, a new model named Cloud Computing (CC) evolved. It proposes to migrate to the Internet both data processing and information storing. Among the key points of Cloud Computing are included cost-cutting, benefits, risks and the IT paradigms changes. Nonetheless, the adoption of that model brings forth some difficulties to decision-making, by IT managers, mainly with regard to which solutions may go to the cloud, and which service providers are more appropriate to the Organization s reality. The research has as its overall aim to apply the AHP Method (Analytic Hierarchic Process) to decision-making in Cloud Computing. There to, the utilized methodology was the exploratory kind and a study of case applied to a nationwide organization (Federation of Industries of RN). The data collection was performed through two structured questionnaires answered electronically by IT technicians, and the company s Board of Directors. The analysis of the data was carried out in a qualitative and comparative way, and we utilized the software to AHP method called Web-Hipre. The results we obtained found the importance of applying the AHP method in decision-making towards the adoption of Cloud Computing, mainly because on the occasion the research was carried out the studied company already showed interest and necessity in adopting CC, considering the internal problems with infrastructure and availability of information that the company faces nowadays. The organization sought to adopt CC, however, it had doubt regarding the cloud model and which service provider would better meet their real necessities. The application of the AHP, then, worked as a guiding tool to the choice of the best alternative, which points out the Hybrid Cloud as the ideal choice to start off in Cloud Computing. Considering the following aspects: the layer of Infrastructure as a Service IaaS (Processing and Storage) must stay partly on the Public Cloud and partly in the Private Cloud; the layer of Platform as a Service PaaS (Software Developing and Testing) had preference for the Private Cloud, and the layer of Software as a Service - SaaS (Emails/Applications) divided into emails to the Public Cloud and applications to the Private Cloud. The research also identified the important factors to hiring a Cloud Computing provider

Cultura organizacional orientada à qualidade: um survey nas concessionárias automotivas brasileiras certificadas com a ISO 9001

The study aims identify the existence of quality culture in Brazilian automotive dealerships with ISO 9001, motivated by this research problem: exist a quality culture in this dealerships, which facilitates the adoption of quality practices supported by ISO 9001? For referencing, the theoretical review was written in five themes: organizational culture, quality culture, total quality management, ISO 9001 quality management system and the Brazilian automobile industry. As regards the methodological aspects, the research has an applied nature, with a quantitative approach, being exploratory in their objectives, and bibliographic, documental and survey as technical procedures. The organizations participating in the study were all Brazilian automotive dealerships certified with ISO 9001. The research intended cover all the 80 active dealers with ISO 9001 certification identified by the Brazilian Committee for Quality (ABNT CB-25). The survey recorded participation of 32 companies (response rate 40%). The questionnaire was sent to seller managers, formatted into five sections: 1) introductory message 2) manager profile, 3) reasons for implementation and benefits generated by ISO 4) adoption levels of quality practices and 5) diagnosis of organizational culture. The questions contained in sections 2 and 3 were structured in multiple choice, and in the remaining sections were structured in Likert 5-point scale. The statistical method used (data analysis), was the descriptive statistics, for data representation in frequency percentage (FP) and standard level (SL). The results showed that the interviewed dealerships have an organizational culture with very high levels of prevalence in "outcome orientation" and "attention to detail" cultural dimensions. In addition, about the other two dimensions considered conducive to quality (innovation and teamwork/respect for people), both observed high prevalence. Based on the present results, concluded that the organizational culture of Brazilian dealerships with ISO 9001 are quality oriented, being conducive to adoption of quality practices supported by TQM Systems. However, it is important to mention that the quality culture identified is not sufficiently developed to adopt quality practices at optimal levels, which sets up an unfavorable scenario to deals with highly rigorous customer

Controle vetorial de velocidade de uma máquina de indução sem mancais trifásica com bobinado dividido utilizando estimação neural de fluxo

This work describes the study and the implementation of the vector speed control for a three-phase Bearingless induction machine with divided winding of 4 poles and 1,1 kW using the neural rotor flux estimation. The vector speed control operates together with the radial positioning controllers and with the winding currents controllers of the stator phases. For the radial positioning, the forces controlled by the internal machine magnetic fields are used. For the radial forces optimization , a special rotor winding with independent circuits which allows a low rotational torque influence was used. The neural flux estimation applied to the vector speed controls has the objective of compensating the parameter dependences of the conventional estimators in relation to the parameter machine s variations due to the temperature increases or due to the rotor magnetic saturation. The implemented control system allows a direct comparison between the respective responses of the speed and radial positioning controllers to the machine oriented by the neural rotor flux estimator in relation to the conventional flux estimator. All the system control is executed by a program developed in the ANSI C language. The DSP resources used by the system are: the Analog/Digital channels converters, the PWM outputs and the parallel and RS-232 serial interfaces, which are responsible, respectively, by the DSP programming and the data capture through the supervisory system

RoboEduc: uma metodologia de aprendizado com robótica educacional

In this work, we propose a methodology for teaching robotics in elementary schools, based on the socio-historical Vygotsky theory. This methodology in conjunction with the Lego Mindstoms kit (R) and an educational software (an interface for control and programming of prototypes) are part of an educational robotics system named RoboEduc. For the practical development of this work, we have used the action-research strategy, being realized robotics activities with participation of children with age between 8 and 10 years, students of the elementary school level of Municipal School Ascendino de Almeida. This school is located at the city zone of Pitimbu, at the periphery of Natal, in Rio Grande do Norte state. The activities have focused on understanding the construction of robotic prototypes, their programming and control. At constructing prototypes, children develop zone of proximal development (ZPDs) that are learning spaces that, when well used, allow the construction not only of scientific concepts by the individuals but also of abilities and capabilities that are important for the social and cultural interactiond of each one and of the group. With the development of these practical workshops, it was possible to analyse the use of the Robot as the mediator element of the teaching-learning process and the contributions that the use of robotics may bring to teaching since elementary levels

Um sistema de visão para navegação robusta de uma plataforma robótica semi-autônoma

Large efforts have been maden by the scientific community on tasks involving locomotion of mobile robots. To execute this kind of task, we must develop to the robot the ability of navigation through the environment in a safe way, that is, without collisions with the objects. In order to perform this, it is necessary to implement strategies that makes possible to detect obstacles. In this work, we deal with this problem by proposing a system that is able to collect sensory information and to estimate the possibility for obstacles to occur in the mobile robot path. Stereo cameras positioned in parallel to each other in a structure coupled to the robot are employed as the main sensory device, making possible the generation of a disparity map. Code optimizations and a strategy for data reduction and abstraction are applied to the images, resulting in a substantial gain in the execution time. This makes possible to the high level decision processes to execute obstacle deviation in real time. This system can be employed in situations where the robot is remotely operated, as well as in situations where it depends only on itself to generate trajectories (the autonomous case)