A Model-Based Development and Verification Framework for Distributed System-on-Chip Architecture

The capabilities and thus, design complexity of VLSI-based embedded systems have increased tremendously in recent years, riding the wave of Moore’s law. The time-to-market requirements are also shrinking, imposing challenges to the designers, which in turn, seek to adopt new design methods to increase their productivity. As an answer to these new pressures, modern day systems have moved towards on-chip multiprocessing technologies. New architectures have emerged in on-chip multiprocessing in order to utilize the tremendous advances of fabrication technology. Platform-based design is a possible solution in addressing these challenges. The principle behind the approach is to separate the functionality of an application from the organization and communication architecture of hardware platform at several levels of abstraction. The existing design methodologies pertaining to platform-based design approach don’t provide full automation at every level of the design processes, and sometimes, the co-design of platform-based systems lead to sub-optimal systems. In addition, the design productivity gap in multiprocessor systems remain a key challenge due to existing design methodologies. This thesis addresses the aforementioned challenges and discusses the creation of a development framework for a platform-based system design, in the context of the SegBus platform - a distributed communication architecture. This research aims to provide automated procedures for platform design and application mapping. Structural verification support is also featured thus ensuring correct-by-design platforms. The solution is based on a model-based process. Both the platform and the application are modeled using the Unified Modeling Language. This thesis develops a Domain Specific Language to support platform modeling based on a corresponding UML profile. Object Constraint Language constraints are used to support structurally correct platform construction. An emulator is thus introduced to allow as much as possible accurate performance estimation of the solution, at high abstraction levels. VHDL code is automatically generated, in the form of “snippets” to be employed in the arbiter modules of the platform, as required by the application. The resulting framework is applied in building an actual design solution for an MP3 stereo audio decoder application.

Relationship between microalbuminuria and cardiac structural changes in mild hypertensive patients

The aim of this study was to determine the relationship between urinary albumin excretion (UAE), cardiac structural changes upon echocardiography and 24-h ambulatory blood pressure (ABPM) levels. Twenty mild hypertensive patients (mean age 56.8 ± 9.6 years) were evaluated. After 2 weeks of a washout period of all antihypertensive drugs, all patients underwent an echocardiographic evaluation, a 24-h ABPM and an overnight urine collection. Systolic and diastolic blood pressure during 24-h ABPM was 145 ± 14/91 ± 10 mmHg (daytime) and 130 ± 14/76 ± 8 mmHg (nighttime), respectively. Seven (35%) patients presented UAE > or = 15 µg/min, and for the whole group, the geometric mean value for UAE was 10.2 x/÷ 3.86 µg/min. Cardiac measurements showed mean values of interventricular septum thickness (IVS) of 11 ± 2.3 mm, left ventricular posterior wall thickness (PWT) of 10 ± 2.0 mm, left ventricular mass (LVM) of 165 ± 52 g, and left ventricular mass index (LVMI) of 99 ± 31 g/m². A forward stepwise regression model indicated that blood pressure levels did not influence UAE. Significant correlations were observed between UAE and cardiac structural parameters such as IVS (r = 0.71, P<0.001), PWT (r = 0.64, P<0.005), LVM (r = 0.65, P<0.005) and LVMI (r = 0.57, P<0.01). Compared with normoalbuminuric patients, those who had microalbuminuria presented higher values of all cardiac parameters measured. The predictive positive and negative values of UAE > or = 15 µg/min for the presence of geometric cardiac abnormalities were 75 and 91.6%. These data indicate that microalbuminuria in essential hypertension represents an early marker of cardiac structural damage.

Structural dynamics in the global pulp and paper industry

The pulp and paper industry is currently facing broad structural changes due to global shifts in demand and supply. These changes have significant impacts on national economies worldwide. Planted forests (especially eucalyptus) and recovered paper have quickly increased their importance as raw material for paper and paperboard production. Although advances in information and communication technologies could reduce the demand for communication papers, and the growth of paper consumption has indeed flattened in developed economies, particularly in North America and Western Europe, the consumption is increasing on a global scale. Moreover, the focal point of production and consumption is moving from the Western world to the rapidly growing markets of Southeast Asia. This study analyzes how the so-called megatrends (globalization, technological development, and increasing environmental awareness) affect the pulp and paper industry’s external environment, and seeks reliable ways to incorporate the impact of the megatrends on the models concerning the demand, trade, and use of paper and pulp. The study expands current research in several directions and points of view, for example, by applying and incorporating several quantitative methods and different models. As a result, the thesis makes a significant contribution to better understand and measure the impacts of structural changes on the pulp and paper industry. It also provides some managerial and policy implications.

