On the optimum parameters of a device for harvesting energy from running and walking

This paper investigates the feasibility of using an energy harvesting device tuned such that its natural frequency coincides with higher harmonics of the input to capture energy from walking or running human motion more efficiently. The paper starts by reviewing the concept of a linear resonant generator for a tonal frequency input and then derives an expression for the power harvested for an input with several harmonics. The amount of power harvested is estimated numerically using measured data from human subjects. Assuming that the input is periodic, the signal is reconstructed using a Fourier series before being used in the simulation. It is found that although the power output depends on the input frequency, the choice of tuning the natural frequency of the device to coincide with a particular higher harmonic is restricted by the amount of damping that is needed to maximize the amount of power harvested, as well as to comply with the size limit of the device. It is also found that it is not feasible to tune the device to match the first few harmonics when the size of the device is small, because a large amount of damping is required to limit the motion of the mass.

BRIDGE: uma ferramenta para o Design de Interfaces de Usuário baseada em especificações IMML

With hardware and software technologies advance, it s also happenning modifications in the development models of computational systems. New methodologies for user interface specification are being created with user interface description languages (UIDL). The UIDLs are a way to have a precise description in a language with more abstraction and independent of how will be implemented. A great problem is that even using these nowadays methodologies, we still have a big distance between the UIDLs and its design, what means, the distance between abstract and concrete. The tool BRIDGE (Interface Design Generator Environment) was created with the intention of being a linking bridge between a specification language (the Interactive Message Modeling Language IMML) and its implementation in Java, linking the abstract (specification) to the concrete (implementation). IMML is a language based on models, that allows the designer works in distinct abstraction levels, being each model a distinct abstraction level. IMML is a XML language, that uses the Semiotic Engineering concepts, that deals the computational system, with the user interface and its elements like a metacommunicative artifact, where these elements must to transmit a message to the user about what task must to be realized and the way to reach this goal. With BRIDGE, we intend to supply a lot of support to the design task, being the user interface prototipation the greater of them. BRIDGE allows the design becomes easier and more intuitive coming from an interface specification language

Uma análise experimental de algoritmos exatos aplicados ao problema da árvore geradora multiobjetivo

The Multiobjective Spanning Tree Problem is NP-hard and models applications in several areas. This research presents an experimental analysis of different strategies used in the literature to develop exact algorithms to solve the problem. Initially, the algorithms are classified according to the approaches used to solve the problem. Features of two or more approaches can be found in some of those algorithms. The approaches investigated here are: the two-stage method, branch-and-bound, k-best and the preference-based approach. The main contribution of this research lies in the fact that no research was presented to date reporting a systematic experimental analysis of exact algorithms for the Multiobjective Spanning Tree Problem. Therefore, this work can be a basis for other research that deal with the same problem. The computational experiments compare the performance of algorithms regarding processing time, efficiency based on the number of objectives and number of solutions found in a controlled time interval. The analysis of the algorithms was performed for known instances of the problem, as well as instances obtained from a generator commonly used in the literature

Controlador adaptativo por modelo de referência e estrutura variável aplicado ao controle de ângulo de carga e fluxo de campo de um gerador síncrono

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

Estudo comparativo de estratégias de controle aplicadas a um gerador síncrono

The robustness and performance of the Variable Structure Adaptive Pole Placement Controller are evaluated in this work, where this controller is applied to control a synchronous generator connected to an infinite bus. The evaluation of the robustness of this controller will be accomplished through simulations, where the control algorithm was subjected to adverse conditions, such as: disturbances, parametric variations and unmodeled dynamic. It was also made a comparison of this control strategy with another one, using classic controllers. In the simulations, it is used a coupled model of the synchronous generator which variables have a high degree of coupling, in other words, if there is a change in the input variables of the generator, it will change all outputs simultaneously. The simulation results show which control strategy performs better and is more robust to disturbances, parametric variations and unmodeled dynamics for the control of Synchronous Generator

A integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability: construindo uma infraestrutura para o ensino de Lógica através de estratégias de demonstração e refutação

