PRACTICAL INCONSISTENCY MANAGEMENT FOR CRITICAL-TASKS DECISION-SUPPORT SYSTEMS

Abstract

In this paper, the problem of logical consistency in critical-tasks decision systems is addressed. It is shown how local search techniques can be used to check the (in)consistency of very large propositional knowledge bases (KBs). Using new heuristic findings. we can now implement efficient forms of diagnostic reasoning in the context of very large ICBs modeling deep models of complex devices and including patterns of default reasoning.     

基于重力坝三维设计的CAD动态交互系统开发

为了在可研阶段合理、快速地制定重力坝设计方案,减少设计周期和成本,采用极限状态设计的方法,利用VB 6.0可视化编程工具开发出了一套能够与CAD动态交互的重力坝三维设计系统。该系统通过对Auto-CAD的二次开发实现了重力坝的三维参数化建模,并对所建三维模型进行结构计算,将设计与计算紧密结合,通过动态交互简化了大量复杂数据的计算,达到精确、快速完成断面设计的目的。经实践检验证明,该系统大大提高了断面设计效率,实用性强,对可研阶段的方案比选具有重大意义。     

An aide for instruction on integrated engineering design and support

Effective management of engineering information is critically needed for the design of future complex engineering systems. Yet engineers are not trained in engineering data base management concepts. To help address this issue, a prototype integrated design system has been developed for the Air Force to aide research and instruction on key integration concepts, including (1) the use of a shared data base to eliminate redundancies and inconsistencies; (2) the use of a relational data base management system to store, locate, and retrieve data from the shared data base; (3) the development of interfacing programs to act as interpreters between the application programs and the common data base; and (4) the role of executive software to manage the integrated system. Key software used includes a computer-aided design system, a structural analysis program, various graphics packages, and a relational data base management system. To assess system flexibility, additional programs were added to the system. The design of the data base proved to be an important step in this implementation. Several methodologies useful in the design of the data base were investigated and subsequently used to organize the data base for the integrated design system. Results discussed include system development, and applications, as well as the effectiveness of the integrated system's configuration.     

Estrogen receptor domains E and F: role in dimerization and interaction with coactivator RIP-140

We have used the yeast two-hybrid system to localize the ligand-dependent dimerization domain of the estrogen receptor-alpha (ER) to region E in vivo. In this system, the cDNAs corresponding to the A-D, E, E/F, A-E (deltaF), and full-length (wtER) domains of the human ER were each cloned into the yeast two-hybrid vectors GAL4 DB and GAL4 TA and expressed in different combinations in yeast harboring a GAL1-lacZ reporter. The reporter was used as a relative measure of the interaction between the ER domains, through reconstitution of GAL4 activity. We found that the interaction of E or E/F domains of the ER with full-length ER is estradiol dependent and estrogen responsive element independent, as measured by the reconstitution of GAL4 activity from GAL4-E domain-containing fusion protein interactions. In the presence of F domain, this activity is reduced 10-fold. The results suggest that sequences in the F domain are inhibitory to the dimerization signal that is present in the E region. We propose that the full-length ER contains intrinsic dimerization restraints contributed by regions outside domain E that are released upon binding hormone agonist. In addition, we have demonstrated that coactivator RIP140 is able to interact with the ER in vivo at the E domain of the receptor in the presence of estrogen. Yeast two-hybrid analysis shows that RIP140 does not homodimerize in the presence or absence of estrogens. We present evidence showing that the ER has the inherent ability to interact with RIP140 in the presence of antiestrogens, but sequences inherent in the ER itself that are present outside of the E domain compromise this ability.     

Molecular cloning of mouse glycolate oxidase. High evolutionary conservation and presence of an iron-responsive element-like sequence in the mRNA

