International Telemetering Conference Proceedings / October 25-28, 1999 / Riviera Hotel and Convention Center, Las Vegas, Nevada / The SKYBRIDGE constellation will establish telecommunication and TTC links in Kuband, without any exclusive allocation of spectrum: jamming avoidance techniques are used in order to protect the geostationary satellites and associated ground stations that work in the same band. This paper presents the studies that have been carried out at system level.

Intrusion alarm systems (IAS) make inseparable part of our personal and work life which helps us with protection of important work data or personal property. This paper looks into the theory of IAS design and analysis which are two important factors influencing final system effectiveness. Furthermore, general procedure of IAS design, a number of analysis methods and IAS components are discussed. This theoretical knowledge is used to design and implement an aplication called IASPlanner, which allows users to draw a layout of IAS and subsequently analyse designed systems. The aplication can be used not only for the design itself, but also for educational purposes.

No description available.

[EN] This PhD study deals with the modelling of an adsorption system designed to provide air conditioning for vehicles, and is driven by the waste heat available from the water/glycol cooling circuit of the engine. The system is based on the sequential heating/cooling of two sorption beds containing a solid sorption material which desorbs or adsorbs water vapour. The condensation of the vapour is carried out by a cooling circuit while the subsequent evaporation of the condensed liquid is employed to produce the cooling effect, generating chilled water, which is then employed to cool down the air of the cabin. The developed model is fully dynamic and is based on zero-dimensional lumped parameter models for all the necessary components of the overall system including the engine, the beds, the heating circuit, the cooling circuit, the chilled water circuit and the vehicle cabin. The sorption bed model takes into account the non-equilibrium of the adsorption and desorption processes and is able to work with any kind of adsorbent materials, but the study has been restricted to silica gel and zeolite which are among the most appropriate materials for this application. The model is employed to simulate a standard driving cycle of a vehicle, evaluating the instantaneous available heat from the engine cooling system and the dynamic behaviour of the described sorption A/C system, resulting in the estimation of the evolution of the cabin temperature along the cycle. The model of the overall system has been developed under the MATLAB Simulink programming environment. The model of the adsorption system has been first validated against experimental results, showing its excellent capabilities to predict the dynamic behaviour of the system. The model was then used to analyse the influence of the main design parameters of the bed and the main operation parameters on the system's performance: cooling capacity and coefficient of performance (COP). This was done in order to provide rules for the optimal design and operation of this kind of systems. Finally, the model has been employed to analyse the overall system (engine, adsorption system, heating and cooling circuits, chilled water circuit and cabin) performance along a standard driving cycle, under various operation strategies with regards to the initial state of the adsorbent material in the beds, and operation conditions both for a car and a truck. The results show the difficulties of activating the system at the initial periods of the cycle, when the engine is warming up, and the difficulties to synchronise the operation of the system with the availability of waste energy. They also highlight the limitation in capacity of the designed system, showing that it would not able to fulfil the comfort requirements inside the cabin in hot days or after soaking conditions. Part of this PhD study was carried out in the frame of an R&D project called "Thermally Operated Mobile Air Conditioning Systems - TOPMACS", financially supported by the EU under the FP6 program, which was devoted to the evaluation of the feasibility and performance of potential sorption system solutions for the air conditioning of vehicles. / [ES] Esta tesis doctoral se centra en el modelado de un sistema de adsorción diseñado para proporcionar aire acondicionado de vehículos a partir del calor residual disponible en el circuito de refrigeración de agua/glicol del motor. El sistema se basa en el calentamiento/enfriamiento secuencial de dos reactores que contienen un material adsorbente sólido que desorbe o absorbe vapor de agua. La condensación del vapor se lleva a cabo mediante un circuito de refrigeración, mientras que la posterior evaporación del agua condensada se emplea para producir agua fría, que se emplea finalmente en enfriar el aire de la cabina. El modelo desarrollado es completamente dinámico y se basa en modelos cero dimensionales de parámetros concentrados, para todos y cada uno de los componentes del sistema global incluyendo el motor, los reactores, el circuito de calentamiento, el circuito de enfriamiento, el circuito de agua fría y la cabina del vehículo. El modelo del reactor contempla el no equilibrio de los procesos de adsorción o desorción y es capaz de trabajar con cualquier par de materiales adsorbentes. No obstante el estudio se ha restringido a gel de sílice y zeolita que se encuentran entre los materiales más adecuados para esta aplicación. El modelo se emplea para simular un ciclo de conducción estándar del vehículo, evaluando el calor disponible instantáneamente en el sistema de refrigeración del motor, y el comportamiento dinámico del sistema descrito adsorción-Aire Acondicionado, permitiendo como resultado principal la estimación de la evolución de la temperatura de la cabina a lo largo el ciclo. El modelo del sistema global se ha desarrollado en el marco del entorno de programación MATLAB Simulink. El modelo del sistema de adsorción se ha validado primero contra resultados experimentales demostrando las excelentes capacidades del modelo para predecir el comportamiento dinámico del sistema. A continuación, el modelo se ha aplicado para analizar la influencia de los principales parámetros de diseño del reactor, y de los principales parámetros de operación, sobre el rendimiento del sistema: la capacidad y coeficiente de operación (COP), con el fin de proporcionar directrices para el diseño y operación óptima de este tipo de sistemas. Por último, el modelo ha sido empleado para analizar el funcionamiento y prestaciones del sistema en su conjunto (motor, sistema de absorción, los circuitos de calefacción y refrigeración, circuito de agua fría, y la cabina) a lo largo de un ciclo de conducción estándar, bajo diferentes estrategias de operación en lo que se refiere al estado inicial del material adsorbente en los reactores, y las condiciones de operación, para el caso de un coche, y para el de un camión. Los resultados muestran las dificultades de la activación del sistema en los periodos iniciales del ciclo, cuando el motor se está calentando, y las dificultades para sincronizar el funcionamiento del sistema con la disponibilidad de energía térmica excedente del motor, así como la limitación en la capacidad de enfriamiento del sistema diseñado, que no resulta capaz de satisfacer los requerimientos mínimos de confort dentro de la cabina en los días calurosos o de enfriarlo con suficiente rapidez cuando el vehículo ha estado estacionado bajo el sol durante varias horas. Parte de este estudio de doctorado se ha llevado a cabo en el marco de un proyecto de I + D denominado " Thermally Operated Mobile Air Conditioning Systems - TOPMACS", financiado parcialmente por la UE en el marco del programa FP6, y que perseguía la evaluación de la viabilidad y el potencial de aplicación de soluciones de sistemas de adsorción activadas por el calor residual del motor para el aire acondicionado de vehículos. / [CA] Aquesta tesi doctoral es centra en el model d'un sistema d'adsorció dissenyat per a proporcionar aire acondicionat a vehicles a partir de la calor residual disponible al circuit de refrigeració d'aigua / glicol del motor. El sistema es basa en l'escalfament / refredament seqüencial de dos reactors que contenen un material adsorbent sòlid que desorbeix o absorbeix vapor d'aigua. La condensació del vapor es porta a terme mitjançant un circuit de refrigeració, mentre que la posterior evaporació de l'aigua condensada s'utilitza per a produir aigua freda, que s'empra finalment en refredar l'aire de la cabina. El model desenvolupat és completament dinàmic i es basa en models zero dimensionals de paràmetres concentrats, per a tots i cada un dels components del sistema global incloent el motor, els reactors, el circuit d'escalfament, el circuit de refredament, el circuit d'aigua freda i la cabina del vehicle. El model del reactor contempla el no equilibri dels processos d'adsorció o desorció i és capaç de treballar amb qualsevol parell de materials adsorbents. No obstant això, l'estudi s'ha restringit a gel de sílice i zeolita que es troben entre els materials més adequats per a aquesta aplicació. El model s'utilitza per a simular un cicle de conducció estàndard del vehicle, avaluant la calor disponible instantàniament en el sistema de refrigeració del motor, i el comportament dinàmic del sistema descrit Adsorció-Aire Acondicionat, permetent com a resultat principal l'estimació de l'evolució de la temperatura de la cabina al llarg del cicle. El model del sistema global s'ha desenvolupat en l'entorn de programació MATLAB Simulink. El model del sistema d'adsorció s'ha validat primer amb resultats experimentals demostrant les excel¿lents capacitats del model per a predir el comportament dinàmic del sistema. A continuació, el model s'ha aplicat per analitzar la influència dels principals paràmetres de disseny del reactor, i dels principals paràmetres d'operació, sobre el rendiment del sistema: la capacitat i coeficient d'operació (COP), amb la finalitat de proporcionar directrius per al disseny i operació òptima d'aquest tipus de sistemes. Finalment, el model ha estat utilitzat per analitzar el funcionament i prestacions del sistema en el seu conjunt (motor, sistema d'absorció, els circuits de calefacció i refrigeració, circuit d'aigua freda, i la cabina) al llarg d'un cicle de conducció estàndard, sota diferents estratègies d'operació pel que fa a l'estat inicial del material adsorbent en els reactors, i les condicions d'operació, per al cas d'un cotxe, i per al d'un camió. Els resultats mostren les dificultats de l'activació del sistema en els períodes inicials del cicle, quan el motor s'està escalfant, i les dificultats per sincronitzar el funcionament del sistema amb la disponibilitat d'energia tèrmica excedent del motor, així com la limitació en la capacitat de refredament del sistema dissenyat, que no resulta capaç de satisfer els requeriments mínims de confort dins de la cabina en els dies calorosos o de refredar amb suficient rapidesa quan el vehicle ha estat estacionat sota el sol durant diverses hores. Part d'aquest estudi de doctorat s'ha dut a terme en el marc d'un projecte d'I + D denominat "Thermally Operated Mobile Air Conditioning Systems - TOPMACS", finançat parcialment per la UE en el marc del programa FP6, i que perseguia l'avaluació de la viabilitat i el potencial d'aplicació de solucions de sistemes d'adsorció activats per la calor residual del motor per a l'aire condicionat de vehicles. / Verde Trindade, M. (2015). MODELLING AND OPTIMIZATION OF AN ADSORPTION COOLING SYSTEM FOR AUTOMOTIVE APPLICATIONS [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/54120

