9 resultados para linear programming applications
em ArchiMeD - Elektronische Publikationen der Universität Mainz - Alemanha
                                
Resumo:
The use of linear programming in various areas has increased with the significant improvement of specialized solvers. Linear programs are used as such to model practical problems, or as subroutines in algorithms such as formal proofs or branch-and-cut frameworks. In many situations a certified answer is needed, for example the guarantee that the linear program is feasible or infeasible, or a provably safe bound on its objective value. Most of the available solvers work with floating-point arithmetic and are thus subject to its shortcomings such as rounding errors or underflow, therefore they can deliver incorrect answers. While adequate for some applications, this is unacceptable for critical applications like flight controlling or nuclear plant management due to the potential catastrophic consequences. We propose a method that gives a certified answer whether a linear program is feasible or infeasible, or returns unknown'. The advantage of our method is that it is reasonably fast and rarely answers unknown'. It works by computing a safe solution that is in some way the best possible in the relative interior of the feasible set. To certify the relative interior, we employ exact arithmetic, whose use is nevertheless limited in general to critical places, allowing us to rnremain computationally efficient. Moreover, when certain conditions are fulfilled, our method is able to deliver a provable bound on the objective value of the linear program. We test our algorithm on typical benchmark sets and obtain higher rates of success compared to previous approaches for this problem, while keeping the running times acceptably small. The computed objective value bounds are in most of the cases very close to the known exact objective values. We prove the usability of the method we developed by additionally employing a variant of it in a different scenario, namely to improve the results of a Satisfiability Modulo Theories solver. Our method is used as a black box in the nodes of a branch-and-bound tree to implement conflict learning based on the certificate of infeasibility for linear programs consisting of subsets of linear constraints. The generated conflict clauses are in general small and give good rnprospects for reducing the search space. Compared to other methods we obtain significant improvements in the running time, especially on the large instances.
                                
Resumo:
Im Bereich sicherheitsrelevanter eingebetteter Systeme stellt sich der Designprozess von Anwendungen als sehr komplex dar. Entsprechend einer gegebenen Hardwarearchitektur lassen sich Steuergeräte aufrüsten, um alle bestehenden Prozesse und Signale pünktlich auszuführen. Die zeitlichen Anforderungen sind strikt und müssen in jeder periodischen Wiederkehr der Prozesse erfüllt sein, da die Sicherstellung der parallelen Ausführung von größter Bedeutung ist. Existierende Ansätze können schnell Designalternativen berechnen, aber sie gewährleisten nicht, dass die Kosten für die nötigen Hardwareänderungen minimal sind. Wir stellen einen Ansatz vor, der kostenminimale Lösungen für das Problem berechnet, die alle zeitlichen Bedingungen erfüllen. Unser Algorithmus verwendet Lineare Programmierung mit Spaltengenerierung, eingebettet in eine Baumstruktur, um untere und obere Schranken während des Optimierungsprozesses bereitzustellen. Die komplexen Randbedingungen zur Gewährleistung der periodischen Ausführung verlagern sich durch eine Zerlegung des Hauptproblems in unabhängige Unterprobleme, die als ganzzahlige lineare Programme formuliert sind. Sowohl die Analysen zur Prozessausführung als auch die Methoden zur Signalübertragung werden untersucht und linearisierte Darstellungen angegeben. Des Weiteren präsentieren wir eine neue Formulierung für die Ausführung mit fixierten Prioritäten, die zusätzlich Prozessantwortzeiten im schlimmsten anzunehmenden Fall berechnet, welche für Szenarien nötig sind, in denen zeitliche Bedingungen an Teilmengen von Prozessen und Signalen gegeben sind. Wir weisen die Anwendbarkeit unserer Methoden durch die Analyse von Instanzen nach, welche Prozessstrukturen aus realen Anwendungen enthalten. Unsere Ergebnisse zeigen, dass untere Schranken schnell berechnet werden können, um die Optimalität von heuristischen Lösungen zu beweisen. Wenn wir optimale Lösungen mit Antwortzeiten liefern, stellt sich unsere neue Formulierung in der Laufzeitanalyse vorteilhaft gegenüber anderen Ansätzen dar. Die besten Resultate werden mit einem hybriden Ansatz erzielt, der heuristische Startlösungen, eine Vorverarbeitung und eine heuristische mit einer kurzen nachfolgenden exakten Berechnungsphase verbindet.
                                
