检索结果-南通市图书馆

Nonlinear quantum interferometry with Bose condensed atoms

华东地区第6届中青年呼吸医师论坛暨浙江省第29届呼吸疾病学术年会

作者： XuanliXu~(a.1) Qiangmin Xie~(b.2) Yihong Shen~a Jingjin Jiang~a Yuanyuan Chen~a Hongyi Yao~b Jianying Zhou~a a:Department of Respiratory Medicine,First Affiliated Hospital,Medical College of Zhejiang University,Hangzhou 310003,China b:Zhejiang Respiratory Drugs Research Laboratory of State Food and Drug Administration,Medical College of Zhejiang University,Hangzhou 310031,China

1. Introduction Throughout the development of glycobiology,some polysaccharides such as those found in cordyceps sinensis,cryptoporus polysaccharide,and Cyanobacteria,have been found to have anti-inflammatory

关键词：

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

Frontiers of physics 2012年第1期7卷 109-130页

作者： Chaohong Lee (1) Jiahao Huang (1) Haiming Deng (1) Hui Dai (1) Jun Xu (1) 1. State Key Laboratory of Optoelectronic Materials and Technologies School of Physics and Engineering Sun Yat-Sen University Guangzhou 510275 China

In quantum interferometry, it is vital to control and utilize nonlinear interactions for the achievement of high-precision measurements. Due to their long coherence time and high controllability, ultracold atoms including Bose condensed atoms have been widely used for quantum interferometry. Here, we review recent progress in theoretical studies of quantum interferometry with Bose condensed atoms. In particular, we focus on nonlinear phenomena induced by atom-atom interactions, and how to control and utilize these nonlinear phenomena. With a mean-field description, due to atom-atom interactions, matter-wave solitons appear in the interference patterns, and macroscopic quantum self-trapping exists in Bose-Josephson junctions. With a many-body description, atom-atom in- teractions can generate non-classical entanglement, which can be utilized to achieve high-precision measurements beyond the standard quantum limit.

关键词： nonlinear quantum interferometry Bose Einstein condensate Bose-Josephson junction

Abstraction for model checking multi-agent systems

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2011年第1期5卷 14-25页

作者： Conghua Zhou (1) chzhou@*** Bo Sun (1) Zhifeng Liu (1) Jiangsu Univ Sch Comp Sci & Telecommun Engn Zhenjiang 212013 Peoples R China

Model checking multi-agent systems （MAS） always suffers from the state explosion problem. In this paper we focus on an abstraction technique which is one of the major methods for overcoming this problem. For a multi-agent system, we present a novel abstraction procedure which reduces the state space by collapsing the global states in the system. The abstraction is automatically computed according to the property to be verified. The resulting abstract system simulates the concrete system, while the universal temporal epistemic properties are preserved. Our abstraction is an over-approximation. If some universal temporal epistemic property is not satisfied, then we need to identify spurious counterexamples. We further show how to reduce complex counterexamples to simple structures, i.e., paths and loops, such that the counterexamples can be checked and the abstraction can be refined efficiently. Finally, we illustrate the abstraction technique with a card game.

关键词： model checking abstraction refinement,epistemic temporal logic

Coupling measurement and correction at the SSRF storage ring

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science China(Physics,Mechanics & Astronomy) 2011年第S2期54卷 201-206页

作者： ManZhou Zhang (1) Jie Hou (1) HaoHu Li (1) 1. Shanghai Institute of Applied Physics Chinese Academy of Sciences Shanghai 201204 China

Brightness is an important parameter for 3rd generation light source. Correcting the emittance coupling is a realistic way to increase brightness without any additional equipment in a machine under operation. The main sources of emittance coupling are betatron coupling and vertical dispersion. At the SSRF storage ring, tune split and LOCO are used to measure the respective betatron and emittance coupling. Both of these sources can be corrected by skew quadrupoles. By measuring the skew quadrupole-coupling response matrix, betatron coupling can be changed from 0.014% to 2%. But the vertical dispersion changes at the same time. LOCO can find the suitable setting to correct simultaneously the betatron coupling and vertical dispersion. The emittance coupling can be reduced to 0.17% by this method. More simulations show the potential for smaller emittance coupling if more skew quadrupoles are employed.

关键词： emittance coupling betatron coupling vertical dispersion tune split LOCO

Effects of histone deacetylase inhibitors on transcriptional regulation of the hsp70 gene in Drosophila

在线全文

学校读者我要写书评

暂无评论

Cell Research 2006年第6期16卷 566-576页

作者： Yan Mei Zhao~(1,*) Xia Chen~(1,*) Hui Sun~1 Zhi Gen Yuan~1 Guo Ling Ren~1 Xiao Xue Li~1 Jun Lu~1 Bai Qu Huang~1 ~1The Institute of Genetics and The Institute of Genetics and Cytology Northeast Normal University Changchun China

