Дисертації з теми "Compactly generated"

Dans le Chapitre 1 nous étudions les groupes localement compacts lacunaires hyperboliques. Nous caractérisons les groupes ayant un cône asymptotique qui est un arbre réel et dont l'action naturelle est focale. Nous étudions également la structure des groupes lacunaires hyperboliques, et montrons que dans le cas unimodulaire les sous-groupes ne satisfont pas de loi. Nous appliquons au Chapitre 2 les résultats précédents pour résoudre le problème de l'existence de points de coupure dans un cône asymptotique dans le cas des groupes de Lie connexes. Dans le Chapitre 3 nous montrons que le groupe de Neretin est compactement présenté et donnons une borne supérieure sur sa fonction de Dehn. Nous étudions également les propriétés métriques du groupe de Neretin, et prouvons que certains sous-groupes remarquables sont quasi-isométriquement plongés. Nous étudions dans le Chapitre 4 une famille de groupes agissant sur un arbre, et dont l'action locale est prescrite par un groupe de permutations. Nous montrons entre autres que ces groupes ont la propriété (PW), et exhibons des groupes simples au sein de cette famille. Dans le Chapitre 5 nous introduisons l'éventail des relations d'un groupe de type fini, qui est l'ensemble des longueurs des relations non engendrées par des relations plus courtes. Nous établissons un lien entre la simple connexité d'un cône asymptotique et l'éventail des relations du groupe, et donnons une grande classe de groupes dont l'éventail des relations est aussi grand que possible
In Chapter 1 we investigate the class of locally compact lacunary hyperbolic groups. We characterize locally compact groups having one asymptotic cone that is a real tree and whose natural isometric action is focal. We also study the structure of lacunary hyperbolic groups, and prove that in the unimodular case subgroups cannot satisfy a law. We apply the previous results in Chapter 2 to solve the problem of the existence of cut-points in asymptotic cones for connected Lie groups. In Chapter 3 we prove that Neretin's group is compactly presented and give an upper bound on its Dehn function. We also study metric properties of Neretin's group, and prove that some remarkable subgroups are quasi-isometrically embedded. In Chapter 4 we study a family of groups acting on a tree, and whose local action is prescribed by some permutation group. We prove among other things that these groups have property (PW), and exhibit some simple groups in this family. In Chapter 5 we introduce the relation range of a finitely generated group, which is the set of lengths of relations that are not generated by relations of smaller length. We establish a link between simple connectedness of asymptotic cones and the relation range of the group, and give a large class of groups having a relation range as large as possible

Approximation theory is a fundamental tool in order to study the representation theory of a ring R. Roughly speaking, it consists in determining suitable additive or abelian subcategories of the whole module category Mod-R with nice enough functorial properties. For example, torsion theory is a well suited incarnation of approximation theory. Of course, such an idea has been generalised to the additive setting itself, so that both Mod-R and other interesting categories related with R may be linked functorially. By the seminal work of Beilinson, Bernstein and Deligne (1982), the derived category of the ring turns out to admit useful torsion theories, called t-structures: they are pairs of full subcategories of D(R) whose intersection, called the heart, is always an abelian category. The so-called standard t-structure of D(R) has as its heart the module category Mod-R itself. Since then a lot of results devoted to the module theoretic characterisation of the hearts have been achieved, providing evidence of the usefulness of the t-structures in the representation theory of R. In 2020, following a research line promoted by many other authors, Saorin and Stovicek proved that the heart of any compactly generated t-structure is always a locally finitely presented Grothendieck categories (actually, this is true for any t-structure in a triangulated category with coproducts). Essentially, this means that the hearts of D(R) come equipped with a finiteness condition miming that one valid in Mod-R. In the present thesis we tackle the problem of characterising when the hearts of certain compactly generated t-structures of a commutative ring are even locally coherent. In this commutative context, after the works of Neeman and Alonso, Jeremias and Saorin, compactly generated t-structures turned out to be very interesting over a noetherian ring, for they are in bijection with the Thomason filtrations of the prime spectrum. In other words, they are classified by geometric objects, moreover their constituent subcategories have a precise cohomological description. However, if the ascending chain condition lacks, such classification is somehow partial, though provided by Hrbek. The crucial point is that the constituents of the t-structures have a different description w.r.t. that available in the noetherian setting, yet if one copies the latter for an arbitrary ring still obtains a t-structure, but it is not clear whether it must be compactly generated. Consequently, pursuing the study of the local coherence of the hearts given by a Thomason filtration, we ended by considering two t-structures. Our technique in order to face the lack of the ascending chain condition relies on a further approximation of the hearts by means of suitable torsion theories. The main results of the thesis are the following: we prove that for the so-called weakly bounded below Thomason filtrations the two t-structures have the same heart (therefore it is always locally finitely presented), and we show that they coincide if and only they are both compactly generated. Moreover, we achieve a complete characterisation of the local coherence for the hearts of the Thomason filtrations of finite length.