Resumo:
In den letzten drei Jahrzehnten sind Fernerkundung und GIS in den Geowissenschaften zunehmend wichtiger geworden, um die konventionellen Methoden von Datensammlung und zur Herstellung von Landkarten zu verbessern. Die vorliegende Arbeit befasst sich mit der Anwendung von Fernerkundung und geographischen Informationssystemen (GIS) für geomorphologische Untersuchungen. Durch die Kombination beider Techniken ist es vor allem möglich geworden, geomorphologische Formen im Überblick und dennoch detailliert zu erfassen. Als Grundlagen werden in dieser Arbeit topographische und geologische Karten, Satellitenbilder und Klimadaten benutzt. Die Arbeit besteht aus 6 Kapiteln. Das erste Kapitel gibt einen allgemeinen Überblick über den Untersuchungsraum. Dieser umfasst folgende morphologische Einheiten, klimatischen Verhältnisse, insbesondere die Ariditätsindizes der Küsten- und Gebirgslandschaft sowie das Siedlungsmuster beschrieben. Kapitel 2 befasst sich mit der regionalen Geologie und Stratigraphie des Untersuchungsraumes. Es wird versucht, die Hauptformationen mit Hilfe von ETM-Satellitenbildern zu identifizieren. Angewandt werden hierzu folgende Methoden: Colour Band Composite, Image Rationing und die sog. überwachte Klassifikation. Kapitel 3 enthält eine Beschreibung der strukturell bedingten Oberflächenformen, um die Wechselwirkung zwischen Tektonik und geomorphologischen Prozessen aufzuklären. Es geht es um die vielfältigen Methoden, zum Beispiel das sog. Image Processing, um die im Gebirgskörper vorhandenen Lineamente einwandfrei zu deuten. Spezielle Filtermethoden werden angewandt, um die wichtigsten Lineamente zu kartieren. Kapitel 4 stellt den Versuch dar, mit Hilfe von aufbereiteten SRTM-Satellitenbildern eine automatisierte Erfassung des Gewässernetzes. Es wird ausführlich diskutiert, inwieweit bei diesen Arbeitsschritten die Qualität kleinmaßstäbiger SRTM-Satellitenbilder mit großmaßstäbigen topographischen Karten vergleichbar ist. Weiterhin werden hydrologische Parameter über eine qualitative und quantitative Analyse des Abflussregimes einzelner Wadis erfasst. Der Ursprung von Entwässerungssystemen wird auf der Basis geomorphologischer und geologischer Befunde interpretiert. Kapitel 5 befasst sich mit der Abschätzung der Gefahr episodischer Wadifluten. Die Wahrscheinlichkeit ihres jährlichen Auftretens bzw. des Auftretens starker Fluten im Abstand mehrerer Jahre wird in einer historischen Betrachtung bis 1921 zurückverfolgt. Die Bedeutung von Regentiefs, die sich über dem Roten Meer entwickeln, und die für eine Abflussbildung in Frage kommen, wird mit Hilfe der IDW-Methode (Inverse Distance Weighted) untersucht. Betrachtet werden außerdem weitere, regenbringende Wetterlagen mit Hilfe von Meteosat Infrarotbildern. Genauer betrachtet wird die Periode 1990-1997, in der kräftige, Wadifluten auslösende Regenfälle auftraten. Flutereignisse und Fluthöhe werden anhand von hydrographischen Daten (Pegelmessungen) ermittelt. Auch die Landnutzung und Siedlungsstruktur im Einzugsgebiet eines Wadis wird berücksichtigt. In Kapitel 6 geht es um die unterschiedlichen Küstenformen auf der Westseite des Roten Meeres zum Beispiel die Erosionsformen, Aufbauformen, untergetauchte Formen. Im abschließenden Teil geht es um die Stratigraphie und zeitliche Zuordnung von submarinen Terrassen auf Korallenriffen sowie den Vergleich mit anderen solcher Terrassen an der ägyptischen Rotmeerküste westlich und östlich der Sinai-Halbinsel.
                                
