Scan test in 18x8 bits Booth Coding-Wallace Tree multiplier

Scan test can be inserted around hard IP cores that have not been designed with DFT approaches. An 18x18 bits Booth Coding-Wallace Tree multiplier has been designed with full custom approach with 0.61 m CMOS technology. When we reuse the multiplier in another chip, scan chain has been inserted around it to increase the fault coverage. After scan insertion, the multiplier needs 4.7% more areas and 24.4% more delay time, while the fault coverage reaches to 95%.

Intelligent control of avalanched photodiode to get optimal state

To improve the sensitivity of our laser radar system, we provided a set of control method for APDs (Avalanched Photodiodes) based on single-chip computer together with the circuits dealing with noise and temperature. It adjusts the voltages intelligently and maintains the APD's optimal working status.

Native oxided AlAs current blocking layer for AIGaInP high brightness light emitting diodes

Native Oxide AlAs layer were employed to block the current injection from the tup anode. The luminous intensity exceeded 75 mcd of the LED chip with native oxide AlAs layer sandwiched 5 mu m AlGaAs current spreading layer under 20 mA current injection. Electrical and optical properties the LED chip and plastically sealed lamp were measured. Aging of the LED chip and lamp were performed under 70 degrees C and room temperature, Experiment results shown that there is no apparent effect of the native oxided AlAs layer and the process on the reliability of the LED devices.

Multiple quantum well self electro-optic effect devices for optoelectronic smart pixels

The investigations on GaAs/AlGaAs multiple quantum well self electro-optic effect device (SEED) arrays for optoelectronic smart pixels are reported. The hybrid integration of GaAs/AlGaAs multiple quantum well devices flip-chip bonding directly over 1 mu m silicon CMOS circuits are demonstrated. The GaAs/AlGaAs multiple quantum well devices are designed for 850nm operation. The measurement results under applied biases show the good optoelectronic characteristics of elements in SEED arrays. The 4x4 optoelectronic crossbar structure consisting of hybrid CMOS-SEED smart pixels have been designed, which could be potentially used in optical interconnects for multiple processors.

可信平台模块的形式化分析和测试

可信平台模块(Trusted Platform Module,TPM)是可信计算平台的核心和基础,可信平台模块的功能测试和验证是保证可信平台模块的实现正确性以及规范一致性的重要手段,但是目前尚不存在一种有效严格的可信平台模块测试和功能验证方法,同时可信计算组织给出的TPM规范是描述性的,不利于产品的开发和测试.文中在分析可信平台模块目前存在的一些问题的基础上,以TPM密码子系统为例给出了该子系统的形式化规格说明,并且基于该规格说明,给出了扩展有限状态机模型,最后,将该有限状态机模型应用于测试用例的自动生成,并通过实验验证了形式化测试的有效性.

可信虚拟平台安全机制研究

本文主要研究可信虚拟平台上远程证明安全机制的模型和特殊问题，为此我们首先从普通可信计算平台远程证明出发，从证明粒度上扩展和改进了属性远程证明方法，确立了远程证明设计和实现的基本安全要求；然后根据可信虚拟平台上TPM的应用体系结构，提出兼顾动态信任根DRTM和虚拟机并发使用的TPM实用模型，为可信虚拟平台远程证明建立基础；紧接着讨论了虚拟机配置改变导致原有远程证明失效的问题，给出了可信虚拟平台更新证明方法；最后从远程证明实际应用需求出发，考虑可信虚拟平台复杂的动态性和并发性，给出了完整的可信虚拟平台并发远程证明模型和设计原则，提出了多虚拟机、多应用程序并发远程证明方法。 本文丰富了可信计算特色功能远程证明安全机制的研究内容，一方面完善了基于属性的远程证明方法，另一方面扩大远程证明的平台类型，拓展了远程证明的研究内容。分析了现有远程证明问题，结合可信虚拟平台自身特色，解决可信虚拟平台上远程证明动态性、并发性等特殊问题。在远程证明动态性方面采用配置杂凑树的方法表示出配置更新增量，提高了更新证明的效率；在远程证明并发性方面采用证明凭证链的方法实现多实例并发证明，据我们所知，对远程证明的并发性方面的讨论和研究尚属首次。本文提出了可信虚拟平台动态并发远程证明安全模型，并总结远程证明八项设计原则：真实性、动态性、一致性、并发性、隐私性、属性可撤销、抗伪装和重放攻击，对于设计实用的远程证明应用具有一定的指导价值。 本文侧重于可信虚拟平台远程证明的实用性研究，没有过多的关注于具体的证明类型和证明协议，从全新的角度来研究远程证明的动态性和并发性问题，扩大了远程证明研究的外延，对于后续相关研究具有一定的启发意义。

