A percepção de suporte organizacional dos novos servidores da Universidade Federal do Rio Grande do Norte

This work deals with organizational support perception-OSP. This is done considering staff global beliefs, value of their contributions, care and well being related of individuals in an organization. These issues has been have been present in many researches since the 80s. It is important to analyze this matter considering all the changes that occurred nationally and internationally in the academic environment, characterized as being diversified in academic and managerial level. This occurs especially in Brazil since Federal Universities and their agents have suffered impact and restructuring. The research has emphasized the technical-managerial as well as professor staff level at Universidade Federal do Rio Grande do Norte aiming to deal with their unsatisfaction upon social political support. Thus, there was participation of 259 staff that were admitted from 2003 to 2005 in many sectors and units of the university. These subjects were submitted to a social and demographical query through an application of a scale of organizational support perception-OSP. Descriptive and multivariate analysis was done considering factors (management style of higher command), material support, wages, work overload, social support at work and ascending levels). Results show that there a hierarchy of the analyzed factors, the factor social support at work as being the first one with 3,31%, the factor management style of the higher command in second with 3,30%, then followed by the factor social support at work with 2,92%, in a sequence the factor material support, factor overload with 2,49% in the fourth position, and in the fifth place, the factor ascending with an average of 2,33% and in last the factor wages with 2,20%. It is concluded that the factors related to the more positive attributions of the OSP (social support at work), in a sequence material support opposing from the most negative factors of the OSP (wages, overload, ascending) reveal a reality that points out that the OSP is very much related to the individualized actions of the members of the organization (leader-member-group) rather than on structure and institutionalized actions carried out at UFRN

Programa Liberdade assistida em Natal/RN: adolescentes em conflito com a lei e a violação de direitos

This work shows the results of the research: Attended Liberty Program Adolescents in Conflict with the Law and the Disapproval of Rights, effected in the community of Natal, Rio Grande do Norte, in period of august 2007 to September 2008. It aims to analyze the social-educative attendance directed to adolescents in conflict with the law through the state, since the Social-educative Measure Attended Liberty, known, as an idoneous way of confrontation to the practice of infraction acts imputed to the adolescent, that needs to give emphasis, in disadvantage of the Social-educative Measurement of Internment, to be proposed (ECA, art 118 and 199) to follow the adolescent in this quotidian, close to his family and community, proposing him through social-educative work, the access to education and occupancy, as well other public services, that help him to surpass the context of privation and disapproval of rights in which lives joined to his family. In our study, it was observed in sequence of approaching, subsidized for theoretical-methodological procedures justified in quantity and quality research, that were privileged to the documental research, the observation and the interview almost structured, besides a theoretical basis about the subject, that the relation of category and inequality in which the capitalist society sustains itself, does the practice of infraction acts imputed to the adolescent, acquires a classist character, in which the property of the money defines the access of the justice. And more, many of the poor adolescents that get into conflict with the law, dweller of the periphery districts of Natal/RN, becomes evident as for segment that has been attended in the Jurisdiction of the Infancy and Youth and in the LAN of Social-educative Attendance, becoming individual the infraction act and its confrontation. We hope in this work, to contribute for the care of the reality of the adolescent in conflict with the law in the Attended Liberty Program, without pretension to exhaust it, as well as later studies about the theme

Adolescentes em conflito com a lei: a saga das punições na rota da exclusão social