Cette thèse contribue à l’étude de la fiabilité et de la sécurité-innocuité des systèmes informatisés, modélisés par des systèmes à événements discrets. Les principales contributions concernent la théorie des Systèmes de Contrôle (notés C Systems) et l’approche par Monitoring des modèles.Dans la première partie de la thèse, nous étudions la théorie des Systèmes de Contrôle qui combine et étend de façon significative, les systèmes de réécriture de la théorie des langages et le contrôle supervisé. Un système de contrôle est une structure générique qui contient deux composants : le composant contrôlé et le composant contrôlant qui restreint le comportement du composant contrôlé. Les deux composants sont exprimés en utilisant le même formalisme comme des automates ou des grammaires. Nous considérons différentes classes de systèmes de contrôle basés sur différents formalismes comme, par exemple, les automates, les grammaires, ainsi que leurs versions infinies et concurrentes. Ensuite, une application de cette théorie est présentée. Les systèmes de contrôle basés sur les automates de Büchi sont utilisés pour vérifier par model-checking, des propriétés définissant la correction sur des traces d’exécution spécifiées par une assertion de type nevertrace.Dans la seconde partie de la thèse, nous investiguons l’approche de monitoring des modèles dont la théorie des systèmes de contrôle constitue les fondations formelles. Le principe pivot de cette approche est la «spécification de propriétés comme contrôleur». En d’autres termes, pour un système, les exigences fonctionnelles, d’une part, et des propriétés, d’autre part, sont modélisées et implantées séparément, les propriétés spécifiées contrôlant le comportement issu des exigences fonctionnelles. De cette approche découle ainsi deux techniques alternatives, respectivement nommées monitoring de modèle et génération de modèle. Cette approche peut être utilisée de diverses manières pour améliorer la fiabilité et la sécurité-innocuité de divers types de systèmes. Nous présentons quelques applications qui montrent l’intérêt pratique de cette contribution théorique. Tout d’abord, cette approche aide à prendre en compte les évolutions des spécifications des propriétés. En second lieu, elle fournit une base théorique à la sécurité fonctionnelle, popularisée par la norme IEC 61508. En troisième lieu, l’approche peut être utilisée pour formaliser et vérifier l’application de guides de bonnes pratiques ou des règles de modélisation appliquées par exemple pour des modèles UML.Ces résultats constituent les bases pour des études futures de dispositifs plus perfectionnés, et fournissent une nouvelle voie pour s’assurer de la fiabilité et de la sécurité-innocuité des systèmes / This thesis contributes to the study of reliability and safety of computer and software systems which are modeled as discrete event systems. The major contributions include the theory of Control Systems (C Systems) and the model monitoring approach.In the first part of the thesis, we study the theory of control systems which combines and significantly extends regulated rewriting in formal languages theory and supervisory control. The control system is a generic framework, and contains two components: the controlled component and the controlling component that restricts the behavior of the controlled component. The two components are expressed using the same formalism, e.g., automata or grammars. We consider various classes of control systems based on different formalisms, for example, automaton control systems, grammar control systems, and their infinite versions and concurrent variants. After that, an application of the theory is presented. The Büchi automata based control system is used to model and check correctness properties on execution traces specified by nevertrace claims.In the second part of the thesis, we investigate the model monitoring approach whose theoretical foundation is the theory of control systems. The key principle of the approach is “property specifications as controllers”. In other words, the functional requirements and property specification of a system are separately modeled and implemented, and the latter one controls the behavior of the former one. The model monitoring approach contains two alternative techniques, namely model monitoring and model generating. The approach can be applied in several ways to improve reliability and safety of various classes of systems. We present some typical applications to show its strong power. First, the approach provides better support for the change and evolution of property specifications. Second, it provides the theoretical foundation of safety-related systems in the standard IEC 61508 for ensuring the functional validity. Third, it is used to formalize and check guidelines and consistency rules of UML.These results lay out the foundations for further study of more advanced control mechanisms, and provide a new way for ensuring reliability and safety