液滴在超疏水表面上的电场启动以及碰撞的实验研究

液滴操纵和控制是实现微全分析系统(μTAS)和芯片上的实验室(lab-on-a-chip)功能的基础,基于液滴操控的显示及微透镜已经成功应用。目前电润湿启动液滴方法简单、响应时间快,引起越来越多的关注。另一方面超疏水表面上的液滴具有低摩擦、低粘附的特性,借由这种原理制作的微流器件可以实现微量液体传输。为了更好的利用超疏水表面的特性,就需要研究液滴运动规律,以及表面特性的影响。

何首乌炮制前后生物活性和化学成分的变化研究

何首乌为常用中药，由何首乌及含何首乌的中成药制剂所引起的不良反应也时见报道，科学阐明不良反应的物质基础并提出解决方案对何首乌的使用十分重要。本论文研究了何首乌炮制前后KM小鼠肝脏毒性基因表达谱、生物活性及化学成分的变化。所获结果支持何首乌炮制的目的是减毒、改性（改变药效），何首乌生、熟异治的观点。制首乌对抑郁症的效果显著优于生首乌，这与本草所记载的何首乌炮制后补肝肾、益精血，归肝、肾经一致。 主要结果如下： 1、 生、制首乌的毒理基因芯片研究结果 何首乌的不良反应主要表现在肝损害方面。本研究建立了生何首乌和制何首乌不同剂量的肝毒性作用模型，体重指标统计发现生何首乌各剂量组平均体重显著下降，中剂量组（10 g/kg.d）体重下降20 %，高剂量组（20 g/kg.d）体重下降42%，50%动物死亡，提示动物机体能量代谢障碍；基因芯片研究结果表明何首乌是CYP450的抑制剂，生何首乌相对于制何首乌CYP3A4、CYP4A5显著下调，导致毒性成分在体内的吸收增加，服用大剂量的生何首乌后产生明显的肝毒性；主要对以下六条Pathway产生影响：①PPAR signaling pathway，主要毒性靶基因有RXRB CYP7a1、Acadl、Apoa2、Cyp4a、 FABP2 、MAPKKK5等基因。②Calcium signaling pathway，主要毒性靶基因有CAMK2B、CACNA1F、S100A1、 F2R、Ryr1、Slc8a2、Camk4 ③Neuroactive ligand-receptor interaction，主要毒性靶基因有Chrm4、 Ntsr2 、 GABRR1、 GRIK3、F2R等基因。④Wnt signaling pathway，主要毒性靶基因有Daam2、Rac1 等基因。⑤Complement and coagulation cascades，主要毒性靶基因有F2R、Serpina1b、Cfi 、FGA等基因。⑥Oxidative hosphorylation，主要毒性靶基因有Atp5e、NDUFA1等基因。生何首乌毒性明显强于制首乌，且生何首乌水煎液的毒性大于生何乌首丙酮提取物的毒性，这一结果表明，何首乌主要的毒性成分很可能并不仅仅是传统所认为的以大黄素为代表的蒽醌类化合物，而是何首乌中大量存在的有效组分二苯乙烯苷与大黄素相互作用的结果，这一研究结果与前述的何首乌对肝药酶的影响是一致的。后续生、制首乌的化学成分差异研究表明，炮制后二苯乙烯苷含量明显降低：生首乌为5.512 %、清蒸制首乌为3.811 %、豆制首乌为3.538 %,大黄素的含量炮制后显著升高,生首乌为0.094 %、清蒸制首乌为0.119 %、豆制首乌为0.126 %。 2 生、制首乌药效差异研究结果 本文采用慢性中等强度不可预知应激刺激模型(chronic unpredictable mild stress, CUMS)和动物行为绝望实验法，研究生、制首乌抗抑郁活性的差异，制首乌（5 g/kg.d）与模型组相比有显著差异（P< 0.01），生首乌制首乌（5g/kg.d）与模型组相比无显著差异，这一结果表明制首乌抗抑郁活性显著优于生首乌。 本文比较了生、制首乌对四氧嘧啶糖尿病模型小鼠血糖的影响的差异，生首乌（5 g/kg.d）与模型组相比有显著差异（P< 0.01），制首乌（5 g/kg.d）与模型组相比无显著差异，这一结果表明生首乌降糖活性优于制首乌。这一结果与历代中医古书中生首乌治疗消渴症（糖尿病）的记载一致。 3生、制首乌化学成分差异的研究结果 本文选用HPLC-DAD指纹图谱技术结合药效成分含量测定来研究生、制首乌化学成分的差异。炮制后，何首乌中的主要化学成分并未消失，只是其含量发生了改变。炮制后二苯乙烯苷含量明显降低：生首乌为5.512 %、清蒸制首乌为3.811 %、豆制首乌为3.538 %,大黄素的含量炮制后显著升高,生首乌为0.094 %、清蒸制首乌为0.119 %、豆制首乌为0.126 %。 综上所述，炮制前后何首乌中二苯乙烯苷和大黄素含量比的变化可能是何首乌炮制减毒、改性的物质基础。 根据上述结果我们建立了生、制首乌的质量控制新模式。 In recent years, some adverse drug reactions (ADR) about some traditional Chinese medicine were reported at times. As a Chinese medicine most in use, the ADRs of Radix Polygoni multiflori (RPM) and the medicines containing the RPM were also mentioned. The resolution of the problems caused by the ADRs is very important for the use of the RPM as a medicine. The process (or preparation) is a significant feature for the clinical use of the Chinese medicine and an important technology for the safe use and good effect of the Chinese medicine. By processing, the toxicity of the Chinese medicine can be reduced, its properties can be changed and curative effect can be enhanced at the same time. The changes of the gene expression profiles for KM mice hepatotoxic effects, and the change of the biological activity and the chemical composition after being processed of the RPm were studied in the present dissertation. The RPm heatotoxicity mechanism and the toxicity target genes were explained on the gene level for the first time. With the antidepressant activity, and the hypoglycemic effect as the target, the differences on the pharmacodynamics between the processed RPm and unprocessed RPm, for the first time, were investigated. The results obtained show that the antidepressant activity of the processed RPM is far higher than the ones of unprocessed RPm. As we know, the results were reported for the first time. The quality control systems (QCS) for the processed and the unprocessed RPm were founded. The HPLC-DAD was used in the systems founded on the basis of the toxicology and the pharmacodynamics experiments. As we know, the OCSs were reported for the first time. The above-mentioned experimental results confirm that the unique process theory of the traditional Chinese medicine (TCM) used for the process of the Radix Polygoni multiflori (RPm) is correct, i.e after being processed the toxicity of the RPm decreases and its Pharmacodynamic effects change. It is known to author that there have been no similar reports in the literatures up to now. The main experimental results are summarized as follows: 1 The results on the mice toxicology gene chip for the unprocessed and processed RPm The KM mice hepatotoxic model caused by the RPm at the different dosages was established in the present study. The results obtained show that the mouse average body weight obviously decreased in the groups at the different dosages of the unprocessed RPm: the 10 g/kg.d .group decreased 20%; 20 g/kg.d. group decreased 42%, and 50% mice died at 20 g/kg.d. group. The main experimental results on the mice toxicology gene chip The RPm is the CYP450 inhibitor. As compared with the processd RPm, the CYP3A4, CYP4A5 of the unprocessed RPm demonstrate the marked downregulation, which leads to the increase of the poison absorbtion into the body with the result that the unprocessed RPm yields the marked hepatotoxication. The hepatotoxication was produced because the following 6 pathways were affected: ①PPAR signaling pathway, the chief toxicity target genes are RXRB, CYP7a1, Acadl, Apoa2, Cyp4a, FABP2 and MAPKKK5 etc. ②Calcium signaling pathway, the chief toxicity target genes are CAMK2B, CACNA1F, S100A1, F2R, Ryr1,Slc8a2 and Camk4 etc. ③Neuroactive ligand-receptor interaction, the chief toxicity target genes are Chrm4, Ntsr2, GABRR1, GRIK3 and F2R etc. ④Wnt signaling pathway, the chief toxicity target genes are Daam2, Rac1 etc. ⑤Complement and coagulation cascades, the chief toxicity target genes are F2R, Serpina1b, Cfi and FGA etc. ⑥Oxidative phosphorylation, the chief toxicity target genes are Atp5e, NDUFA1 etc. The above experimental results, for the first time , demonstrate on the gene level that the unprocessed Rpm toxicity is far stronger than the processed RPm one, and the toxicity of the water decoction of the unprocessed RPm is greater than the one of its acetone extracts, which shows that the chief toxicity components of the RPm are probably not only the anthraquinones, for example, the emodin, but the complex compounds produced by the interaction between the emondin and the stilbene glucoside which is the largest component of the unprocessed RPm. The result is accordance with the above effect of the RPm on the hepatic drugenzyme. Aftter being processed, in fact, the content of the stibene glucoside in the RPm markedly decreases. 2. The results on the pharmacodynamic differences between the unprocessed and processed RPm The results obtained show that the effects of processing on RPm pharmacodynamic behaviour received in the Chinese Material Medica are correct. It is known to author that this is the first experimental result in the research materials now available. The chief results are as follows: For the treatment of the antidepressant, the curative effect of the processed RPm is far better than the one of the unprocessed RPm. By contrast with the above results, the hypoblycemic effect of the unprocessed RPm is better than the one of the processed RPm. 3. The results on the Chemical Composition The results obtained by using HPLC-DAD fingerprint and by the determination of effective component content show that the main chemical components in the RPm after being processed do not disappear, but their contents change. The contents of the stilbene glucoside (SG) and emodin in the different samples were determined as follows: SG contents 5.512 % for the unprocessed RPm 3.811 % for the processed RPm (Steamed) 3.588 % for the processed RPm (black soybean) Emodin contents 0.094 % for the unprocessed RPm 0.119 % for the processed RPm (Steamed) 0.126 % for the processed RPm (black soybean) The combination of above experimental results on the toxicity, the pharmacodynamics and the chemical composition indicates that the changes of the content ratio of SG/emodin may be the substance base of the toxicity decrease and pharmacodynamic changes of the RPM by the processing.

