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.     

插补法CAI研究

数字程序控制计算机辅助教学是将计算机技术用于数字程序控制的教学过程，它帮助学生学习并模拟教学实验．本文介绍了数字程序控制中直线插补和圆孤插补的ＣＡＩ实现方法．     

VB中实现打印功能的方法

介绍了在VB开发的应用程序中,实现打印功能的几种方法.这些方法包括:①打印窗口;②通过PRINTER打印;③利用数据报表进行打印;④将打印内容传送于Office组件的Word或Excel,通过Word、Excel打印.同时列出了相关的程序格式.     

数字电视传输流的实时码率变换系统

数字视频压缩后通常是打包成传输流的形式进行传送，年个传输流有其固定的发送码率，在某些应用场合，比如信道调制前端，需要对输入传输流码率进行改变以适应该信道要求，描述了一种全硬件实现，双路输出，实时，节目可选择的码率变换系统的原理及具体实现。     

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

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

A Refinement Calculus for Shared-Variable Parallel and Distributed Programming

Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to the programming task that makes it very error-prone. Moreover, a large variety of very different parallel architectures exists. Porting an implementation from one machine to another may require substantial changes. This paper addresses some of these problems by developing a formal basis for the design of parallel programs in the form of a refinement calculus. The calculus allows the stepwise formal derivation of an abstract, low-level implementation from a trusted, high-level specification. The calculus thus helps structuring and documenting the development process. Portability is increased, because the introduction of a machine-dependent feature can be located in the refinement tree. Development efforts above this point in the tree are independent of that feature and are thus reusable. Moreover, the discovery of new, possibly more efficient solutions is facilitated. Last but not least, programs are correct by construction, which obviates the need for difficult debugging. Our programming/specification notation supports fair parallelism, shared-variable and message-passing concurrency, local variables and channels. The calculus rests on a compositional trace semantics that treats shared-variable and message-passing concurrency uniformly. The refinement relation combines a context-sensitive notion of trace inclusion and assumption-commitment reasoning to achieve compositionality. The calculus straddles both concurrency paradigms, that is, a shared-variable program can be refined into a distributed, message-passing program and vice versa. Received July 2001 / Accepted in revised form May 2002     

二阶A型Cooper变换的增强型

对二阶Ａ型Ｃｏｏｐｅｒ变换进行增强，放宽可用性条件，并证明了其正确性，最后举例说明其应用。     

高校电视台节目漫谈

结合高校校园电视台的职能和特点 ,深刻剖析了高校电视台几种类型节目的特点以及对高校校园文化的作用。     

Rank order filters and priority queues

Summary A derivation of a parallel algorithm for rank order filtering is presented. Both derivation and result differ from earlier designs: the derivations are less complicated and the result allows a number of different implementations. The same derivation is used to design a collection of priority queues. Both filters and priority queues are highly efficient: they have constant response time and small latency. Anne Kaldewaij received an M.Sc. degree in Mathematics from the University of Utrecht (The Netherlands) and a Ph.D. degree in Computing Science from the Eindhoven University of Technology. Currently, he is associate professor in Computing Science at Eindhoven University. His research includes parallel programming and the design of algorithms and data structures. He enjoys teaching and he has written a number of textbooks on mathematics and programming. Jan Tijmen Udding received an M.Sc. degree in Mathematics in 1980 and a Ph.D. degree in Computing Science in 1984 from Eindhoven University of Technology. Currently, he is associate professor at Groningen University. His main research interests are mathematical aspects of VLSI, program derivation and correctness, and functional programming.     

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.