Let $G$ be a second countable, locally compact group which is either compact or abelian, and let $\rho$ be a unitary representation of $G$ on a separable Hilbert space $\mathcal{H}_\rho$. We examine frames of the form $\{ \rho(x) f_j \colon x \in G, j \in I\}$ for families $\{f_j\}_{j \in I}$ in $\mathcal{H}_\rho$. In particular, we give necessary and sufficient conditions for the joint orbit of a family of vectors in $\mathcal{H}_\rho$ to form a continuous frame. We pay special attention to this problem in the setting of shift invariance. In other words, we fix a larger second countable locally compact group $\Gamma \supset G$ containing $G$ as a closed subgroup, and we let $\rho$ be the action of $G$ on $L^2(\Gamma)$ by left translation. In both the compact and the abelian settings, we introduce notions of Zak transforms on $L^2(\Gamma)$ which simplify the analysis of group frames. Meanwhile, we run a parallel program that uses the Zak transform to classify closed subspaces of $L^2(\Gamma)$ which are invariant under left translation by $G$. The two projects give compatible outcomes. This dissertation contains previously published material.

For artillery and medium caliber munitions utilizing electronic fuze assemblies, numerous methods exist for collection or generation of the electrical energy required to power the fuze during flight. One general method of harvesting energy from the launch event is to employ the inertia of a movable generator component to effect a change in an electrically-coupled magnetic circuit. This paper describes methods of parameter selection and model-based design for the development of a switched-flux linear electric generator (LEG) of desired characteristics. Specifically, the tasks entailed development of a dynamic model for system-level simulation and the estimation of device flux and inductance profiles from finite element models for selected material characteristics. Single-magnet and dual-magnet designs, respectively capable of unipolar or bipolar flux operation were investigated. An experimental variant of the final dual-magnet LEG design was fabricated and analyzed. Recommendations for future design tasks are discussed. Also included is a brief overview of an inertial generator concept based on the angular acceleration of a magnetic rotor. A simple example of such a transverse-flux alternator is included and analyzed with discussion of the challenges facing further design.

High power electromagnetic pulses are of great importance in a variety of applications such as transient radar, investigations of the effect of strong radio-frequency impulses on electronic systems and modem bio-medical technology. In response to the current trend, a simple, compact, and portable electromagnetic pulse (EMP) radiating source has been developed, based on pulsed transformer technology and capable of producing nanosecond rise-time pulses at voltages exceeding 0.5 MY. For this type of application pulsed transformer technology offers a number of significant advantages over the use of a Marx generator, e.g. design simplicity, compactness and cost effectiveness. The transformer is operated in a dual resonance mode to achieve a high energy transfer efficiency, and although the output voltage inevitably has a slower rise-time than that of a Marx generator, this can be improved by the use of a pulse forming line in conjunction with a fast spark-gap switch. The transformer design is best achieved using a filamentary modeling technique, that takes full account of bulk skin and proximity effects and accurately predicts the self and mutual inductances and winding resistances of the transformer. One main objective of the present research was to achieve a high-average radiated power, for which the radiator has to be operated at a high pulse repetition frequency (pRF), with the key component for achieving this being the spark-gap switch in the primary circuit of the pulsed transformer. Normally a spark-gap switch has a recovery time of about ten milliseconds, and a PRF above 100 Hz is difficult to achieve unless certain special techniques are employed. As the aim of the present study is to develop a compact system, the use of a pump for providing a fluid flow between the electrodes of the spark gap is ruled out, and a novel spark-gap switch was therefore developed based on the principle of corona-stabilization. For simplicity, an omnidirectional dipole-type structure was used as a transmitting antenna. Radiated electric field measurements were performed using a time-derivative sensor, with data being collected by a suitable fast digitizing oscilloscope. Post-numerical processing of the collected data was necessary to remove the ground reflected wave effect. Measurements of the radiated electric field at 10 m from the radiating element indicated a peak amplitude of 12.4 kV/m. Much of the work detailed in the thesis has already been presented in peer reviewed journals and at prestigious international conferences.

