Spelling suggestions: "subject:"différentielle""
71 |
Controlled molecular beam deposition of hybrid inorganic/organic semiconductor structuresSparenberg, Mino 21 June 2018 (has links)
Zentrales Thema dieser Dissertation ist die Untersuchung anorganisch/organischer Hybridsysteme (HIOS) mit besonderem Fokus auf den speziellen Prozessen an der Grenzfläche beider Materialklassen. Organische Moleküle, in Verbindung mit anorganischen Halbleitern haben ein großes Potenzial für Anwendungen in zukünftigen optoelektronischen Hybridbauteilen, indem sie Vorteile zweier unterschiedlicher Welten kombinieren. Entscheidend für die Herstellung von hybriden Strukturen ist das Verständnis der Wechselwirkungen an der Grenzfläche zwischen organischem und anorganischem Material. In dieser Arbeit werden diese Wechselwirkungen analysiert, um eine Wachstumskontrolle an der Grenzfläche zwischen konjugierten organischen Molekül und anorganischem Halbleiter zu ermöglichen. Hierfür werden unterschiedliche Ansätze verfolgt: Im ersten Teil der Arbeit wird die Wechselwirkung des Modellsystems Sexiphenyl (6P) an der Grenzfläche zu ZnO untersucht, sowie das Wachstum des Moleküls mittels verschiedener Methoden kontrolliert. Das daraus gewonnene Wissen kann im zweiten Teil dazu verwendet werden einen hybriden ZnO/6P/ZnO-Stapel zu realisieren, bei dem die organische Schicht ohne Beeinträchtigung der Kristallstruktur, mit definierten Grenzflächen bis hin zur atomaren/molekularen Ebene, überwachsen werden kann. Der letzte Teil der Arbeit befasst sich mit der optischen Echtzeit-Beobachtung während des organischen Wachstums verschiedener Moleküle. Dadurch ist es möglich Veränderungen von Struktureigenschaften und Wechselwirkungen zwischen Molekülen und dem Substrat zerstörungsfrei zu bestimmen, während diese aufgewachsen werden. Hierdurch können schlussendlich mögliche Mechanismen aufgezeigt werden, um elektronische und optische Wechselwirkung an der Grenzfläche zwischen organischem Molekül und anorganischen Halbleitern zu analysieren, sowie Wachstumsprozesse weiter zu verstehen und kontrollieren. / The central subject of this thesis are hybrid inorganic/organic systems (HIOS) with a focus on the specific processes at the interface between the two material classes. Organic molecules used together with inorganic semiconductors, have a great potential for future optoelectronic applications in hybrid components, by combining the advantages of two dissimilar worlds. Decisive for the production of hybrid structures is the understanding of the interactions at the interface between organic and inorganic material. In this thesis, the interactions are analyzed to enable growth control at the interface between conjugated organic molecules and inorganic semiconductors. In the first part of the thesis, the interaction of the model system sexiphenyl (6P) at the interface with ZnO, as well as approaches to control the growth of the molecule are being investigated. The knowledge gained here is used in the second part to realize a hybrid ZnO/6P/ ZnO stack, in which the organic layer can be overgrown without affecting the crystal structure, exhibiting defined interfaces down to the atomic/molecular level. The last part of the thesis deals with real time optical observation during organic growth of different molecules. By this changes in structural properties and interactions between molecules and the substrate can be non-destructively determined as they are growing. Ultimately, a comprehensive insight into the optical and electronic interactions at the interface between organic molecules and inorganic semiconductors can be gained and possible control mechanisms are shown.
|
72 |
CONTRIBUTION A L'ETUDE DE LA PROPRIETE DE PLATITUDE SUR DES MODELES BOND GRAPHS NON LINEAIRESAchir, Ali 07 December 2005 (has links) (PDF)
Cette thèse a pour but l'étude de la propriété de platitude sur des modèles bond graphs (BGs) non linéaires et de contribuer à la résolution des problèmes rencontrés en pratique qui sont liés principalement à l'identification des sorties plates et le calcul de la paramétrisation différentielle. <br />Pour atteindre cet objectif, de nouveaux concepts et outils graphiques ont été introduits. En particulier, grâce à l'introduction de la notion de modèle BG tangent ou variationnel à l'aide de l'utilisation des différentielles de Kähler, il est possible de calculer les sorties plates d'un modèle BG non linéaire par intégration des bases du module qui lui est associé.<br />Par ailleurs, en définissant la notion d'anneau BG non commutatif, une nouvelle règle de gain connue sous le nom de "règle de Riegle" est introduite en BG. En montrant alors qu'un modèle BG variationnel est un cas particulier d'anneau BG non commutatif, l'obtention graphique de la paramétrisation différentielle en utilisant la règle de Riegle et la notion de bicausalité est rendue possible.<br />Enfin, pour aller plus loin dans l'introduction de l'outil d'algèbre et de modules différentiels aux BGs, le cas des modèles BGs non linéaires régis par des équations différentielles polynômiales a été abordé. Dans ce contexte, le BG permet de faire une analyse directe des propriétés principales du système telles que le choix des variables d'entrée, les dynamiques correspondant à un choix d'entrée, le calcul des degrés de transcendance (non différentiel) différentiel, etc. à partir de son modèle BG associé. Il est également montré que la règle graphique de Riegle peut être étendue à cette classe de modèles BGs.
|
73 |
Manipulation d'atomes froids par champs optiques confinés : théorie et simulation numériqueLévêque, Gaëtan 19 December 2003 (has links) (PDF)
Ce travail porte sur l'interaction dipolaire d'atomes neutres avec un rayonnement électromagnétique structuré sur une échelle plus petite que la longueur d'onde de la lumière. Ces champs optiques sont obtenus par interaction d'une onde évanescente de Fresnel avec des nanostructures diélectriques à haut indice de réfraction déposées à la surface d'un prisme. Deux thèmes sont abordés. Le premier concerne l'étude, d'un point de vue théorique, d'une expérience de diffraction d'atomes neutres par un miroir atomique nanostructuré. La modulation du potentiel provient de l'interaction de l'onde évanescente avec un réseau matériel périodique sub-longueur d'onde. Dans un premier temps, les spécificités de cette méthode de diffraction sont dégagées par un calcul analytique reposant sur plusieurs approximations concernant la structure du champ optique et la structure interne atomique. Elle est ensuite complétée d'une étude numérique qui permet de prendre en compte toute la complexité du problème. Le deuxième thème est une étude du comportement en champ proche de cavités résonantes constituées d'ensembles d'anneaux diélectriques couplés. Ces nanostructures, adressées par un faisceau gaussien évanescent, amplifient à la résonance l'intensité et le gradient du champ électrique d'un facteur de plusieurs centaines. L'objectif est de trouver une configuration permettant la concentration ou la focalisation transversale d'un faisceau d'atomes en vue d'applications en nanolithographie. Cette étude est effectuée en couplant une méthode ab-initio permettant un calcul précis du champ rayonné dans tout l'espace à un modèle analytique simplifié décrivant le comportement modal de ces structures en fonction de leurs caractéristiques géométriques.
|
74 |
Contribution à létude de la conservation des graines de grenade (Punica granatum L.) par déshydratation osmotique/Contribution to pomegranate seeds conservation by osmotic dehydrationBchir, Brahim 31 January 2011 (has links)
Résumé :
Lobjectif des travaux entrepris au cours de cette thèse visait à mettre en place un procédé global de conservation des graines de grenade (Punica granatum L.). Ce procédé se base essentiellement sur une déshydratation osmotique (DO), associée à un pré-traitement de congélation et un post-traitement de séchage par entrainement. Dans ce contexte, plusieurs paramètres d'optimisation du transfert de masse ont été étudiés, tels que la nature de la solution dimmersion (saccharose, glucose, glucose/saccharose et jus de datte « sous-produit » enrichi en saccharose), la température (30, 40, et 50°C) et létat du fruit (frais, congelé). En outre, nous avons mis en relation ces conditions avec certaines propriétés des graines : leur texture, leur structure, et leur couleur.
Létude des paramètres de déshydratation (perte en eau (WL), gain en solides (SG), et réduction en poids (WR)) a montré quen utilisant des graines congelées et indépendamment de la température et de la solution utilisée, la majorité du transfert de masse seffectue pendant les vingt premières minutes de traitement. A lissue de cette période, la perte en eau est estimée à 46%, 41%, 39%, et 37% respectivement dans les solutions de saccharose, glucose/saccharose, de jus de datte et du glucose. La DO des graines fraîches est caractérisée par une cinétique plus lente, mais une perte finale en eau plus importante. Comme le montrent les analyses en microscopie électronique, cela sexplique par une déstructuration cellulaire survenant à la suite de la congélation des graines, ce qui vient conforter les résultats des observations microscopiques. Les mêmes techniques ont également indiqué une modification de texture/structure induite par le processus de DO. Dautre part, lutilisation dune solution de saccharose (55°Brix) et dune température de 50°C favorise un meilleur transfert de masse.
La détermination des différentes fractions deau dans la graine par calorimétrie différentielle (DSC) a montré une augmentation dun facteur ~2,5 fois de la fraction deau non congelable (eau liée) et une réduction de ~3,5 fois de la fraction deau congelable (eau libre) favorisant ainsi une meilleure conservation du fruit. Le suivi de la qualité intrinsèque des graines au cours de la DO a montré une perte dune quantité non négligeable de certains composés (protéines, cendres) de la graine vers la solution, ce qui pourrait avoir une influence majeure sur la qualité organoleptique et nutritionnelle du fruit.
La DO seule ne pourrait pas maintenir une stabilité du produit au cours de la conservation. En effet, lactivité deau du produit fini après DO est proche de 0,90. Ainsi, dans un but plus appliqué, un traitement complémentaire de séchage par entrainement (2 m/s durant 4 heures) a été mis en place, à différentes températures (40, 50, et 60°C), afin de réduire lactivité deau à une valeur inférieure à 0,65. Afin doptimiser le traitement de séchage, nous avons étudié en premier lieu leffet de la température sur lévolution de la matière sèche, de lactivité deau et du pourcentage de séchage des graines. Dautre part, plusieurs paramètres de qualité des graines de grenade (lactivité antioxydante, la teneur en composés phénoliques, les anthocyanines, la couleur, et la texture) ont été étudiés à différentes températures.
Ce travail est une contribution à létude des propriétés physico-chimiques des graines de grenade (Punica granatum L.) au cours des procédés de congélation, de déshydratation et de séchage. Les caractéristiques du produit fini peuvent justifier de nouvelles voies de transformation et dexploitation des graines de grenade.
Abstract:
The aim of this work was to create a complete conservation process of pomegranate seeds (Punica granatum L.). This process is essentially based on osmotic dehydration (OD), which was associated to freezing and air-drying process. Several parameters were studied to optimize the process such as osmotic solution (sucrose, glucose, and sucrose/glucose and date juice with sucrose added), temperature (30, 40, and 50°C) and state of the fruit (fresh and frozen). All these conditions were linked to seed proprieties (texture, structure, and colour).
The study of osmotic dehydration parameters (water loss (WL), solids gain (SG) and weight reduction (WR)) showed that most significant changes of mass transfer took place during the first 20 min of dewatering using frozen seeds, independently of temperature and sugar type. During this period, seeds water loss was estimated at 46% in sucrose, 41% in sucrose/glucose mix, 39% in date juice, and 37% in glucose. Mass transfer was slower starting from fresh fruit but led to a higher rate of WL at the end of the process. This fact can be explained by scanning electron microscopy, which showed damage of seed cell structure after freezing. This has practical consequences in terms of the modification of seeds texture. The same process also revealed a modification of seed texture and cell structure after osmotic dehydration. Using a sucrose solution and a temperature of 50°C favoured the best mass transfer.
The determination of different water fractions of seed by differential scanning calorimetry (DSC) showed that the % of frozen water decreased 3.5 times contrary the % of unfreezable water that increased 2.5 times. This favours a better seeds conservation. During osmotic dehydration, there was a non negligible leaching of natural solutes from seeds into the solution, which might have an important impact on the sensorial and nutritional value of seeds.
Using only osmotic dehydration could not maintain the stability of seeds during conservation. In fact, after the osmotic process, water activity of seeds was found to be higher than 0.9, allowing to the development of microorganisms and some undesirable reactions. As a consequence, a drying of the pomegranate seeds (during four hours) was investigated at three different temperatures (40, 50, and 60 °C) with air flow rate of 2 ms-1. Prior to the drying process, seeds were osmodehydrated in a sucrose solution (55°Brix) during 20 min at 50°C. The drying kinetics and the effects of OD and air-drying temperature on antioxidant capacity, total phenolic, colour, and texture were determined.
This work is a contribution to the study of physico-chemical properties of pomegranate seeds (Punica granatum L.) during freezing, osmotic dehydration and drying. After the global process, the pomegranate seed characteristics lead to new industrial developments.
|
75 |
Optische Eigenschaften ultradünner PTCDA &amp; TiOPc Einzel- und Heteroschichten / Optical Properties of utra-thin PTCDA &amp; TiOPc Single- and Heterolayers / Vom Einzelmolekül zum molekularen FestkörperPröhl, Holger 30 August 2007 (has links) (PDF)
In der vorliegenden Arbeit werden die optischen Eigenschaften von dünnen PTCDA und TiOPc Schichten untersucht. Dies wurde mit der Kombination der Methoden der Molekularstrahlepitaxie (OMBE), der differentiellen Reflexionsspektroskopie (DRS) und Photolumineszenzmessungen möglich. Dabei steht der Übergang vom Einzelmolekül zum molekularen Festkörper im Mittelpunkt. Der realisierte optische Aufbau ermöglicht es, die optischen Eigenschaften von molekularen Sub- und Multilagen während der Schichtabscheidung im Ultrahochvakuum (UHV) zu bestimmen. Eine Strukturuntersuchung kann so unmittelbar darauf im UHV durchgeführt werden, ohne Umordnungsprozesse durch einen Probe-Luft-Kontakt zu riskieren. In dieser Arbeit wurden PTCDA-Schichten auf Muskovit-Glimmer(0001) und auf Au(100) untersucht. Auf Glimmer wird sehr gut ausgeprägtes Lagenwachstum gefunden, die Moleküle bilden auf dem schwach wechselwirkenden Substrat hochgeordnete epitaktische Filme. Dies ermöglichte für PTCDA, als quasi-eindimensionaler Molekülkristall, die optische Charakterisierung von Monomeren, Stapel-Dimeren und -Oligomeren während des Filmwachstums mittels DRS und Photolumineszenzmessungen. Die DRS-Messungen zeigen, daß die bekannten Festkörpereigenschaften schon bei Schichtdicken in der Größenordnung von 3-4 Gitterkonstanten ausgeprägt sind. Bis zu diesen Dicken sind die wesentlichen Änderungen in den optischen Eigenschaften zu beobachten. Ausgehend von Monomer-typischen Spektren entwickeln sich in dieser Dickenskale bereits alle Charakteristika der Festkörperspektren, wobei der Monomer-Dimerübergang die gravierendsten spektralen Änderungen hervorruft. Diese überraschende Tatsache war von den gängigen Theorien so nicht zu erwarten und ist Beleg für eine starke Wechselwirkung zwischen den dicht gepackten Molekülen. Steigen die Dimensionen des Films weiter, gibt es nur noch marginale Änderungen, die sich hauptsächlich in spektralen Verschiebungen äußern. Diese &quot;finite-size&quot; Effekte sind mit gängigen Theorien der Delokalisation der molekularen Anregung verträglich. Die Größe der Verschiebungen deutet jedoch darauf hin, daß gestalt- und dickenabhängige dielektrische Effekte gegenüber Delokalisierung und Confinement von Excitonen dominieren. Die veränderte Substratwechselwirkung auf der Au(100)-Oberfläche zeigt sich sowohl in verändertem Filmwachstum als auch abweichenden optischen Eigenschaften. Es wurde beobachtet, daß sich die Einflüsse durch die Substratbindung auf der Längenskala von nur einer Gitterkonstanten auswirken. Die PTCDA-Lagen, die auf dieser hybridisierten Grenzschichtlage wachsen, haben bereits die vom ungestörten System bekannten Eigenschaften. Da auf der Goldoberfläche mit zunehmender Schichtdicke das Inselwachstum (Stranski-Krastanov-Wachstum) überwiegt, verwischen die schichtabhängigen spektralen Änderungen zusehends. Für TiOPc auf Glimmer(0001) wurde bei Raumtemperatur amorphes Wachstum beobachtet, mit weniger gravierenden spektralen Änderungen. Jedoch sind auch in diesem System große dickenabhängige Verschiebungen in den Spektren festzustellen, die wie im Fall von PTCDA-Schichten hauptsächlich dielektrischen Effekten zugerechnet werden können. In TiOPc/PTCDA-Heteroschichten auf Glimmer konnte der Energietransfer vom PTCDA zum TiOPc auf molekularer Ebene, durch Löschung der PTCDA-Lumineszenz und anschließender sensibilisierter Emission des TiOPc, nachgewiesen werden. Dabei wurde bei sehr kleinen TiOPc-Schichtdicken die Emission von TiOPc-Monomeren beobachtet. Zusätzlich wurde eine dem Anion TiOPc- zuzurechnende Emission, als Indiz einer Ladungstrennung auf molekularer Ebene festgestellt. Bei größeren TiOPc-Schichtdicken tritt Exciplexemission auf, als Beleg für die starke Molekül-Molekül-Wechselwirkung an der Grenzfläche. Bei dickeren Schichten wird mit zunehmender Aggregation der TiOPc-Moleküle, die Lumineszenzausbeute durch Öffnung einer Reihe von nichtstrahlenden Rekombinationsmöglichkeiten, wie auch bei PTCDA beobachtet, geringer.
|
76 |
Therapieziele in der psychosomatischen Rehabiliation / Treatment goals in psychosomatic rehabilitationBerking, Matthias 20 January 2004 (has links)
No description available.
|
77 |
Zur Bewertung der Energieeffizienz von Fernwärmesystemen unter Berücksichtigung des Fernwärmetemperaturniveaus / Assessing the energy efficiency of district heating systems in consideration of the district heating temperature levelWirths, Andreas 17 July 2014 (has links) (PDF)
Bei der Auslegung und Überprüfung der Betriebsweise von Fernwärmesystemen (FWS) ist eine Analyse der gesamten Prozesskette eines FWS – Erzeugung, Verteilung und Übergabe – notwendig, um eine bestmögliche Gestaltung derselben zu erreichen. Einen Ansatz zur Optimierung der Betriebsweise bietet die Modifikation des Fernwärmetemperaturniveaus, dem in der Fernwärmebranche bezüglich der Wirtschaftlichkeit des Gesamtsystems eine große Bedeutung beigemessen wird. Allgemeingültige Aussagen zur Höhe dieses Einflusses lassen sich aufgrund der unterschiedlich gestalteten FWS, insbesondere für Teillastbedingungen, nicht treffen.
Die vorliegende Arbeit behandelt den Einfluss des Fernwärmetemperaturniveaus auf die Effizienz thermodynamischer Prozesse in Anlagen der Kraft-Wärme-Kopplung (KWK-Anlagen) mit Dampfturbinen sowie auf den Transportaufwand des Fernwärmewassers. Zu diesem Zweck werden die Grundlagen und der Stand des Wissens sowie wesentliche Zusammenhänge zwischen den Optimierungsstrategien und dem Fernwärmetemperaturniveau formuliert. Zur Ermittlung des elektrischen Eigenbedarfs für den Transport des Fernwärmewassers wird eine hydraulische Untersuchung vorgestellt und anhand unterschiedlicher Wärmenetzstrukturen diskutiert.
Für die weitere Analyse von KWK-Anlagen mit Dampfturbinen werden methodische Hinweise und Grundlagen zur Modellierung ausgearbeitet, die anschließend auf real existierende typische KWK-Anlagen angewendet werden. Dies sind eine Gegendruckanlage, ein Kombikraftwerk und eine Entnahme-Kondensations-Anlage. Zur Modellüberprüfung werden Mess- und Simulationswerte von ausgewählten Lastgängen sowie für den gesamten Lastbereich gegenübergestellt.
Zur Bewertung der Energieeffizienz von FWS unter Berücksichtigung des Fernwärmetemperaturniveaus werden zwei Methoden abgeleitet. Eine differentielle, auf den Lastpunkt bezogene Bewertung mittels temperaturabhängiger Kraftwerkskennlinien und eine integrative Bewertung, bei der unterschiedliche Betriebsweisen über einen definierten Zeitraum einbezogen werden.
An ausführlichen Beispielen werden deren Anwendung und Eignung sowie der Einfluss des Fernwärmetemperaturniveaus diskutiert. Abschließend wird die Wirtschaftlichkeit von 3 ausgewählten Maßnahmen durch Anwendung der integrativen Bewertung vorgestellt. / In order to achieve the best possible end-to-end design of a district heating system, any dimensioning and examining of operating regimes of district heating systems requires an analysis of the entire process chain ranging from generation via distribution to heat delivery. One of the options to optimise an operating regime is to modify the district heating temperature level, a parameter to which great importance is attached in the district heating industry with a view to the economics of the overall system. The differences in the design of district heating systems do not allow issuing any universally valid statements on how strong this influence is, especially for conditions of part load.
The present paper looks into the influence of the district heating temperature level on the efficiency of thermodynamic processes in combined heat and power (CHP) plants using steam turbines, and on the expenditure of district heating water transport. For this purpose, it states the fundamentals and current level of knowledge, as well as important connections between the optimisation strategies used and the district heating temperature level. In view of calculating the auxiliary power required to transport district heating water, a hydraulic analysis will be presented and discussed, with several different structures of district heating systems being used for illustration.
For a more advanced analysis of CHP plants using steam turbines, methodological information and modelling basics will be described and then applied to typical CHP plants existing in reality. These are a backpressure plant, a combined-cycle gas turbine plant and an extraction condensing plant. To validate the model, measured and simulated data of selected load cycles as well as the entire load range will be compared.
Two methods of assessing the energy efficiency of district heating systems in consideration of the district heating temperature level will be derived: a differential assessment related to the duty point and using temperature-dependent power plant characteristic curves, and an integrative assessment where several different operating regimes are included over a pre-defined period of time.
Detailed examples will be discussed to illustrate the application and suitability of these assessments as well as the influence of the district heating temperature level. Finally, the economics of selected steps applying the integrative assessment will be highlighted.
|
78 |
Considering User Intention in Differential Graph QueriesVasilyeva, Elena, Thiele, Maik, Bornhövd, Christof, Lehner, Wolfgang 30 November 2020 (has links)
Empty answers are a major problem by processing pattern matching queries in graph databases. Especially, there can be multiple reasons why a query failed. To support users in such situations, differential queries can be used that deliver missing parts of a graph query. Multiple heuristics are proposed for differential queries, which reduce the search space. Although they are successful in increasing the performance, they can discard query subgraphs relevant to a user. To address this issue, the authors extend the concept of differential queries and introduce top-k differential queries that calculate the ranking based on users’ preferences and significantly support the users’ understanding of query database management systems. A user assigns relevance weights to elements of a graph query that steer the search and are used for the ranking. In this paper the authors propose different strategies for selection of relevance weights and their propagation. As a result, the search is modelled along the most relevant paths. The authors evaluate their solution and both strategies on the DBpedia data graph.
|
79 |
Hybrid Differential Software TestingNoller, Yannic 16 October 2020 (has links)
Differentielles Testen ist ein wichtiger Bestandteil der Qualitätssicherung von Software, mit dem Ziel Testeingaben zu generieren, die Unterschiede im Verhalten der Software deutlich machen. Solche Unterschiede können zwischen zwei Ausführungspfaden (1) in unterschiedlichen Programmversionen, aber auch (2) im selben Programm auftreten. In dem ersten Fall werden unterschiedliche Programmversionen mit der gleichen Eingabe untersucht, während bei dem zweiten Fall das gleiche Programm mit unterschiedlichen Eingaben analysiert wird. Die Regressionsanalyse, die Side-Channel Analyse, das Maximieren der Ausführungskosten eines Programms und die Robustheitsanalyse von Neuralen Netzwerken sind typische Beispiele für differentielle Softwareanalysen.
Eine besondere Herausforderung liegt in der effizienten Analyse von mehreren Programmpfaden (auch über mehrere Programmvarianten hinweg). Die existierenden Ansätze sind dabei meist nicht (spezifisch) dafür konstruiert, unterschiedliches Verhalten präzise hervorzurufen oder sind auf einen Teil des Suchraums limitiert.
Diese Arbeit führt das Konzept des hybriden differentiellen Software Testens (HyDiff) ein: eine hybride Analysetechnik für die Generierung von Eingaben zur Erkennung von semantischen Unterschieden in Software. HyDiff besteht aus zwei parallel laufenden Komponenten: (1) einem such-basierten Ansatz, der effizient Eingaben generiert und (2) einer systematischen Analyse, die auch komplexes Programmverhalten erreichen kann. Die such-basierte Komponente verwendet Fuzzing geleitet durch differentielle Heuristiken. Die systematische Analyse basiert auf Dynamic Symbolic Execution, das konkrete Eingaben bei der Analyse integrieren kann.
HyDiff wird anhand mehrerer Experimente evaluiert, die in spezifischen Anwendungen im Bereich des differentiellen Testens ausgeführt werden. Die Resultate zeigen eine effektive Generierung von Testeingaben durch HyDiff, wobei es sich signifikant besser als die einzelnen Komponenten verhält. / Differential software testing is important for software quality assurance as it aims to automatically generate test inputs that reveal behavioral differences in software. The concrete analysis procedure depends on the targeted result: differential testing can reveal divergences between two execution paths (1) of different program versions or (2) within the same program. The first analysis type would execute different program versions with the same input, while the second type would execute the same program with different inputs. Therefore, detecting regression bugs in software evolution, analyzing side-channels in programs, maximizing the execution cost of a program over multiple executions, and evaluating the robustness of neural networks are instances of differential software analysis with the goal to generate diverging executions of program paths.
The key challenge of differential software testing is to simultaneously reason about multiple program paths, often across program variants, in an efficient way. Existing work in differential testing is often not (specifically) directed to reveal a different behavior or is limited to a subset of the search space.
This PhD thesis proposes the concept of Hybrid Differential Software Testing (HyDiff) as a hybrid analysis technique to generate difference revealing inputs. HyDiff consists of two components that operate in a parallel setup: (1) a search-based technique that inexpensively generates inputs and (2) a systematic exploration technique to also exercise deeper program behaviors. HyDiff’s search-based component uses differential fuzzing directed by differential heuristics. HyDiff’s systematic exploration component is based on differential dynamic symbolic execution that allows to incorporate concrete inputs in its analysis.
HyDiff is evaluated experimentally with applications specific for differential testing. The results show that HyDiff is effective in all considered categories and outperforms its components in isolation.
|
80 |
Niederenergetische Elektronen- und Protonen-Transfer ProzesseHaufler, Eckart 22 November 1996 (has links)
Im Mittelpunkt der vorliegenden Arbeit stehen sehr elementaren chemische
Reaktionen in der Gasphase: Elektron-Transfer Prozesse oder die Uebertragung
eines einzelnen Protons. Der Schwerpunkt liegt dabei auf der Untersuchung der
Reaktions-Dynamik, die sich in der Energie- und Winkelverteilung der Produkte
aeussert.
Neben einer schon vorhandenen Guided-Ion-Beam Apparatur, in der ein durch
elektrische Hochfrequenzfelder gefuehrter Ionenstrahl mit dem Neutralgas in
einer Streukammer wechselwirkt, wurde fuer die Untersuchungen eine neu
aufgebaute Apparatur TITAP (Transverse Ion Trap APparatus) verwendet, in der
unter Verwendung eines 22Pol Ionen-Speichers ein Streuexperiment zwischen
einem Molekularstrahl von Neutralteilchen und einem stationaeren Ionentarget
realisiert wird. Die Aussagen der Experimente in beiden Apparaturen
ergaenzen sich dabei.
Als Beispiel fuer einen Protonen bzw. Deuteronenaustausch wurden fuer die sehr
fundamentale Reaktion H- + D2 -> D- + HD und ihre isotopische Variante
D- + H2 -> H- + HD integrale und differentielle Querschnitte bestimmt. In guter
Uebereinstimmung mit Ergebnissen einer Kreuzstrahlapparatur zeigt die Reaktion
eine ausgepraegte Vorwaertsstreuung bei kleinen Stossenergien.
Fuer den Elektron-Transfer konnten sowohl in einfachen dreiatomigen Systemen
(Ar+ + N2, Ar+ + D2) wie auch in Reaktionen von Edelgas-Ionen mit
Kohlenwasserstoffen (Ethan, Propan) Translationsexoergizitaeten bei kleinen
Stossenergien (<= 1eV) bestimmt werden.
Im Fall der Kohlenwasserstoffe zeigt sich bei Variation der Stossenergie
im Bereich 100meV bis 5 eV nur eine geringe Aenderung der Verzweigungsverhaeltnisse
fuer die entstehenden unterschiedlichen Fragmente.
Die Empfindlichkeit der Speichertechnik fuer sehr langsam ablaufende
Prozesse wurde am Beispiel der Feinstruktur-Relaxation von Argon-Ionen in
Stoessen mit Helium bei tiefen Temperaturen gezeigt. Die neue Apparatur hat aber
noch grosse Vorzuege fuer weitere geplante Projekte, wie die Untersuchung von
Reaktionen mit Radikalen (Wasserstoff-, Stickstoff-, Kohlenstoffatomen) oder
Elektron-Ion Rekombination.
|
Page generated in 0.0589 seconds