基于一次性密码的数据安全认证机制

身份认证是实现应用级数据安全的一个重要技术手段,传统的认证机制采用静态密码,网络窃听、木马程序、截取/重放、钓鱼网站等各种手段都可以破解这种认证方式.一次性密码引入不确定因子,采取多因素产生方式,每次认证都使用不同的密码,大大降低了密码被破解的风险,加强了系统的安全性.本文介绍了一次性密码的原理、运行机制、认证过程和一个基于SHA2哈希加密的OTP产生算法.     

合成孔径雷达1553B通信接口设计与实现

介绍某型号合成孔径雷达系统的1553B总线通信接口设计方案与工程实现;方案采用国内自主研发的4M/s速率1553B总线接口芯片,PC/104工控机与FPGA结合,通过硬件系统设计和软件编程,实现对1553B总线数据收发和雷达部分辅助数据的提供,实现项目总体对1553B总线通信接口的要求。实际应用情况表明,该通信接口运行稳定、可靠,具有一定的实用性和良好的应用前景。     

Robust DOA estimation and target docking for mobile robots

Direction of arrival (DOA) guided automated target acquisition and docking system is proposed for mobile robots employing the dual-directional antenna system. The dual-directional antenna estimates the DOA of the signal of interest using the ratio of the signal strengths between two adjacent antennas. In practice, DOA estimation poses a significant technical challenge, since the RF signal is easily distorted by the environmental conditions. Therefore, the robot often loses its way in an electromagnetically disturbed environment. To cope with this problem, a robust DOA estimation algorithm is developed based on Kalman filtering. This algorithm allows the robot to reduce the potential error in the estimated DOA, and adjust the robot’s heading to the target transponder without needing to know the positions of current and previous measurements in a global coordinate system. The simulation and experiment results clearly demonstrate that the mobile robot equipped with the developed system is able to dock to a target transponder in an indoor environment partially occupied by obstacles.     

Iron(II)/reductant(DH2)-induced activation of dioxygen for the hydroxylation and ketonization of hydrocarbons; mimics for the cytochrome P-450 hydroxylase/reductase system