The Role of Structural Imperfections in Sr2FeMoO6 Thin Films

In this work, Sr2FeMoO6 (SFMO) thin films were studied with the main focus on their magnetic and magneto-transport properties. The fabrication process of pulsed laser deposited SFMO films was first optimized. Then the effects of strain, film thickness and substrate were thoroughly investigated. In addition to these external factors, the effect of intrinsic defects on the magnetic properties of SFMO were also clarified. Secondly, the magnetoresistivity mechanims of SFMO films were studied and a semiempirical model of the temperature dependence of resistivity was introduced. The films were grown on single crystal substrates using a ceramic target made with sol-gel method. The structural characterization of the films were carried out with X-ray diffraction, atomic force microscopy, transmission electron microscopy and high kinetic energy photoelectron spectroscopy. The magnetic properties were measured with SQUID magnetometer and the magneto-transport properties by magnetometer with a resistivity option. SFMO films with the best combination of structural and magnetic properties were grown in Ar atmosphere at 1050 °C . Their magnetic properties could not be improved by the ex situ post-annealing treatments aside from the treatments in ultra-high vacuum conditions. The optimal film thickness was found to be around 150 nm and only small improvement in the magnetic properties with decreasing strain was observed. Instead, the magnetic properties were observed to be highly dependent on the choice of the substrate due to the lattice mismatch induced defects, which are best avoided by using the SrTiO3 substrate. The large difference in the Curie temperature and the saturation magnetization between the SFMO thin film and polycrystalline bulk samples was connected to the antisite disorder and oxygen vacancies. Thus, the Curie temperature of SFMO thin films could be improved by increasing the amount of oxygen vacancies for example with ultra-high vacuum treatments or improving the B-site ordering by further optimization of the deposition parameters. The magneto-transport properties of SFMO thin films do not follow any conventional models, but the temperature dependence of resistivity was succesfully described with a model of two spin channel system. Also, evidences that the resistivity-temperature behaviour of SFMO thin films is dominated by the structural defects, which reduce the band gap in the majority spin band were found. Moreover, the magnetic field response of the resistivity in SFMO thin films were found to be superposition of different mechanisms that seems to be related to the structural changes in the film.

VAP-1 as drug target in inflammation : structural features determining ligand interactions

Vascular adhesion protein-1 (VAP-1), which belongs to the copper amine oxidases (CAOs), is a validated drug target in inflammatory diseases. Inhibition of VAP-1 blocks the leukocyte trafficking to sites of inflammation and alleviates inflammatory reactions. In this study, a novel set of potent pyridazinone inhibitors is presented together with their X-ray structure complexes with VAP-1. The crystal structure of serum VAP-1 (sVAP-1) revealed an imidazole binding site in the active site channel and, analogously, the pyridazinone inhibitors were designed to bind into the channel. This is the first time human VAP-1 has been crystallized with a reversible inhibitor and the structures reveal detailed information of the binding mode on the atomic level. Similarly to some earlier studied inhibitors of human VAP-1, the designed pyridazinone inhibitors bind rodent VAP-1 with a lower affinity than human VAP-1. Therefore, we made homology models of rodent VAP-1 and compared human and rodent enzymes to determine differences that might affect the inhibitor binding. The comparison of the crystal structures of the human VAP-1 and the mouse VAP-1 homology model revealed key differences important for the species specific binding properties. In general, the channel in mouse VAP-1 is more narrow and polar than the channel in human VAP-1, which is wider and more hydrophobic. The differences are located in the channel leading to the active site, as well as, in the entrance to the active site channel. The information obtained from these studies is of great importance for the development and design of drugs blocking the activity of human VAP-1, as rodents are often used for in vivo testing of candidate drugs. In order to gain more insight into the selective binding properties of the different CAOs in one species a comprehensive evolutionary study of mammalian CAOs was performed. We found that CAOs can be classified into sub-families according to the residues X1 and X2 of the Thr/Ser-X1-X2-Asn-Tyr-Asp active site motif. In the phylogenetic tree, CAOs group into diamine oxidase, retina specific amine oxidase and VAP-1/serum amine oxidase clades based on the residue in the position X2. We also found that VAP-1 and SAO can be further differentiated based on the residue in the position X1. This is the first large-scale comparison of CAO sequences, which explains some of the reasons for the unique substrate specificities within the CAO family.