Logic courses represent a pedagogical challenge and the recorded number of cases of failures and of discontinuity in them is often high. Amont other difficulties, students face a cognitive overload to understand logical concepts in a relevant way. On that track, computational tools for learning are resources that help both in alleviating the cognitive overload scenarios and in allowing for the practical experimenting with theoretical concepts. The present study proposes an interactive tutorial, namely the TryLogic, aimed at teaching to solve logical conjectures either by proofs or refutations. The tool was developed from the architecture of the tool TryOcaml, through support of the communication of the web interface ProofWeb in accessing the proof assistant Coq. The goals of TryLogic are: (1) presenting a set of lessons for applying heuristic strategies in solving problems set in Propositional Logic; (2) stepwise organizing the exposition of concepts related to Natural Deduction and to Propositional Semantics in sequential steps; (3) providing interactive tasks to the students. The present study also aims at: presenting our implementation of a formal system for refutation; describing the integration of our infrastructure with the Virtual Learning Environment Moodle through the IMS Learning Tools Interoperability specification; presenting the Conjecture Generator that works for the tasks involving proving and refuting; and, finally to evaluate the learning experience of Logic students through the application of the conjecture solving task associated to the use of the TryLogic

Effects of meperidine or saline on thermal, mechanical and electrical nociceptive thresholds in cats

Objective To measure cutaneous electrical nociceptive thresholds in relation to known thermal and mechanical stimulation for nociceptive threshold detection in cats.Study design Prospective, blinded, randomized cross-over study with 1-week washout interval.Animals Eight adult cats [bodyweight 5.1 +/- 1.8 kg (mean + SD)].Methods Mechanical nociceptive thresholds were tested using a step-wise manual inflation of a modified blood pressure bladder attached to the cat's thoracic limb. Thermal nociceptive thresholds were measured by increasing the temperature of a probe placed on the thorax. The electrical nociceptive threshold was tested using an escalating current from a constant current generator passed between electrodes placed on the thoracic region. A positive response (threshold) was recorded when cats displayed any or all of the following behaviors: leg shake, head turn, avoidance, or vocalization. Four baseline readings were performed before intramuscular injection of meperidine (5 mg kg(-1)) or an equal volume of saline. Threshold recordings with each modality were made at 15, 30, 45, 60, 90, and 120 minutes post-injection. Data were analyzed using ANOVA and paired t-tests (significance at p < 0.05).Results There were no significant changes in thermal, mechanical, or electrical thresholds after saline. Thermal thresholds increased at 15-60 minutes (p < 0.01) and mechanical threshold increased at 30 and 45 minutes after meperidine (p < 0.05). Maximum thermal threshold was +4.1 +/- 0.3 degrees C above baseline at 15 minutes while maximum mechanical threshold was 296 +/- 265 mmHg above baseline at 30 minutes after meperidine. Electrical thresholds following meperidine were not significantly different than baseline (p > 0.05). Thermal and electrical thresholds after meperidine were significantly higher than saline at 30 and 45 minutes (p < 0.05), and at 120 minutes (p < 0.05), respectively. Mechanical thresholds were significantly higher than saline treatment at 30 minutes (p <= 0.05).Conclusion and clinical relevance Electrical stimulation did not detect meperidine analgesia whereas both thermal and mechanical thresholds changed after meperidine administration in cats.

Mapping quantitative trait loci in Gallus gallus using principal components

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Crystallization and preliminary x-ray analysis of Parkia pendula lectin

Lectins are proteins important in various biological processes such as infection, cell differentiation and metastasis. The Parkia pendula lectin has been crystallized using the hanging-drop vapour diffusion method. X-ray diffraction data were collected using a Rigaku RU300 rotating anode generator and R-AXIS IV diffractometer. The cell parameters for P. pendula lectin are a=93.7 Angstrom b=161.1 Angstrom, c=80.0 Angstrom and space group C222. The maximum resolution was of 2.98 Angstrom. These data showed a R-sym=12.8%.

Meristematic activity of the Endodermis and the Pericycle in the primary thickening in monocotyledons: considerations on the PTM

