检索结果-南通市图书馆

永恒的丰碑：“大陈岛垦荒红色档案”建设侧记

在线全文

学校读者我要写书评

暂无评论

浙江档案 2024年第5期 10-11+16页

作者： 1.台州市档案馆 2.台州市椒江区档案馆台州市档案馆台州市椒江区档案馆

在台州市椒江区档案馆的特藏馆内，挂着一幅由团中央在1956年赠给温州青年志愿垦荒队的旗帜“建设伟大祖国的大陈岛”，这面旗帜承载着一件件珍贵的档案史料和一个个生动的历史场景，大陈岛激情燃烧的垦荒史、波澜壮阔的发展史，宛如画...

在台州市椒江区档案馆的特藏馆内，挂着一幅由团中央在1956年赠给温州青年志愿垦荒队的旗帜“建设伟大祖国的大陈岛”，这面旗帜承载着一件件珍贵的档案史料和一个个生动的历史场景，大陈岛激情燃烧的垦荒史、波澜壮阔的发展史，宛如画卷般展现在眼前。“大陈岛垦荒精神”是台州的城市精神，是这座城市发展生生不息的力量源泉。1956年到1960年，温州、台州两地467名青年陆续上岛支援建设，他们卷起裤管，咬紧牙关，用血和汗锻炼成了一个个生产能手，在荒岛上发展出种植业、畜牧业和海洋养殖业。一代垦荒人用青春和汗水孕育了“艰苦创业、奋发图强、无私奉献、开拓创新”

关键词：

Nonlinear quantum interferometry with Bose condensed atoms

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

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

“有机统一的新的文化生命体”的内涵、构建与发展

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

党政研究 2024年第2期 16-25,M0004页

作者：崔发展胡卜什西南石油大学马克思主义学院四川成都610500

习近平在文化传承发展座谈会上提出的“有机统一的新的文化生命体”新概念,进一步丰富和发展了马克思主义关于文化创新和建设的理论,为我们从生命体的有机性、创新性和主体性上认识其主要特征提供了观察视角,从马克思主义基本原理同中... 详细信息

习近平在文化传承发展座谈会上提出的“有机统一的新的文化生命体”新概念,进一步丰富和发展了马克思主义关于文化创新和建设的理论,为我们从生命体的有机性、创新性和主体性上认识其主要特征提供了观察视角,从马克思主义基本原理同中华优秀传统文化的相互契合和互相成就上理解其构建路径指明了方法论原则,从人的自由和全面发展上掌握其发展要义确立了价值尺度。

关键词：文化生命体中华优秀传统文化文明习近平文化思想

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

要闻

上海国资 2024年第4期 9-10页

作者： 1.新华社 2.国家数据局新华社国家数据局

国务院国资委全面深化改革领导小组召开2024年第一次全体会议2024年3月29日，国务院国资委全面深化改革领导小组召开2024年第一次全体会议。会议指出，今年是深入实施国有企业改革深化提升行动承上启下的关键一年，要聚焦重点难点任务...

国务院国资委全面深化改革领导小组召开2024年第一次全体会议2024年3月29日，国务院国资委全面深化改革领导小组召开2024年第一次全体会议。会议指出，今年是深入实施国有企业改革深化提升行动承上启下的关键一年，要聚焦重点难点任务全力攻坚，紧盯重点任务和关键时点，全力以赴抓好各项任务落实。

关键词：

来源：博看期刊

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

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

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

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