Forsaking all others: towards a new model of nationalism utilizing the case study of former Yugoslavia

Many people would like to believe that nationalism is a thing of the past, a dinosaur belonging to some bygone, uncivilized era. Such a belief is not borne out by recent history, however. Nationalism occupies the political forum with as much force as ever. Yet, in many ways, it remains a mystery to us. The purpose of this study is to explore individual motivations involved in the rise of nationalism, in addition to the role of structural factors. The linkage employed in this exploration is the psychosocial phenomenon of self-identity, including emotions and self-esteem. We demonstrate how individual, socially-constructed self-identity accounts for why some people embrace nationalism while others eschew it. The methodology employed was theoretical and historical analyses of secondary sources and indepth interviews with subjects who had some connection with former Yugoslavia, the country utilized to test the new model. Our analyses yielded the result that current conceptualizations of nationalism from an exclusively macro or micro perspective are unsatisfactory; we require a more comprehensive approach wherein the two perspectives are integrated. Such an integration necessitates a bridge: hence, our new model, which rests on the psychosocial premise, offers a more useful conceptual tool for the understanding of nationalism. We conclude that nationalism is first and foremost a matter relating to individual social self-identity which takes place within a particular context where oppositional forces emerge from structural factors and our membership in a particular group becomes paramount.

Sex chromosome translocation and speciation : a Drosophila genetic model

Although exceptions may be readily identified, two generalizations concerning genetic differences among species may be drawn from the available allozyme and chromosome data. First, structural gene differences among species vary widely. In many cases, species pairs do not differ more than intraspecific populations. This suggests that either very few or no gene substitutions are required to produce barriers to reproduction (Avise 1976). Second, chromosome form and/or number differs among even closely related species (White 1963; 1978; Fredga 1977; Wright 1970). Many of the observed chromosomal differences involve translocational rearrangements; these produce severe fitness depression in heterozygotes and were, thus, long considered unlikely candidates for the fixation required of genetic changes leading to speciation (Wright 1977). Nonetheless, the fact that species differences are frequently translocational argues convincingly for their fixation despite prejudices to the contrary. Haldane's rule states that in the F of interspecific crosses, the heterogametic sex is absent or sterile in the preponderance of cases (Haldane 1932). This rule definitely applies in the genus Dr°sophila (Ehrman 1962). Sex chromosome translocations do not impose a fitness depression as severe as that imposed by autosomal translocations, and X-Y translocations may account for Haldane's rule (Haldane 1932). Consequently a study of the fit ness parameters of an X·yL and a yS chromosome in Drosophila melanogaster populations was initiated by Tracey (1972). Preliminary results suggested that x.yL//YSmales enjoyed a mating advantage with X·yL//X·yL females, that this advantage was frequency dependent, that the translocation produced sexual isolation and that interactions between the yL, yS and a yellow marker contributed to the observed isolation (Tracey and Espinet 1976; Espinet and Tracey 1976). Encouraged by the results of these prelimimary studies, further experiments were performed to clarify the genetic nature of the observed sexual isolation, S the reality of the y frequency dependent fitness .and the behavioural changes, if any, produced by the translocation. The results of this work are reported herein. Although the marker genes used in earlier studies, sparkling poliert an d yellow have both been found to affect activity,but only yellow effects asymmetric sexual isolation. In addition yellow effects isolation through an interaction with the T(X-y) chromosomes, yS also effects isolation, and translocational strains are isolated from those of normal karyotype in the absence of marker gene differences. When yS chromosomes are in competition with y chromosomes on an X.yL background, yS males are at a distinct advantage only when their frequency is less than 97%. The sex chromosome translocation alters the normal courtship pattern by the incorporation of circling between vibration and licking in the male repertoire. Finally a model of speciation base on the fixation of this sex chromosome translocation in a geographically isolated gene pool is proposed.