Several metal complexes [(FeII(DPAH)2 (DPAH2 = 2,6-dicarboxyl pyridine), FeII(PA)2 (PAH = picolinic acid), FeII(bpy)2(2+), FeII(OPPh3)4(2+), (Cl8TPP)FeIIIX (X = Cl, OH, SCH2Ph) [Cl8TPP = tetrakis (2,6-dichlorophenyl)porphyrin], (TPP) FeIIICl (TPP = tetraphenylporphyrin), and CuI(tpy)2+ (typ = 2,2'-6,2"-terpyridine)] in combination with one of several reductants [DH2; PhNHNHPh (mimic of dihydroflavin), PhNHNH2, ascorbic acid (H2asc), and PhCH2SH (model ligand for cysteine residue)] catalytically activate O2 (1 atm) for the hydroxylation of saturated hydrocarbons (e.g. c-C6H12-->c-C6H11OH). This chemistry closely parallels that of cytochrome P-450 proteins, and both appear to involve a Fenton-like reactive intermediate), [LxFeOOH(DH)]. With cyclohexane as the substrate the dominant product is its ketone (as well as significant amounts of its hydroperoxide). 1,4-Cyclohexadiene (with two double-allylic carbon centers) undergoes dehydrogenation to give benzene, but also yields substantial amounts of phenol via ketonization of an allylic carbon. The 1:1 FeII(bpy)2(2+)/(PhNHNH2 or H2asc), FeII(PA)2/H2asc, and (Cl8TPP)FeIIICl/PhNHNH2 combinations initiate the autoxidation of 1,4-cyclohexadiene with turnover numbers (moles of product per mole of reductant) from 71 to 26, respectively (alpha-tocophenol reduces the turnover numbers by 20-80%). With respect to aerobic biology, the present results indicate that dysfunctional transition metals (degradation products of metalloproteins) in combination with biological reductants activate O2 for reaction with organic substrates. The level of activation is similar to that for Fenton reagents and cytochrome P-450 hydroxylases. Hence, dysfunctional transition metals, reductants, and O2 are a hazardous combination within a biological matrix.     

雪崩光电探测器的击穿效应模型分析

基于CMOS工艺制备了空穴触发的Si基雪崩探测器(APD),基于不同工作温度下器件的击穿特性,建立空穴触发的雪崩器件的击穿效应模型。根据雪崩击穿模型和击穿电压测试结果,拟合曲线得到击穿电场与温度的关系参数(dE/dT),器件在250～320 K区间内,击穿电压与温度是正温度系数,器件发生雪崩击穿为主,dV/dT=23.3 mV/K,其值是由倍增区宽度以及载流子碰撞电离系数决定的。在50～140 K工作温度下,击穿电压是负温度系数,器件发生隧道击穿,dV/dT=-58.2 mV/K,其值主要受雪崩区电场的空间延伸和峰值电场两方面因素的影响。     

COMPSPEN:对形状性质与数据约束进行融合推理的分离逻辑求解器

分离逻辑是经典霍尔逻辑的针对操作指针和动态数据结构的扩展,已经广泛用于对基础软件(比如操作系统内核等)的分析与验证.分离逻辑约束自动求解是提升对操作指针和动态数据结构的程序的验证的自动化程度的重要手段.针对动态数据结构的验证一般同时涉及形状性质(比如单链表、双链表、树等)和数据性质(比如有序性、数据不变性等).主要介绍能对动态数据结构的形状性质与数据约束进行融合推理的分离逻辑求解器COMPSPEN.首先介绍COMPSPEN的理论基础,包括能够同时描述线性动态数据结构的形状性质和数据约束的分离逻辑子集SLID_data、SLID_data的可满足性和蕴涵问题的判定算法.然后,介绍COMPSPEN工具的基本框架.最后,使用COMPSPEN工具进行了实例研究.收集整理了600个测试用例,在这600个测试用例上将COMPSPEN与已有的主流分离逻辑求解器Asterix、S2S、Songbird、SPEN进行了比较.实验结果表明COMPSPEN是唯一能够求解含有集合数据约束的分离逻辑求解器,而且总体来讲,能对线性数据结构上的同时含有形状性质和线性算术数据约...     

多泥沙电站高水头低出力水轮机水力设计策略

在多泥沙河流运行的水轮机,经常受到严重的泥沙磨损危害,机组的检修周期及运行寿命普遍较低。特别是对于高水头低出力要求的水轮机,机组磨损情况往往更为严重。为提高机组的抗磨损性能,水力设计阶段需专门考虑降低流道流速进而提高抗磨损性能的方法。本文以木扎提河三级水电站小水轮机的设计为例,综合考虑易磨损部位的相对流速及机组水力性能,确定了适用于高水头小流量多泥沙电站的水轮机水力设计策略。研究表明常规降低转速的方法对转轮及导叶出口流速、密封间隙内流动均有显著影响,转速降低的程度应通过流场对比分析合理确定。在高水头电站导叶尾部磨损更为严重,通过采取增大分度圆、优化导叶翼型及相对位置等可有效降低导叶后相对流速。采用长短叶片转轮,可大大降低转轮内部流速,提高在高含沙条件下机组的抗磨损性能,提升水轮机的运行稳定性及安全使用寿命。本文的研究可为多泥沙电站的水轮机设计策略提供有效参考。     

Simultaneous Imaging of Endogenous Survivin mRNA and On‐Demand Drug Release in Live Cells by Using a Mesoporous Silica Nanoquencher

The design of multifunctional drug delivery systems capable of simultaneous target detection, imaging, and therapeutics in live mammalian cells is critical for biomedical research. In this study, by using mesoporous silica nanoparticles (MSNs) chemically modified with a small‐molecule dark quencher, followed by sequential drug encapsulation, MSN capping with a dye‐labeled antisense oligonucleotide, and bioorthogonal surface modification with cell‐penetrating poly(disulfide)s, the authors have successfully developed the first mesoporous silica nanoquencher (qMSN), characterized by high drug‐loading and endocytosis‐independent cell uptake, which is able to quantitatively image endogenous survivin mRNA and release the loaded drug in a manner that depends on the survivin expression level in tumor cells. The authors further show that this novel drug delivery system may be used to minimize potential cytotoxicity encountered by many existing small‐molecule drugs in cancer therapy.     

The Genetic Heterogeneity among Different Mouse Strains Impacts the Lung Injury Potential of Multiwalled Carbon Nanotubes

Genetic variation constitutes an important variable impacting the susceptibility to inhalable toxic substances and air pollutants, as reflected by epidemiological studies in humans and differences among animal strains. While multiwalled carbon nanotubes (MWCNTs) are capable of causing lung fibrosis in rodents, it is unclear to what extent the genetic variation in different mouse strains influence the outcome. Four inbred mouse strains, including C57Bl/6, Balb/c, NOD/ShiLtJ, and A/J, to test the pro‐fibrogenic effects of a library of MWCNTs in vitro and in vivo are chosen. Ex vivo analysis of IL‐1β production in bone marrow‐derived macrophages (BMDMs) as molecular initiating event (MIE) is performed. The order of cytokine production (Balb/c > A/J > C57Bl/6 > NOD/ShiLtJ) in BMDMs is also duplicated during assessment of IL‐1β production in the bronchoalveolar lavage fluid of the same mouse strains 40 h after oropharyngeal instillation of a representative MWCNT. Animal test after 21 d also confirms a similar hierarchy in TGF‐β1 production and collagen deposition in the lung. Statistical analysis confirms a correlation between IL‐1β production in BMDM and the lung fibrosis. All considered, these data demonstrate that genetic background indeed plays a major role in determining the pro‐fibrogenic response to MWCNTs in the lung.