Le développement d’une troisième génération d’aciers Fe-Mn-Al-C à structure duplex, pour des teneurs en Mn et Al inférieures à 8 %mass, pourrait être une réponse prometteuse aux objectifs d’allègement de 20% des véhicules automobiles, tout en garantissant des propriétés de haute résistance mécanique et haute formabilité.Le choix des nuances et l’optimisation des conditions d’élaboration nécessitent de prévoir en particulier les compositions et proportions des phases existantes en fonction de la route métallurgique. Une base de données thermodynamiques fiable et précise est donc requise. Cependant les données de la littérature sur le système quaternaire Fe-Mn-Al-C, dans les domaines de composition envisagés, sont limitées.Ce mémoire est consacré à l’établissement des équilibres de phases ferrite-α, austénite-γ et carbure-κ (Fe,Mn)3AlC entre 700 et 1000°C par une approche couplée d’expériences ciblées et de modélisation thermodynamique. Pour appuyer l’évolution expérimentale des fractions de phases et des compositions, une modélisation cinétique (DICTRA) est proposée. La cinétique de formation de l’austénite en fonction de la composition de l’alliage et de la température de maintien dans le domaine intercritique a été caractérisée. Les phases en équilibre, caractérisées par DRX, MEB, microsonde, sont représentées sous forme de conodes α/γ, γ/κ, α/γ/κ, ce qui permet de définir les domaines de stabilité de l’austénite et du carbure κ. Ces données expérimentales sont utilisées pour affiner la description thermodynamique du système quaternaire mais il est nécessaire de réviser la modélisation du carbure κ. / A third generation of Fe-Mn-Al-C steels with a duplex structure, for Mn and Al contents less than 8%mass, could be a promising response to the 20% weight lightening of automotive vehicles, by keeping a high strength and a high formability.The knowledge of the corresponding quaternary phase diagram serves as a roadmap for the choice of compositions and the optimization of elaboration conditions. A reliable and precise thermodynamic database is therefore required. However, the literature data on the Fe-Mn-Al-C quaternary system in the targeted domains are limited.This study is devoted to the establishment of phase equilibria involving ferrite-α, austenite-γ and carbide-κ (Fe,Mn)3AlC between 700 and 1000°C by a coupled approach of experiments and thermodynamic modeling. A kinetic model (DICTRA) is proposed to support the experimental evolution of phase fraction and composition. The kinetics of austenite formation as a function of the alloy composition and of the maintaining temperature in the intercritical domain have been calculated. The phases in equilibrium, characterized by XRD, SEM, EPMA, are represented as α/γ, γ/κ, α/γ/κ tie-lines in order to specify the stability fields of γ and κ. These data are used to refine the thermodynamic description of the quaternary system but it is necessary to revise the modeling of κ carbide.