Histone acetyltransferases/deacetylases contribute to the activation or inactivation of transcription by modifying thestructure of *** we examined the effects of histone deacetylase inhibitors(HDIs),trichostatin A,and sodiumbutyrate on hsp 70 gene transcriptional regulation in *** chromatin immunoprecipitation assays revealedthat HDI treatments induced the hyperacetylation of histone H3 at the promoter and the transcribing regions of hsp70gene,increased the accessibility of heat-shock factor to target heat-shock element,and promoted the RNA polymeraseⅡ-mediated ***,the quantitative real-time PCR confirmed that the HDI-induced hyperacetylation ofhistone H3 enhanced both the basal and the inducible expression of hsp70 mRNA *** addition,the acetylation levelof histone H3 at the promoter exhibited a fluctuated change upon the time of heat *** experimental data impli-cated a causal link between histone acetylation and enhanced transcription initiation of hsp70 gene in Drosophila.

关键词： histone acetylation hsp70 histone deacetylase inhibitor Drosophila melanogaster

Tuner design and RF test of a four-rod RFQ

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science China(Physics,Mechanics & Astronomy) 2011年第S2期54卷 271-273页

作者： QuanFeng Zhou (1) Kun Zhu (1) ZhiYu Guo (1) MingLei Kang (1) ShuLi Gao (1) YuanRong Lu (1) JiaEr Chen (1) 1. State Key Lab of Nuclear Physics and Technology School of Physics Peking University Beijing 100871 China

A mini-vane four-rod radio frequency quadruple (RFQ) accelerator has been built for neutron imaging. The RFQ will operate at 201.5 MHz, and its length is 2.7 m. The original electric field distribution along the electrodes is not flat. The resonant frequency needs to be tuned to the operating value. And the frequency needs to be compensated for temperature change during high power RF test and beam test. As tuning such a RFQ is difficult, plate tuners and stick tuners are designed. This paper will present the tuners design, the tuning procedure, and the RF properties of the RFQ.

关键词： four-rod RFQ electric-field distribution RF tuning RF measurement

Design and manufacturing of the antechamber for BEPCII storage rings

在线全文

学校读者我要写书评

暂无评论

Science China(Physics,Mechanics & Astronomy) 2011年第S2期54卷 164-168页

作者： Ling Kang (1) ChunHua Li (1) KaiXi Huang (1) HuaMin Qu (1) YiQing Zou (1) Yan Zhang (1) LuXiang Han (1) LingLing Men (1) 1. Institute of High Energy Physics Chinese Academy of Sciences Beijing 100049 China

Antechamber which composes the arc vacuum chamber of storage rings is one of the key devices of BEPCII. It has the characteristic of various specifications, large size, complex structure, and high dimension accuracy. This paper gives a review on the structure features and the procedure of production, including the mechanical machining process, cleaning and welding process of high vacuum aluminum alloy, ultrahigh vacuum test and so on. In view of the occurrence of the concave deformation, the reasons are analyzed and the correction method developed is introduced too.

关键词： antechamber cleaning welding form correction

（3＋ 1）-TQFTs and topological insulators

在线全文

学校读者我要写书评

暂无评论

Frontiers of physics 2012年第2期7卷 150-159页

作者： Kevin Walker (1) Zhenghan Wang (1) 1. Microsoft Station Q CNSI Bldg. Rm. 2243 University of California Santa Barbara CA 93106-6105 USA

Levin-Wen models are microscopic spin models for topological phases of matter in （2＋ 1）-dimension. We introduce a generalization of such models to （3 ＋ 1）-dimension based on unitary braided fusion categories, also known as unitary premodular categories. We discuss the ground state degeneracy on 3-manifolds and statistics of excitations which include both points and defect loops. Potential con- nections with recently proposed fractional topological insulators and projective ribbon permutation statistics are described.

关键词： topological quantum field theory (TQFT) topological insulator premodular category

Progress in the beam commissioning of separated function RFQ accelerator

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science China(Physics,Mechanics & Astronomy) 2011年第S2期54卷 222-224页

作者： MingLei Kang (1) YuanRong Lu (1) Zhi Wang (1) Kun Zhu (1) XueQing Yan (1) ZhiYu Guo (1) ShuLi Gao (1) ShiXiang Peng (1) Ao Liu (2) JiaXun Fang (1) JiaEr Chen (1) 1. State Key Laboratory of Nuclear Physics and Technology Peking University Beijing 100871 China2. Department of Physics Indiana University Bloomington IN 47405 USA

Separated Function RFQ (SFRFQ) was proposed as a post accelerator of RFQ to accelerate heavy ions at low frequency. It introduces gap accelerating in the quadrupole electrodes, and therefore it has higher accelerating efficiency than the conventional RFQ accelerator. The first SFRFQ prototype cavity has been specially designed and constructed as a post accelerator to accelerate O+ beam from 1.03 MeV to 1.64 MeV. Based on accomplishment of low power measurement and high power test, the beam commissioning was carried out to verify its feasibility. The measured energy gain per cell of SFRFQ is 45 keV, which is about 60% higher than that of Peking University Integral Split Ring (ISR) RFQ.

关键词： separated function RFQ beam commissioning energy spectrum