基于TCP/ IP 协议的CSR离子泵电源远程监控软件系统设计

This paper discuss a Ion-pump Power Supply control system making use of RS232 series bus and Intranet.The system s hardware VAC800 is composed of MSP430F149 mixed-signal processors produced by TI and UA7000A network model.MSP430F149 has advantages of ultra-low-power and high-integration.The Ion-pump Power Supply control system has the characteristics of strong function,simple structure,high reliability,strong resistance of noise,no peripheral chip,etc.Visual studio 2005 is used to design the system s softwa...中文文摘：论述了通过RS-232总线和Intranet网络,来实现对远端的离子泵电源的监测与控制。系统硬件VAC800由TI公司的MSP430F149混合信号处理器和UA7000A网络模块构成。MSP430F149具有超低功耗和高集成度等优点,利用它构建的离子泵电源监控系统功能强大,结构简单,可靠性高,抗干扰能力强。系统软件采用visual studio 2005设计。本监控系统能够很好地完成对加速器离子泵电源监视与控制。

可用于核物理监控系统的microC/OS-Ⅱ片上系统的研究

论述了一种基于FPGA和实时操作系统microC/OS-Ⅱ、适用于核物理数据检测和实验控制的片上可编程系统SOPC(System On a Programmable Chip)的设计,并在altera-stratix-Ⅱ2S60f1020c3芯片内获得实现。该片上可编程系统的硬件处理器和实时操作系统都可根据需求裁剪、重配置。