Thesis: S.B., Massachusetts Institute of Technology, Department of Nuclear Science and Engineering, May, 2020
Cataloged from the official PDF of thesis.
Includes bibliographical references (pages 63-65).
Steam generators are an essential component in nuclear power plants which serve to transfer thermal power from a liquid coolant to steam by boiling water. Even with many advancements in the designs of steam generators, they still require extremely large sizes and have high costs which are major hurdles for the implementation of new reactor designs such as Small Modular Reactors. Using a Printed Circuit Heat Exchanger (PCHE) such as those from the company HeatricTM as a steam generator to boil the liquid in the secondary side has potential to overcome the disadvantages of conventional steam generators. Computational Fluid Dynamics was used to aid the assessment of such compact steam generator. The models used were bench marked against a 1-D MATLAB code which simulated a compact steam generator with straight, semi-circular channels. The same conditions were used to simulate a zig-zag, semi-circular PCHE. The zig-zag configuration resulted in a 22 °C increase in superheat over the straight channel configuration at the cost of pressure drops that are over 4 times higher but yet easily accommodated. The PCHE was also simulated in different orientations with respect to gravity and determined there is little advantage in using a vertical layout regarding pressure drop for the zig-zag configuration. Plugging of a single channel was also simulated to determine the effect on surrounding channels and potential hot spots.
by Brandon Ariel Aranda Ocampo.
S.B.
S.B. Massachusetts Institute of Technology, Department of Nuclear Science and Engineering

In rotating neutron stars the existence of the Coriolis force allows the presence of the so-called Rossby oscillations (r-modes) which are known to be unstable to emission of gravitational waves. In the Thesis, for the first time, we introduce the magnetic damping rate in the evolution equations of r-modes. We show that r-modes can generate very strong toroidal fields in the core of accreting millisecond pulsars by inducing differential rotation. We shortly discuss the instabilities of the generated magnetic field and its long time-scale evolution in order to clarify how the generated magnetic field can stabilize the star. Finally we discuss the possible astrophysical scenarios.

Compact heat exchangers are widely used by the automotive industry in systems that cool engine components. Louvered fin heat exchangers are used over their continuous fin counterparts because of the significant advantages they provide in heat transfer efficiency, while only causing small increases in overall pressure losses. With the recent emphasis that has been placed on reducing fuel consumption, decreasing the size of the compact heat exchanger has become an important concern. With reduction in size comes not only weight savings, but also a decrease in frontal area in a vehicle that must be dedicated to the heat exchanger, allowing for more aerodynamic vehicle designs.

Air-side resistance on the tube wall and louvered fin surfaces comprises over 85% of total resistance to heat transfer in louvered fin heat exchangers. The tube wall surface is considered the primary surface for heat transfer, where the temperature between the working fluid and convecting air is at a maximum. Recent studies have shown that implementing delta winglets on louvered fins along the tube wall is an effective method of augmenting tube wall heat transfer. In this thesis, the effect of delta winglets is investigated in both two- and three-dimensional louvered fin arrays. For both geometries, winglets are simulated in a manufacturable configuration, where piercings in the louvered fins that would result from the winglet manufacturing process are modeled.

Using the two-dimensional geometry to model tube wall heat transfer was shown not to accurately predict heat transfer coefficients. In a two-dimensional geometry, winglets were found not to be an effective means for augmenting tube wall heat transfer and caused only 8% augmentation. Using the three-dimensional geometry, winglets with simulated piercings were observed to cause up to 24% tube wall heat transfer augmentation, with a corresponding increase in pressure losses of only 10%.

Master of Science

