Thickness dependent barrier performance of permeation barriers made from atomic layer deposited alumina for organic devices

Organic devices like organic light emitting diodes (OLEDs) or organic solar cells degrade fast when exposed to ambient air. Hence, thin-films acting as permeation barriers are needed for their protection. Atomic layer deposition (ALD) is known to be one of the best technologies to reach barriers with a low defect density at gentle process conditions. As well, ALD is reported to be one of the thinnest barrier layers, with a critical thickness – defining a continuous barrier film – as low as 5–10 nm for ALD processed Al₂O₃. In this work, we investigate the barrier performance of Al₂O₃ films processed by ALD at 80 °C with trimethylaluminum and ozone as precursors. The coverage of defects in such films is investigated on a 5 nm thick Al₂O₃ film, i.e. below the critical thickness, on calcium using atomic force microscopy (AFM). We find for this sub-critical thickness regime that all spots giving raise to water ingress on the 20 × 20 μm² scan range are positioned on nearly flat surface sites without the presence of particles or large substrate features. Hence below the critical thickness, ALD leaves open or at least weakly covered spots even on feature-free surface sites. The thickness dependent performance of these barrier films is investigated for thicknesses ranging from 15 to 100 nm, i.e. above the assumed critical film thickness of this system. To measure the barrier performance, electrical calcium corrosion tests are used in order to measure the water vapor transmission rate (WVTR), electrodeposition is used in order to decorate and count defects, and dark spot growth on OLEDs is used in order to confirm the results for real devices. For 15–25 nm barrier thickness, we observe an exponential decrease in defect density with barrier thickness which explains the likewise observed exponential decrease in WVTR and OLED degradation rate. Above 25 nm, a further increase in barrier thickness leads to a further exponential decrease in defect density, but an only sub-exponential decrease in WVTR and OLED degradation rate. In conclusion, the performance of the thin Al₂O₃ permeation barrier is dominated by its defect density. This defect density is reduced exponentially with increasing barrier thickness for alumina thicknesses of up to at least 25 nm.     

Performance and Commercial Application of the Promoter LCC-A for Maximization of Propylene Yield

1 Introduction Propylene as an important feedstock for organic chemicals is mainly originated from steam cracking and catalytic cracking processes. During the FCC process the propylene content varies with the FCC catalyst and process technology adopted, resulting in significant difference in propylene concentration in the cracked product——LPG. The conventional FCC pro- cess generally gives a propylene yield of around 4%, while the FCC process with maximization of propylene yield can in…     

逻辑程序的一种并行执行模型

本文基于静态相关性分析和动态调整相结合的方法，提出了一种逻辑程序的执行模型，它不仅开发了“与“并行，同进也开发了一定的“或“并行，从而有效地加速了逻辑程序的执行。     

Reasoning with Intensional Negative Adjectivals: Semantics, Pragmatics, and Context

Intensional negative adjectives alleged , artificial , fake , false , former , and toy are unusual adjectives that depending on context may or may not be restricting functions. A formal theory of their semantics, pragmatics, and context that uniformly accounts for their complex mathematical and computational characteristics and captures some peculiarities of individual adjectives is presented.
Such adjectives are formalized as new concept builders, negation‐like functions that operate on the values of intensional properties of the concepts denoted by their arguments and yield new concepts whose intensional properties have values consistent with the negation of the old values. Understanding these new concepts involves semantics, pragmatics and context‐dependency of natural language. It is argued that intensional negative adjectives can be viewed as a special‐purpose, weaker, conntext‐dependent negationin natural language. The theory explains and predicts many inferences licensed by expressions involving such adjectives. Implementation of sample examples demonstrates its computational feasibility. Computation of context‐dependent interpretation is discussed.
The theory allows one to enhance a knowledge representation system with similar concept building, negation‐like, context‐dependent functions, the availability of which appears to be a distinct characteristic of natural languages.     

The optimisation of higher order resampling methods in a multiprocessor environment

