Uma arquitetura baseada em SCTP e SIP para suporte a aplicações VoIP móveis e a especificação formal do seu módulo de controle

New versions of SCTP protocol allow the implementation of handover procedures in the transport layer, as well as the supply of a partially reliable communication service. A communication architecture is proposed herein, integrating SCTP with the session initiation protocol, SIP, besides additional protocols. This architecture is intended to handle voice applications over IP networks with mobility requirements. User localization procedures are specified in the application layer as well, using SIP, as an alternative mean to the mechanisms used by traditional protocols, that support mobility in the network layer. The SDL formal specification language is used to specify the operation of a control module, which coordinates the operation of the system component protocols. This formal specification is intended to prevent ambiguities and inconsistencies in the definition of this module, assisting in the correct implementation of the elements of this architecture

Envelhecimento ambiental acelerado em PRF a base de tecidos híbridos kevlar/vidro: propriedades e instabilidade estrutural

There are a number of damaging mechanisms that various materials can suffer in service. However, when working with polymer composite materials, this is something that requires analysis, especially when exposed to adverse environmental conditions. Thus, the objective of the present thesis is the study of the direct influence of environmental aging and the form of hybridization of the reinforcement woven on the structural stability, surfacedegradation and fracture process of polymer composites laminates. For this, the development of two polymer composite laminates was necessary, where one of them was reinforced with a bi-directional woven with hybrid strandsofkevlar-49/glass-Efibers, and the other also with a bi-directionalwoven, however with weft and warpformed of alternating strandsof Kevlar-49 fibers and glass-E fiber The reinforcementwoven are industrially manufactured. Both laminates use a polyester resin as a matrixand are made up of four layers each. All laminates were industrially prepared by the hand lay-up method of manufacturing. To do this, test specimens were manufactured of the respective laminates and submitted to environmental aging accelerated through the aging chamber. They were exposed to alternating cycles of UV radiation and moisture (heated steam) for a standard defined period. At the end of the exposure period the specimens were subjected to mechanical tests of uniaxial tensile and bending in three points and to the characterizationsof the fracture and surface deterioration. In addition, they were submitted to a structural degradation assessment by the measurement of mass variation technique (MMVT) and the measurement of thickness variation technique (MTVT), this last technique being developed in this thesis. At the end of the analysis it was observed that the form of hybridization of the reinforcement woven and the aging process directly influence with losses or gain in mechanical properties, with losses in the structural degradation and in the formation and propagation of damage mechanism of the developedcomposite laminates

Envelhecimento ambiental em compósitos poliméricos à base de tecidos de reforços híbridos

The utilization of synthetic fibers for plastic reinforcement is more and more frequent and this growing interest requires that their mechanic behavior under the most variable conditions of structural applications be known. The use of such materials in the open and exposed to the elements is one of them. In this case, it becomes extremely necessary to study their mechanical properties (strength, stiffness) and the mechanism of fracture by which the environment aging them out. In order to do that, the material must be submitted to hot steam and ultraviolet radiation exposure cycles, according to periods of time determined by the norms. This study proposal deals with the investigation of accelerated environmental aging in two laminated polymeric composites reinforced by hybrid woven made up of synthetic fibers. The configurations of the laminated composites are defined as: one laminate reinforced with hybrid woven of glass fibers/E and Kevlar fibers/49 (LHVK) and the other laminate is reinforced with hybrid tissue of glass fibers/E and of carbon fibers AS4 (LHVC). The woven are plane and bidirectional. Both laminates are impregnated with a thermofix resin called Derakane 470-300 Epoxy Vinyl-Ester and they form a total of four layers. The laminates were industrially manufactured and were made through the process of hand-lay-up. Comparative analyses were carried out between their mechanical properties by submitting specimen to uniaxial loading tractions and three-point flexion. The specimen were tested both from their original state, that is, without being environmentally aging out, and after environmental aging. This last state was reached by using the environmental aging chamber

Avaliação da estrutura de tecidos técnicos como elemento reforçante em compósitos poliméricos sistema poliéster isoftálico

