基于P2P技术的CSRe冷却装置控制系统设计；Design of Control System for CSRe Cooling Equipment Based on P2P Technology

HIRFL-CSR工程对CSRe冷却装置电子冷却部分的控制系统在实时性和可靠性方面提出了非常高的要求。电子冷却工作环境复杂,各种干扰难以预测。从电子冷却的控制系统改进出发,以实现电子冷却的自动调束为目标,以高端FPGA和ARM嵌入式系统为基础,采用P2P通讯技术和神经元网络算法来实现对电子冷却的自动控制。该控制系统对电子冷却控制的完善提供了先进的硬件平台和软件实现方案。

HIRFL—CSR循环冷却水温度远程测量系统设计；A Design of Remote Temperature-measuring System for HIFRL-CSR Recyclable Cooling Water System

介绍了一种基于一线总线数字温度传感器的HIFRL-CSR循环冷却水温度远程测量系统,阐述了以DT400模块为核心的温度测量的硬件模块和软件设计。该系统具有测温精度高、易扩展性、低成本、低功耗、可靠性高、抗干扰能力强等特点,根据不同需要可应用于多种温度测量系统中。

CSR外靶实验终端中CsI(Tl)晶体的测试；Test of CsI(Tl) Crystal at External Target Experimental Terminal of Cooling Storage Ring

为测量重离子加速器冷却储存环(HIRFL-CSR)的外靶实验终端上不同能量的γ射线,一种用于探测γ射线的高能量分辨的探测装置正在中国科学院近代物理研究所建设,该探测器由中国科学院近代物理研究所自行生长的铊激活的碘化铯CsI(Tl)晶体组成。与日本Hamamatsu公司生产的S8664-1010型雪崩光二极管(APD)耦合,测试其光输出的非均匀性和能量分辨,从测试结果给出了所需CsI(Tl)晶体合格的标准。目前已完成该γ探测球计划的六分之一,所提供的晶体合格率达94%以上。

Commissioning of electron cooling in CSRe

The 400 MeV/u C-12(6+) ion beam was successfully cooled by the intensive electron beam near 1 A in CSRe. The momentum cooling time was estimated near 15 s. The cooling force was measured in the cases of different electron beam profiles, and the different angles between the ion beam and electron beam. The lifetime of the ion beam in CSRe was over 80 h. The dispersion in the cooling section was confirmed as positive close to zero. The beam sizes before cooling and after cooling were measured by the moving screen. The beam diameter after cooling was about 1 mm. The bunch length was measured with the help of the signals from the beam position monitor. The diffusion was studied in the absence of the electron beam.

a new client-to-client password-authenticated key agreement protocol

Natl Univ Defen Technol, China & Nanyang Technol Univ, NUDT

