Language-based information-flow security

Current standard security practices do not provide substantial assurance that the end-to-end behavior of a computing system satisfies important security policies such as confidentiality. An end-to-end confidentiality policy might assert that secret input data cannot be inferred by an attacker through the attacker's observations of system output; this policy regulates information flow. Conventional security mechanisms such as access control and encryption do not directly address the enforcement of information-flow policies. Previously, a promising new approach has been developed: the use of programming-language techniques for specifying and enforcing information-flow policies. In this paper, we survey the past three decades of research on information-flow security, particularly focusing on work that uses static program analysis to enforce information-flow policies. We give a structured view of work in the area and identify some important open challenges.     

Garner interference reveals dependencies between emotional expression and gaze in face perception.

The relationship between facial expression and gaze processing was investigated with the Garner selective attention paradigm. In Experiment 1, participants performed expression judgments without interference from gaze, but expression interfered with gaze judgments. Experiment 2 replicated these results across different emotions. In both experiments, expression judgments occurred faster than gaze judgments, suggesting that expression was processed before gaze could interfere. In Experiments 3 and 4, the difficulty of the emotion discrimination was increased in two different ways. In both cases, gaze interfered with emotion judgments and vice versa. Furthermore, increasing the difficulty of the emotion discrimination resulted in gaze and expression interactions. Results indicate that expression and gaze interactions are modulated by discriminability. Whereas expression generally interferes with gaze judgments, gaze direction modulates expression processing only when facial emotion is difficult to discriminate. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

The BsmI vitamin D receptor restriction fragment length polymorphism (bb) influences the effect of calcium intake on bone mineral density

Previous studies of the vitamin D receptor (VDR) polymorphisms and bone mineral density (BMD) have suggested that there may be differences in calcium absorption among groups of women with different VDR genotypes, and that the association may be stronger in younger women. To investigate the association between the VDR polymorphisms and BMD, this study was undertaken in the Framingham Study Cohort and a group of younger volunteers. Subjects from the Framingham Study (ages 69-90 years) included those who underwent BMD testing and who had genotyping for the VDR alleles (n = 328) using polymerase chain reaction methods and restriction fragment length polymorphisms with BsmI (B absence, b presence of cut site). A group of younger volunteer subjects (ages 18-68) also underwent BMD testing and VDR genotyping (n = 94). In Framingham Cohort subjects with the bb genotype, but not the Bb or BB genotypes, there were significant associations between calcium intake and BMD at five of six skeletal sites, such that BMD was 7-12% higher in those with dietary calcium intakes greater than 800 mg/day compared with those with intakes < 500 mg/day. The data also suggested that BMD was higher in persons with the bb genotype only in the group with calcium intakes above 800 mg/day. No significant differences were found in the Framingham Cohort for age-, sex-, and weight-adjusted BMD at any skeletal site between those with the BB genotype and those with the bb genotype regardless of 25-hydroxyvitamin D levels or country of origin. In the younger volunteers, BMD of the femoral neck was 5.4% higher (p < 0.05) in the bb genotype group compared with the BB group and 11% higher (p < 0.05) in males with the bb genotype compared with the BB group. There were no significant differences at the lumbar spine. In this study, the association between calcium intake and BMD appeared to be dependent upon VDR genotype. The findings of an association between dietary calcium intake and BMD only in the bb genotype group suggests that the VDR genotype may play a role in the absorption of dietary calcium. Studies that do not consider calcium intake may not detect associations between VDR genotype and BMD. In addition, the association between VDR alleles and BMD may become less evident in older subjects.     

Repair of DNA methylphosphotriesters through a metalloactivated cysteine nucleophile

The Escherichia coli Ada protein repairs methylphosphotriesters in DNA by direct, irreversible methyl transfer to one of its own cysteines. Upon methyl transfer, Ada acquires the ability to bind specific DNA sequences and thereby to induce genes that confer resistance to methylating agents. The amino-terminal domain of Ada, which comprises the methylphosphotriester repair and sequence-specific DNA binding elements, contains a tightly bound zinc ion. Analysis of the zinc binding site by cadmium-113 nuclear magnetic resonance and site-directed mutagenesis revealed that zinc participates in the autocatalytic activation of the active site cysteine and may also function as a conformational switch.     

