Dynamics of the Disk-Pendulum Coupled System With Vertical Excitation

This paper investigates the static and dynamic characteristics of the semi-elliptical rocking disk on which a pendulum pinned. This coupled system’s response is also analyzed analytically and numerically when a vertical harmonic excitation is applied to the bottom of the rocking disk. Lagrange’s Equation is used to derive the motion equations of the disk-pendulum coupled system. The second derivative test for the system’s potential energy shows how the location of the pendulum’s pivotal point affects the number and stability of equilibria, and the change of location presents different bifurcation diagrams for different geometries of the rocking disk. For both vertically excited and unforced cases, the coupled system shows chaos easily, but the proper chosen parameters can still help the system reach and keep the steady state. For the steady state of the vertically excited rocking disk without a pendulum, the variation of the excitation’s amplitude and frequency result in the hysteresis for the amplitude of the response. When a pendulum is pinned on the rocking disk, three major categories of steady states are presently in the numerical way.

Integrity-Based Kernel Malware Detection

Kernel-level malware is one of the most dangerous threats to the security of users on the Internet, so there is an urgent need for its detection. The most popular detection approach is misuse-based detection. However, it cannot catch up with today's advanced malware that increasingly apply polymorphism and obfuscation. In this thesis, we present our integrity-based detection for kernel-level malware, which does not rely on the specific features of malware. We have developed an integrity analysis system that can derive and monitor integrity properties for commodity operating systems kernels. In our system, we focus on two classes of integrity properties: data invariants and integrity of Kernel Queue (KQ) requests. We adopt static analysis for data invariant detection and overcome several technical challenges: field-sensitivity, array-sensitivity, and pointer analysis. We identify data invariants that are critical to system runtime integrity from Linux kernel 2.4.32 and Windows Research Kernel (WRK) with very low false positive rate and very low false negative rate. We then develop an Invariant Monitor to guard these data invariants against real-world malware. In our experiment, we are able to use Invariant Monitor to detect ten real-world Linux rootkits and nine real-world Windows malware and one synthetic Windows malware. We leverage static and dynamic analysis of kernel and device drivers to learn the legitimate KQ requests. Based on the learned KQ requests, we build KQguard to protect KQs. At runtime, KQguard rejects all the unknown KQ requests that cannot be validated. We apply KQguard on WRK and Linux kernel, and extensive experimental evaluation shows that KQguard is efficient (up to 5.6% overhead) and effective (capable of achieving zero false positives against representative benign workloads after appropriate training and very low false negatives against 125 real-world malware and nine synthetic attacks). In our system, Invariant Monitor and KQguard cooperate together to protect data invariants and KQs in the target kernel. By monitoring these integrity properties, we can detect malware by its violation of these integrity properties during execution.

IMPROVING THE PERFORMANCE OF DATABASE-CENTRIC APPLICATIONS THROUGH PROGRAM ANALYSIS

Modern software applications are becoming more dependent on database management systems (DBMSs). DBMSs are usually used as black boxes by software developers. For example, Object-Relational Mapping (ORM) is one of the most popular database abstraction approaches that developers use nowadays. Using ORM, objects in Object-Oriented languages are mapped to records in the database, and object manipulations are automatically translated to SQL queries. As a result of such conceptual abstraction, developers do not need deep knowledge of databases; however, all too often this abstraction leads to inefficient and incorrect database access code. Thus, this thesis proposes a series of approaches to improve the performance of database-centric software applications that are implemented using ORM. Our approaches focus on troubleshooting and detecting inefficient (i.e., performance problems) database accesses in the source code, and we rank the detected problems based on their severity. We first conduct an empirical study on the maintenance of ORM code in both open source and industrial applications. We find that ORM performance-related configurations are rarely tuned in practice, and there is a need for tools that can help improve/tune the performance of ORM-based applications. Thus, we propose approaches along two dimensions to help developers improve the performance of ORM-based applications: 1) helping developers write more performant ORM code; and 2) helping developers configure ORM configurations. To provide tooling support to developers, we first propose static analysis approaches to detect performance anti-patterns in the source code. We automatically rank the detected anti-pattern instances according to their performance impacts. Our study finds that by resolving the detected anti-patterns, the application performance can be improved by 34% on average. We then discuss our experience and lessons learned when integrating our anti-pattern detection tool into industrial practice. We hope our experience can help improve the industrial adoption of future research tools. However, as static analysis approaches are prone to false positives and lack runtime information, we also propose dynamic analysis approaches to further help developers improve the performance of their database access code. We propose automated approaches to detect redundant data access anti-patterns in the database access code, and our study finds that resolving such redundant data access anti-patterns can improve application performance by an average of 17%. Finally, we propose an automated approach to tune performance-related ORM configurations using both static and dynamic analysis. Our study shows that our approach can help improve application throughput by 27--138%. Through our case studies on real-world applications, we show that all of our proposed approaches can provide valuable support to developers and help improve application performance significantly.

