979 resultados para Nilpotent-by-Finite Group


Relevância:

100.00% 100.00%

Publicador:

Resumo:

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

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Pós-graduação em Odontologia - FOAR

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Objective. This study aimed to investigate the influence of restoration thickness to the fracture resistance of adhesively bonded Lava (TM) Ultimate CAD/CAM, a Resin Nano Ceramic(RNC), and IPS e. max CAD ceramic.Methods. Polished Lava (TM) Ultimate CAD/CAM (Group L), sandblasted Lava (TM) Ultimate CAD/CAM (Group LS), and sandblasted IPS e.max CAD (Group ES) discs (n=8, phi=10 mm) with a thickness of respectively 0.5 mm, 1.0 mm, 1.5 mm, 2.0 mm, and 3.0 mm were cemented to corresponding epoxy supporting discs, achieving a final thickness of 3.5 mm. All the 120 specimens were loaded with a universal testing machine at a crosshead speed of 1 mm/min. The load (N) at failure was recorded as fracture resistance. The stress distribution for 0.5 mm restorative discs of each group was analyzed by Finite Element Analysis (FEA). The results of facture resistances were analyzed by one-way ANOVA and regression.Results. For the same thickness of testing discs, the fracture resistance of Group L was always significantly lower than the other two groups. The 0.5 mm discs in Group L resulted in the lowest value of 1028 (112) N. There was no significant difference between Group LS and Group ES when the restoration thickness ranged between 1.0 mm and 2.0 mm. There was a linear relation between fracture resistance and restoration thickness in Group L (R = 0.621, P < 0.001) and in Group ES (R = 0.854, P < 0.001). FEA showed a compressive permanent damage in all groups.Significance. The materials tested in this in vitro study with the thickness above 0.5 mm could afford the normal bite force. When Lava Ultimate CAD/CAM is used, sandblasting is suggested to get a better bonding. (C) 2014 Academy of Dental Materials. Published by Elsevier Ltd. All rights reserved.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This work focuses on the study of video compression standard MPEG. To this end, a study was undertaken starting from the basics of digital video, addressing the components necessary for the understanding of the tools used by the video coding standard MPEG. The Motion Picture Experts Group (MPEG) was formed in the late '80s by a group of experts in order to create international standards for encoding and decoding audio and video. This paper will discuss the techniques present in the video compression standard MPEG, as well as its evolution. Will be described in the MPEG-1, MPEG-2, MPEG-4 and H.264 (MPEG-4 Part 10), however, the last two will be presented with more emphasis, because the standards are present in most modern video technologies, as in HDTV broadcasts

Relevância:

100.00% 100.00%

Publicador:

