A path-based framework for analyzing large markov models

Reliability and dependability modeling can be employed during many stages of analysis of a computing system to gain insights into its critical behaviors. To provide useful results, realistic models of systems are often necessarily large and complex. Numerical analysis of these models presents a formidable challenge because the sizes of their state-space descriptions grow exponentially in proportion to the sizes of the models. On the other hand, simulation of the models requires analysis of many trajectories in order to compute statistically correct solutions. This dissertation presents a novel framework for performing both numerical analysis and simulation. The new numerical approach computes bounds on the solutions of transient measures in large continuous-time Markov chains (CTMCs). It extends existing path-based and uniformization-based methods by identifying sets of paths that are equivalent with respect to a reward measure and related to one another via a simple structural relationship. This relationship makes it possible for the approach to explore multiple paths at the same time,· thus significantly increasing the number of paths that can be explored in a given amount of time. Furthermore, the use of a structured representation for the state space and the direct computation of the desired reward measure (without ever storing the solution vector) allow it to analyze very large models using a very small amount of storage. Often, path-based techniques must compute many paths to obtain tight bounds. In addition to presenting the basic path-based approach, we also present algorithms for computing more paths and tighter bounds quickly. One resulting approach is based on the concept of path composition whereby precomputed subpaths are composed to compute the whole paths efficiently. Another approach is based on selecting important paths (among a set of many paths) for evaluation. Many path-based techniques suffer from having to evaluate many (unimportant) paths. Evaluating the important ones helps to compute tight bounds efficiently and quickly.

Components and circuits for tunneling diode based high frequency sources

Terahertz (THz) technology has been generating a lot of interest because of the potential applications for systems working in this frequency range. However, to fully achieve this potential, effective and efficient ways of generating controlled signals in the terahertz range are required. Devices that exhibit negative differential resistance (NDR) in a region of their current-voltage (I-V ) characteristics have been used in circuits for the generation of radio frequency signals. Of all of these NDR devices, resonant tunneling diode (RTD) oscillators, with their ability to oscillate in the THz range are considered as one of the most promising solid-state sources for terahertz signal generation at room temperature. There are however limitations and challenges with these devices, from inherent low output power usually in the range of micro-watts (uW) for RTD oscillators when milli-watts (mW) are desired. At device level, parasitic oscillations caused by the biasing line inductance when the device is biased in the NDR region prevent accurate device characterisation, which in turn prevents device modelling for computer simulations. This thesis describes work on I-V characterisation of tunnel diode (TD) and RTD (fabricated by Dr. Jue Wang) devices, and the radio frequency (RF) characterisation and small signal modelling of RTDs. The thesis also describes the design and measurement of hybrid TD oscillators for higher output power and the design and measurement of a planar Yagi antenna (fabricated by Khalid Alharbi) for THz applications. To enable oscillation free current-voltage characterisation of tunnel diodes, a commonly employed method is the use of a suitable resistor connected across the device to make the total differential resistance in the NDR region positive. However, this approach is not without problems as the value of the resistor has to satisfy certain conditions or else bias oscillations would still be present in the NDR region of the measured I-V characteristics. This method is difficult to use for RTDs which are fabricated on wafer due to the discrepancies in designed and actual resistance values of fabricated resistors using thin film technology. In this work, using pulsed DC rather than static DC measurements during device characterisation were shown to give accurate characteristics in the NDR region without the need for a stabilisation resistor. This approach allows for direct oscillation free characterisation for devices. Experimental results show that the I-V characterisation of tunnel diodes and RTD devices free of bias oscillations in the NDR region can be made. In this work, a new power-combining topology to address the limitations of low output power of TD and RTD oscillators is presented. The design employs the use of two oscillators biased separately, but with the combined output power from both collected at a single load. Compared to previous approaches, this method keeps the frequency of oscillation of the combined oscillators the same as for one of the oscillators. Experimental results with a hybrid circuit using two tunnel diode oscillators compared with a single oscillator design with similar values shows that the coupled oscillators produce double the output RF power of the single oscillator. This topology can be scaled for higher (up to terahertz) frequencies in the future by using RTD oscillators. Finally, a broadband Yagi antenna suitable for wireless communication at terahertz frequencies is presented in this thesis. The return loss of the antenna showed that the bandwidth is larger than the measured range (140-220 GHz). A new method was used to characterise the radiation pattern of the antenna in the E-plane. This was carried out on-wafer and the measured radiation pattern showed good agreement with the simulated pattern. In summary, this work makes important contributions to the accurate characterisation and modelling of TDs and RTDs, circuit-based techniques for power combining of high frequency TD or RTD oscillators, and to antennas suitable for on chip integration with high frequency oscillators.