Quantitative evaluation of visual function 12 months after bilateral implantation of a diffractive trifocal IOL

PURPOSE: To quantitatively evaluate visual function 12 months after bilateral implantation of the Physiol FineVision® trifocal intraocular lens (IOL) and to compare these results with those obtained in the first postoperative month. METHODS: In this prospective case series, 20 eyes of 10 consecutive patients were included. Monocular and binocular, uncorrected and corrected visual acuities (distance, near, and intermediate) were measured. Metrovision® was used to test contrast sensitivity under static and dynamic conditions, both in photopic and low-mesopic settings. The same software was used for pupillometry and glare evaluation. Motion, achromatic, and chromatic contrast discrimination were tested using 2 innovative psychophysical tests. A complete ophthalmologic examination was performed preoperatively and at 1, 3, 6, and 12 months postoperatively. Psychophysical tests were performed 1 month after surgery and repeated 12 months postoperatively. RESULTS: Final distance uncorrected visual acuity (VA) was 0.00 ± 0.08 and distance corrected VA was 0.00 ± 0.05 logMAR. Distance corrected near VA was 0.00 ± 0.09 and distance corrected intermediate VA was 0.00 ± 0.06 logMAR. Glare testing, pupillometry, contrast sensitivity, motion, and chromatic and achromatic contrast discrimination did not differ significantly between the first and last visit (p>0.05) or when compared to an age-matched control group (p>0.05). CONCLUSIONS: The Physiol FineVision® trifocal IOL provided satisfactory full range of vision and quality of vision parameters 12 months after surgery. Visual acuity and psychophysical tests did not vary significantly between the first and last visit.

Matériaux mésoporeux fonctionnalisés pour l'extraction sélective des terres rares

Les matériaux mésoporeux à base de silice sont des plateformes polyvalentes qui offrent une réponse aux besoins de domaines variés comme l’environnement, la santé et les énergies. La fonctionnalisation avec des groupements organiques en fait des matériaux hybrides qu’il est aisé d’orienter vers une application spécifique. Ainsi, afin de fournir une alternative aux procédés industriels, dommageables pour l’environnement actuellement utilisés pour l’extraction et la purification des terres rares, à savoir l’extraction liquide-liquide (ELL) majoritairement, les silices mésoporeuses ont été sollicitées à titre d’adsorbant dans l’extraction sur phase solide. Cette dernière, en opposition à l’ELL, présente de nombreux avantages dont, la suppression des solvants organiques, le contrôle de la sélectivité envers et parmi le groupe des éléments de terres rares (ÉTR) à travers l’ancrage du ligand sur un support solide et la possibilité de réutiliser plusieurs fois l’adsorbant. Les ÉTR sont des métaux qui participent à la transition vers des technologies moins coûteuses en énergie, il est donc primordial de rendre leurs procédés d’extraction plus verts. Dans le cadre de ce travail, différents types de silices ordonnées mésoporeuses, MCM-41, SBA-15 et SBA-16, ont été synthétisées, fonctionnalisées avec un ligand approprié, et leurs comportements vis à vis de ces éléments, comparés. Ces matériaux ont de nombreux points communs mais certaines caractéristiques les différencient néanmoins : la taille et la géométrie des pores, la connexion entre les pores, l’épaisseur des parois, l’accessibilité aux pores ou encore la diffusion des liquides ou gaz dans la matrice. C’est pourquoi, le but de cette étude est d’élucider l’impact de ces diverses propriétés sur l’adsorption sélective des ÉTR en condition statique et dynamique.

Neutron Scattering Studies on Complex Magnetic Structures in Magnetoelectric Materials