Iron regulatory proteins (IRPs) control the synthesis of several proteins in iron metabolism by binding to iron-responsive elements (IREs), a hairpin structure in the untranslated region (UTR) of corresponding mRNAs. Binding of IRPs to IREs in the 5' UTR inhibits translation of ferritin heavy and light chain, erythroid aminolevulinic acid synthase, mitochondrial aconitase, and Drosophila succinate dehydrogenase b, whereas IRP binding to IREs in the 3' UTR of transferrin receptor mRNA prolongs mRNA half-life. To identify new targets of IRPs, we devised a method to enrich IRE-containing mRNAs by using recombinant IRP-1 as an affinity matrix. A cDNA library established from enriched mRNA was screened by an RNA-protein band shift assay. This revealed a novel IRE-like sequence in the 3' UTR of a liver-specific mouse mRNA. The newly identified cDNA codes for a protein with high homology to plant glycolate oxidase (GOX). Recombinant protein expressed in bacteria displayed enzymatic GOX activity. Therefore, this cDNA represents the first vertebrate GOX homologue. The IRE-like sequence in mouse GOX exhibited strong binding to IRPs at room temperature. However, it differs from functional IREs by a mismatch in the middle of its upper stem and did not confer iron-dependent regulation in cells.     

模拟裂变中子源能谱测量

一、引言在研究链式反应系统的各种性质时,常常用到具有类似裂变中子能谱的中子源。模拟裂变中子源主要由~(210)Po的α粒子轰击F,Be,Li,B等轻元素产生中子,随着靶元素成份以及结构的差异,中子能谱也不完全相同。应本院同位素处的要求,我们测量了一模拟裂变中子源的能谱,其源强约10~4n/s,靶成份为天然Li 24.16%,F66.14%,B 9.4%,     

Kawaihiko and the third-quartile day [traffic management]

The Kawaihiko network, linking the New Zealand universities to the Internet, pioneered traffic measurement as a tool for network management and cost recovery. Its history and its use of the real-time traffic flow measurement architecture to measure its traffic are described. The Kawaihiko members wanted a “measured bandwidth” metric which would be a good indicator of the bandwidth required to carry each site's traffic. Kawaihiko developed such a metric-the third-quartile day-based on a daily usage profile or third-quartile profile. The 3QP and 3QD are described in detail, and illustrated with typical plots from several of the Kawaihiko sites. The Kawaihiko members found 3QD to be an effective bandwidth measure, and 3QP a useful traffic management tool     

No interactive effects of naltrexone and benzodiazepines on pain during phobic fear

Animal research has shown that anxiety may inhibit pain through the release of endogenous opioids. On the other hand, anxiety is often believed to exacerbate pain in clinical situations, and anxiety reduction has been shown to attenuate the affective component of pain. In the present study phobic anxiety was induced by confronting forty-eight spider phobic subjects with a spider, after which they received two mildly painful electrical stimuli at two different current levels. The benzodiazepine alprazolam (1 mg) was administered to investigate the influence on pain of a reduction in anxiety, while the role of endogenous opioids was studied by administering the opioid antagonist naltrexone (50 mg). Alprazolam resulted in lower anxiety and pain ratings during pain stimulation, supporting the idea that (presumably pain-related) anxiety may increase the experience of pain. Naltrexone did not influence pain and anxiety ratings, nor was there a significant interaction between the two pharmacological manipulations. These findings confirm previous evidence that phobic fear does not necessarily induce an endogenous opioid-mediated analgesia.     

Detailed active site configuration of a new crystal form of methanol dehydrogenase from Methylophilus W3A1 at 1.9 A resolution

The three-dimensional structure of a new crystal form of methanol dehydrogenase from Methylophilus W3A1 has been obtained in the presence of substrate using data recorded at a synchrotron. The structure of this approximately 140 kDa heterotetramer, refined at 1. 9 A resolution, reveals the detailed configuration of its redox cofactor, pyrroloquinoline quinone (PQQ). C4, one of the oxygen-bearing atoms of this orthoquinone is in a planar configuration while C5, which bears the other quinone oxygen, is tetrahedral, suggesting that the PQQ is in the semiquinone redox state. The substrate binding site has been identified close to PQQ and to the side chain of Asp297, the putative active site base. The proximity of the hydroxyl of methanol to C5 of PQQ compared to the greater separation of the substrate methyl group from C5 supports the addition-elimination reaction mechanism involving a hemiketal intermediate.