Improving the testability of switched-capacitor filters

A design-for-test methodology for SC filters is presented, based on an architecture using some additional circuitry and providing extra capabilities for both off- and on-line tests. The approach uses a comparison (voting) mechanism to indicate whether or not two copies of a filter element (a biquad, for instance) have a similar response during their actual operation. The design and implementation of a few filter examples are included to assess the potential usefulness of this new approach.     

Transient trimethylaminuria in childhood

Trimethylaminuria, also called fish-odour syndrome, is an inherited disorder caused by deficient N-oxidation and increased excretion of trimethylamine. This study reports on two unrelated and otherwise healthy children with transient trimethylaminuria, a hitherto unknown abnormality, without N-oxidation deficiency. This demonstrates that a diagnosis of fish-odour syndrome should include the analysis of urinary excretion not only of trimethylamine but also of trimethylamine-N-oxide. Since transient trimethylaminuria may be a common condition and no cause for it can presently be recognized, such patients will require careful follow-up.     

Improvement of power supply EMC by chaos

The authors demonstrate the feasibility of using chaos to depress the spectral peaks of the interference from a switched mode power supply. A boost converter is used to show experimentally that the spectrum of the input current is spread, its peaks are reduced and EMC is improved, compared to the case when the circuit is operating periodically     

Effect of neutron radiation on the structure and properties of uranium monosilicide

A. A. Bochvar All-Union Scientific-Research Institute of Standardization in Machine Engineering. Moscow Engineering Physics Institute. Translated from Atomnaya énergiya, Vol. 77, No. 2, pp. 123–129, August, 1994.     

The VLISP verified PreScheme compiler

This paper describes a verified compiler for PreScheme, the implementation language for thevlisp run-time system. The compiler and proof were divided into three parts: A transformational front end that translates source text into a core language, a syntax-directed compiler that translates the core language into a combinator-based tree-manipulation language, and a linearizer that translates combinator code into code for an abstract stored-program machine with linear memory for both data and code. This factorization enabled different proof techniques to be used for the different phases of the compiler, and also allowed the generation of good code. Finally, the whole process was made possible by carefully defining the semantics ofvlisp PreScheme rather than just adopting Scheme's. We believe that the architecture of the compiler and its correctness proof can easily be applied to compilers for languages other than PreScheme.This work was supported by Rome Laboratory of the United States Air Force, contract No. F19628-89-C-0001, through the MITRE Corporation, and by NSF and DARPA under NSF grants CCR-9002253 and CCR-9014603. Author's current address: Department of Computer Science and Engineering, Oregon Graduate Institute, P.O. Box 91000, Portland, OR 97291-1000.The work reported here was supported by Rome Laboratory of the United States Air Force, contract No. F19628-89-C-0001. Preparation of this paper was generously supported by The MITRE Corporation.This work was supported by Rome Laboratory of the United States Air Force, contract No. F19628-89-C-0001, through the MITRE Corporation, and by NSF and DARPA under NSF grants CCR-9002253 and CCR-9014603.     

MOSFET modeling for circuit simulation

An overview of MOSFET modeling for circuit simulation is presented. After discussing some of the implications of analog and low-power applications, the history of the MOS models commonly used in SPICE-like circuit simulators is presented, followed by a discussion of the evolution of strategies for modeling the geometry dependence of MOSFET characteristics. The growth of complexity and requirements for future MOS models are also considered     

Effect of cisplatin and c-myb antisense phosphorothioate oligodeoxynucleotides combination on a human colon carcinoma cell line in vitro and in vivo

We investigated the effect of c-myb antisense phosphorothioate oligodeoxynucleotides [(S)ODNs] and cisplatin (CDDP) combination on the human colon carcinoma cell line LoVo Dx both in vitro and in nude mice bearing LoVo Dx solid tumour. We show that antisense (S)ODN treatment decreases c-myb mRNA and protein expression, induces growth arrest in the G1 phase of the cell cycle, and inhibits cell proliferation. In vivo treatment with c-myb antisense (S)ODNs results in a reduction in tumour growth. A greater inhibition of cell proliferation in vitro and a higher increase of tumour growth inhibition and growth delay in vivo were obtained with the combination of (S)ODNs and CDDP than when the two agents were administered separately. This comparative study, using the same tumour cell line in vitro and in vivo, suggests that c-myb antisense (S)ODNs might be useful in the therapy of colon cancer in combination with antineoplastic drugs.     

温度,压力对漂移室气体增益的影响

研究了温度及气体压力对漂移室（工作于正比区）气体放大倍数的影响，温度和气体压力的变化范围分别是５￣４０℃及９０￣１０５ｋＰａ。用实验数据拟合得到了函数关系并测量了几种饱和度下函数中的参数值。