Arquitetura multiprocessada e reconfigurável para a síntese de redes de Petri em hardware

Uma arquitetura reconfigurável e multiprocessada para a implementação física de Redes de Petri foi desenvolvida em VHDL e mapeada sobre um FPGA. Convencionalmente, as Redes de Petri são transformadas em uma linguagem de descrição de hardware no nível de transferências entre registradores e um processo de síntese de alto nível é utilizado para gerar as funções booleanas e tabelas de transição de estado para que se possa, finalmente, mapeá-las num FPGA (Morris et al., 2000) (Soto and Pereira, 2001). A arquitetura proposta possui blocos lógicos reconfiguráveis desenvolvidos exclusivamente para a implementação dos lugares e das transições da rede, não sendo necessária a descrição da rede em níveis de abstração intermediários e nem a utilização de um processo de síntese para realizar o mapeamento da rede na arquitetura. A arquitetura permite o mapeamento de modelos de Redes de Petri com diferenciação entre as marcas e associação de tempo no disparo das transições, sendo composta por um arranjo de processadores reconfiguráveis, cada um dos quais representando o comportamento de uma transição da Rede de Petri a ser mapeada e por um sistema de comunicação, implementado por um conjunto de roteadores que são capazes de enviar pacotes de dados de um processador reconfigurável a outro. A arquitetura proposta foi validada num FPGA de 10.570 elementos lógicos com uma topologia que permitiu a implementação de Redes de Petri de até 9 transições e 36 lugares, atingindo uma latência de 15,4ns e uma vazão de até 17,12GB/s com uma freqüência de operação de 64,58MHz.

Branch and bound algorithm for transmission network expansion planning using DC model

This paper presents an algorithm to solve the network transmission system expansion planning problem using the DC model which is a mixed non-linear integer programming problem. The major feature of this work is the use of a Branch-and-Bound (B&B) algorithm to directly solve mixed non-linear integer problems. An efficient interior point method is used to solve the non-linear programming problem at each node of the B&B tree. Tests with several known systems are presented to illustrate the performance of the proposed method. ©2007 IEEE.

Aperfeiçoamento do método clause-column table para a geração eficiente de implicantes primos

Pós-graduação em Engenharia Elétrica - FEIS

Intelligence functions disorders in patients with complex partial epilepsy

Objective: To compare the performance of patients with complex partial epilepsy with the normal controls in the subtests of an instrument used to assess intelligence function. Method: Fifty epileptic patients, whose ages ranged from 19 to 49 years and 20 normal controls without any neuropsychiatric disorders. The Wechsler-Bellevue adult intelligence test was applied in groups, epileptic patients and control subjects. This test is composed of several subtests that assess specific cognitive functions. A statistical analysis was performed using non-parametric tests. Results: All the Wechsler-Bellevue subtests revealed that the intelligence functions of the patients were significantly inferior to that of the controls (p<0.05). This performance was supported by the patient's complaints in relation to their cognitive performance. Conclusion: Patients with complex partial epilepsy presented poorer results in the intelligence test when compared with individuals without neuropsychiatric disorders.

On partial derivative-Neumann's problem in generalized functions framework

In this paper, we show that the equation delta u/delta (z) over bar + Gu = f, where the elements involved are in generalized functions context, has a local solution in the generalized functions context.

Estimation of genetic parameters for partial egg production periods by means of random regression models

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Benefits of Multimodal Exercise Intervention for Postural Control and Frontal Cognitive Functions in Individuals with Alzheimer's Disease: A Controlled Trial

Objective To verify the effects of a systematized multimodal exercise intervention program on frontal cognitive function, postural control, and functional capacity components of individuals with Alzheimer's disease (AD).DesignNonrandomized controlled trial with pre- and posttraining tests in a training group and a control group.SettingKinesiotherapy program for seniors with AD, SAo Paulo State University.ParticipantsConvenience sample of older adults with AD (n=30) were assigned to a training (n=14; aged 78.67.1) and a control (n=16; aged 77.06.3) group.InterventionThe intervention program was structured with the aim of simultaneously promoting better balance and frontal cognitive capacity. The participants attended a 1-hour session three times a week for 16weeks, whereas the control group did not participate in any activity during the same period.MeasurementsFrontal cognitive function was evaluated using the Montreal Cognitive Assessment, the Clock Drawing Test, the Frontal Assessment Battery, and the Symbol Search Subtest. Postural control (center of pressure area) was analyzed under four dual-task conditions. Functional capacity components were analyzed using the Timed Up and Go Test, the 30-second sit-to-stand test, the sit-and-reach test, and the Berg Functional Balance Scale.ResultsIntervention group participants showed a significant increase in frontal cognitive function (P<.001, partial (2)=0.838), with less body sway (P=.04, partial (2)=0.04) during the dual tasks, and greater functional capacity (P=.001, partial (2)=0.676) after the 16-week period.ConclusionIntervention participants performed better on dual-task activities and had better postural balance and greater functional capacity than controls.

Functions and vector fields on C(CPn)-singular manifolds

Let M2n+1 be a C(CPn) -singular manifold. We study functions and vector fields with isolated singularities on M2n+1. A C(CPn) -singular manifold is obtained from a smooth manifold M2n+1 with boundary in the form of a disjoint union of complex projective spaces CPn boolean OR CPn boolean OR ... boolean OR CPn with subsequent capture of a cone over each component of the boundary. Let M2n+1 be a compact C(CPn) -singular manifold with k singular points. The Euler characteristic of M2n+1 is equal to chi(M2n+1) = k(1 - n)/2. Let M2n+1 be a C(CPn)-singular manifold with singular points m(1), ..., m(k). Suppose that, on M2n+1, there exists an almost smooth vector field V (x) with finite number of zeros m(1), ..., m(k), x(1), ..., x(1). Then chi(M2n+1) = Sigma(l)(i=1) ind(x(i)) + Sigma(k)(i=1) ind(m(i)).

Prosthetic rehabilitation of a patient after a partial mandibulectomy

The treatment of orofacial tumors may cause facial deformities by losses of structures that affect basic functions, i.e. feeding, speech, and the reduction of patient self-steam. A white male patient was diagnosed with epidermoid cancer on the mandibular alveolar ridge with infiltration staging IV A. The patient was submitted to a mandibulectomy associated with a complete extraction of mandibular teeth. For rehabilitation, a conventional denture for the mandibular arch and a removable partial denture for the maxillary arch were fabricated. A correct occlusal adjustment and a satisfactory amount of alveolar bone was favorable for conventional dentures of the prostheses bases improve their retention and stability. After one year of follow-up, the patient was adapted to the prostheses, satisfied with their retention, and reported an improvement on his feeding. The prosthetic rehabilitation of patients after a partial mandibulectomy is essential for their self-steam. Conventional dentures may have their retention and stability improved if they are well fabricated, recorded and have a balanced occlusion. A correct occlusal adjustment and an adequate retention of the prostheses bases may improve their retention and stability. Patients without xerostomy and with a satisfactory amount of alveolar bone may have a favorable prognosis for conventional dentures.