Materials known as technical textiles can be defined as structures designed and developed to meet specific functional requirements of various industry sectors, which is the case in automotive and aerospace industries, and other specific applications. Therefore, the purpose of this work presents the development and manufacture of polymer composite with isophthalic polyester resin. The reinforcement of the composite structure is a technical textile fabric made from high performance fibers, aramid (Kevlar 49) and glass fiber E. The fabrics are manufactured by the same method, with the aim of improving the tensile strength of the resulting polymer composite material. The fabrics, we developed some low grammage technical textile structures in laboratory scale and differentiated-composition type aramid (100%), hybrid 1 aramid fiber / glass (65/35%) and hybrid 2 aramid fiber / glass (85/15% ) for use as a reinforcing element in composite materials with unsaturated isophthalic polyester matrix. The polymer composites produced were tested in uniaxial tensile fracture surface and it´s evaluated by SEM. The purpose of this work characterize the performance of polymer composites prepared, identifying changes and based on resistance to strain corresponding to the mechanical behavior. The objectives are to verify the capability of using this reinforcement structure, along with the use of high performance fibers and resin in terms of workability and mechanical strength; verify the adherence of the fiber to the matrix and the fracture surface by electron microscopy scanning and determination of tensile strength by tensile test. The results indicate that, in a comparative study to the response of uniaxial tensile test for tensile strength of the composites and the efficiency of the low percentage of reinforcement element, being a technical textile fabric structure that features characteristic of lightness and low weight added in polymer composites

Competitividade de diferentes atmosferas de plasma sobre as propriedades hidrofílicas em tecidos de polilático

Os polímeros biodegradáveis, como o poliácido láctico (PLA) apesar de consolidado nos campos farmacêuticos, médico e biomédico como biomateriais úteis para aplicações variadas, porém, depende da necessidade de funcionalizar a sua superfície estudando suas propriedades tais como hidrofilidade e hidrofobicidade favorecendo a interação do polímero com os materiais de aplicação farmacêutica, médica e biomédica. Este trabalho tem como objetivo produzir um material com características diferentes em cada um de seus lados, sendo um lado hidrofílico e o outro hidrofóbico. O substrato têxtil utilizado neste estudo foi um tecido de malha de composição 100% PLA que é biodegradável e biocompatível, o que possibilita sua aplicação na área biomédica. Para modificação superficial foi utilizado o tratamento a plasma de baixa pressão. A técnica de modificação de superfície por plasma foi escolhida por ser uma tecnologia limpa, anticorrosiva e não tóxica ao contrario de muitos processos químicos convencionais utilizados na indústria têxtil, além disso, não afeta as propriedades de massa do substrato. Neste estudo, um lado da superfície do substrato foi tratado com plasma oxigênio, argônio e nitrogênio, para o trabalho de melhoria da hidrofilidade da superfície e metano para a hidrofobicidade da amostra. A espectroscopia de emissão ótica (OEE) foi utilizada para fazer o diagnóstico das espécies do plasma durante o tratamento. Após o tratamento a plasma as amostras foram caracterizadas por medidas de ângulo de contato, microscopia eletrônica de varredura (MEV), Espectroscopia de fotoelétrons de raios-X (XPS), Infravermelho com Transformada de Fourier (FTIR) de reflexão total atenuada (ATR), medidas da área de espalhamento do líquido e arraste vertical. Onde foi caracterizado o aumento e diminuição da molhabilidade das amostras tratadas por plasma bem como as variáveis que contribuíram para tal efeito. O tratamento das amostras de PLA com O2 + CH4 apresenta comportamento hidrofílico no lado tratado com O2, apresentando aumento de rugosidade e grupos funcionais e no lado tratado com CH4, apresentando a formação de um filme polimérico formado sobre a superfície da amostra. O tratamento com N2 + CH4 apresenta comportamento hidrofóbico, porém com variações no fluxo do CH4 tem-se um controle da molhabilidade na superfície das amostras, podendo ir de hidrofóbico a hidrofílico, neste tratamento as amostras apresentaram pequenas diferenças de molhabilidade entre os lados tratados com plasma de N2 e com plasma de CH4

Percolação convencional, percolação correlacionada e percolação por invasão num suporte multifractal

In this work we have studied the problem of percolation in a multifractal geometric support, in its different versions, and we have analysed the conection between this problem and the standard percolation and also the connection with the critical phenomena formalism. The projection of the multifractal structure into the subjacent regular lattice allows to map the problem of random percolation in the multifractal lattice into the problem of correlated percolation in the regular lattice. Also we have investigated the critical behavior of the invasion percolation model in this type of environment. We have discussed get the finite size effects

Efeitos do treino em esteira com suporte parcial de peso e do método de facilitação neuromuscular proprioceptiva na marcha hemiparética: estudo comparativo