Asymmetric Smiles, Leverage Effects and Structural Parameters.

In this paper, we characterize the asymmetries of the smile through multiple leverage effects in a stochastic dynamic asset pricing framework. The dependence between price movements and future volatility is introduced through a set of latent state variables. These latent variables can capture not only the volatility risk and the interest rate risk which potentially affect option prices, but also any kind of correlation risk and jump risk. The standard financial leverage effect is produced by a cross-correlation effect between the state variables which enter into the stochastic volatility process of the stock price and the stock price process itself. However, we provide a more general framework where asymmetric implied volatility curves result from any source of instantaneous correlation between the state variables and either the return on the stock or the stochastic discount factor. In order to draw the shapes of the implied volatility curves generated by a model with latent variables, we specify an equilibrium-based stochastic discount factor with time non-separable preferences. When we calibrate this model to empirically reasonable values of the parameters, we are able to reproduce the various types of implied volatility curves inferred from option market data.

Empirical Assessment of an Intertemporal Option Pricing Model with Latent variables

This paper assesses the empirical performance of an intertemporal option pricing model with latent variables which generalizes the Hull-White stochastic volatility formula. Using this generalized formula in an ad-hoc fashion to extract two implicit parameters and forecast next day S&P 500 option prices, we obtain similar pricing errors than with implied volatility alone as in the Hull-White case. When we specialize this model to an equilibrium recursive utility model, we show through simulations that option prices are more informative than stock prices about the structural parameters of the model. We also show that a simple method of moments with a panel of option prices provides good estimates of the parameters of the model. This lays the ground for an empirical assessment of this equilibrium model with S&P 500 option prices in terms of pricing errors.

Computation and Analysis of Multiple Structural-Change Models

In a recent paper, Bai and Perron (1998) considered theoretical issues related to the limiting distribution of estimators and test statistics in the linear model with multiple structural changes. In this companion paper, we consider practical issues for the empirical applications of the procedures. We first address the problem of estimation of the break dates and present an efficient algorithm to obtain global minimizers of the sum of squared residuals. This algorithm is based on the principle of dynamic programming and requires at most least-squares operations of order O(T 2) for any number of breaks. Our method can be applied to both pure and partial structural-change models. Secondly, we consider the problem of forming confidence intervals for the break dates under various hypotheses about the structure of the data and the errors across segments. Third, we address the issue of testing for structural changes under very general conditions on the data and the errors. Fourth, we address the issue of estimating the number of breaks. We present simulation results pertaining to the behavior of the estimators and tests in finite samples. Finally, a few empirical applications are presented to illustrate the usefulness of the procedures. All methods discussed are implemented in a GAUSS program available upon request for non-profit academic use.

Urban Detection From Hyperspectral Images Using Dimension-Reduction Model and Fusion of Multiple Segmentations Based on Stuctural and Textural Features