Resumo:
Wir haben die linearen und nichtlinearen optischen Eigenschaften von dünnen Schichten und planaren Wellenleitern aus mehreren konjugierten Polymeren (MEH-PPV und P3AT) und Polymeren mit -Elektronen Systemen in der Seitenkette (PVK und PS) untersucht und verglichen. PVK und PS haben relativ kleine Werte des nichtlinearen Brechungsindex n2 bei 532 nm, nämlich (1,2 ± 0,5)10-14 cm2/W und (2,6 ± 0,5) 10-14 cm2/W.rnWir haben die linearen optischen Konstanten von mehreren P3ATs untersucht, insbesondere den Einfluss der Regioregularität und Kettenlänge der Alkylsubstituenten. Wir haben das am besten geeignete Polymere für Wellenleiter Anwendungen identifiziert, welches P3BT-ra genannt ist. Wir haben die linearen optischen Eigenschaften dünner Schichten des P3BT-ra untersucht, die mit Spincoating aus verschiedenen Lösungsmitteln mit unterschiedlichen Siedetemperaturen präparieret wurden. Wir haben festgestellt, dass P3BT-ra Filme aus Toluol-Lösungen die am besten geeigneten Wellenleiter für die intensitätsabhängigen Prismen-Kopplungs Experimente sind, weil diese geringe Wellenleiterdämpfungsverluste bei = 1064 nm haben. rnWir haben die Dispersionen des Wellenleiterdämfungsverlustes gw, des nichtlinearen Brechungsindex n2 und des nichtlinearen Absorptionskoeffizienten 2 von Wellenleitern aus P3BT-ra im Bereich von 700 - 1500 nm gemessen. Wir haben große Werte des nichtlinearen Brechungsindex bis 1,5x10-13 cm2/W bei 1150 nm beobachtet. Wir haben gefunden, dass die Gütenkriterien (“figures of merit“) für rein optische Schalter im Wellenlängebereich 1050 - 1200 nm erfüllt sind. Dieser Bereich entspricht dem niederenergetischen Ausläufer der Zwei-Photonen-Absorption. Die Gütekriterien von P3BT-ra gehören zu den besten der bisher bekannten Werte von konjugierten Polymeren.rnWir haben gefunden, dass P3BT-ra ein vielversprechender Kandidat für integriert-optische Schalter ist, weil es eine gute Kombination aus großer Nichtlinearität dritter Ordnung, geringen Wellenleiterdämpfungverlusten und ausreichender Photostabilität zeigt. rnWir haben einen Vergleich der gemessenen Dispersion von gw, n2 und 2 mit der Theorie durchgeführt. Durch Kurvenanpassung der Dispersion von gw haben wir gefunden, dass Rayleigh-Streuung der dominierende Dämpfungsmechanismus in MEH-PPV und P3BT-ra Wellenleitern ist. Ein quantenmechanischer Ansatz wurde zur Berechnung der nichtlinearen Suszeptibilität dritter Ordnung (3) verwendet, um die gemessenen Spektren von n2 und 2 von P3BT-ra und MEH-PPV zu simulieren. Dies kann erklären, dass sättigbare Absorption und Zwei-Photonen Absorption die hauptsächlichen Effekte sind, welche die Dispersion von n2 und 2 verursachen. rn
From amphiphilic block copolymers to ferrocenyl-functionalized polymers for biosensoric applications
                                