The processing of images obtained from satellites often involves highly repetitive calculations on very large amounts of data. This processing is extremely time consuming when these calculations are performed on sequential machines. Parallel computers are well suited to handling computationally expensive operations such as higher order interpolations on large data sets. This paper decribes work undertaken to develop parallel implementations of a set of resampling procedures on an Alliant VFX/4. Each resampling procedure implemented has been optimised in three stages. First, the algorithm has been restructured, where two-dimensional resampling is performed by two one-dimensional resampling operations. Second, each procedure has been reprogrammed in such a way that the autoparallelisation provided by the FX/Fortran compiler has been exploited. Thirdly, data dependent analysis of each procedure has been performed in order to achieve full optimization of each procedure; each procedure has been restructured where appropriate to circumvent vectorisation and concurrency inhibiting data dependencies. The nature and extent of the code optimization achieved for each procedure is presented in this paper. The original code for the most computationally expensive procedure, as targeted at a sequential machine, was found to have an execution time of 4900 seconds on the Alliant VFX/4 when compiled with regular compiler optimization options. Following algorithmic redesigning and reprogramming of the code, as indicated in stage 1 and stage 2, the execution time was reduced to 248 seconds. Restructuring of the code following data dependency analysis indicated in stage 3 in order to avoid data dependencies and allow concurrency and vectorisation, further reduced execution time to 162 seconds. The consequence of this work is that higher-order resampling methods which had not previous been practical are now routinely performed on the Alliant VFX/4 at the University of Dundee.     

Trade-offs for conflicting social objectives in the extraction of finite energy resources

Three social objectives figure prominently in the extraction of finite energy resources, namely income maximization, environmental quality, and inter-generational concern. Owing to lack of complementarity, the pursuit of these objectives often results in conflicts. As a result, extraction strategies should be based on the determination of trade-offs between the objectives. The paper deals with the formulation and illustration of a systems model to determine these trade-offs. The recognition of such trade-offs results in a greater conservation of the finite energy resource, and hence could act as an incentive for the development of alternative energy sources.     

Review of The chemically dependent: Phases of treatment and recovery.

Reviews the book, The chemically dependent: Phases of treatment and recovery edited by Barbara C. Wallace (see record 1992-98403-000). While this book is ambitious, interesting, educational, and useful, it is also disappointing, repetitious, and incomplete. Because it tries to accomplish so much, it may appear to have succeeded too little. This book is organized around, and explicative of, several basic ideas which might have been controversial if not heretical had this book been published ten years ago. Section I, purporting to link specific "phases of recovery" to particular forms and functions of treatment, will certainly be useful for novice clinicians but falls short of its overstated goals and is thereby disappointing. Section II is a collection of moderately redundant chapters describing the etiology and treatment of substance abusers from the viewpoints of psychoanalytic, psychodynamic, ego psychology, and object-relations theorists and therapists. Section III focuses on cognitive-behavioral, self-help, and relapse-prevention treatments. Section IV is quite uneven in quality of writing and applicability of content, and could have benefited from closer editorial scrutiny or selectivity. The final section focuses on special needs of particular subpopulations of substance abusers: African-Americans, prison inmates, HIV/AIDS patients, persons who are homeless, those who have been sexually and physically abused, and others. According to the reviewer this is not the best book on substance abuse treatment, but it does present some clinically useful ideas and it is worth reading. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Linear variational principle for convex vector maximization

For infinitely dimensional convex vector maximization problems, it is proved that there exists, under certain conditions, an arbitrarily small additive perturbation of the performance criterion by a linear continuous operator such that the perturbed problem has efficient solutions. The study was sponsored by the Ukrainian State Fund for Basic Research __________ Translated from Kibernetika i Sistemnyi Analiz, No. 2, pp. 105–114, March–April 2007.     

Investigating dependencies in software requirements for change propagation analysis

ContextThe dependencies between individual requirements have an important influence on software engineering activities e.g., project planning, architecture design, and change impact analysis. Although dozens of requirement dependency types were suggested in the literature from different points of interest, there still lacks an evaluation of the applicability of these dependency types in requirements engineering.ObjectiveUnderstanding the effect of these requirement dependencies to software engineering activities is useful but not trivial. In this study, we aimed to first investigate whether the existing dependency types are useful in practise, in particular for change propagation analysis, and then suggest improvements for dependency classification and definition.MethodWe conducted a case study that evaluated the usefulness and applicability of two well-known generic dependency models covering 25 dependency types. The case study was conducted in a real-world industry project with three participants who offered different perspectives.ResultsOur initial evaluation found that there exist a number of overlapping and/or ambiguous dependency types among the current models; five dependency types are particularly useful in change propagation analysis; and practitioners with different backgrounds possess various viewpoints on change propagation. To improve the state-of-the-art, a new dependency model is proposed to tackle the problems identified from the case study and the related literature. The new model classifies dependencies into intrinsic and additional dependencies on the top level, and suggests nine dependency types with precise definitions as its initial set.ConclusionsOur case study provides insights into requirement dependencies and their effects on change propagation analysis for both research and practise. The resulting new dependency model needs further evaluation and improvement.