Data structures for SIMD logic simulation

Due to the growth of design size and complexity, design verification is an important aspect of the Logic Circuit development process. The purpose of verification is to validate that the design meets the system requirements and specification. This is done by either functional or formal verification. The most popular approach to functional verification is the use of simulation based techniques. Using models to replicate the behaviour of an actual system is called simulation. In this thesis, a software/data structure architecture without explicit locks is proposed to accelerate logic gate circuit simulation. We call thus system ZSIM. The ZSIM software architecture simulator targets low cost SIMD multi-core machines. Its performance is evaluated on the Intel Xeon Phi and 2 other machines (Intel Xeon and AMD Opteron). The aim of these experiments is to: • Verify that the data structure used allows SIMD acceleration, particularly on machines with gather instructions ( section 5.3.1). • Verify that, on sufficiently large circuits, substantial gains could be made from multicore parallelism ( section 5.3.2 ). • Show that a simulator using this approach out-performs an existing commercial simulator on a standard workstation ( section 5.3.3 ). • Show that the performance on a cheap Xeon Phi card is competitive with results reported elsewhere on much more expensive super-computers ( section 5.3.5 ). To evaluate the ZSIM, two types of test circuits were used: 1. Circuits from the IWLS benchmark suit [1] which allow direct comparison with other published studies of parallel simulators.2. Circuits generated by a parametrised circuit synthesizer. The synthesizer used an algorithm that has been shown to generate circuits that are statistically representative of real logic circuits. The synthesizer allowed testing of a range of very large circuits, larger than the ones for which it was possible to obtain open source files. The experimental results show that with SIMD acceleration and multicore, ZSIM gained a peak parallelisation factor of 300 on Intel Xeon Phi and 11 on Intel Xeon. With only SIMD enabled, ZSIM achieved a maximum parallelistion gain of 10 on Intel Xeon Phi and 4 on Intel Xeon. Furthermore, it was shown that this software architecture simulator running on a SIMD machine is much faster than, and can handle much bigger circuits than a widely used commercial simulator (Xilinx) running on a workstation. The performance achieved by ZSIM was also compared with similar pre-existing work on logic simulation targeting GPUs and supercomputers. It was shown that ZSIM simulator running on a Xeon Phi machine gives comparable simulation performance to the IBM Blue Gene supercomputer at very much lower cost. The experimental results have shown that the Xeon Phi is competitive with simulation on GPUs and allows the handling of much larger circuits than have been reported for GPU simulation. When targeting Xeon Phi architecture, the automatic cache management of the Xeon Phi, handles and manages the on-chip local store without any explicit mention of the local store being made in the architecture of the simulator itself. However, targeting GPUs, explicit cache management in program increases the complexity of the software architecture. Furthermore, one of the strongest points of the ZSIM simulator is its portability. Note that the same code was tested on both AMD and Xeon Phi machines. The same architecture that efficiently performs on Xeon Phi, was ported into a 64 core NUMA AMD Opteron. To conclude, the two main achievements are restated as following: The primary achievement of this work was proving that the ZSIM architecture was faster than previously published logic simulators on low cost platforms. The secondary achievement was the development of a synthetic testing suite that went beyond the scale range that was previously publicly available, based on prior work that showed the synthesis technique is valid.

Self-supervised information retrieval: a novel approach based on Deep Metric Learning and Neural Language Models

Most of the existing open-source search engines, utilize keyword or tf-idf based techniques to find relevant documents and web pages relative to an input query. Although these methods, with the help of a page rank or knowledge graphs, proved to be effective in some cases, they often fail to retrieve relevant instances for more complicated queries that would require a semantic understanding to be exploited. In this Thesis, a self-supervised information retrieval system based on transformers is employed to build a semantic search engine over the library of Gruppo Maggioli company. Semantic search or search with meaning can refer to an understanding of the query, instead of simply finding words matches and, in general, it represents knowledge in a way suitable for retrieval. We chose to investigate a new self-supervised strategy to handle the training of unlabeled data based on the creation of pairs of ’artificial’ queries and the respective positive passages. We claim that by removing the reliance on labeled data, we may use the large volume of unlabeled material on the web without being limited to languages or domains where labeled data is abundant.

Advanced X-ray techniques for the structural characterisation of Prussian Blue Analogue cathode materials