Resumo:
The present thesis can be divided in three main parts. In all parts new polymer architecturesrnwere synthesized and characterized concerning their special features.rnThe first part will emphasize the advantage of a polystyrene-block-(hyperbranchedrnpolyglycerol) copolymer in comparison to an analogue polystyrene-block-(linear polyglycerol)rncopolymer. Therefore a synthethic route to prepare linear block copolymersrnhas been developed. Two strategies were examined. One strategy was based on thernclassic, sequential anionic polymerization; the second strategy was based on arn“Click-Chemistry” coupling reaction. In a following step glycidol was hypergraftedrnfrom these block copolymers by applying a hypergrafting reaction with glycidol. Thernbehavior of the amphiphilic block copolymers synthesized was studied in differentrnsolvents. Furthermore the polarity of the solvent was changed to form the correspondingrninverse micelles. DLS, SLS, SEC-MALLS-VISCO, AFM and Cyro TEMrnmeasurements were performed to obtain a visual image from the appearance of thernaggregates. It was found that a linear-hyperbranched architecture is necessary, ifrnwell defined, monodisperse aggregates are required, e.g. for the preparation of orderedrnnanoarrays. Linear-linear block copolymers formed only polydisperse aggregates.rnAdditionally it was found that size distribution could be improved dramaticallyrnby passing the aggregates through a SEC column with large pores. The SEC columnsrnacted like a template in which the aggregates adopt a more stable conformation.rnIn the second part anionic polymerization was employed to synthesize silaneendfunctionalizedrnmacromonomers with different molecular weights based on polybutadienernand polyisoprene. These were polymerized by a hydrosilylation reaction inrnbulk to obtain branched polymers, using Karstedt’s catalyst. Surprisingly the additionrnof monofunctional silanes during the polymerization had only a minimal effect concerningrnthe degree of polymerization. It was possible to introduce silanes without increasingrnthe overall number of reaction steps by a very convenient “pseudo-copolymerization”rnmethod. All branched polymers were analyzed by SEC, SEC-MALLS,rnSEC-viscometry, 1H-NMR-spectroscopy and DSC concerning their branching ratio.rnThe branching parameters for the branched polymers exhibited similar characteristicsrnas hyperbranched polymers based on AB2 monomers. Detailed kinetic study showedrnthat the polymerization occurred very rapidly in comparison to the hydrosilylation polymerizationrnof classical AB2 type carbosilanes monomers.rnThe last part will deal with ferrocenyl-functionalized polymers. On the one hand,rnferrocenyl-functionalized polyglycerols (PG) were studied. Esterification of PGs withrndifferent molecular weight using ferrocenemonocarboxylic acid gave the ferrocenylrnfuntionalized polymers in high yields. On the other hand three different block copolymersrnwere prepared with different ratios of styrene to butadiene units (10:1, 4:1, 2:1).rnThe double bonds of the 1,2-PB block were hydrosilylated using silanes bearing onern(HSiMe2Fc) or two (HSiMeFc2) ferrocene units. High degrees of functionalizationrnwere obtained (up to 83 %). In this manner, six different ferrocenyl-rich block copolymersrnwith different fractions of ferrocene were prepared and analyzed, employingrnNMR-spectroscopy, SEC, SEC/MALLS/viscometry, DLS and cyclic voltammetry. Thernredox properties of the studied polymers varied primarily with the nature of the silanernunit attached. Additionally, the redox properties in solution of the studied polymersrnwere influenced by the block length ratio of the block copolymers. Unexpectedly, withrnincreasing block length of the ferrocenyl block the fraction of active ferrocenes decreased.rnNevertheless, in case of thin monolayer films this behaviour was not observed.rnAll polymers (PG and PS-b-PB based) exhibited good electrochemical propertiesrnin a wide range of solvents, which rendered them very interesting for biosensoricrnapplications.
                                
Resumo:
Among hyperbranched polymers, polyglycerol is one of the most promising and commonly used macromolecules due to its biocompatibility and versatility. However, the synthesis of high molecular weight polyglycerols still involves many intricacies and has only been understood to a limited extent. Furthermore, only few complex structures like star or block copolymers incorporating polyglycerol have been realized so far. Particularly biocompatible block copolymers are considered promising candidates for biomedical applications.rnThe scope of this thesis was the enhancement of the synthetic process leading to polyglycerol derivatives which implies improved molecular weight control for a broad molecular weight range as well as the assembly of more complex structures like amphiphilic block copolymers. Further insight into the relation between reaction solvent, degree of deprotonation during the ring-opening multibranching polymerization of glycidol and the characteristics of the obtained polymers were achieved within the scope of this work. Based on these results, a novel concept for the preparation of hyperbranched polyglycerols with molecular weights up to 20,000 g/mol was developed, applying a two step synthesis pathway. Starting from a partially deprotonated TMP core, low molecular weight hb-PGs were prepared using the known synthetic protocol that has been established since the late 1990ies. In a subsequent reaction sequence, these well defined polymers were used as hyperbranched macroinitiator cores in order to obtain high molecular weight hb-PGs with remarkably low polydispersity (Mw/Mn < 1.8). Molecular weight control was shown to be excellent and undesired low molecular weight side products were absent. Furthermore, the technique of continuous spin fractionation has been discovered as an efficient method for polyglycerol work-up to remove quantitatively residual monomer- and oligomer traces from hb-PG compositions to result in samples with significantly reduced polydispersities. Based on these results the synthesis of amphiphilic block copolymers containing hydrophilic hyperbranched polyglycerol blocks and linear, apolar poly(propylene oxide) blocks has been significantly improved and augmented to hb-PG-b-l-PPO-b-hb-PG ABA block copolymers. The influence of different polyglycerol-based amphiphiles on the fibril formation was studied by Thioflavin T Fluorescence showing remarkable increasing lag times which is promising in order to enhance the stability of this protein. In addition the first synthesis of poly(glyceryl glycerols) (PGG), introducing a new solketyl glycidyl ether monomer (IGG) was shown. It was furthermore demonstrated that core-functional carbosilane wedges allow application in block copolymer synthesis. Bisglycidolized amine functional polymers were successfully employed as macroinitiators for glycidol polymerization. This resulted in the first example of amphiphilic hyperbranched-hyperbranched polymer structures. Finally, it has been shown that the previously reported synthetic pathway to carboxylated hyperbranched polyglycerol polyelectrolytes can also be applied for the amphiphilic linear-hyperbranched block copolymers. These novel biocompatible and highly amphiphilic polyelectrolytes offer great potential for further investigations. rnrn
                                