Highly efficient separation of dsDNA fragments on glass chips by using an ultralow viscosity sieving matrix

A novel protocol has been established to separate dsDNA fragments with high efficiency on glass chips by using an ultralow viscosity sieving matrix with added glucose. Low-molecular-weight hydroxypropylmethylcellulose (HPMC), with a viscosity nearly equivalent to that of water, was used to electrophoretically separate fluorescent inter-calator-labeled double-stranded DNA (dsDNA) fragments on microfluidic glass chips. In comparison with conventional sieving protocols, low-molecular-weight HPMC as sieving matrix could result in reduced running cost and analysis time, in addition to a comparable separation efficiency of dsDNA fragments. In this paper, the addition of glucose was investigated to enhance the separation of DNA in the lowest viscosity polymer evaluated. The effect of staining dye and field strength were also evaluated. At an applied electric field strength of 200 V/cm, satisfactory resolution of the PBR322/HaeIII DNA marker could be achieved within 4 min by using 2% HPMC-5 with 6% glucose added. Coelectrophoresing PCR product along with phiX174/HaeIII DNA sizing marker was also demonstrated by using the ultralow viscosity HPMC-5 solution on a glass chip.

微结构级缓存一致性协议的模型检测

高速缓存一致性协议是弥补多处理机计算机系统中处理机和存储器速度差距的有效方法。随着片上多处理机(Chip Multi-Processor)或多核处理机(Multi-core Processor)结构的出现，一些适合于新的计算机体系结构的缓存一致性协议相继提出，这些协议结合了监听协议和目录协议的优点，同时变得更加复杂。传统的验证方法如仿真和测试方法已经逐渐不能完全满足工业界的要求。如何验证这些更加复杂的协议是面向计算机学术界与工业界的新挑战。 模型检测是一种形式化方法，这种方法为对并发系统的性质自动进行验证开辟了一条新的途径。模型检测已被应用于计算机软硬件、通信协议、控制系统、安全认证协议等方面的分析与验证中，取得了令人瞩目的成功。缓存一致性协议验证则是模型检测方法的最早的工业应用之一。使用模型检测方法验证缓存一致性协议一直是学术界和工业界关注的热点。 目前用于模型检测研究的大多数缓存一致性协议都是在结构级进行描述和验证的，微结构级缓存一致性协议的模型检测相对传统方法能够描述更多的协议细节。加入了处理器，各级缓存和内存之间的消息类型，消息队列和控制功能等方面的处理，能够模拟处理器的存储系统更多的细节，能够对指导芯片设计起到更大的作用。在研究过程中对MESIF缓存一致性协议和龙芯3号处理器存储系统所使用的高速缓存一致性协议进行了微结构级建模，并做了基本的一致性验证，证明了方法的可行性。

Kinetic analysis of interaction between lipopolysaccharide and biomolecules

Lipopolysaccharide ( LPS) is a major component of the outer membrane of all gram-negative bacteria. It is a heat-resistant toxin which can cause toxic shock in animals. LPS interacts with some biomolecules and triggers its toxic reaction. In this study, the interaction between LPS from Salmonella Minnesota and some biomolecules using syrface okasnib resibabce ( SPR) biosensor. biomolecules were imobilized on CM5 sensor-chip suing amion coupling method and LPS was injected over the immobilized surfaces.