Adição de geomanta e tecido não tecido de polipropileno em cimentos geopoliméricos de pega rápida

Geopolymers are cementing materials that depict a number of advantages compared to Portland cement. Contrary to the latter, geopolymers are synthesized at room temperature, thus significantly reducing the emission of CO2 to the atmosphere. Moreover, the composition and synthesis reactions can be tailored to adjust the setting time of the material as well as its compressive mechanical strength. It is then possible to produce geopolymeric cements with short setting times and high compressive strength, although relatively brittle. The objective of the present study was to produce and characterize composite materials by reinforcing fastsetting geopolymeric matrixes with polypropylene geosynthetics (geomats and geotextiles) in an attempt to improve the toughness and tensile strength of the cementing material. Geosynthetics have been increasingly used to reinforce engineering structures, providing higher strength and better toughness. In particular, polypropylene nonwoven and geomats depict other attractive properties such as low density, durability, impact absorption and resistance to abrasion. Fast-setting geopolymers were then synthesized and reinforced with polypropylene nonwoven and geomats. The mechanical strength of the materials, reinforced or not, was characterized. The results showed that relatively short setting times and adequate flowing behavior were achieved by adjusting the composition of the geopolymer. In addition, it is possible to improve the fracture resistance of geopolymeric cements by adding polypropylene geosynthetics. The best results were achieved by reinforcing geopolymer with polypropylene TNT

Capacidade de absorção de energia de tubos de compósitos submetidos à compressão

Structures capable of absorbing large amounts of energy are of great interest, particularly for the automotive and aviation industries, to reduce tbe impact on passengers in the case of a collision. The energy absorption properties of composite materials structures can be tailored, thus making these structures an appealing option a substitute of more traditional structures in applications where energy absorption is crucial. ln this research, the influence of some parameters, which affect the energy absorption capacity of composite material tubes, was investigated. The tubes were fabricated by hand lay-up, using orthophthalic polyester resin and a plain weave E-glass fabric Test specimens were prepared and tested under compression load. The ínfluence of the following parameters on the specific energy absorption capacity of the tubes was studied: fiber configuration (0/90º or ± 45°), tube cross-section (circular or square), and processing conditions (with or without vacuum). The results indicated that circular cross-section tubes with fibers oriented at 0/90º presented the highest level of specific energy absorbed. Further, specimens from tubes fabricated under vacuum displayed higher energy absorption capacity, when compared with specimens from tubes fabricated without vacuum. Thus, it can be concluded that the fabrication process with vacuum produce composite structures with better energy absorption capacity

Revisitando o eletrocorticograma intra-operatório na epilepsia mesial do lobo temporal: relevância das oscilações de alta frequência

