便携式多功能监护系统设计与实现

本监护系统以MXT89C551为核心,集成五种生理参数测量模块,将用户的生理参数同屏同步显示给用户。采用IVT蓝牙模块将用户的这五种生理参数发送至手机,并通过手机GPRS模块发送至固定网站或医生手机,为用户提供了新的远程医疗救护解决方案。     

κ-阿片受体与β1-肾上腺素受体交互作用抑制异丙肾上腺素诱导的心肌肥大

目的: 观察选择性 kappa 阿片受体(kappa opi-oid receptor,κ-OR)与 β 肾上腺素受体(β adrenergicreceptor, β-AR)在心肌细胞肥大方面的交互作用。方法: 以 体 外 培 养 的 乳 鼠 心 肌 细 胞 为 模 型, 10 μmol°L^-1 的异丙肾上腺素(β肾上腺素受体激动剂,β-AR)诱导心肌肥大, 观察 1μmol°L^-1的 U50,488H(κ-OR激动剂,U50)对其作用。进一步探索在100 nmol°L^-1ICI118, 551(β₂ -AR 阻断剂)存在情况下,κ-OR的激活对心肌肥大的作用。用 Lowry's 法测心肌细胞的蛋白质含量;用消化分离法,并利用计算机图象分析系统测心肌 细胞的体积;用[³H]leucine 掺入法测定心肌细胞蛋白的合成。结果: 异丙肾上腺素使心肌细胞总蛋白含量、体积、蛋白合成明显增加;1 μmol°L^-1 的 U50, 488H 使 ISO 诱导的心肌细胞总蛋白含量、体积、蛋白合成减少, 这种作用可被选择性 κ-OR阻断剂-nor-BNI(norbinaltorphimine)抑制。在 ICI118, 551 存在的情况下, U50 也能起到减弱 ISO 诱导心肌细胞肥大的作用。结论: U50,488H 通过激活 κ-OR 与β₁ -AR 交互作用抑制 ISO 所诱导的心肌细胞肥大。     

A functional programming approach to the specification and verification of concurrent systems

Networks of communicating processes can be viewed as networks of stream transformers and programmed in a lazy functional language. Thus the correctness of concurrent systems can be reduced to the correctness of functional programs. In this paper such correctness is proved formally in the551v6/xxlarge956.gif" alt="mgr" align="MIDDLE" BORDER="0">-calculus extended with recursion equations for functional programs. The551v6/xxlarge956.gif" alt="mgr" align="MIDDLE" BORDER="0">-calculus is chosen since it allows the definition of properties by least fixed points (induction) as well as by greatest fixed points (coinduction), and since greatest fixed points are useful for formalising properties, such as fairness, of infinitely proceeding programs. Moreover, non-deterministic processes are represented as incompletely specified deterministic processes, that is, as properties of stream transformers. This method is illustrated by proving the correctness of the alternating bit protocol.     

6kV电动机SEL微机保护设计

叙述了用微机型SEL-551继电器做电动机保护的组成、控制原理、逻辑整定、软件框图及优点.     

AHRI冷水机组认证简析

为了方便广大冷水机组厂商全面地了解AHRI冷水机组认证的相关情况,本文对AHRI冷水机组认证的范围、参照标准AHRI 550/590和AHRI 551/591及标准的更新内容、认证模式等方面分别作了介绍。     

On generalised asymmetric stochastic volatility models

Stochastic volatility (SV) models have been considered as a real alternative to time-varying volatility of the ARCH family. Existing asymmetric SV (ASV) models treat volatility asymmetry via the leverage effect hypothesis. Generalised ASV models that take account of both volatility asymmetry and normality violation expressed simultaneously by skewness and excess kurtosis are introduced. The new generalised ASV models are estimated using the Bayesian Markov Chain Monte Carlo approach for parametric and log-volatility estimation. By using simulated and real financial data series, the new models are compared to existing SV models for their statistical properties, and for their estimation performance in within and out-of-sample periods. Results show that there is much to gain from the introduction of the generalised ASV models.     