La tsavorite, grossulaire vert à V-Cr-Mn, est contenue dans des gneiss et roches calco-silicatées graphiteux, souvent associés à des marbres dolomitiques, et appartenant à la ceinture métamorphique néoprotérozoïque mozambicaine. La tsavorite se trouve soit dans des nodules ou des veines de quartz (gisements primaires), soit dans des placers (gisements secondaires). L'étude minéralogique des tsavorites propose un nouveau protocole de certification de leur origine géographique, à partir du rapport V/Cr, de la teneur en Mn et du [delta]18 O. L'étude des gisements de Lemshuku et Namalulu en Tanzanie montre que le métamorphisme des protolithes sédimentaires riches en matière organique et évaporites s'est effectué à P = 7,0 ± 0,4 kbar et T = 677 ± 14°C, à 634 ± 22 Ma (datation U-Th-Pb sur monazite). Le bâti métamorphique s'est refroidi vers 500 Ma (datation 40Ar-39Ar sur muscovite). Deux stades de métasomatose sont reliés à la formation de la tsavorite : (i) une métasomatose de diffusion formant les nodules à P = 5,0-7,4 kbar et T = 580-691°C; (ii) une métasomatose calcique d'infiltration contemporaine de la formation des veines de quartz à P = 3,6-4,9 kbar et T = 505-587°C. Ces dernières sont datées in situ par la méthode Sm-Nd à 606 ± 36 Ma. Les évaporites continentales, déposées dans une sabkha de côte marine avec des sédiments silico-calcaires, sont transformées en tsavorite dans le cas des nodules, alors que les sels fondus sont associés à la formation des veines de quartz. Les minéralisations sont contrôlées par la lithostratigraphie et la tectonique / Tsavorite, a (V, Cr, Mn)-bearing green grossular, is hosted by graphitic gneisses or calc-silicates, often asssociated with dolomitic marbles, and belonging to the Metamorphic Neoproterozoic Mozambique Belt. Tsavorite is found either as nodules or in quartz veins (primary deposits), or in placers (secondary deposits). The mineralogical study of tsavorites suggests a new protocol to certificate their geographical origin, based on the V/Cr ratio, Mn content and delta18O. The study of the Lemshuku and Namalulu deposits in Tanzania has shown that the metamorphism of organic matter-rich and evaporites-rich sedimentary protoliths occurred at P = 7.0 ± 0.4 kbar and T = 677 ± 14°C, at 634 ± 22 Ma (U-Th-Pb dating on monazite). The metamorphic series cooled down at around 500 Ma (40Ar-39Ar dating on muscovite). Two metasomatic stages are linked to the formation of tsavorite : (i) diffusion metasomatism forming nodules at P = 5.0-7.4 kbar and T = 580-691°C; (ii) calcitic infiltration metasomatism forming quartz veins at P = 3.6-4.9 kbar and T = 505-587°C. These last have been dated in situ with Sm-Nd dating at 606 ± 36 Ma. Continental evaporites, deposited in a coastal marine sabkha with (Si, Ca)-bearing sediments, transformed into tsavorite in the case of the nodules, while the molten salts are associated with the formation of the quartz veins. The mineralisations are controlled by lithostratigraphy and structure