Resumo:

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

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Many new viscoelastic materials have been developed recently to help improve noise and vibration levels in mechanical structures for applications in automobile and aeronautical industry. The viscoelastic layer treatment applied to solid metal structures modifies two main properties which are related to the mass distribution and the damping mechanism. The other property controlling the dynamics of a mechanical system is the stiffness that does not change much with the viscoelastic material. The model of such system is usually complex, because the viscoelastic material can exhibit nonlinear behavior, in contrast with the many available tools for linear dynamics. In this work, the dynamic behavior of sandwich beam is modeled by finite element method using different element types which are then compared with experimental results developed in the laboratory for various beams with different viscoelastic layer materials. The finite element model is them updated to help understand the effects in the damping for various natural frequencies and the trade-off between attenuation and the mass add to the structure.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The aims of this study were to evaluate the effect of root canal filling techniques on root fracture resistance and to analyze, by finite element analysis (FEA), the expansion of the endodontic sealer in two different root canal techniques. Thirty single-rooted human teeth were instrumented with rotary files to a standardized working length of 14 mm. The specimens were embedded in acrylic resin using plastic cylinders as molds, and allocated into 3 groups (n=10): G(lateral) - lateral condensation; G(single-cone) - single cone; G(tagger) - Tagger's hybrid technique. The root canals were prepared to a length of 11 mm with the #3 preparation bur of a tapered glass fiber-reinforced composite post system. All roots received glass fiber posts, which were adhesively cemented and a composite resin core was built. All groups were subjected to a fracture strength test (1 mm/min, 45°). Data were analyzed statistically by one-way ANOVA with a significance level of 5%. FEA was performed using two models: one simulated lateral condensation and Tagger's hybrid technique, and the other one simulated the single-cone technique. The second model was designed with an amount of gutta-percha two times smaller and a sealer layer two times thicker than the first model. The results were analyzed using von Mises stress criteria. One-way ANOVA indicated that the root canal filling technique affected the fracture strength (p=0.004). The G(lateral) and G(tagger) produced similar fracture strength values, while G(single-cone) showed the lowest values. The FEA showed that the single-cone model generated higher stress in the root canal walls. Sealer thickness seems to influence the fracture strength of restored endodontically treated teeth.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Objectives. To purpose a method for predicting the shrinkage stress development in the adhesive layer of resin-composite cylinders that shrink bonded to a single flat surface, by measuring the deflection of a glass coverslip caused by the shrinkage of the bonded cylinders. The correlation between the volume of the bonded resin-composite and the stress-peak was also investigated. Methods. A glass coverslip deflection caused by the shrinkage of a bonded resin-composite cylinder (diameter: d = 8 mm, 4 mm, or 2 mm, height: h = 4 mm, 2 mm, 1 mm, or 0.5 mm) was measured, and the same set-up was simulated by finite element analysis (3D-FEA). Stresses generated in the adhesive layer were plotted versus two geometric variables of the resin-composite cylinder (C-Factor and volume) to verify the existence of correlations between them and stresses. Results. The FEA models were validated. A significant correlation (p < 0.01, Pearson's test) between the stress-peak and the coverslip deflection when the resin-composites were grouped by diameter was found for diameters of 2 and 4 mm. The stress-peak of the whole set of data showed a logarithmic correlation with the bonded resin-composite volume (p < 0.001, Pearson's test), but did not correlate with the C-Factor. Significance. The described method should be considered for standardizing the stress generated by the shrinkage of resin-composite blocks bonded to a single flat surface. (C) 2012 Academy of Dental Materials. Published by Elsevier Ltd. All rights reserved.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The Grupo de Estudos e Pesquisas de Tecnologia da Informacao nos Processos de Trabalho em Enfermagem (Study and Research Group for Information Technology in the Nursing Working Processes, GEPETE) has the purpose of producing and socializing knowledge in information technology and health and nursing communication, making associations with research groups in this field and promoting student participation. This study was performed by the group tutors with the objective to report on the development of the virtual learning environment (VLE) and the tutors' experience as mediators of a research group using the Moodle platform. To do this, a VLE was developed and pedagogical mediation was performed following the theme of mentoring. An initial diagnosis was made of the difficulties in using this technology in interaction and communication, which permitted the proposal of continuing to use the platform as a resource to support research activities, offer lead researchers the mechanisms to socialize projects and offer the possibility of giving advice at a distance.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Polarized photoluminescence from weakly coupled random multiple well quasi-three-dimensional electron system is studied in the regime of the integer quantum Hall effect. Two quantum Hall ferromagnetic ground states assigned to the uncorrelated miniband quantum Hall state and to the spontaneous interwell phase coherent dimer quantum Hall state are observed. Photoluminescence associated with these states exhibits features caused by finite-size skyrmions: dramatic reduction of the electron spin polarization when the magnetic field is increased past the filling factor nu = 1. The effective skyrmion size is larger than in two-dimensional electron systems.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Purpose To describe an extremely uncommon outbreak of eye lesions in a specific area of the Brazilian Amazonia. Methods Prospective noncomparative case series. Fifty-nine patients who developed eye lesions after swimming in the Araguaia river of Tocantins state in Brazil were examined. A team of ophthalmologists equipped with a slit-lamp, gonioscopic lenses, and indirect ophthalmoscopy performed full eye examination. Analysis of the flora and fauna of the river water was undertaken by a group of experts. Results and Conclusions Eighty-three eyes were affected. The most common lesions were corneal opacities seen in 34 eyes and conjunctival nodules diagnosed in 12 eyes. Severe visual acuity loss was detected in seven children with unilateral anterior chamber lesions. Spicules of the sponge species Drulia uruguayensis and Drulia ctenosclera were found inside three blind eyes that have been enucleated for diagnostic purposes. All eye lesions could be attributed to an outbreak of foreign bodies from fresh water sponges. Organic enrichment of the water resulting from the absence of sanitation probably was the key factor, which initiated a cycle of ecological imbalance that provoked human disease.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Interactive theorem provers (ITP for short) are tools whose final aim is to certify proofs written by human beings. To reach that objective they have to fill the gap between the high level language used by humans for communicating and reasoning about mathematics and the lower level language that a machine is able to “understand” and process. The user perceives this gap in terms of missing features or inefficiencies. The developer tries to accommodate the user requests without increasing the already high complexity of these applications. We believe that satisfactory solutions can only come from a strong synergy between users and developers. We devoted most part of our PHD designing and developing the Matita interactive theorem prover. The software was born in the computer science department of the University of Bologna as the result of composing together all the technologies developed by the HELM team (to which we belong) for the MoWGLI project. The MoWGLI project aimed at giving accessibility through the web to the libraries of formalised mathematics of various interactive theorem provers, taking Coq as the main test case. The motivations for giving life to a new ITP are: • study the architecture of these tools, with the aim of understanding the source of their complexity • exploit such a knowledge to experiment new solutions that, for backward compatibility reasons, would be hard (if not impossible) to test on a widely used system like Coq. Matita is based on the Curry-Howard isomorphism, adopting the Calculus of Inductive Constructions (CIC) as its logical foundation. Proof objects are thus, at some extent, compatible with the ones produced with the Coq ITP, that is itself able to import and process the ones generated using Matita. Although the systems have a lot in common, they share no code at all, and even most of the algorithmic solutions are different. The thesis is composed of two parts where we respectively describe our experience as a user and a developer of interactive provers. In particular, the first part is based on two different formalisation experiences: • our internship in the Mathematical Components team (INRIA), that is formalising the finite group theory required to attack the Feit Thompson Theorem. To tackle this result, giving an effective classification of finite groups of odd order, the team adopts the SSReflect Coq extension, developed by Georges Gonthier for the proof of the four colours theorem. • our collaboration at the D.A.M.A. Project, whose goal is the formalisation of abstract measure theory in Matita leading to a constructive proof of Lebesgue’s Dominated Convergence Theorem. The most notable issues we faced, analysed in this part of the thesis, are the following: the difficulties arising when using “black box” automation in large formalisations; the impossibility for a user (especially a newcomer) to master the context of a library of already formalised results; the uncomfortable big step execution of proof commands historically adopted in ITPs; the difficult encoding of mathematical structures with a notion of inheritance in a type theory without subtyping like CIC. In the second part of the manuscript many of these issues will be analysed with the looking glasses of an ITP developer, describing the solutions we adopted in the implementation of Matita to solve these problems: integrated searching facilities to assist the user in handling large libraries of formalised results; a small step execution semantic for proof commands; a flexible implementation of coercive subtyping allowing multiple inheritance with shared substructures; automatic tactics, integrated with the searching facilities, that generates proof commands (and not only proof objects, usually kept hidden to the user) one of which specifically designed to be user driven.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Die Kontroverse über den Glasübergang im Nanometerbereich, z. B. die Glas¬über¬gangs-temperatur Tg von dünnen Polymerfilmen, ist nicht vollständig abgeschlossen. Das dynamische Verhalten auf der Nanoskala ist stark von den einschränkenden Bedingungen abhängig, die auf die Probe wirken. Dünne Polymerfilme sind ideale Systeme um die Dynamik von Polymerketten unter der Einwirkung von Randbedingungen zu untersuchen, wie ich sie in dieser Arbeit variiert habe, um Einblick in dieses Problem zu erhalten.rnrnResonanzverstärkte dynamische Lichtstreuung ist eine Methode, frei von z.B. Fluoreszenzmarkern, die genutzt werden kann um in dünnen Polymerfilmen dynamische Phänomene

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Trauma or degenerative diseases such as osteonecrosis may determine bone loss whose recover is promised by a "tissue engineering“ approach. This strategy involves the use of stem cells, grown onboard of adequate biocompatible/bioreabsorbable hosting templates (usually defined as scaffolds) and cultured in specific dynamic environments afforded by differentiation-inducing actuators (usually defined as bioreactors) to produce implantable tissue constructs. The purpose of this thesis is to evaluate, by finite element modeling of flow/compression-induced deformation, alginate scaffolds intended for bone tissue engineering. This work was conducted at the Biomechanics Laboratory of the Institute of Biomedical and Neural Engineering of the Reykjavik University of Iceland. In this respect, Comsol Multiphysics 5.1 simulations were carried out to approximate the loads over alginate 3D matrices under perfusion, compression and perfusion+compression, when varyingalginate pore size and flow/compression regimen. The results of the simulations show that the shear forces in the matrix of the scaffold increase coherently with the increase in flow and load, and decrease with the increase of the pore size. Flow and load rates suggested for proper osteogenic cell differentiation are reported.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Some recent results of Khukhro and Makarenko on the existence of characteristic X-subgroups of finite index in a group G, for certain varieties X, are used to obtain generalisations of some well-known results in the literature pertaining to groups G, in which all proper subgroups satisfy some condition or other related to the property 'soluble-by-finite'. In addition, a partial generalisation is obtained for the aforementioned results on the existence of characteristic subgroups.