In this thesis, the magnetic properties of four transition-metal oxides are presented. Their multiferroic and magnetoelectric phases have been investigated by means of different neutron scattering techniques. The materials TbMnO3 and MnWO4 belong to the group of spin-induced multiferroics. Their ferroelectric polarization can be explained by the inverse DzyaloshinskiiMoriya interaction. Another common feature of both materials is the presence of subsequent magnetic transitions from a spin-density wave to a spin spiral. The features of the phase transitions have been studied in both materials and it could be shown that diffuse magnetic scattering from the spin spiral is present even in the ordered spin-density wave phase. The excitation spectrum in the multiferroic phase of TbMnO3 was investigated in detail and a comprehensive dataset was obtained using time-of-flight spectroscopy. A spin-wave model could be obtained which can quantitatively describe the full dispersion. Furthermore, the polarization of the zone-center excitations could be derived which fit well to data from inelastic neutron spectroscopy and infrared spectroscopy. With the combination of spherical neutron polarimetry and a poling of the sample by an electric field, it was possible to observe the chiral magnetic component of the magnetic excitations in TbMnO3 and MnWO4. The spin-wave model for TbMnO3 obtained in this thesis is able to correctly describe the dispersion of this component. The double tungstate NaFe(WO4)2 is isostructural to the multiferroic MnWO4 and develops a complex magnetic phase diagram. By the use of neutron diffraction techniques, the zero-field structure and high-field structures in magnetic field applied along the b-axis could be determined. The data reveal a direct transition into an incommensurate spin-spiral structure. The value of the incommensurability is driven by anharmonic modulations and shows strong hysteresis effects. The static and dynamic properties in the magnetoelectric spin-glass phase of Ni0.42Mn0.58TiO3 were studied in detail. The spin-glass phase is composed of short-ranged MnTiO3 and NiTiO3-type order. The antiferromagnetic domains could be controlled by crossed magnetic and electric fields, which was visualized using spherical neutron polarimetry. A comprehensive dataset of the magnetic excitations in the spin-glass phase was collected. The dataset revealed correlations in the hexagonal plane which are only weakly coupled along the c-axis. The excitation spectra could be simulated by taking into account the MnTiO3-type order.

Estudo das propriedades mecânicas de laminados com cortiça micro-aglomerada

Esta tese desenvolveu-se a partir de uma proposta de uma conceituada empresa portuguesa especializada em kayaks e consistiu em desenvolver um laminado de base natural e com núcleo de cortiça, capaz de se assemelhar em termos mecanicos aos de fibra de vidro e resina epóxi já utilizados. Após uma alargada pesquisa de materiais e fornecedores, procedeu-se ao fabrico de várias placas diferentes. Os materiais de base foram o núcleo de cortiça, peles em fibra de linho e bio-resina epóxi. De modo a avaliar as respostas mecânicas em regime estático e dinamico, foram realizados ensaios de flexão e impacto. As conclusões obtidas após exaustiva análise dos resultados permitem concluir que os laminados naturais podem oferecer propriedades mecânicas interessantes e quiça rivalizar com os seus concorrentes sintéticos, mantendo as óbvias vantagens em termos de responsabilidade ambiental. Ficam também directrizes para o caso de se pretender o fabrico de um protótipo utilizando estes materiais.

Applied web traffic analysis for numerical encoding of SQL Injection attack features.

SQL Injection Attack (SQLIA) remains a technique used by a computer network intruder to pilfer an organisation’s confidential data. This is done by an intruder re-crafting web form’s input and query strings used in web requests with malicious intent to compromise the security of an organisation’s confidential data stored at the back-end database. The database is the most valuable data source, and thus, intruders are unrelenting in constantly evolving new techniques to bypass the signature’s solutions currently provided in Web Application Firewalls (WAF) to mitigate SQLIA. There is therefore a need for an automated scalable methodology in the pre-processing of SQLIA features fit for a supervised learning model. However, obtaining a ready-made scalable dataset that is feature engineered with numerical attributes dataset items to train Artificial Neural Network (ANN) and Machine Leaning (ML) models is a known issue in applying artificial intelligence to effectively address ever evolving novel SQLIA signatures. This proposed approach applies numerical attributes encoding ontology to encode features (both legitimate web requests and SQLIA) to numerical data items as to extract scalable dataset for input to a supervised learning model in moving towards a ML SQLIA detection and prevention model. In numerical attributes encoding of features, the proposed model explores a hybrid of static and dynamic pattern matching by implementing a Non-Deterministic Finite Automaton (NFA). This combined with proxy and SQL parser Application Programming Interface (API) to intercept and parse web requests in transition to the back-end database. In developing a solution to address SQLIA, this model allows processed web requests at the proxy deemed to contain injected query string to be excluded from reaching the target back-end database. This paper is intended for evaluating the performance metrics of a dataset obtained by numerical encoding of features ontology in Microsoft Azure Machine Learning (MAML) studio using Two-Class Support Vector Machines (TCSVM) binary classifier. This methodology then forms the subject of the empirical evaluation.

Quantitative evaluation of visual function 12 months after bilateral implantation of a diffractive trifocal IOL