This work deals with the problematic of the determinations that contribute to become the adolescents involved with law. Thus, in this research, the social exclusion is apprehended as one of the most important determining to understand this problematic, once we defend that it is part of the trajectory of this adolescent's life since its birth as a punishment that starts before they becoming envolved in act's that break the law. It is still questioned the discussion of the reduction of the penal age, viewed aa a proposal that will contribute to perpetuate the repression. The objectives of the research were: analyze the problematic of adolescents in conflict with law, where social exclusion is seen here as a main category. The research also aims to understand the situation towards social exclusion and that this public is undertaken in the state of Rio Grande do Norte, more specifically in Natal. This is dane through analysis of the profile of adolescents that are submitted to the treatment at Centro Integrate de Atendimento ao Adolescente Acusado de Ato Infracional - CIAD in 2005. This is dane on arder to identify of the State's and society's actions towards this issue, how it has prevailed in analyzing if there is punishing or social protection. The research also contributed with discussion towards the non penal reduction of for underage minors. The approach realized if of qualiquantitative nature. The research was realized with 190 male adolescent subjects, age ranging from 12 to 21 that were interns at CIAD in the year of 2005. The research shows that their fundamental rights (education, health, amongst others) are disrespected on a daily basis by the State. The State prioritizes economic issues, making social inequality more profound. The main argument is that this problematic has its main oring in the social exclusion and it is imposed to the adolescents as a punishment before thes have been involved with the law going on top of the social protection. When the adolescent goes from being the victim to executioner, the Statute of Children and Adolescents is questioned by many sectors that defend the reduction of penal minority as a solution to reduce the country's violence. Thus, it was aimed here to discuss arguments that point to non exclusion, discrimination and repression. It is proposed that the State should assume children and adolescents as a priority, implementing what the statute establishes as well as assures related to the fruition of denied rights as a way to prevent their future involvement with violence

JFloat: uma biblioteca de ponto flutuante para a linguagem Java com suporte a arredondamento direcionado

This work presents JFLoat, a software implementation of IEEE-754 standard for binary floating point arithmetic. JFloat was built to provide some features not implemented in Java, specifically directed rounding support. That feature is important for Java-XSC, a project developed in this Department. Also, Java programs should have same portability when using floating point operations, mainly because IEEE-754 specifies that programs should have exactly same behavior on every configuration. However, it was noted that programs using Java native floating point types may be machine and operating system dependent. Also, JFloat is a possible solution to that problem

Estendendo CRefine para o suporte de táticas de refinamento

The use of increasingly complex software applications is demanding greater investment in the development of such systems to ensure applications with better quality. Therefore, new techniques are being used in Software Engineering, thus making the development process more effective. Among these new approaches, we highlight Formal Methods, which use formal languages that are strongly based on mathematics and have a well-defined semantics and syntax. One of these languages is Circus, which can be used to model concurrent systems. It was developed from the union of concepts from two other specification languages: Z, which specifies systems with complex data, and CSP, which is normally used to model concurrent systems. Circus has an associated refinement calculus, which can be used to develop software in a precise and stepwise fashion. Each step is justified by the application of a refinement law (possibly with the discharge of proof obligations). Sometimes, the same laws can be applied in the same manner in different developments or even in different parts of a single development. A strategy to optimize this calculus is to formalise these application as a refinement tactic, which can then be used as a single transformation rule. CRefine was developed to support the Circus refinement calculus. However, before the work presented here, it did not provide support for refinement tactics. The aim of this work is to provide tool support for refinement tactics. For that, we develop a new module in CRefine, which automates the process of defining and applying refinement tactics that are formalised in the tactic language ArcAngelC. Finally, we validate the extension by applying the new module in a case study, which used the refinement tactics in a refinement strategy for verification of SPARK Ada implementations of control systems. In this work, we apply our module in the first two phases of this strategy

Reengenharia do framework cosmos: uma solução para prover suporte e adaptações abertas.

Self-adaptive software system is able to change its structure and/or behavior at runtime due to changes in their requirements, environment or components. One way to archieve self-adaptation is the use a sequence of actions (known as adaptation plans) which are typically defined at design time. This is the approach adopted by Cosmos - a Framework to support the configuration and management of resources in distributed environments. In order to deal with the variability inherent of self-adaptive systems, such as, the appearance of new components that allow the establishment of configurations that were not envisioned at development time, this dissertation aims to give Cosmos the capability of generating adaptation plans of runtime. In this way, it was necessary to perform a reengineering of the Cosmos Framework in order to allow its integration with a mechanism for the dynamic generation of adaptation plans. In this context, our work has been focused on conducting a reengineering of Cosmos. Among the changes made to in the Cosmos, we can highlight: changes in the metamodel used to represent components and applications, which has been redefined based on an architectural description language. These changes were propagated to the implementation of a new Cosmos prototype, which was then used for developing a case study application for purpose of proof of concept. Another effort undertaken was to make Cosmos more attractive by integrating it with another platform, in the case of this dissertation, the OSGi platform, which is well-known and accepted by the industry

BTS:uma ferramenta de suporte ao desenvolvimento sistemático de sistemas confiáveis baseados em componentes