Identification of Nanoscale Ingredients in Commercial Food Products and their Induction of Mitochondrially Mediated Cytotoxic Effects on Human Mesenchymal Stem Cells

Titanium dioxide (E171) and silicon dioxide (E551) are common additives found in food products, personal‐care products, and many other consumer products used in daily life. Recent studies have reported that these food additives (manufactured E171 and E551) contain nanosized particles of less than 100 nm. However, the particle size distribution and morphology of added TiO₂ and SiO₂ particles are not typically stated on the package label. Furthermore, there is an increasing debate regarding health and safety concerns related to the use of synthetic food additives containing nanosized ingredients in consumer products. In this study, we identified the size and morphology of TiO₂ and SiO₂ particles in commercially available food products by using transmission electron microscope (TEM). In addition, the in vitro toxicological effects of E171 and E551 on human mesenchymal stem cells (hMSCs), an adult stem cell‐based model, were assessed using the MTT assay and a flow cytometry‐based JC‐1 assay. Our TEM results confirmed the presence of nanoscale ingredients in food products, and the in vitro toxicology results indicated that the nanoscale E171 and E551 ingredients induced dose‐dependent cytotoxicity, changes in cellular morphology, and the loss of mitochondrial trans‐membrane potential in hMSCs. These preliminary results clearly demonstrated that the nanoscale E171 and E551 particles had adverse effects on hMSCs by inducing oxidative stress‐mediated cell death. Accordingly, further studies are needed to identify the specific pathway involved, with an emphasis on differential gene expression in hMSCs.     

利用MAX551实现程控谱仪放大器

介绍了一种利用D／A转换器MAX551实现程控放大器的方法，该法已成功地应用于X射线荧光谱仪放大器中。     

Electrochemical study of the intermolecular electron transfer to Pseudomonas aeruginosa cytochrome cd1 nitrite reductase

The kinetics of electron transfer reaction between cytochrome cd₁ nitrite reductase (NiR) from Pseudomonas aeruginosa and various physiological/non physiological redox partners was investigated using cyclic voltammetry at the pyrolytic graphite electrode. While NiR did not exchange electron with the electrode, cytochrome c₅₅₁ and azurin, both from Ps. aeruginosa, behaved as fast electrochemical systems. The intermolecular electron transfers between NiR and cytochrome c₅₅₁ or azurin as electron shuttles, in the presence of nitrite, were studied. Second order rate constants of 2×10⁶ and 1.4×10⁵ M⁻¹ s⁻¹ are calculated for cytochrome c₅₅₁ and azurin, respectively. The dependence of the second-order rate constant on ionic strength and pH is discussed. Finally, the effect of the global charge of the electron shuttles was explored using differently charged species (proteins or small ions). The experimental results suggest involvement of polar interactions as well as of hydrophobic contacts in the protein recognition prior to the intermolecular electron transfer. As the cross-reaction between Ps. nautica cytochrome c₅₅₂ and Ps. aeruginosa NiR was shown to be as efficient as the catalytic reaction involving the physiological partners, it is concluded to a ‘pseudo-specificity’ in the recognition between NiR and the electron donor.     

Reduced-order filtering for singular systems

This paper solves the problem of reduced-order H_∞ filtering for singular systems. The purpose is to design linear filters with a specified order lower than the given system such that the filtering error dynamic system is regular, impulse-free (or causal), stable, and satisfies a prescribed H_∞ performance level. One major contribution of the present work is that necessary and sufficient conditions for the solvability of this problem are obtained for both continuous and discrete singular systems. These conditions are characterized in terms of linear matrix inequalities (LMIs) and a coupling non-convex rank constraint. Moreover, an explicit parametrization of all desired reduced-order filters is presented when these inequalities are feasible. In particular, when a static or zeroth-order H_∞ filter is desired, it is shown that the H_∞ filtering problem reduces to a convex LMI problem. All these results are expressed in terms of the original system matrices without decomposition, which makes the design procedure simple and directly. Last but not least, the results have generalized previous works on H_∞ filtering for state-space systems. An illustrative example is given to demonstrate the effectiveness of the proposed approach.