Epilepsies are neurological disorders characterized by recurrent and spontaneous seizures due to an abnormal electric activity in a brain network. The mesial temporal lobe epilepsy (MTLE) is the most prevalent type of epilepsy in adulthood, and it occurs frequently in association with hippocampal sclerosis. Unfortunately, not all patients benefit from pharmacological treatment (drug-resistant patients), and therefore become candidates for surgery, a procedure of high complexity and cost. Nowadays, the most common surgery is the anterior temporal lobectomy with selective amygdalohippocampectomy, a procedure standardized by anatomical markers. However, part of patients still present seizure after the procedure. Then, to increase the efficiency of this kind of procedure, it is fundamental to know the epileptic human brain in order to create new tools for auxiliary an individualized surgery procedure. The aim of this work was to identify and quantify the occurrence of epilepticform activity -such as interictal spikes (IS) and high frequency oscillations (HFO) - in electrocorticographic (ECoG) signals acutely recorded during the surgery procedure in drug-resistant patients with MTLE. The ECoG recording (32 channels at sample rate of 1 kHz) was performed in the surface of temporal lobe in three moments: without any cortical resection, after anterior temporal lobectomy and after amygdalohippocampectomy (mean duration of each record: 10 min; N = 17 patients; ethic approval #1038/03 in Research Ethic Committee of Federal University of São Paulo). The occurrence of IS and HFO was quantified automatically by MATLAB routines and validated manually. The events rate (number of events/channels) in each recording time was correlated with seizure control outcome. In 8 hours and 40 minutes of record, we identified 36,858 IS and 1.756 HFO. We observed that seizure-free outcome patients had more HFO rate before the resection than non-seizure free, however do not differentiate in relation of frequency, morphology and distribution of IS. The HFO rate in the first record was better than IS rate on prediction of seizure-free patients (IS: AUC = 57%, Sens = 70%, Spec = 71% vs HFO: AUC = 77%, Sens = 100%, Spec = 70%). We observed the same for the difference of the rate of pre and post-resection (IS: AUC = 54%, Sens = 60%, Spec = 71%; vs HFO: AUC = 84%, Sens = 100%, Spec = 80%). In this case, the algorithm identifies all seizure-free patients (N = 7) with two false positives. To conclude, we observed that the IS and HFO can be found in intra-operative ECoG record, despite the anesthesia and the short time of record. The possibility to classify the patients before any cortical resection suggest that ECoG can be important to decide the use of adjuvant pharmacological treatment or to change for tailored resection procedure. The mechanism responsible for this effect is still unknown, thus more studies are necessary to clarify the processes related to it

Agraphs: definição, implementação e suas ferramentas

Programs manipulate information. However, information is abstract in nature and needs to be represented, usually by data structures, making it possible to be manipulated. This work presents the AGraphs, a representation and exchange format of the data that uses typed directed graphs with a simulation of hyperedges and hierarchical graphs. Associated to the AGraphs format there is a manipulation library with a simple programming interface, tailored to the language being represented. The AGraphs format in ad-hoc manner was used as representation format in tools developed at UFRN, and, to make it more usable in other tools, an accurate description and the development of support tools was necessary. These accurate description and tools have been developed and are described in this work. This work compares the AGraphs format with other representation and exchange formats (e.g ATerms, GDL, GraphML, GraX, GXL and XML). The main objective this comparison is to capture important characteristics and where the AGraphs concepts can still evolve

Contribuições para verificação automática de applets javacard

The widespread growth in the use of smart cards (by banks, transport services, and cell phones, etc) has brought an important fact that must be addressed: the need of tools that can be used to verify such cards, so to guarantee the correctness of their software. As the vast majority of cards that are being developed nowadays use the JavaCard technology as they software layer, the use of the Java Modeling Language (JML) to specify their programs appear as a natural solution. JML is a formal language tailored to Java. It has been inspired by methodologies from Larch and Eiffel, and has been widely adopted as the de facto language when dealing with specification of any Java related program. Various tools that make use of JML have already been developed, covering a wide range of functionalities, such as run time and static checking. But the tools existent so far for static checking are not fully automated, and, those that are, do not offer an adequate level of soundness and completeness. Our objective is to contribute to a series of techniques, that can be used to accomplish a fully automated and confident verification of JavaCard applets. In this work we present the first steps to this. With the use of a software platform comprised by Krakatoa, Why and haRVey, we developed a set of techniques to reduce the size of the theory necessary to verify the specifications. Such techniques have yielded very good results, with gains of almost 100% in all tested cases, and has proved as a valuable technique to be used, not only in this, but in most real world problems related to automatic verification

Desenvolvimento de sistema magnético polimérico contendo antimicrobianos para tratamento de infecções por Helicobacter pylori

Helicobacter pylori is the main cause of gastritis, gastroduodenal ulcer disease and gastric cancer. The most recommended treatment for eradication of this bacteria often leads to side effects and patient poor compliance, which induce treatment failure. Magnetic drug targeting is a very efficient method that overcomes these drawbacks through association of the drug with a magnetic compound. Such approach may allow such systems to be placed slowed down to a specific target area by an external magnetic field. This work reports a study of the synthesis and characterization of polymeric magnetic particles loaded with the currently used antimicrobial agents for the treatment of Helicobacter pylori infections, aiming the production of magnetic drug delivery system by oral route. Optical microscopy, scanning electron microscopy, transmission electron microscopy, x-ray powder diffraction, nitrogen adsorption/desorption isotherms and vibrating sample magnetometry revealed that the magnetite particles, produced by the co-precipitation method, consisted of a large number of aggregated nanometer-size crystallites (about 6 nm), creating superparamagnetic micrometer with high magnetic susceptibility particles with an average diameter of 6.8 ± 0.2 μm. Also, the polymeric magnetic particles produced by spray drying had a core-shell structure based on magnetite microparticles, amoxicillin and clarithromycin and coated with Eudragit® S100. The system presented an average diameter of 14.2 ± 0.2 μm. The amount of magnetite present in the system may be tailored by suitably controlling the suspension used to feed the spray dryer. In the present work it was 2.9% (w/w). The magnetic system produced may prove to be very promising for eradication of Helicobacter pylori infections