Ce mémoire de maîtrise présente une nouvelle approche non supervisée pour détecter et segmenter les régions urbaines dans les images hyperspectrales. La méthode proposée n ́ecessite trois étapes. Tout d’abord, afin de réduire le coût calculatoire de notre algorithme, une image couleur du contenu spectral est estimée. A cette fin, une étape de réduction de dimensionalité non-linéaire, basée sur deux critères complémentaires mais contradictoires de bonne visualisation; à savoir la précision et le contraste, est réalisée pour l’affichage couleur de chaque image hyperspectrale. Ensuite, pour discriminer les régions urbaines des régions non urbaines, la seconde étape consiste à extraire quelques caractéristiques discriminantes (et complémentaires) sur cette image hyperspectrale couleur. A cette fin, nous avons extrait une série de paramètres discriminants pour décrire les caractéristiques d’une zone urbaine, principalement composée d’objets manufacturés de formes simples g ́eométriques et régulières. Nous avons utilisé des caractéristiques texturales basées sur les niveaux de gris, la magnitude du gradient ou des paramètres issus de la matrice de co-occurrence combinés avec des caractéristiques structurelles basées sur l’orientation locale du gradient de l’image et la détection locale de segments de droites. Afin de réduire encore la complexité de calcul de notre approche et éviter le problème de la ”malédiction de la dimensionnalité” quand on décide de regrouper des données de dimensions élevées, nous avons décidé de classifier individuellement, dans la dernière étape, chaque caractéristique texturale ou structurelle avec une simple procédure de K-moyennes et ensuite de combiner ces segmentations grossières, obtenues à faible coût, avec un modèle efficace de fusion de cartes de segmentations. Les expérimentations données dans ce rapport montrent que cette stratégie est efficace visuellement et se compare favorablement aux autres méthodes de détection et segmentation de zones urbaines à partir d’images hyperspectrales.

Attachment, sexual assertiveness and sexual outcomes in women with provoked vestibulodynia and their partners : a mediation model.

Provoked vestibulodynia (PVD) is a prevalent women’s sexual pain disorder, which is associated with sexual function difficulties. Attachment theory has been used to understand adult sexual outcomes, providing a useful framework for examining sexual adaptation in couples confronted with PVD. Research to date indicates that anxious and avoidant attachment dimensions correlate with worse sexual outcomes in community and clinical samples. The present study examined the association between attachment, pain, sexual function and sexual satisfaction in a sample of 101 couples in which the women presented with PVD. The Actor-Partner Interdependence Model was used in order to investigate both actor and partner effects. This study also examined the role of sexual assertiveness as a mediator of these associations via structural equation modeling. Women completed measures of pain intensity and both members of the couple completed measures of romantic attachment, sexual assertiveness, sexual function and satisfaction. Results indicated that attachment dimensions did not predict pain intensity. Both anxious and avoidant attachment were associated with lower sexual satisfaction. Only attachment avoidance predicted lower sexual function in women. Partner effects indicated that higher sexual assertiveness in men predicted better sexual function in women, while higher sexual assertiveness in women predicted higher sexual satisfaction in men. Finally, women’s sexual assertiveness was found to be a significant mediator of the relationship between their attachment dimensions, sexual function and satisfaction. Findings highlight the importance of examining how anxious and avoidant attachment may lead to difficulties in sexual assertiveness and to less satisfying sexual interactions in couples where women suffer from PVD.

Thermo-Structural Analysis of 3D Composites