Objective: To compare the effects of the treadmill training with partial body-weight support (TPBWS) and Proprioceptive Neuromuscular Facilitation (PNF) method on gait of subjects with chronic stroke. Design: Quasi-experimental study. Setting: Laboratorial research. Participants: Twenty-three subjects (13 men and 10 women), with a mean age of 56,7 ± 8,0 years and a mean time since the onset of the stroke of 27,7 ± 20,3 months, and able to walk with personal assistance or assistive devices. Interventions: Two experimental groups underwent gait training based on PNF method (PNF group, n=11) or using the TPBWS - Gait Trainer System 2, Biodex, USA (TPBWS group, n=12), for three weekly sessions, during four weeks. Measures: Evaluation of motor function - using the Stroke Rehabilitation Assessment of Movement (STREAM) and the motor subscale of the Functional Independence Measure (motor FIM) -, and kinematic gait analyze with the Qualisys System (Qualisys Medical AB, Gothenburg, Sweden) were carried out before and after the interventions. Results: Increases in the STREAM scores (F=49.189, P<0.001) and in motor FIM scores (F=7.093, P=0.016), as well as improvement in symmetry ratio (F=7.729, P=0.012) were observed for both groups. Speed, stride length and double-support time showed no change after training. Differences between groups were observed only for the maximum ankle dorsiflexion over the swing phase (F=6.046, P=0.024), which showed an increase for the PNF group. Other angular parameters remain unchanged. Conclusion: Improvement in motor function and in gait symmetry was observed for both groups, suggesting similarity of interventions. The cost-effectiveness of each treatment should be considered for your choice

Vulnerabilidade ao estresse no trabalho e percepção de suporte familiar em porteiros: um estudo correlacional

Este estudo objetivou avaliar e correlacionar os níveis de vulnerabilidade ao estresse no trabalho e percepção de suporte familiar em trabalhadores porteiros. Participaram 100 porteiros de uma empresa prestadora de serviços de médio porte. Utilizou-se o questionário de caracterização, a Escala de Vulnerabilidade ao Estresse no Trabalho (EVENT) e o Inventário de Percepção de Suporte Familiar (IPSF). A idade média dos participantes foi de 37,8 anos; trabalhavam na empresa, em torno de quatro anos e como porteiros, em média, há cinco anos. Os resultados mostraram uma pontuação média na medida de estresse geral da EVENT, sugerindo indicação de poucos estressores nesse grupo de porteiros. O IPSF também apresentou pontuação média, indicando que grande parte dos participantes possui percepção de bom suporte familiar. As análises mostraram correlações negativas fracas, porém estatisticamente significantes, entre a dimensão adaptação familiar do ipsf e as dimensões clima e funcionamento organizacional, pressão no trabalho e total da EVENT.

Os Centros de Especialidades Odontológicas como suporte da atenção básica: uma avaliação na perspectiva da integralidade

The public dental services in Brazil were limited, practically, to the basic care, so that the specialized services acted, up to 2002, no more than 3,5% of the total of clinical procedures. That lower offer reveals the difficulty of continuity of the attention, that is, the comprehensiveness in the assistance, particulary, the reference and counter-reference system. Brasil Sorridente search to supply those needs when proposing Speciality Dental's Centers(CEOs Centros de Especialidades Odontológicas, Brazil) to compose the services of average complexity. In 2005, Ministry of Health enabled the three CEOs of Natal, located in the North II, East and West Sanitary Districts. This investigation evaluated the implantation of these CEOs, as support of the family health care teams, in the perspective of organization of the services in assistencial nets in Natal/RN. It was a study of evaluation, with qualitative approach and some quantitative data as contribution. Dentists, users and managers were interviewed to identify and to understand their perceptions, relationships and experiences in the daily of the services. The conceptual base that orientated the investigation was the principle of comprehensiveness, in its operational sense of the hierarchization in health attention levels. The collection of data was done with documental research, direct observation and semi-structured interview. The analysis was accomplished by triangulation of the extracted content from the used techniques and sources of interviewed groups depositions, looking for theoretical-conceptual support in specific bibliography. The results pointed aspects that go away from the comprehensiveness like: low resolution of problems in the basic net; little valorization of the space in the health units; traditional models of access to health services, insufficient offer for some specialties, compromising the reference and counter-reference system; practices centered in procedures in the CEO; bureaucratic directions from basic care to the specialized service; disintegrated and disjointed system among levels of attention; disrespect to the municipal protocol. On the other hand, there is an approach of compreensiveness in situations like: increase of the access and covering in the Family Health Strategy (ESF Estratégia Saúde da Família, Brazil); larger approach between professional and user; tendency to the quantitative and qualitative growth of specialized actions; punctual initiatives of relationships among levels; existence of protocol to guide professionals

Exames parasitológicos, imunoistoquímicos e histopatológicos para detecção de Leishmania chagasi em tecidos esplênicos de cães com leishmaniose visceral

