White-light interferometry with polarization phase-shifter at the input of the interferometer

Abstract

In white-light interferometry the surface profile is determined by measuring the fringe contrast function of the white-light interferogram. One of the techniques proposed for the measurement of the fringe contrast function is the use of the phase shifting technique with the help of an achromatic phaseshifter. The available phase-shifters employ a rotating polarization component at the output end of the interferometer. Using a rotating polarization component at the input end, rather than at the output end, has certain advantages. In this paper we investigate a rotating half-wave plate phase-shifter at the input end for its applications to a white-light interferometer.     

Interface Modification to Improve Hole‐Injection Properties in Organic Electronic Devices

The performance of organic electronic devices is often limited by injection. In this paper, improvement of hole injection in organic electronic devices by conditioning of the interface between the hole‐conducting layer (buffer layer) and the active organic semiconductor layer is demonstrated. The conditioning is performed by spin‐coating poly(9,9‐dioctyl‐fluorene‐co‐N‐ (4‐butylphenyl)‐diphenylamine) (TFB) on top of the poly(3,4‐ethylene dioxythiophene): poly(styrene sulfonate) (PEDOT:PSS) buffer layer, followed by an organic solvent wash, which results in a TFB residue on the surface of the PEDOT:PSS. Changes in the hole‐injection energy barriers, bulk charge‐transport properties, and current–voltage characteristics observed in a representative PFO‐based (PFO: poly(9,9‐dioctylfluorene)) diode suggest that conditioning of PEDOT:PSS surface with TFB creates a stepped electronic profile that dramatically improves the hole‐injection properties of organic electronic devices.     

P — A logic — a compositional proof system for distributed programs

Summary This paper describes a compositional proof system called P-A logic for establishing weak total correctness and weak divergence correctness of CSP-like distributed programs with synchronous and asynchronous communication. Each process in a network is specified using logical assertions in terms of a presuppositionPre and an affirmationAff as a triple {Pre}S{Aff}. For purely sequential programs, these triples reduce to the familiar Hoare triples. In distributed programs, P-A triples allow the behaviour of a process to be specified in the context of assumptions about its communications with the other processes in the network. Safety properties of process communications, and progress properties such as finiteness and freedom from divergence can be proved. An extension of P-A logic allowing proof of deadlock freedom is outlined. Finally, proof rules for deriving some liveness properties of a program from its P-A logic specification are discussed; these properties have the form Q untilR, whereQ, R are assertions over communication traces. Other liveness properties may be derived from these properties using the rules of temporal logic. Paritosh Kulin Pandya received his Master's degree in Computer Science from the Indian Institute of Technology, Kanpur in 1982, and a Ph.D. from the Tata Institute of Fundamental Research in 1988 where he is currently employed. He has worked as a Research Officer in the Programming Research Group of the Oxford University from 1988 to 1991. Mathai Joseph has since 1985 been professor of Computer Science at the University of Warwick where he leads a group working on developing formal techniques for specifying and implementing realtime and fault-tolerant systems.Supported in part by Visiting Fellowships awarded by the Science and Engineering Research Council (research grant GR/D 90918) and the British Council     

Effects of fermentation conditions on the potential anti‐hypertensive peptides released from yogurt fermented by Lactobacillus helveticus and Flavourzyme®

This study investigates the effects of fermentation conditions on the production of angiotensin‐converting enzyme inhibitory (ACE‐I) peptides in yogurt by Lactobacillus helveticus 881315 (L. helveticus) in the presence or absence of Flavourzyme^®, which is derived from a mould, Aspergillus oryzae and used for protein hydrolysis in various industrial applications. Optimal conditions for peptides with the highest ACE‐I activity were 4% (v/w) inoculum size for 8 h without Flavourzyme^® supplementation, and 1% inoculum size for 12 h when combined with Flavourzyme^®. The yogurt fermented by L. helveticus resulted in IC₅₀ values (concentration of inhibitor required to inhibit 50% of ACE activity under the assayed conditions) of 1.47 ± 0.04 and 16.91 ± 0.25 mg mL^?1 with and without Flavourzyme^® respectively. Seven fractions of ACE‐I peptides from the yogurt incorporated with L. helveticus and Flavourzyme^® were separated using the preparative high‐performance liquid chromatography. Fraction (F3) showed the highest ACE‐I activity with an IC₅₀ of 35.75 ± 5.48 μg mL^?1. This study indicates that yogurt may be a valuable source of ACE‐I peptides, which may explain the outcomes observed in the experimental and clinical studies and foresee the application of fermented milk proteins into functional foods or dietary supplements.