O Serviço Social nas operadoras de planos privados de assistência à saúde: demandas, atribuições e respostas profissionais

The present study deals with the exercise of professional social workers in private health care plans registered with the Regional Council of Medicine/RN, in the city of Natal/RN, with regards to the demands/tasks, work conditions, and the professional response, given the climate of restructuring the capital. The set of socio-historical transformations, as a results of the dynamic capitalist, is a process of new configurations in relation to state and society that interfere directly in relation to working conditions, social rights historically won by workers. In this context, the operator of health plans arises as a possibilities to provide services in health, through the logic of the market, in which the subjects of law, become consumers contributing to the displacement of the responsibilities of the State. Obligating workers to lessen the burden with the reproduction of their workforce. This involves changing societal context for social service, since it is one of the professions that are active in terms of the immediate social issue, and come as part of the collective worker. From qualitative research based on a theoretical and methodological perspective and critical dialectics, it was possible to unveil some features and trends of the exercise of(a) social operators in private health care plans. The survey results indicated that : a) the demands and duties for certain social service, are associated with the redevelopment of the capital, whose requirements and responsibilities professionals have with their needs, particularly the guarantee of profit, services rendered; b) in the conditions of work there is a trend of insecurity uncertainty and dismantling of professionals; c) the answers professionals suffer the limits and contradictions present in the daily training, mainly depending one the characteristics of management and operation of the operators, which has professional relative autonomy

Mestre em Sistemas e Computação

In this work will applied the technique of Differential Cryptanalysis, introduced in 1990 by Biham and Shamir, on Papílio s cryptosystem, developed by Karla Ramos, to test and most importantly, to prove its relevance to other block ciphers such as DES, Blowfish and FEAL-N (X). This technique is based on the analysis of differences between plaintext and theirs respective ciphertext, in search of patterns that will assist in the discovery of the subkeys and consequently in the discovery of master key. These differences are obtained by XOR operations. Through this analysis, in addition to obtaining patterns of Pap´ılio, it search to obtain also the main characteristics and behavior of Papilio throughout theirs 16 rounds, identifying and replacing when necessary factors that can be improved in accordance with pre-established definitions of the same, thus providing greater security in the use of his algoritm

Geração automática de hardware a partir de especificações formais: estendendo uma abordagem de tradução

Removing inconsistencies in a project is a less expensive activity when done in the early steps of design. The use of formal methods improves the understanding of systems. They have various techniques such as formal specification and verification to identify these problems in the initial stages of a project. However, the transformation from a formal specification into a programming language is a non-trivial task and error prone, specially when done manually. The aid of tools at this stage can bring great benefits to the final product to be developed. This paper proposes the extension of a tool whose focus is the automatic translation of specifications written in CSPM into Handel-C. CSP is a formal description language suitable for concurrent systems, and CSPM is the notation used in tools support. Handel-C is a programming language whose result can be compiled directly into FPGA s. Our extension increases the number of CSPM operators accepted by the tool, allowing the user to define local processes, to rename channels in a process and to use Boolean guards on external choices. In addition, we also propose the implementation of a communication protocol that eliminates some restrictions on parallel composition of processes in the translation into Handel-C, allowing communication in a same channel between multiple processes to be mapped in a consistent manner and that improper communication in a channel does not ocurr in the generated code, ie, communications that are not allowed in the system specification