添加尖晶石对氧化锌压敏电阻性能的影响

通过添加尖晶石（Ｚｎ７Ｓｂ２Ｏ（１２））改性研制出电位梯度为１００Ｖ／ｍｍ左右，压敏电压在８２～１５０Ｖ，通流容量可达１６００Ａ／ｃｍ２，漏电流＜２μＡ系列压敏电阻器，从而满足了国内电话交换机行业对８２Ｖ、１００Ｖ、１２０Ｖ、１５０Ｖ压敏电阻器的电性能要求。从工艺的角度解释了尖晶石对氧化锌瓷晶粒的作用原理，并分析了尖晶石的微观结构及粒度对瓷片电性能的影响。     

Stratified institutions and elementary homomorphisms

For conventional logic institutions, when one extends the sentences to contain open sentences, their satisfaction is then parameterized. For instance, in the first-order logic, the satisfaction is parameterized by the valuation of unbound variables, while in modal logics it is further by possible worlds. This paper proposes a uniform treatment of such parameterization of the satisfaction relation within the abstract setting of logics as institutions, by defining the new notion of stratified institutions. In this new framework, the notion of elementary model homomorphisms is defined independently of an internal stratification or elementary diagrams. At this level of abstraction, a general Tarski style study of connectives is developed. This is an abstract unified approach to the usual Boolean connectives, to quantifiers, and to modal connectives. A general theorem subsuming Tarski's elementary chain theorem is then proved for stratified institutions with this new notion of connectives.     

通过对一个旧战例的回顾看构筑物倒塌的抢险救援

通过北京火车站站前广告牌倒塌的抢险救援,阐述了构筑倒塌抢险救援的程序、方法及注意的问题。     

Biological vulnerability to alcoholism.

This article reviews the role of biological factors in the risk for alcoholism. The discussion notes the importance of the definition of primary alcoholism and highlights data indicating that this disorder is genetically influenced. The major emphasis is on studies of men at high risk for the future development of alcoholism. The most promising trait markers of a biological vulnerability to alcoholism include a decreased intensity of reaction to modest ethanol doses for sons of alcoholics compared with control subjects, a decreased amplitude of certain brain waves of the event-related potential, and a different pattern of background cortical electroencephalograms for young men at high risk for future alcoholism. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

LD泵浦的Nd∶YAG腔内倍频激光器及其模式

用KTP晶体研制成LD泵浦的YAG腔内倍频激光器,得到0.532μm连续绿色线偏振激光输出,阈值泵浦功率为41mW,输出功率为1.4mW,斜效率为1.7％。研究了泵浦光对倍频激光横模的影响。     

A fast block Hankel solver based on an inversion formula for block Loewner matrices

We propose a newO(p ³ n ²) algorithm for solving complexnp×np linear systems that have block Hankel structure, where the blocks are square matrices of sizep×p. Via FFTs the block Hankel system is transformed into a block Loewner system. An inversion formula enables us to calculate the inverse of the block Loewner matrix explicitely. The parameters that occur in this inversion formula are calculated by solving two rational interpolation problems on the unit circle. We have implemented our algorithm in Fortran 90. Numerical examples are included.     

Energy-Efficient Thermal-Aware Autonomic Management of Virtualized HPC Cloud Infrastructure

Virtualized datacenters and clouds are being increasingly considered for traditional High-Performance Computing (HPC) workloads that have typically targeted Grids and conventional HPC platforms. However, maximizing energy efficiency and utilization of datacenter resources, and minimizing undesired thermal behavior while ensuring application performance and other Quality of Service (QoS) guarantees for HPC applications requires careful consideration of important and extremely challenging tradeoffs. Virtual Machine (VM) migration is one of the most common techniques used to alleviate thermal anomalies (i.e., hotspots) in cloud datacenter servers as it reduces load and, hence, the server utilization. In this article, the benefits of using other techniques such as voltage scaling and pinning (traditionally used for reducing energy consumption) for thermal management over VM migrations are studied in detail. As no single technique is the most efficient to meet temperature/performance optimization goals in all situations, an autonomic approach that performs energy-efficient thermal management while ensuring the QoS delivered to the users is proposed. To address the problem of VM allocation that arises during VM migrations, an innovative application-centric energy-aware strategy for Virtual Machine (VM) allocation is proposed. The proposed strategy ensures high resource utilization and energy efficiency through VM consolidation while satisfying application QoS by exploiting knowledge obtained through application profiling along multiple dimensions (CPU, memory, and network bandwidth utilization). To support our arguments, we present the results obtained from an experimental evaluation on real hardware using HPC workloads under different scenarios.     

Modeling of submicrometer gate GaAs field effect transistors

Before describing the mainFet modelings today available, the main technological evolutions ofMesfet andTegfet are summarized. It is brought some information on the various physical effects that occur in the devices and that must be taken into account in the models. It is shown that the different kinds of modelings (Monte Carlo, two dimensional, one dimensional) constitute a continuous chain, where the different elements appear strictly complementary. Finally, the present situation concerning modeling ofMesfet andTegfet will be presented.     

浅议计算机信息安全所面临的威胁以及防范技术

伴随计算机互联网技术的普及和发展,人们在网络中得到便利的同时,也因为网络的自由和开放给我们的信息安全代理一定的威胁。本文针对网络信息安全的几个方面出发,结合现在网络信息安全的实际状况以及将来的发展趋势,有针对性的提出了信息安全所面临的威胁以及针对此威胁的一些防范措施。     

The Multifunctional Sactipeptide Ruminococcin C1 Displays Potent Antibacterial Activity In Vivo as Well as Other Beneficial Properties for Human Health

The world is on the verge of a major antibiotic crisis as the emergence of resistant bacteria is increasing, and very few novel molecules have been discovered since the 1960s. In this context, scientists have been exploring alternatives to conventional antibiotics, such as ribosomally synthesized and post-translationally modified peptides (RiPPs). Interestingly, the highly potent in vitro antibacterial activity and safety of ruminococcin C1, a recently discovered RiPP belonging to the sactipeptide subclass, has been demonstrated. The present results show that ruminococcin C1 is efficient at curing infection and at protecting challenged mice from Clostridium perfringens with a lower dose than the conventional antibiotic vancomycin. Moreover, antimicrobial peptide (AMP) is also effective against this pathogen in the complex microbial community of the gut environment, with a selective impact on a few bacterial genera, while maintaining a global homeostasis of the microbiome. In addition, ruminococcin C1 exhibits other biological activities that could be beneficial for human health, as well as other fields of applications. Overall, this study, by using an in vivo infection approach, confirms the antimicrobial clinical potential and highlights the multiple functional properties of ruminococcin C1, thus extending its therapeutic interest.