The thesis is dedicated to the implementation of advanced x-ray-based techniques for the investigation of the battery systems, more predominantly, the cathode materials. The implemented characterisation methods include synchrotron based x-ray absorption spectroscopy, powder x-ray diffraction, 2-dimensional x-ray fluorescence, full field transmission soft x-ray microscopy, and laboratory x-ray photoelectron spectroscopy. The research highlights the different areas of expertise for each described method, in terms of material characterisation, exploring their complementarities and intersections. The results are focused over manganese hexacyanoferrate and partially Ni substituted manganese hexacyanoferrate, through both organic and aqueous battery systems. In aqueous system, the modification of cathode composition has been observed with various techniques, indicating to the processes occurring in bulk, surface, locally or in long-range, including with the speciation by 2-dimensional scanning, and the time-resolution, by the implementation of the operando measurements. In organic media, the inhomogenisation of the cathode material during the aging process was investigated by the development of the special image treatment procedure for the maps, obtained from the transmission soft x-ray microscopy. It worth mentioning, that apart from the combination of the outcomes from the various x-ray measurements, the exploration of the new capabilities was also conducted, namely, probing the oxidation state of the element with the synchrotron-based 2-dimensional x-ray fluorescence technique, which, generally, with conventional set up, is not possible to achieve. The results and methodology from this thesis can, of course, be generalised on the characterisation of the other battery systems, and not only, as the x-ray techniques are one of the most informative and sophisticated methods for advanced structural investigation of the materials.

Vibro-acoustic analysis of additively manufactured acoustic metamaterials

In the last decade it emerged the interest in new types of acoustic insulating materials, called acoustic metamaterials. These materials are composed by a host and inclusions and are arranged periodically or non-periodically in sub-wavelength elements called meta-atoms. Their inclusions and internal geometries can be manipulated to tailor the acoustic properties, reducing weight, and increasing at the same time their efficiency. Thanks to the high absorbing characteristics that they can achieve, their usage is of particularly interest as material of the core in sandwich panels of aerospace structures to reduce vibrations and noise inside passengers aircraft’s cabin. In addition, since the low frequency signals are difficult to be damped with conventional materials, their usage can guarantee a high transmission loss at low frequencies, obtaining a positive benefit on passengers’ comfort. The performances and efficiency of these materials are enhanced thanks to the new additive manufacturing techniques opposed to the conventional ones uncapable to pro- duce such complex internal geometries. The aim of this work is to study, produce and redesign micro-perforated sandwich panels of a literature case study to achieve high performances in the low frequency range, e.g., below 2000 Hz. Some geometrical parameters, such as perforation ratio and diameter of holes, were considered to realize different models and see the differences in the sound transmission loss. The models were produced by means of Fused Deposition Modelling using an Acrylonitrile Butadiene Styrene (ABS Plus p430) material on a commercial additive manufacturing system. Finally, the frequency response analysis was carried out with Mul2 software, based on the Carrera’s Unified Formulation (CUF) to understand the acoustic and structural properties of the material employed, analyzing the plates’ displacements and the TL results.

Knowledge-based Chord Embeddings

This thesis develops AI methods as a contribution to computational musicology, an interdisciplinary field that studies music with computers. In systematic musicology a composition is defined as the combination of harmony, melody and rhythm. According to de La Borde, harmony alone "merits the name of composition". This thesis focuses on analysing the harmony from a computational perspective. We concentrate on symbolic music representation and address the problem of formally representing chord progressions in western music compositions. Informally, chords are sets of pitches played simultaneously, and chord progressions constitute the harmony of a composition. Our approach combines ML techniques with knowledge-based techniques. We design and implement the Modal Harmony ontology (MHO), using OWL. It formalises one of the most important theories in western music: the Modal Harmony Theory. We propose and experiment with different types of embedding methods to encode chords, inspired by NLP and adapted to the music domain, using both statistical (extensional) knowledge by relying on a huge dataset of chord annotations (ChoCo), intensional knowledge by relying on MHO and a combination of the two. The methods are evaluated on two musicologically relevant tasks: chord classification and music structure segmentation. The former is verified by comparing the results of the Odd One Out algorithm to the classification obtained with MHO. Good performances (accuracy: 0.86) are achieved. We feed a RNN for the latter, using our embeddings. Results show that the best performance (F1: 0.6) is achieved with embeddings that combine both approaches. Our method outpeforms the state of the art (F1 = 0.42) for symbolic music structure segmentation. It is worth noticing that embeddings based only on MHO almost equal the best performance (F1 = 0.58). We remark that those embeddings only require the ontology as an input as opposed to other approaches that rely on large datasets.

Pre-processing for noise detection in gene expression classification data