Three dimensional (3D) composites are strong contenders for the structural applications in situations like aerospace,aircraft and automotive industries where multidirectional thermal and mechanical stresses exist. The presence of reinforcement along the thickness direction in 3D composites,increases the through the thickness stiffness and strength properties.The 3D preforms can be manufactured with numerous complex architecture variations to meet the needs of specific applications.For hot structure applications Carbon-Carbon(C-C) composites are generally used,whose property variation with respect to temperature is essential for carrying out the design of hot structures.The thermomechanical behavior of 3D composites is not fully understood and reported.The methodology to find the thermomechanical properties using analytical modelling of 3D woven,3D 4-axes braided and 3D 5-axes braided composites from Representative Unit Cells(RUC's) based on constitutive equations for 3D composites has been dealt in the present study.High Temperature Unidirectional (UD) Carbon-Carbon material properties have been evaluated using analytical methods,viz.,Composite cylinder assemblage Model and Method of Cells based on experiments carried out on Carbon-Carbon fabric composite for a temparature range of 300 degreeK to 2800degreeK.These properties have been used for evaluating the 3D composite properties.From among the existing methods of solution sequences for 3D composites,"3D composite Strength Model" has been identified as the most suitable method.For thegeneration of material properies of RUC's od 3D composites,software has been developed using MATLAB.Correlaton of the analytically determined properties with test results available in literature has been established.Parametric studies on the variation of all the thermomechanical constants for different 3D performs of Carbon-Carbon material have been studied and selection criteria have been formulated for their applications for the hot structures.Procedure for the structural design of hot structures made of 3D Carbon-Carbon composites has been established through the numerical investigations on a Nosecap.Nonlinear transient thermal and nonlinear transient thermo-structural analysis on the Nosecap have been carried out using finite element software NASTRAN.Failure indices have been established for the identified performs,identification of suitable 3D composite based on parametric studies on strength properties and recommendation of this material for Nosecap of RLV based on structural performance have been carried out in this Study.Based on the 3D failure theory the best perform for the Nosecap has been identified as 4-axis 15degree braided composite.

Investigations on Structural response of Water Backed Perforated plates

The study envisaged herein contains the numerical investigations on Perforated Plate (PP) as well as numerical and experimental investigations on Perforated Plate with Lining (PPL) which has a variety of applications in underwater engineering especially related to defence applications. Finite element method has been adopted as the tool for analysis of PP and PPL. The commercial software ANSYS has been used for static and free vibration response evaluation, whereas ANSYS LS-DYNA has been used for shock analysis. SHELL63, SHELL93, SOLID45, SOLSH190, BEAM188 and FLUID30 finite elements available in the ANSYS library as well as SHELL193 and SOLID194 available in the ANSYS LS-DYNA library have been made use of. Unit cell of the PP and PPL which is a miniature of the original plate with 16 perforations have been used. Based upon the convergence characteristics, the utility of SHELL63 element for the analysis of PP and PPL, and the required mesh density are brought out. The effect of perforation, geometry and orientation of perforation, boundary conditions and lining plate are investigated for various configurations. Stress concentration and deflection factor are also studied. Based on these investigations, stadium geometry perforation with horizontal orientation is recommended for further analysis.Linear and nonlinear static analysis of PP and PPL subjected to unit normal pressure has been carried out besides the free vibration analysis. Shock analysis has also been carried out on these structural components. The analytical model measures 0.9m x 0.9m with stiffener of 0.3m interval. The influence of finite element, boundary conditions, and lining plate on linear static response has been estimated and presented. Comparison of behavior of PP and PPL in the nonlinear strain regime has been made using geometric nonlinear analysis. Free vibration analysis of the PP and PPL has been carried out ‘in vacuum’ condition and in water backed condition, and the influence of water backed condition and effect of perforation on natural frequency have been investigated.Based upon the studies on the vibration characteristics of NPP, PP and PPL in water backed condition and ‘in vacuum’ condition, the reduction in the natural frequency of the plate in immersed condition has been rightly brought out. The necessity to introduce the effect of water medium in the analysis of water backed underwater structure has been highlighted.Shock analysis of PP and PPL for three explosives viz., PEK, TNT and C4 has been carried out and deflection and stresses on plate as well as free field pressure have been estimated using ANSYS LS-DYNA. The effect of perforations and the effect of lining plate have been predicted. Experimental investigations of the measurement of free field pressure using PPL have been conducted in a shock tank. Free field pressure has been measured and has been validated with finite element analysis results. Besides, an experiment has been carried out on PPL, for the comparison of the static deflection predicted by finite element analysis.The distribution of the free field pressure and the estimation of differential pressure from experimentation and the provision for treating the differential pressure as the resistance, as a part of the design load for PPL, has been brought out.

Fragile-glass behavior of a short-range p-spin model

We propose a short-range generalization of the p-spin interaction spin-glass model. The model is well suited to test the idea that an entropy collapse is at the bottom line of the dynamical singularity encountered in structural glasses. The model is studied in three dimensions through Monte Carlo simulations, which put in evidence fragile glass behavior with stretched exponential relaxation and super-Arrhenius behavior of the relaxation time. Our data are in favor of a Vogel-Fulcher behavior of the relaxation time, related to an entropy collapse at the Kauzmann temperature. We, however, encounter difficulties analogous to those found in experimental systems when extrapolating thermodynamical data at low temperatures. We study the spin-glass susceptibility, investigating the behavior of the correlation length in the system. We find that the increase of the relaxation time is accompanied by a very slow growth of the correlation length. We discuss the scaling properties of off-equilibrium dynamics in the glassy regime, finding qualitative agreement with the mean-field theory.