A proposta deste trabalho é mostrar uma nova interpretação do meristema de espessamento primário em monocotiledôneas. Anatomia dos órgãos vegetativos das seguintes espécies foi examinada: Cephalostemon riedelianus (Rapataceae), Cyperus papyrus (Cyperaceae), Lagenocarpus rigidus, L. Junciformis (Cyperaceae), Echinodorus paniculatus (Alismataceae) and Zingiberofficinale (Zingiberaceae). A atividade meristemática da endoderme foi observada nas raizes de todas as espécies, no caule de Cyperus, Cephalostemum e Lagenocarpus rigidus, e no traço foliar de Cyperus e folha de Echinodorus. Considerando a continuidade dos tecidos através da raiz, caule e folha, as autoras concluem que no caule o periciclo permanece ativo durante a vida da planta, como um gerador de tecidos vasculares. O Meristema de Espessamento Primário é o periciclo em fase meristemática, juntamente com a endoderme e suas derivadas (ou apenas o periciclo). Próximo ao ápice caulinar, esses tecidos se assemelham a um único meristema, dando origem ao córtex interno e aos tecidos vasculares.

Initiating structural studies of Lys49-PLA2 homologues complexed with an anionic detergent, a fatty acid and a natural lipid

Lys49-Phospholipase A(2) (Lys49-PLA(2) - EC 3.1.1.4) homologues damage membranes by a Ca2+-independent mechanism which does not involve catalytic activity. Both MjTX-II from Bothrops moojeni and BthTX-I from Bothrops jararacussu are dimeric in solution and in the crystalline states, and a model for the Ca2+-independent membrane damaging mechanism has been suggested in which flexibility at the dimer interface region pert-nits quaternary structural transitions between open and closed membrane bound dimer conformations which results in the perturbation of membrane phospholipids and disruption of the bilayer structure [1]. With the aim of gaining insights into the structural determinants involved in protein/lipid association, we report here the crystallization and preliminary X-ray analysis of the (i) MjTX-II/SDS complex at a resolution of 2.78Angstrom, (ii) MjTX-II/STE complex at a resolution of 1.8 Angstrom and (W) BthTX-I/DMPC complex at 2.72Angstrom. These complexes were crystallized by the hanging drop vapour-diffusion technique in (i) HEPES buffer (pH 7.5) 1.8M ammonium sulfate with 2% (w/v) polyethyleneglycol 400, in (ii) 0.6-0.8 M sodium citrate as the precipitant (pH 6.0-6.5) and in (iii) sodium citrate buffer (pH 5.8) and PEG 4000 and 20% isopropanol, respectively. Single crystals of these complexes have been obtained and X-ray diffraction data have been collected at room temperature using a R-AXIS IV imaging plate system and graphite monochromated Cu Kalpha X-ray radiation generated by a Rigaku RU300 rotating anode generator for (i) and (W) and using using a Synchrotron Radiation Source (Laboratorio Nacional de Luz Sincrotron, LNLS, Campinas, Brazil) for (ii).

Giant monopole resonance and nuclear compression modulus for Ca-40 and O-16

Using a collective potential derived previously on the basis of the generator coordinate method with Skyrme interactions, we obtain values for the compression modulus of Ca-40 which are in good agreement with a recently obtained experimental value. Calculated values for the compression modulus for O-16 are also given. The procedure involved in the derivation of the collective potential is briefly reviewed and discussed.

Pure spinor formalism as an N=2 topological string

Following suggestions of Nekrasov and Siegel, a non-minimal set of fields are added to the pure spinor formalism for the superstring. Twisted (c) over cap = 3 N = 2 generators are then constructed where the pure spinor BRST operator is the fermionic spin-one generator, and the formalism is interpreted as a critical topological string. Three applications of this topological string theory include the super-Poincare covariant computation of multiloop superstring amplitudes without picture-changing operators, the construction of a cubic open superstring field theory without contact-term problems, and a new four-dimensional version of the pure spinor formalism which computes F-terms in the spacetime action.

General unitary SU(1,1) TFD formulation

In this Letter we discuss a generalization for the thermal Bogoliubov transformation in the context of a Hermitian general SU(1,1) transformation generator. The TFD tilde conjugation rules are redefined using an appropriated Tomita-Takesaki modular operator. (C) 2003 Elsevier B.V. All rights reserved.

Measurement of differential Z/gamma* plus jet plus X cross sections in p(p)over-bar collisions at root S=1.96 TeV

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)