Resumo:
This thesis focuses on synthesis as well as investigations of the electronic structure and properties of Heusler compounds for spintronic and thermoelectric applications.rnThe first part reports on the electronic and crystal structure as well as the mechanical, magnetic, and transport properties of the polycrystalline Heusler compound Co2MnGe. The crystalline structure was examined in detail by extended X-ray absorption fine structure spectroscopy and anomalous X-ray diffraction. The low-temperature magnetic moment agrees well with the Slater-Pauling rule and indicates a half-metallic ferromagnetic state of the compound, as is predicted by ab-initio calculations. Transport measurements and hard X-ray photoelectron spectroscopy (HAXPES) were performed to explain the electronic structure of the compound.rnA major part of the thesis deals with a systematical investigation of Heusler compounds for thermoelectric applications. Few studies have been reported on thermoelectric properties of p-type Heusler compounds. Therefore, this thesis focuses on the search for new p-type Heusler compounds with high thermoelectric efficiency. The substitutional series NiTi1−xMxSn and CoTi1−xMxSb (where M = Sc, V and 0 ≤ x ≤ 0.2) were synthesized and investigated theoretically and experimentally with respect to electronic structure and transport properties. The results show the possibility to create n-type and p-type thermoelectrics within one Heusler compound. The pure compounds showed n-type behavior, while under Sc substitution the system switched to p-type behavior. A maximum Seebeck coefficient of +230 μV/K (at 350 K) was obtained for NiTi0.26Sc0.04Zr0.35Hf0.35Sn, which is one of the highest values for p-type thermoelectric compounds based on Heusler alloys up to now. HAXPES valence band measurement show massive in gap states for the parent compounds NiTiSn, CoTiSb and NiTi0.3Zr0.35Hf0.35Sn. This proves that the electronic states close to the Fermi energy play a key role for the behavior of the transport properties. Furthermore, the electronic structure of the gapless Heusler compounds PtYSb, PtLaBi and PtLuSb were investigated by bulk sensitive HAXPES. The linear behavior of the spectra close to εF proves the bulk origin of Dirac-cone type density of states. Furthermore, a systematic study on the optical and transport properties of PtYSb is presented. The compound exhibits promising thermoelectric properties with a high figure of merit (ZT = 0.2) and a Hall mobility μh of 300 cm2/Vs at 350 K.rnThe last part of this thesis describes the linear dichroism in angular-resolved photoemission from the valence band of NiTi0.9Sc0.1Sn and NiMnSb. High resolution photoelectron spectroscopy was performed with an excitation energy of hν = 7.938 keV. The linear polarization of the photons was changed using an in-vacuum diamond phase retarder. Noticeable linear dichroism is found in the valence bands and this allows for a symmetry analysis of the contributing states. The differences in the spectra are found to be caused by symmetry dependent angular asymmetry parameters, and these occur even in polycrystalline samples without preferential crystallographic orientation.rnIn summary, Heusler compounds with 1:1:1 and 2:1:1 stoichiometry were synthesized and examined by chemical and physical methods. Overall, this thesis shows that the combination of first-principle calculations, transport measurements and high resolution high energy photoelectron spectroscopy analysis is a very powerful tool for the design and development of new materials for a wide range of applications from spintronic applications to thermoelectric applications.rn
                                