PURPOSE: To quantitatively evaluate visual function 12 months after bilateral implantation of the Physiol FineVision® trifocal intraocular lens (IOL) and to compare these results with those obtained in the first postoperative month. METHODS: In this prospective case series, 20 eyes of 10 consecutive patients were included. Monocular and binocular, uncorrected and corrected visual acuities (distance, near, and intermediate) were measured. Metrovision® was used to test contrast sensitivity under static and dynamic conditions, both in photopic and low-mesopic settings. The same software was used for pupillometry and glare evaluation. Motion, achromatic, and chromatic contrast discrimination were tested using 2 innovative psychophysical tests. A complete ophthalmologic examination was performed preoperatively and at 1, 3, 6, and 12 months postoperatively. Psychophysical tests were performed 1 month after surgery and repeated 12 months postoperatively. RESULTS: Final distance uncorrected visual acuity (VA) was 0.00 ± 0.08 and distance corrected VA was 0.00 ± 0.05 logMAR. Distance corrected near VA was 0.00 ± 0.09 and distance corrected intermediate VA was 0.00 ± 0.06 logMAR. Glare testing, pupillometry, contrast sensitivity, motion, and chromatic and achromatic contrast discrimination did not differ significantly between the first and last visit (p>0.05) or when compared to an age-matched control group (p>0.05). CONCLUSIONS: The Physiol FineVision® trifocal IOL provided satisfactory full range of vision and quality of vision parameters 12 months after surgery. Visual acuity and psychophysical tests did not vary significantly between the first and last visit.

Projeto de fundações e estruturas de um edifício destinado a uma igreja

Trabalho de Projeto para obtenção do grau de Mestre em Engenharia Civil na Área de Especialização em Estruturas

Great Britain's Olympians with generalised joint hypermobility have a higher prevalence of knee osteoarthritis.

Purpose: Individuals with generalized joint hypermobility (GJH) are reported, in the clinical setting, to be at greater risk of developing musculoskeletal related joint pain, joint dislocations and tendinopathies. It is hypothesized that impaired static and dynamic neuromuscular movement control in those with GJH is responsible for contributing to an increased risk of injury and subsequent knee osteoarthritis (OA). Yet, to date, it remains unproven if there is an association between GJH and knee OA.

Desenvolvimento de equipamento para estimular a propriocepção utilizando ímãs permanentes

This study developed the Magnetic Proprioceptive Stimulator – MPS at the Technological Federal University of Parana - UTFPR to stimulate, record and quantify the proprioceptive activity of the shoulder joint, using permanent magnets. A pilot study was conducted to investigate the proprioceptive stimulation generated by MPS. The results of this study show that the magnetic and mechanical forces generated by permanent magnets can change the static and dynamic stability of the shoulder joint. The angular changes of the shoulder joint during the stimulation of proprioception were photographed, videotaped and analyzed by vector editing program. The joint movements caused by the action of the magnets were recorded by an optical sensor installed in the MPS and displayed in a graphical interface for analyzing the proprioceptive dynamics. The study concluded that the Magnetic Proprioceptive Stimulator is safe, effective to stimulate proprioception and features high economic viability.

Monitoramento e identificação numérico e experimental de danos em vigas e pontes de aço e concreto utilizando transformadas de wavelet

Tese (doutorado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Civil e Ambiental, 2015.

Desenvolvimento de magnetizador para tratamento magnético da água

Dissertação (mestrado)—Universidade de Brasília, Faculdade Gama, Programa de Pós-Graduação em Engenharia Biomédica, 2015.

Simulação em uso dos pisos de madeira de Eucalyptus sp e Corymbia maculata

A caracterização anatômica, física, mecânica e química da madeira fornece informações importantes para sua melhor utilização. Contudo, para que madeiras se tornem boa opção para o mercado de pisos, adicionalmente é necessária a realização de ensaios que simulem suas reais condições em serviço. Esses ensaios simulam o pisoteio executado pelos sapatos de salto com pequenas áreas de pressão, o arraste e a queda de objetos, a resistência à abrasão da superfície e o atrito oferecido durante o deslocamento de pessoas que caminham sobre ele. Grande dificuldade da seleção de novas madeiras para pisos está na ausência de valores de referência físico-mecânicos. O presente trabalho visou a caracterizar as madeiras de Eucalyptus clöeziana F. Muell, de Eucalyptus microcorys F. Muell e de Corymbia maculata Hook, para as propriedades de densidade básica, retratibilidade, aplicação de carga rolante, de atrito estático e dinâmico, endentação causada por cargas aplicadas em pequenas áreas, impacto da esfera de aço cadente e resistência à abrasão. Foi observado que as madeiras estudadas podem ser utilizadas para a confecção de pisos, de acordo com seus resultados obtidos e por meio de comparações com resultados de literatura.