Label free electrochemiluminescence protocol for sensitive DNA detection with a tris(2,2'-bipyridyl)ruthenium(II) modified electrode based on nucleic acid oxidation

Label free electrochemiluminescence (ECL) DNA detection based on catalytic guanine and adenine bases oxidation using tris(2,2'-bipyridyl)ruthenium(II) [Ru(bpy)(3)(2+)] modified glassy carbon (GC) electrode was demonstrated in this work. The modified GC electrode was prepared by casting carbon nanotubes (CNT)/Nafion/Ru(bpy)(3)(2+) composite film on the electrode surface. ECL signals of doublestranded DNA and their thermally denatured counterparts can be distinctly discriminated using cyclic voltammetry (CV) with a low concentration (3.04 x 10(-8) mol/L for Salmon Testes-DNA). Most importantly, sensitive single-base mismatch detection of p53 gene sequence segment was realized with 3.93 x 10(-10) mol/L employing CV stimulation (ECL signal of C/A mismatched DNA oligonucleotides was 1.5-fold higher than that of fully base-paired DNA oligonucleotides). Label free, high sensitivity and simplicity for single-base mismatch discrimination were the main advantages of the present ECL technique for DNA detection over the traditional DNA sensors.

Extra- and intra-cellular ice formation of red seabream (Pagrus major) embryos at different cooling rates

The ice crystal formation is assumed as the most lethal factor for the failure of fish embryo cryopreservation and intracellular ice formation (IIF) plays a central role in cell injury during cooling. The objectives were to observe the morphological changes of red seabream (Pagrus major) embryo during the cooling-thawing process, and to examine the effect of cryoprotectant and cooling rate on the temperatures of oil globule ice formation (T-OIF), extra-cellular ice formation (T-EIF) and intracellular ice formation (T-IIF) using cryomicroscope. After thawing, the morphological changes of embryos were observed and recorded by the video attachment and monitor under the microscope. During the cooling process, three representative phenomena were observed: oil globule gradually turned bright firstly, then the whole field of view flashed and the embryo blackened. Cooling rate affect the temperature of both extra- and intra-cellular ice formations. T-EIF and T-IIF at high cooling rate were much lower than that at low cooling rate. And the value of T-EIF - T-IIF increased from 0.45 to 11.11 degrees C with the increase of cooling rate from 3 to 130 degrees C/min. Taken together, our results suggested that high cooling rate with proper cryoprotectant would be a good option for red seabream embryo cryopreservation. (C) 2009 Elsevier Inc. All rights reserved.

Avaliação do sistema de resfriamento evaporativo por meio de Pad Cooling.

2006

Protocol of capillary isoelectric focusing to separate extremely acidic and basic proteins

A new set-up was constructed for capillary isoelectric focusing (CIEF) involving a sampling capillary as a bypass fixed to the separation capillary. Sample solutions were subjected to a previously established pH gradient from the sample capillary. Besides performing conventional CIEF, the separation of ampholytic compounds with isoelectric points (p/s) beyond the pH gradient was carried out on this system. This method was termed as pH gradient driven electrophoresis (PGDE) and the basic mathematical expressions were derived to express the dynamic fundamentals. Proteins such as lysozyme, cytochrome C, and pepsin with p/s higher than 10 or below 3 were separated in a pH gradient provided by Pharmalyte (pH 3-10). Finally, this protocol convincingly exhibited its potential in the separation of a solution of chicken egg white.

Performance evaluation of the RPL Protocol in fixed and mobile sinks low-power and lossy networks.

Low-Power and Lossy-Network (LLN) are usually composed of static nodes, but the increase demand for mobility in mobile robotic and dynamic environment raises the question how a routing protocol for low-power and lossy-networks such as (RPL) would perform if a mobile sink is deployed. In this paper we investigate and evaluate the behaviour of the RPL protocol in fixed and mobile sink environments with respect to different network metrics such as latency, packet delivery ratio (PDR) and energy consumption. Extensive simulation using instant Contiki simulator show significant performance differences between fixed and mobile sink environments. Fixed sink LLNs performed better in terms of average power consumption, latency and packet delivery ratio. The results demonstrated also that RPL protocol is sensitive to mobility and it increases the number of isolated nodes.

Development and validation of a sport-specific exercise protocol for elite youth soccer players

Thatcher, Rhys, and Alan Batterham, 'Development and validation of a sport-specific exercise protocol for elite youth soccer players', Journal of Sports Medicine and Physical Fitness, (2004) 44(1) pp.15-22 RAE2008

Systematic Verification of Safety Properties of Arbitrary Network Protocol Compositions Using CHAIN

Formal correctness of complex multi-party network protocols can be difficult to verify. While models of specific fixed compositions of agents can be checked against design constraints, protocols which lend themselves to arbitrarily many compositions of agents-such as the chaining of proxies or the peering of routers-are more difficult to verify because they represent potentially infinite state spaces and may exhibit emergent behaviors which may not materialize under particular fixed compositions. We address this challenge by developing an algebraic approach that enables us to reduce arbitrary compositions of network agents into a behaviorally-equivalent (with respect to some correctness property) compact, canonical representation, which is amenable to mechanical verification. Our approach consists of an algebra and a set of property-preserving rewrite rules for the Canonical Homomorphic Abstraction of Infinite Network protocol compositions (CHAIN). Using CHAIN, an expression over our algebra (i.e., a set of configurations of network protocol agents) can be reduced to another behaviorally-equivalent expression (i.e., a smaller set of configurations). Repeated applications of such rewrite rules produces a canonical expression which can be checked mechanically. We demonstrate our approach by characterizing deadlock-prone configurations of HTTP agents, as well as establishing useful properties of an overlay protocol for scheduling MPEG frames, and of a protocol for Web intra-cache consistency.