Resumo:
Die vorliegende Arbeit behandelt die Entwicklung und Verbesserung von linear skalierenden Algorithmen für Elektronenstruktur basierte Molekulardynamik. Molekulardynamik ist eine Methode zur Computersimulation des komplexen Zusammenspiels zwischen Atomen und Molekülen bei endlicher Temperatur. Ein entscheidender Vorteil dieser Methode ist ihre hohe Genauigkeit und Vorhersagekraft. Allerdings verhindert der Rechenaufwand, welcher grundsätzlich kubisch mit der Anzahl der Atome skaliert, die Anwendung auf große Systeme und lange Zeitskalen. Ausgehend von einem neuen Formalismus, basierend auf dem großkanonischen Potential und einer Faktorisierung der Dichtematrix, wird die Diagonalisierung der entsprechenden Hamiltonmatrix vermieden. Dieser nutzt aus, dass die Hamilton- und die Dichtematrix aufgrund von Lokalisierung dünn besetzt sind. Das reduziert den Rechenaufwand so, dass er linear mit der Systemgröße skaliert. Um seine Effizienz zu demonstrieren, wird der daraus entstehende Algorithmus auf ein System mit flüssigem Methan angewandt, das extremem Druck (etwa 100 GPa) und extremer Temperatur (2000 - 8000 K) ausgesetzt ist. In der Simulation dissoziiert Methan bei Temperaturen oberhalb von 4000 K. Die Bildung von sp²-gebundenem polymerischen Kohlenstoff wird beobachtet. Die Simulationen liefern keinen Hinweis auf die Entstehung von Diamant und wirken sich daher auf die bisherigen Planetenmodelle von Neptun und Uranus aus. Da das Umgehen der Diagonalisierung der Hamiltonmatrix die Inversion von Matrizen mit sich bringt, wird zusätzlich das Problem behandelt, eine (inverse) p-te Wurzel einer gegebenen Matrix zu berechnen. Dies resultiert in einer neuen Formel für symmetrisch positiv definite Matrizen. Sie verallgemeinert die Newton-Schulz Iteration, Altmans Formel für beschränkte und nicht singuläre Operatoren und Newtons Methode zur Berechnung von Nullstellen von Funktionen. Der Nachweis wird erbracht, dass die Konvergenzordnung immer mindestens quadratisch ist und adaptives Anpassen eines Parameters q in allen Fällen zu besseren Ergebnissen führt.
                                
Resumo:
The main goals of this thesis were the design, synthesis, and characterization of novel organic semiconductors, together with their applications in electronics, such as OFETs, OPVs, and OLEDs. The results can be summarized as follows:rn1. In chapter II, two novel angular n-type molecules were presented. Their different alkyl chains play a pivotal role in the molecular orientation relative to surface. One molecule with longer branched chains is tilted with respect to the substrate, thereby resulting in poor device performance, while the other adopt an edge-on orientation with an OFET electron mobility of 0.01 cm2 V-1 s-1.rn2. In chapter III, fused bis-benzothiadiazoles with different molecular geometries, namely linear benzoquinone-fused bis(benzothiadiazole) and V-shaped sulfone-fused bis(benzothiadiazole), were shown. This work not only contributes to the diversity of electron acceptors based on bis-benzothiadiazole moieties, but also highlights the important role of molecular shape for the solid-state packing of organic conjugated materials. In chapter IV, we demonstrated the synthesis of layered acceptors via dimerization of thiadiazole end-capped acenes. Interestingly, they feature huge differences in their photophysical properties. One compound showed a new strong emission in the near-infrared region introduced by the aggregation effect. The planosymmetric compound featured intramolecular excimer (IEE) fluorescence in solution. rn3. In chapter V and VI, we have demonstrated the synthesis of novel spiro-bifluorene based asymmetric and symmetric cruciform electron acceptors with dicyanovinylene substitutions. The solar cells based on PTB7:asymmetric acceptor yields the highest PCE of 0.80%. Such results demonstrate for the first time that dicyanovinylene substituted acceptor could be an alternative to fullerene-based acceptors. rn4. In chapter VII, two novel blue-emitting compounds were shown, which consist of dihydroindenofluorenyl units and ladder-type poly-p-phenylene groups, respectively. The two novel cruciform rigid compounds present not only excellent thermal and electrochemical stability but also high PLQYs. Through analysis of their triplet energy levels, both molecules can be served as hosts for other normal fluorescent or phosphorescent materials.rn
 
                    