O propósito do presente trabalho foi o estudo da Leishmaniose Visceral Canina - LVC por meio de métodos parasitológicos e imunoistoquímicos para a detecção de formas amastigotas de Leishmania (L.) chagasi em baço, além de descrever a histopatologia das lesões esplênicas em 34 cães, com diferentes manifestações clínicas da LVC, eutanasiados pelo Centro de Controle de Zoonoses de Ilha Solteira, SP. Esses animais foram examinados clinicamente antes da eutánásia e de acordo com os sinais clínicos da LVC, foram classificados em três grupos: assintomáticos (8 cães), oligossintomáticos (17 cães) e sintomáticos (9 cães). Após a realização desses exames, dos 34 cães, 22 (64,7%) estavam positivos e 12 (35,3%) negativos. Desses cães positivos, 1/22 (4,5%) era assintomático, 12/22 (54,5%) eram oligossintomáticos e 9/22 (40,1%) sintomáticos. Pela histopatologia, os cães, especialmente os sintomáticos apresentavam o baço com inflamação crônica e espessamento na região capsular e trabecular, além de extensa alteração morfológica na polpa vermelha e branca pela presença de grande quantidade de macrófagos repletos de amastigotas, pela reação granulomatosa inflamatória e pelas áreas hemorrágicas. Os exames histopatológicos e a detecção microscópica direta da L. (L.) chagasi revelaram que o baço é um órgão útil para auxiliar no diagnóstico da LVC. A coloração imunoistoquímica foi a que detectou o maior número de tecidos esplênicos positivos com amastigotas, além de elucidar os casos suspeitos pelos exames parasitológicos, principalmente, nos animais assintomáticos ou oligossintomáticos.

Adolescentes e jovens e suas bases de apoio :relações de amizade como suporte social no enfrentamento à violência

The purpose of this work is to map the family and community social supports for adolescents and young students from Bom Pastor Distric, West Zone of Natal/RN, as well as to describe how such resources are used by these individuaIs in that community. Social support refers not only to formal activities or organizations, but also to spontaneous or informal forms of support - friendship and solidarity nets available in the community, affective relations that are meaningful in the lives of children and young people. Our discussion is based on a research performed with 382 adolescents and young students from Jean Mermoz Public School (students from 5th to 11th grades, aged 13 to 14). We emphasized the situations of violence derived from family or community spheres faced by these students. In relation to this specific aspect, we observed the participants more frequently look for help from the informal social supports, mostly from their friends, which indicates that the formal ones are not considered to be effective instruments for social assistance. The search for informal social supports shows the relations informally established in the streets (for instance when they look for help from friends, rei atives or neighbors) have more effect and play an important role in which there are values and affections exchange. Thinking the strengthening of these social links is of extreme importance and leads to the weakening of the hegemonic logics focused on the production of subjects as private identities, and to the amplification of an ethics committed to the disassembly of a sociability anchored to fear, impotence, intolerance, discrimination, and reduction of spaces for circulating and confronting mechanisms of social exclusion. It is crucial that we concentrate our attention to building friendship as a system of reciprocity and affective exchanges, as a space for political actions and production of forms of lives that are potent against social anesthesia

Suporte ao uso de álcool e drogas na atenção primária: um estudo com equipes de Natal/RN

National surveys indicate that 6.8 % of the brazilian population is dependent on alcohol and 1 % dependent on illicit drugs, representing a significant portion of the population affected by this issue . Primary Care becomes instrumental in expanding the coverage of this demand and in reducing unnecessary referrals for specialized care. This study aimed to investigate the responsiveness and institutional support of Primary Care Teams in relation to the demands of alcohol and drugs users. The research was conducted in a Family Health Unit in West Sanitary District of Natal City. With quantitative and qualitative nature, our study consisted of two stages. At first, we performed a mapping of alcohol and other drugs abusive use in a sample of the population assisted by Family Heath Teams, using sociodemographic questionnaire and ASSIST (Alcohol, Smoking and Substance Involvement Screening Test). 406 questionnaires were completed. Of these questionnaires, 27.8% are men and 72.2% women, of which 56% are between 20 and 39 years-old, they are housewives, have a stable relationship and are consumers of tobacco (37.6%), marijuana (13%) and especially alcohol (57%). In second stage, two Conversation Circles with Family Health Teams and the referential Family Health Support Center were formed to discuss the data of the mapping realized in the previous phase. The circles, which had participation of 20 of the 37 professional teams from Family Health and 2 from Family Health Support Center, showed a lack of professional training in the subject; inability of the healthcare network in the user embracement; belief of professionals that nothing can be done when matter is alcohol and drugs; and referencing as the only care action performed by teams. Thus we point out the need to support an approach on issues of alcohol and drugs which consider gender issues, investing in Harm Reduction Policy as a possibility of working in this context for recognizing each user in their uniqueness and strategizing with them to promote health in a broad and contextualized way

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

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