半导体绿色节能技术趋势2功率电子产品的重点在于能效

近来,立法工作和广告活动都把焦点集中在能源使用的一个重要方面,也是功率电子产品能够产生积极作用的地方-即待机功耗.许多法规,比如 Blue Angel(蓝天使)和Top Runner(领跑者),都要求许多电子产品的待机功耗必须小于1w.     

Doubly resonant Ti:sapphire laser

A CW Ti:sapphire laser that operates simultaneously at two frequencies is described. This mode of operation was obtained with an intracavity dispersive prism and two separate feedback paths. An alternative means of achieving dual frequency operation was demonstrated using a birefringent filter. Repetitive Q-switching produced an increase in the range of wavelengths over which dual frequency operation was obtained     

Bayesian inference in disputed authorship: A case study of cognitive errors and a new system for decision support

Bayesian inference provides a formal framework for assessing the odds of hypotheses in light of evidence. This makes Bayesian inference applicable to a wide range of diagnostic challenges in the field of chance discovery, including the problem of disputed authorship that arises in electronic commerce, counter-terrorism and other forensic applications. For example, when two documents are so similar that one is likely to be a hoax written from the other, the question is: Which document is most likely the source and which document is most likely the hoax? Here I review a Bayesian study of disputed authorship performed by a biblical scholar, and I show that the scholar makes critical errors with respect to several issues, namely: Causal Basis, Likelihood Judgment and Conditional Dependency. The scholar’s errors are important because they have a large effect on his conclusions and because similar errors often occur when people, both experts and novices, are faced with the challenges of Bayesian inference. As a practical solution, I introduce a graphical system designed to help prevent the observed errors. I discuss how this decision support system applies more generally to any problem of Bayesian inference, and how it differs from the graphical models of Bayesian Networks.     

High-Temperature Chemical Stability of Plasma-Sprayed Ca05Sr05Zr4P6O24 Coatings on Nicalon/SiC Ceramic Matrix Composite and Ni-Based Superalloy Substrates

The potential application of Ca05Sr05Zr4P6O24 (CS50) as a corrosion-resistant coating material for Si-based ceramics and as a thermal barrier coating material for Ni-based superalloys was explored. A ∼200 (xm thick CS50 coating was prepared by air plasma spray with commercially available powder. A Nicalon/SiC ceramic matrix composite and a Ni-based superalloy coated with a ∼200 (xm thick metallic bond coat layer were used as substrate materials. Both the powder and coating contained ZrP2O7 as an impurity phase, and the coating was highly porous as-deposited. The coating deposited on the Nicalon/SiC substrate was chemically stable upon exposure to air and Na2SO4/O2 atmospheres at 1000°C for 100 h. In contrast, the coating sprayed onto the superalloy substrate significantly reacted with the bond coat surface after similar oxidation in air.     

A multiparameter wearable physiologic monitoring system for space and terrestrial applications.

A novel, unobtrusive and wearable, multiparameter ambulatory physiologic monitoring system for space and terrestrial applications, termed LifeGuard, is presented. The core element is a wearable monitor, the crew physiologic observation device (CPOD), that provides the capability to continuously record two standard electrocardiogram leads, respiration rate via impedance plethysmography, heart rate, hemoglobin oxygen saturation, ambient or body temperature, three axes of acceleration, and blood pressure. These parameters can be digitally recorded with high fidelity over a 9-h period with precise time stamps and user-defined event markers. Data can be continuously streamed to a base station using a built-in Bluetooth RF link or stored in 32 MB of on-board flash memory and downloaded to a personal computer using a serial port. The device is powered by two AAA batteries. The design, laboratory, and field testing of the wearable monitors are described.