Due to the imprecise nature of biological experiments, biological data is often characterized by the presence of redundant and noisy data. This may be due to errors that occurred during data collection, such as contaminations in laboratorial samples. It is the case of gene expression data, where the equipments and tools currently used frequently produce noisy biological data. Machine Learning algorithms have been successfully used in gene expression data analysis. Although many Machine Learning algorithms can deal with noise, detecting and removing noisy instances from the training data set can help the induction of the target hypothesis. This paper evaluates the use of distance-based pre-processing techniques for noise detection in gene expression data classification problems. This evaluation analyzes the effectiveness of the techniques investigated in removing noisy data, measured by the accuracy obtained by different Machine Learning classifiers over the pre-processed data.

Validation of reference genes for gene expression studies in the honey bee, Apis mellifera, by quantitative real-time RT-PCR

For obtaining accurate and reliable gene expression results it is essential that quantitative real-time RT-PCR (qRT-PCR) data are normalized with appropriate reference genes. The current exponential increase in postgenomic studies on the honey bee, Apis mellifera, makes the standardization of qRT-PCR results an important task for ongoing community efforts. For this aim we selected four candidate reference genes (actin, ribosomal protein 49, elongation factor 1-alpha, tbp-association factor) and used three software-based approaches (geNorm, BestKeeper and NormFinder) to evaluate the suitability of these genes as endogenous controls. Their expression was examined during honey bee development, in different tissues, and after juvenile hormone exposure. Furthermore, the importance of choosing an appropriate reference gene was investigated for two developmentally regulated target genes. The results led us to consider all four candidate genes as suitable genes for normalization in A. mellifera. However, each condition evaluated in this study revealed a specific set of genes as the most appropriated ones.

Analysis of two reinforced concrete pile caps with embedded sockets in the presence of a locking beam

The present research studies the behavior of reinforced concrete locking beams supported by two capped piles with the socket embedded; used as connections for pre-cast concrete structures. The effect provoked by locking the beam on the pile-caps when supported by the lateral socket walls was evaluated. Three-dimensional numerical analyses using software based on the finite element method (FEM) were developed considering the nonlinear physical behavior of the material. To evaluate the adopted software, a comparative analysis was made using the numerical and experimented results obtained from other software. In the pile caps studied, a variation in the wall thickness, socket interface, strut angle inclination and action on beam. The results show that the presence of a beam does not significantly change pile cap behavior and that the socket wall is able to effectively transfer the force from the beam to the pile caps. By the tensions on the bars of longitudinal reinforcement, it was possible to obtain the force on the tie and the strut angle inclination before the collapse of models. It was found that the angles present more inclinations than those used in the design, which was made based on a strut-and-tie model. More results are available at http://www.set.eesc.usp.br/pdf/download/2009ME_RodrigoBarros.pdf

A Study of Influence of Configurations of the Windings on the Performance of Single Phase Induction Motor with Capacitor Start

The single phase induction motors needs two stator windings to produce rotating magnetic field : one main winding and the other auxiliary winding. The aim of the auxiliary winding is to create the rotating electromagnetic field when the machine is started-up and is afterwards turned off, generally through the centrifugal switch coupled together with the shaft of the machine rotor. The main purpose of this document is to evaluate the influence that the two windings have on the external characteristics of the single phase induction motor. For this purpose, two different kinds of windings were carried out and simulated, with the proposal to obtain some benefits. The main winding and the auxiliary winding were prepared and mounted on a prototype. The simulation was done via software based FEM, to make the extraction and results analysis possible. This results are shown at the end this document.

A simple and effective inverse projection scheme for void distribution control in topology optimization

The ability to control both the minimum size of holes and the minimum size of structural members are essential requirements in the topology optimization design process for manufacturing. This paper addresses both requirements by means of a unified approach involving mesh-independent projection techniques. An inverse projection is developed to control the minimum hole size while a standard direct projection scheme is used to control the minimum length of structural members. In addition, a heuristic scheme combining both contrasting requirements simultaneously is discussed. Two topology optimization implementations are contributed: one in which the projection (either inverse or direct) is used at each iteration; and the other in which a two-phase scheme is explored. In the first phase, the compliance minimization is carried out without any projection until convergence. In the second phase, the chosen projection scheme is applied iteratively until a solution is obtained while satisfying either the minimum member size or minimum hole size. Examples demonstrate the various features of the projection-based techniques presented.

Methylation patterns revealed by MSAP profiling in genetically stable somatic embryogenic cultures of Ocotea catharinensis (Lauraceae)

