The specification logic νZ

This paper introduces a wide-spectrum specification logic νZ. The minimal core logic is extended to a more expressive specification logic which includes a schema calculus similar (but not equivalent) to Z, new additional schema operators, and extensions to programming and program development logics.     

Microscale Patterning of Mesoscopic PZN-PT Single Crystal Films by Crystal ion Slicing and Laser-Induced Etching

Advances in the fabrication of solid-solution single crystal relaxor ferroelectrics have made it possible to produce highly efficient piezoelectric crystals, and have attracted renewed interest in the use of these crystals for a new generation of piezoelectric transducers, actuators and sensors. Of particular interest is their incorporation into micro-electromechanical systems (MEMS). In this paper we report on the laser-induced wet chemical etching of lead zinc niobate-lead titanate (PZN-PT) in hydrochloric acid (HCl). Argon-ion laser radiation at power levels up to 4 W is focused to a spot diameter of about 15μm and results in the chemical etching of grooves at patterning speeds up to 5μm/sec. Crystal ion slicing, an ion-implant-based film separation technique, is used in combination with laser etching to form 5 to 10μm-thick patterned and freestanding films for incorporation into micro-electromechanical devices.     

SiC半导体技术--即将腾飞的新一代半导体技术

电源设计者们仿佛正在目睹一个新的半导体技术的诞生。随之而来的新一代功率半导体器件远远优于现有的硅技术。SiC 材料可以让器件具有迄今为止设计工程师们梦寐以求却不能得到的出色特性。其最重要的优点包括以下几个方面：:工作结温高达225 ℃，而相应的漏电流只有适度的增加。由于本质上不会出现热偏移thermal run－away)，故可以在 很高的结温下可靠的工作。 没有正向或反向恢复，故即使在高温 下以高频工作时，也没有开关损耗。 甚至可以实现开关损耗极小、频率 高达1 M H z 的深度切换(h a rd 正向电阻具有…     

Dynamic simulations of the molecular conformations of wild type and mutant xanthan polymers suggest that conformational differences may contribute to observed differences in viscosity

Xanthan gum is an exopolysaccharide secreted by the bacterium Xanthamonas campestris whose ability to make solutions viscous at low concentrations and over a pH and temperature range have generated much interest in both academic and industrial environments. Mutant Xanthamonas strains have been derived that produce xanthan gums with an altered or variant subunit chemical structure and different measured viscosities when compared with the wild type (wt) form of the polymer. Two variant gums were targeted as potentially interesting in this study, these being the nonacetylated tetramer (natet) and the acetylated tetramer (atet), which both lack a side-chain terminal mannose residue and in one case (natet) lacks an acetate group on an internal mannose residue. Solutions of these tetrameric gums possess viscosities higher (natet) and lower (atet) than the wt gum, and therefore we have attempted to determine whether these molecules possess unique conformational preferences when compared with the wt and with each other. In this manner we can initiate an understanding of how a polysaccharide's conformation contributes to its solution properties. The GEGOP software permits a sampling of the static and dynamic equilibrium states of carbohydrate molecules, and this software was employed to calculate equilibrium states of representative oligosaccharides with chemical structures representative of xanthan-like molecules. Energy minimization techniques revealed similar local minima for all three molecules. Some of these minima are comprised of elongate backbone conformations (A type) in which side chains fold onto backbone surfaces. Other minima with A backbones possessed side chains in less intimate backbone contact especially when calculations were performed with a low dielectric constant. This phenomenon was particularly pronounced in the wt molecule where an increased number of negatively charged side-chain residues experience charge repulsion resulting in reduced side-chain-backbone contact. Metropolis Monte Carlo (MMC) dynamic simulations performed with an elevated temperature factor (1000 K) allowed a better qualitative representation of conformational space than 300 K simulations. Employing a nonhierarchical cluster analysis method (population density profile: PDP) coupled with a classification scheme, it was possible to partition resulting MMC data sets into conformational families. This analysis revealed that in simulations performed with different dielectric constant values (10, 25, and infinity) all molecules possessed primarily A-type backbones. Less elongate, more open helical backbone forms (B, C, D, J, and Flat-a) did occur during the simulations but were populated to a lesser extent. In the natet molecule significantly open helical backbones existed (E, F, G, H, and I) that did not occur in the lower viscosity wt and atet molecules. PDP clustering methods and subsequent conformational classification applied to the first residue (mannose) of the side chain permitted a determination of side-chain orientation. Comparison of all three molecules indicated a larger population of side-chain conformational families in less direct backbone contact for the wt molecule than either of the variant molecules (natet/atet) suggesting that the side chains in the wt are more flexible. Thus, a major conformational difference between the high viscosity natet and the lower viscosities of the wt/atet is the increased amount of open helical backbone in the natet. In addition, the significant difference between the higher viscosity wt and the lower viscosity atet is the increase side-chain flexibility in the wt. We hypothesize that conformational differences of this kind could form a partial explanation of the observed differences in viscosity between these xanthan-like polymers.     

Learning to Predict Non-Deterministically Generated Strings

In this article we present an algorithm that learns to predict non-deterministically generated strings. The problem of learning to predict non-deterministically generated strings was raised by Dietterich and Michalski (1986). While their objective was to give heuristic techniques that could be used to rapidly and effectively learn to predict a somewhat limited class of strings, our objective is to give an algorithm which, though impractical, is capable of learning to predict a very general class. Our algorithm is meant to provide a general framework within which heuristic techniques can be effectively employed.     

Forensic implications of the difficulties of defining delusions

Delusions are evasive to define: (1) Within the process of defining, one uses part of the final conclusion, which should derive from the basic definition (in other words, Circular reasoning); (2) Many, if not most, of so-called normal persons, hold delusion-like ideas; (3) Delusion becomes, usually, more understandable and less bizarre when investigated; (4) Delusions are not unique by remaining resistible to reason; (5) For every delusional content, as bizarre and remote as it may be, there is at least one cultural niche, in which the same content is considered legitimate and reasonable, (if no important and dignified). The forensic implications of these difficulties (to define delusions), will be discussed and elaborated.     

Detection of cytomegalovirus in semen from a population of men seeking infertility evaluation

This paper presents the results of in vivo measurements on a worker from a fuel reprocessing plant who was involved in an actinide intake. The results revealed that false indications of an actinide lung burden could arise from a contaminant present elsewhere in the chest region. Consequently, it is important that lung monitoring programs for occupational workers handling actinides are conducted with this caution in mind and that due consideration is given even in cases of minor cuts/wounds in order to rule out substantial overestimation of internal radiation doses.     

The entry of antiviral and antiretroviral drugs into the central nervous system

The ability of antiviral and antiretroviral drugs to enter the brain is a critical issue in the treatment of many viral brain diseases, including HIV-related neurologic disease. Much of the literature concerning nucleoside analog entry into the nervous system focuses on drug levels in the cerebrospinal fluid (CSF), equating these with drug levels in the brain extracellular fluid (ECF) as though the two compartments intermix freely. We review the anatomic and physiologic aspects of drug entry into CSF and into brain ECF, as well as the exchange processes between these two compartments. In most instances drug concentrations in the CSF and ECF compartments bear little relationship to one another and using CSF concentrations to extrapolate brain ECF concentrations may significantly overestimate the latter. Accepted terminology and methodology for making measurements of blood-brain barrier function are discussed. Studies of brain uptake that express results as brain:plasma ratios, or that have used microdialysis, may overestimate the amount of drug reaching the brain. Using published data, we present an estimate of the time course of Zidovudine (AZT) concentrations in brain ECF and show that brain concentrations of AZT will likely be below that necessary to inhibit HIV-1 replication when AZT is administered systemically. Antiviral nucleosides and oligonucleotides appear to have limited entry into the brain when given systemically, which may hinder therapy of viral brain diseases, while some of the protease inhibitors may enter the brain more readily. Alternative methods for increasing antiviral and antiretroviral drug delivery to brain are discussed.     

The making of a spam zombie army. Dissecting the Sobig worms

On 25 June 2003, a new mass-mailing worm, Sobig.E, emerged. The worm was highly successful at infecting computer systems. It is the fifth revision of a worm that first raised its ugly head in January 2003. There is strong evidence that spammers use infected computers to relay unsolicited commercial e-mail.