The component-based development of systems revolutionized the software development process, facilitating the maintenance, providing more confiability and reuse. Nevertheless, even with all the advantages of the development of components, their composition is an important concern. The verification through informal tests is not enough to achieve a safe composition, because they are not based on formal semantic models with which we are able to describe precisally a system s behaviour. In this context, formal methods provide ways to accurately specify systems through mathematical notations providing, among other benefits, more safety. The formal method CSP enables the specification of concurrent systems and verification of properties intrinsic to them, as well as the refinement among different models. Some approaches apply constraints using CSP, to check the behavior of composition between components, assisting in the verification of those components in advance. Hence, aiming to assist this process, considering that the software market increasingly requires more automation, reducing work and providing agility in business, this work presents a tool that automatizes the verification of composition among components, in which all complexity of formal language is kept hidden from users. Thus, through a simple interface, the tool BST (BRIC-Tool-Suport) helps to create and compose components, predicting, in advance, undesirable behaviors in the system, such as deadlocks

Sustentabilidade ambiental do cultivo intensivo de Tilápias (Oreochromis niloticus) em tanques-rede e a capacidade de suporte de quatro reservatórios em uma região semi-árida tropical

Intensive production of tilápias, in cages or net tanks, has been proposed as an alternative to increase fish production, that would generate income and offer animal protein in different tropical and subtropical countries. However, this system of production enriches the aquatic environment with nutrients, principally nitrogen and phosphor derived from the dejections of the metabolism of food and eventual food surpluses consumed by the fishes; the alimentation of the fishes in this production modality is dependent on fish food. The emission of these nutritions in levels above the limit that the system is capable metabolize can provoke a phenomenon called eutrofization, putting in risk the quality of water for public and for fish production activities. In this context the work had as a goal to evaluate the trófico state of the four reservoirs for intensive production of tilapias in net-tanks, in other words, he maximum fish production that the reservoirs are able to hold, keeping the desired quantity of nutrient concentrations in water for public use. The results of the four ecosystems in the Boqueirão de Parelhas reservoir showed that it s possible to have an intensive production of tilapias in net tanks, in this environment the annual average concentration of phosphor, was below the considered critical limits to deflagrate the process of eutrofization in semi-arid regions. The carrying capacity of the Boqueirão de Parelhas reservoir depends on the conversion of the feeding facts and phosphor content in the food but it should vary between 100 and 300 tons per year over a variation in the conversion feeding factor of 1,7 to 2,0:1 and a variation in the P in the food of 0,7 to 0,9%

O ensino da língua portuguesa na televisão: uma análise através do programa afinando a língua

The present dissertation aims to an approach of the teaching of Portuguese language on television, trying to find how possible is the contribution of this communication media in the sense to give a higher classroom dynamism and to excite the students for that subject. The TV show Afinando a Língua (roughly, putting the language in tune ), a Canal Futura feature, have as one of these main purpose be shown on the classrooms as a tool that could enlarge the possibilities of a subject often took as particularly difficult. Blocked by the traditional grammatical teaching, the Portuguese lessons have been for years pictured as hermetic and far from the Brazilian speakers reality. So, people create myths around the language that earns adjectives as complicate and inaccessible and that Brazilians can t speak the Portuguese really good, because it only happens in Portugal, the original country of the language. These myths start exactly because the teaching orientation take their basis only on the standard language, in fact just one of the language variations by the way, anywhere in the world dictated by ancestral rules, once produced in Portugal. The regular school don t accept the Portuguese variation as a natural fact for a huge country as Brazil, with almost 190 million people, regarding it as a wrong way of talking. The repression that follows the students from the early school days make them repel the language supposedly learned at school. In fact, they normally face it as something unfamiliar, different from the language that they have use to learn at home, from the family and neighbors Instead of giving new possibilities for the language learning, the television, a powerful audiovisual device, only reinforces the idea that everyone, in any life situation, should talk the standard Portuguese, turning its back to the learning acquired much earlier that any person reach the school. This conservative attitude brings almost no changes, between the shows that try to teach the idiom and the traditional Portuguese lessons, wasting valuable tools that could lead to the possibility to open the classroom to the outside world, and to the wider knowledge of the differences from each Brazilian region culture, a positive attitude that could much enlarge the cultural and linguistic students universe