Chromium evaporation and oxidation characteristics of alumina-forming austenitic stainless steels for balance of plant applications in solid oxide fuel cells

The chromium (Cr) evaporation behavior of several different types of iron (Fe)-based AFA alloys and benchmark Cr₂O₃-forming Fe-based 310 and Ni-based 625 alloys was investigated for 500 h exposures at 800 °C to 900 °C in air with 10% H₂O. The Cr evaporation rates from alumina-forming austenitic (AFA) alloys were ~5 to 35 times lower than that of the Cr₂O₃-forming alloys depending on alloy and temperature. The Cr evaporation behavior was correlated with extensive characterization of the chemistry and microstructure of the oxide scales, which also revealed a degree of quartz tube Si contamination during the test. Long-term oxidation kinetics were also assessed at 800 to 1000 °C for up to 10,000 h in air with 10% H₂O to provide further guidance for SOFC BOP component alloy selection.     

The Critical Role of Passive Permeability in Designing Successful Drugs

Passive permeability is a key property in drug disposition and delivery. It is critical for gastrointestinal absorption, brain penetration, renal reabsorption, defining clearance mechanisms and drug-drug interactions. Passive diffusion rate is translatable across tissues and animal species, while the extent of absorption is dependent on drug properties, as well as in vivo physiology/pathophysiology. Design principles have been developed to guide medicinal chemistry to enhance absorption, which combine the balance of aqueous solubility, permeability and the sometimes unfavorable compound characteristic demanded by the target. Permeability assays have been implemented that enable rapid development of structure-permeability relationships for absorption improvement. Future advances in assay development to reduce nonspecific binding and improve mass balance will enable more accurately measurement of passive permeability. Design principles that integrate potency, selectivity, passive permeability and other ADMET properties facilitate rapid advancement of successful drug candidates to patients.     

The ‘Hoare logic’ of concurrent programs

Summary Hoare's logical system for specifying and proving partial correctness properties of sequential programs is generalized to concurrent programs. The basic idea is to define the assertion {P} S {Q} to mean that if execution is begun anywhere in S with P true, then P will remain true until S terminates, and Q will be true if and when S terminates. The predicates P and Q may depend upon program control locations as well as upon the values of variables. A system of inference rules and axiom schemas is given, and a formal correctness proof for a simple program is outlined. We show that by specifying certain requirements for the unimplemented parts, correctness properties can be proved without completely implementing the program. The relation to Pnueli's temporal logic formalism is also discussed.     

Effects of flux enhancing polymer on the characteristics of sludge in membrane bioreactor process.

A newly developed membrane performance enhancer (MPE) was used to prevent membrane fouling in a membrane bioreactor (MBR) process. It transpired that 1,000 mg/l of MPE reduced polysaccharide levels from 41 mg/I to 21 mg/I on average under the experimental condition. Repeated experiments also confirmed that 50-1,000 mg/l of MPE could reduce membrane fouling significantly and increase the intervals between membrane cleanings. Depending on MPE dosages and experimental conditions, trans-membrane pressure (TMP) increase was suppressed for 20-30 days, while baseline TMP surged within a few days. In addition, MPE allowed MBR operation even at 50,000 mg/l of total solid and reduced permeate COD. However, no evidence of toxicity for sludge was found from respiratory works.     

SlideBar: Analysis of a linear input device

The SlideBar is a physical linear input device for absolute position control of 1° of freedom, consisting of a physical slider with a graspable knob positioned near or attached to the keyboard. Its range of motion is directly mapped to a one dimensional input widget such as a scrollbar. The SlideBar provides absolute position control in one dimension, is usable in the non-dominant hand in conjunction with a pointing device, and offers constrained passive haptic feedback. These characteristics make the device appropriate for the common class of tasks characterized by one-dimensional input and constrained range of operation. An empirical study of three devices (SlideBar, mouse controlled scrollbar, and mousewheel) shows that for common scrolling tasks, the SlideBar has a significant advantage over a standard mouse controlled scrollbar in user preference. In addition, users tended to prefer it over the mousewheel (without statistical significance).