Ocotea catharinensis is a rare tree species indigenous to the Atlantic rainforest of South America. In spite of its value as a hardwood species, it is in danger of extinction. The species erratically produces seeds showing irregular flowering and slow growth. Therefore, plants are not easily replaced. Tissue culture-based techniques are commonly used for obtaining living material for tree propagation and in vitro preservation. Therefore, a high-frequency somatic embryogenic system was developed for the species. In the present work, the genetic fidelity of cell aggregates and somatic embryos at various stages of in vitro development of O. catharinensis was investigated using RAPD and AFLP markers. Both analyses confirmed the absence of genetic variation in all developmental stages of O. catharinensis embryogenic cultures, verifying that the in vitro system is genetically stable. The cultures were also analyzed for their methylation profiles at 5`-CCGG-3` sites by identifying methylation-sensitive amplification polymorphisms. Some of these markers differentiated cell aggregates from embryo bodies. The sequencing of ten MSAP markers revealed that four sequences showed significant similarity to genes encoding plant proteins. Particularly, the predicted amino acid sequence of the fragment designated as OcEaggHMttc155 was similar to the enzyme 1-aminocyclopropane-1-carboxylate oxidase (ACO), which is involved in the biosynthesis of ethylene, and its expression was reported to occur from the beginning to the intermediate stages of plant embryo development. Here, we suggest that this enzyme is possibly involved in the control of the earliest stages of somatic embryogenesis of O. catharinensis, and an approach to study ACO expression during somatic embryogenesis is proposed.

Frequency of concurrent autoimmune disorders in patients with autoimmune hepatitis - Effect of age, gender, and genetic background

Background: Concurrent autoimmune disorders (CAIDs) have been shown to occur in 22% to 34% of the patients with autoimmune hepatitis (AIH). Their presence has been linked to female gender, older age, and to certain HLA antigens, namely HLA-A11. DRB1*04, and DRB4*01. Aims: To assess the frequency and nature of CAID in Brazilian patients with AIH types 1 (AIH-1) and 2 (AIH-2) and to investigate the influence of age, gender, and genetic background in their occurrence. Patients and Methods: The presence and nature of CAID was studied in 143 patients [117 females, median age 11 (1.3 to 69)] with AIH-1 (n = 125) and AIH-2 (n = 28). HLA typing and tumor necrosis factor a gene promoter and exon I cytotoxic T lymphocyte associated antigen 4 (CTLA-4) gene polymorphisms were determined by polymerase chain reaction-based techniques. Results: The frequency of CAID was similar in patients with AIH-1 (14%) and AIH-2 (18%), but their nature was shown to vary. Arthritis was seen in half of the patients (n = 8) with CAID and AIH-1 and in none of those with AIH-2. Subjects with AIH-1 and CAID were shown to be older [24 (1.3 to 6 1) vs. 11 (1.3 to 69) y P = 0.02] and to have more often circulating antinuclear antibody (76% vs. 40%, P = 0.008) and less frequently antiactin antibodies (33% vs. 75%, P = 0.008) when compared with their counterparts without CAID. No particular HLA-DR and DQ alleles, as well as tumor necrosis factor a and CTLA-4 genotypes, were associated with CAID. Conclusions: The nature, but not the frequency, of CAID was shown to vary in AIH-1 and AIH-2. In subjects with AIH-1, CAID was linked to older subjects and to the presence of antinuclear antibody. No predisposition to CAID was associated to HLA-DRB1*04 or DDB4*01 alleles. The observed lower frequency of CAID could be attributed to the lower age of disease onset in Brazilians and to differences in HLA-encoded susceptibility to AIH-1 observed in South America.

The anammox case - A new experimental manifesto for microbiological eco-physiology

The anaerobic ammonium oxidation process is a new process for ammonia removal from wastewater. It is also a new microbial physiology that was previously believed to be impossible. The identification of Candidatus Brocadia anammoxidans and its relatives as the responsible bacteria was only possible with the development of a new experimental approach. That approach is the focus of this paper. The approach is a modernisation of the Winogradsky/Beyerinck strategy of selective enrichment and is based on the introduction of the molecular toolbox and modern bioreactor engineering to microbial ecology. It consists of five steps: (1) postulation of an ecological niche based on thermodynamic considerations and macro-ecological field data; (2) engineering of this niche into a laboratory bioreactor for enrichment culture; (3) black-box physiological characterisation of the enrichment culture as a whole; (4) phylogenetic characterisation of the enriched community using molecular tools; (5) physical separation of the dominant members of the enrichment culture using gradient centrifugation and the identification of the species of interest in accordance with Koch's postulates; (6) verification of the in situ importance of these species in the actual ecosystems. The power of this approach is illustrated with a case study: the identification of the planctomycetes responsible for anaerobic ammonium oxidation. We argue that this was impossible using molecular ecology or conventional 'cultivation based techniques' alone. We suggest that the approach might also be used for the microbiological study of many interesting microbes such as anaerobic methane oxidisers.