Capítulo 1. Después de estudiar algunos preliminares sobre familias adecuadas de conjuntos, formulamos y probamos algunas equivalencias, cada una de ellas son una condición suficiente para que la familia defina un conjunto compacto de Gul'ko. Damos una caracterización de conjunto compacto de Gul'ko en términos de emparejamiento con un conjunto $\mathcal{K}$-analítico. Capítulo 2. Estudiamos propiedades de los espacios de Banach débilmente Lindelöf determinados no-separables. Damos una caracterización por medio de la existencia de un generador proyeccional full sobre él. Estudiamos algunos aspectos sobre sistemas biortogonales en espacios de Banach. Usando técnicas de resoluciones proyeccionales de la identidad, probamos una extensión de un resultado de Argyros y Mercourakis. Capítulo 3. En el espacio $(c_0(\Gamma),\|\cdot\|_\infty)$, con $\Gamma\in\mathbb{R}$, damos una norma equivalente estrictamente convexa. Capítulo 4. Consideramos una caracterización de los subespacios de espacios de Banach débilmente compactamente generados, en términos de una propiedad de cubrimiento de la bola unidad por medio de conjuntos $\epsilon$-débilmente compactos. Reemplazamos este concepto por otro más preciso que llamamos $\epsilon$-débilmente auto-compactos, este concepto permite una mejor descripción. Capítulo 5. Damos condiciones intrínsecas, necesarias y suficientes para que un espacio de Banach sea generado por $c_0(\Gamma)$ o $\ell_p(\Gamma)$ para $p\in(1,+\infty)$. Ofrecemos una nueva demostración de un resultado de Rosenthal, sobre operadores de $c_0(\Gamma)$ en un espacio de Banach.
González Correa, AL. (2008). Compacta in Banach spaces [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/8312
Palancia

There are several different types of compact heat exchangers used in applications where small size and weight are required. One particular type of compact heat exchanger, the louvered fin heat exchanger, has been used heavily in the automotive and air conditioning industries. Over the last several decades, the majority of the work towards improving louvered fin exchanger efficiency has focused on designing more efficient fins by optimizing fin parameters like louver angle, fin pitch, louver pitch, and louver length. At this point in time, many improvements to standard louver geometry have been made, so other surfaces and methods of enhancing exchanger performance need to be studied if any significant future efficiency gains are to be expected. This thesis presents a detailed experimental study that has two major foci relative to the performance of the louvered fin compact heat exchanger. The first is to determine the effect of louver length on pressure drop and tube wall heat transfer, which is the primary heat transfer surface in the heat exchanger. The second is to augment tube wall heat transfer with the use of delta winglets placed on the fins near the tube wall. These studies were completed on a 20X scale model of a louvered fin exchanger with a fin pitch to louver pitch ratio of 0.76 and a louver angle of 27°, over a Reynolds number range based on louver pitch of 230 < ReLp < 1016. The three louver lengths evaluated were 100%, 82%, and 70% of the fin height and delta winglet experiments were performed for louver length to fin pitch ratios of 100% and 70%. Heat transfer results for the louver length tests show that decreasing louver length leads to increases in tube wall heat transfer of 0% to 50% depending on Reynolds number. Also, delta winglets placed on the fins near the tube wall have been shown to produce average tube wall heat transfer augmentations of up to 52%.
Master of Science

Les cryo-aimants supraconducteurs sont des sources de champs magnétiques intenses, compactes et peu gourmandes en énergie. Il existe diverses méthodes d’aimantation mais seule l’aimantation par champ magnétique pulsé (PFM) permet d’obtenir des champs excitateurs élevés sans recourir à des bobines supraconductrices refroidies.Basé sur une collaboration industrielle, ce travail a été consacré dans un premier temps à la conception d’un générateur de courant pulsé compact et évolutif générant des rampes de pulse de polarité réglage pouvant atteindre 3000A.Dans un second temps, nous avons mis en place les différents systèmes permettant l’aimantation des cryo-aimants refroidis soit à 77 K, soit dans un cryostat refroidi par un cryo-générateur.Enfin, l’aimantation par pulses de champ des cryo-aimants supraconducteurs a montré la possibilité de piéger un champ magnétique de l’ordre du tesla, réversible et reproductible. Les résultats obtenus répondent aux impératifs industriels de l’étude. Ils sont très encourageants pour le développement d’un dispositif de champ magnétique réversible à base de cryo-aimants supraconducteurs pour l’instrumentation scientifique ou pour les applications électrotechniques
Superconducting cryomagnets are high magnetic fields sources that are both compact and energy efficient. There are various magnetization technics but only the magnetization by pulsed magnetic field (PFM) results in high excitation fields, that otherwise could only be obtained with large superconducting coils.This work was done in the framework of an industrial collaboration. In a first step, a compact and innovative pulse current generator enabling the generation of pulses with a 3000 Amps maximum intensity was designed and fabricated. Secondly, different systems for the magnetization of cryo-magnets either cooled down to 77 K or cooled in a cryostat by a cryo-generator were implemented. Finally, the pulsed field magnetization of superconducting cryo-magnets has shown that reversible and reproducible magnetic field in the one Tesla range could be generated by the set up.The results obtained are consistent with the industrial goals of this study. They are very encouraging for the development of reversible magnetic field devices based on superconducting cryo-magnets and dedicated to scientific instrumentation or for electrotechnical applications

Les systemes binaires d'objets compacts spiralants sont d'excellents candidats comme sources d'ondes gravitationnelles aptes a produire un signal detectable par les grands interferometres au sol ligo ou virgo. La precision requise sur la phase du signal theorique pour que cette detection ne soit limitee que par le bruit des detecteurs de la generation avancee est au moins d'ordre six en 1/c (c etant la vitesse de la lumiere). La connaissance de la phase passe par l'obtention des equations du mouvement des deux corps a l'approximation consideree, dite trois fois post-newtonienne. Pour ce faire, on part de l'expression generale de la metrique engendree par un systeme isole quelconque de distribution de matiere reguliere, dans une grille de coordonnees harmoniques. Cette metrique se presente comme une fonctionnelle de certains potentiels retardes. Ce sont ces derniers qu'on se propose de determiner quand les sources sont decrites par le tenseur d'energie-impulsion d'un systeme de particules ponctuelles. Les divergences dans le champ gravitationnel induites par ce traitement sont otees a l'aide d'un procede de regularisation fonde sur les parties finies d'hadamard. Pour conduire les calculs de facon univoque, on est amene a elaborer un formalisme de pseudo-fonctions adapte aux fonctions singulieres a l'emplacement des particules rencontrees dans le probleme. Les derivees distributionnelles qui en decoulent generalisent celles de la theorie de schwartz pour la classe de fonctions consideree. Certains potentiels sont obtenus dans tout l'espace, a une fonction harmonique pres fixee par raccordement au champ exterieur. Les autres, de structure plus complexe, ne sont pas calculables en tout point. On parvient neanmoins a trouver leur valeur regularisee a l'emplacement des particules. La contribution principale a l'acceleration des corps est une fonctionnelle connue des potentiels ainsi calcules au point de champ correspondant.

Hybrid electric vehicles significantly reduce exhaust emissions and increase fuel economy. Power packs are the most fundamental components in a series powertrain configuration of a hybrid vehicle, which produce the necessary power to run the vehicle. The aim of this project is to design a compact power pack for a series hybrid vehicle, using virtual prototyping. The hybrid electric vehicle characteristics and configurations are analysed, followed by an explanation of the principles of induction machines. A new type of rotary induction machine with an outer rotor construction is designed to be coupled with the novel rotary internal combustion engine with rotating crankcase in order to form the compact power unit for the hybrid vehicle. The starting and generation performance of the designed machine is analysed by an electric machine simulator, called JMAG. ADVISOR software is studied and utilised to simulate the overall vehicle performance, employing different categories of power packs in the powertrain. Results show that the proposed compact power pack has the best performance in terms of fuel economy, emissions and battery charging compared to the existing power unit options. Over the city cycle, fuel economy is increased by up to 47 % with emission reduced by up to 36 % and over the highway cycle, fuel economy is increased by up to 69 % with emission reduced by up to 42 %.

In the last few decades, augmentation of heat transfer has emerged as an important research topic. Although many promising heat transfer enhancement techniques have been proposed, such as the use of longitudinal vortex generators, few researches deal with thermal optimization. In the present work, it was conducted an optimization of delta winglet vortex generators position and angles in a fin-tube compact heat exchanger with two rows of tubes in staggered tube arrangement. Two approaches were evaluated: Response Surface Methodology (Neural Networking) and Direct Optimization. Finite-Volume based commercial software (Fluent) was used to analyze heat transfer, flow structure and pressure loss in the presence of longitudinal vortex generators (LVG). The delta winglet aspect ratio was 2 and the Reynolds numbers, based on fin pitch, were 250 and 1400. Four vortex generator parameters which impact heat exchanger performance were analyzed: LVG position in direction x-y, attack angle (θ) and roll angle (ᵩ). The present work is the first to study the influence of LVG roll angle on heat transfer enhancement. In total, eight independent LVG parameters were considered: (x₁y₁θ₁ᵩ₁) for the first tube and (x₂y₂θ₂ᵩ₂) for the second tube. Factor Analysis method (software ModeFrontier) was used to study of the influence of these LVG parameters in heat exchanger performance. The effect of each LVG parameter on heat transfer and pressure loss, expressed in terms of Colburn factor (j) and Friction factor (f), respectively, were evaluated. The optimized LVG configurations led to heat transfer enhancement rates that are much higher than reported in the literature. Direct Optimization reported better results than Response Surface Methodology for all objective functions. Important interactions were found between VG1 and VG2, which influenced the results of Colburn (j) and Friction (f) factors for each Reynolds number. Particularly, it was found that the asymmetry of the LVG, in which the VG2 parameters strongly depend on the VG1 parameters, plays a key role to enhance heat transfer. Moreover, for each Reynolds number and each objective function, there is an optimal LVG arrangement. If the objective is to mitigate pressure drop, VG1 may be suppressed because its main goal is increasing the heat transfer downstream. On the other hand, VG2 was relevant for both increase the heat transfer and decrease the pressure drop. Roll angle had a strong influence on Friction factor (f), especially for VG1 and low Reynolds number.
Por muitos anos, a intensificação da transferência de calor tem despontado como um importante tópico de pesquisa. Embora existam muitas técnicas eficazes de intensificação da transferência de calor, como o uso de geradores de vórtices, poucos trabalhos de pesquisa lidam com a otimização. Neste trabalho, foi realizada a otimização das posições e ângulos dos geradores de vórtice longitudinal (LVG) tipo meia asa delta, considerando um trocador de calor tubo-aleta compacto com duas linhas de tubos desalinhados. Duas abordagens foram empregadas: Método da Superfície de Resposta (Neural Networking) e Otimização Direta. Um software comercial (Fluent), baseado na metodologia de volumes finitos, foi empregado na análise numérica da transferência de calor, estruturas vorticais e perda de pressão no escoamento, na presença de LVG. A razão de aspecto dos geradores de vórtice foi 2 e o número de Reynolds, baseado na distância entre as aletas, foram de 250 e 1400. Foram analisados quatro parâmetros dos LVG, os quais impactam na performance do trocador de calor: a posição do LVG na direção x-y, o ângulo de ataque (θ) e o ângulo de rolamento (ᵩ). O ângulo de rolamento foi primeiramente estudado neste trabalho. No total, oito parâmetros independentes do LVG foram considerados: (x₁y₁θ₁ᵩ₁) para o primeiro tubo e (x₂y₂θ₂ᵩ₂) para o segundo tubo. O método da Análise Fatorial (software ModeFrontier) foi aplicado no estudo da influência destes parâmetros dos LVG na performance do trocador de calor. Também foi avaliado o efeito de cada um destes parâmetros na transferência de calor e perda de pressão do escoamento, expressos em termos do fator de Colburn (j) e do fator de Atrito (f), respectivamente. As configurações otimizadas dos LVG, conduziram à taxas de transferência de calor maiores do que aquelas reportadas pela literatura. A Otimização Direta mostrou resultados melhores do que através da metodologia de Superfície de Resposta para todas as funções objetivas avaliadas neste trabalho. Importantes interações foram identificadas entre VG1 e VG2, os quais influenciaram nos resultados dos fatores de Colburn (j) e Atrito (f) para cada número de Reynolds. Particularmente, foi identificado que a assimetria dos LVG desempenha um papel fundamental na intensificação da transferência de calor, onde os parâmetros de VG2 dependem fortemente dos parâmetros de VG1. Além disso, para cada número de Reynolds e para cada função objetivo, existe uma configuração ótima dos parâmetros do LVG. Se o objetivo é a redução da perda de pressão global, VG1 poderia ser suprimido da modelagem, pois a sua principal função é aumentar a transferência de calor ao longo da aleta. Por outro lado, VG2 foi relevante tanto para aumentar a transferência de calor quanto para diminuir a perda de pressão. O ângulo de rolamento teve grande influência sobre o resultado do fator de Atrito (f), especialmente para VG1 e para baixo número de Reynolds.

La jonction tunnel magnétique (JTM) commutée par la couple de transfert de spin (STT) a été considérée comme un candidat prometteur pour la prochaine génération de mémoires non-volatiles et de circuits logiques, car elle fournit une solution pour surmonter le goulet d'étranglement de l'augmentation de puissance statique causée par la mise à l'échelle de la technologie CMOS. Cependant, sa commercialisation est limitée par la fiabilité faible, qui se détériore gravement avec la réduction de la taille du dispositif. Cette thèse porte sur l'étude de la fiabilité des circuits basés sur JTM. Tout d'abord, un modèle compact de JTM incluant les problèmes principaux de fiabilité est proposé et validé par la comparaison avec des données expérimentales. Sur la base de ce modèle précis, la fiabilité des circuits typiques est analysée et une méthodologie d'optimisation de la fiabilité est proposée. Enfin, le comportement de commutation stochastique est utilisé dans certaines nouvelles conceptions d'applications classiques
Spin transfer torque magnetic tunnel junction (STT-MTJ) has been considered as a promising candidate for next generation of non-volatile memories and logic circuits, because it provides a perfect solution to overcome the bottleneck of increasing static power caused by CMOS technology scaling. However, its commercialization is limited by the poor reliability, which deteriorates severely with device scaling down. This thesis focuses on the reliability investigation of MTJ based non-volatile circuits. Firstly, a compact model of MTJ including main reliability issues is proposed and validated by the comparison with experimental data. Based on this accurate model, the reliability of typical circuits is analyzed and reliability optimization methodology is proposed. Finally, the stochastic switching behavior is utilized in some new designs of conventional applications

碩士
國立臺灣海洋大學
輪機工程學系
102
The main purpose of this thesis is to assess the energy consumption of a small vacuumed desalination plant and to determine the related parameters. Boiling temperature of sea water reduces following the reduction of the vacuum pressure and increases with the higher salinity of sea water. With the standard energy consumption of boiling water at atmospheric pressure, a vacuumed environment can reduce the boiling temperature of sea water, but extra energy of vacuum pump has to be added. Studies of two different nozzles are compared, a larger nozzle without any special internal components and a smaller one equipped with special internal components. Production and salinity of generated water with the energy consumptions are compared to determine the better temperature for experiment. Improvements of this desalination plant are studied through the observation and analysis of the experiments. Prevention the losses of energy becomes the key point to improve the device. The ultimate goal is to utilize such desalination equipment for areas that fresh water is not available.

碩士
國立臺灣師範大學
資訊教育研究所
91
Automated finite-state verification techniques have matured considerably in the past decades, but state-space explosion remains an obstacle to their use. Theoretical lower bounds on complexity imply that all of the techniques that have been developed to avoid or mitigate state-space explosion depend on models that are “well-formed” in some way, and will usually fail for other models. This further implies that, when analysis is applied to models derived from designs or implementations of actual software systems, a model of the system “as built” is unlikely to be suitable for automated analysis. In particular, compositional hierarchical analysis (where state-space explosion is avoided by simplifying models of subsystems at several levels of abstraction) depends on the modular structure of the model to be analyzed. We describe how as-built finite-state models can be refactored for compositional state-space analysis, applying a series of transformations to produce an equivalent model whose structure exhibits suitable modularity. In this thesis, we adopt Promela the as front-end language to automate refactoring. We select a subset of Promela and add some keywords for refactoring. The extended syntax is called rc-Promela, where “r” stands for “refactor” and “c” stands for “ccs.” We build a parser for rc-Promela, and use the parser to construct AST for rc-Promela model. Finally, we apply data flow analysis on AST to generate compact CCS state graphs for refactoring.