机构

• 国家授时中心 [2]
• 软件研究所 [1]

采集方式

• OAI收割 [3]

内容类型

• 会议论文 [2]
• 期刊论文 [1]

发表日期

• 2007 [1]
• 2006 [2]

学科主题

筛选

浏览/检索结果: 共3条，第1-3条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 双重软件体系结构描述框架XYZ/ADL 期刊论文  OAI收割 计算机研究与发展, 2007, 卷号: 44, 期号: 9, 页码: 1485-1494 朱雪阳   |  收藏  |  浏览/下载：30/0  |  提交时间：2011/07/01 软件体系结构  体系结构描述语言  双重描述框架  XYZ/E  时序逻辑  UML  活动图  状态图  形式语义  结构描述  框架  形式化方法  语义基础  图形语言  软件工程师  表示系统  体系结构设计  时序逻辑语言  软件开发过程  软件的可靠性  语言建模  形式语言  行为表示  前端  静态语义  结构框图  结构建模  基本概念Formal languages  Formal methods  Semantics  Software engineering  Software reliability  Tem   基于相干布居囚禁原理的新型原子钟 会议论文  OAI收割 中国光学学会2006年学术大会, 中国广东广州, 2006 郭文阁; 张首刚; 姜海峰; 刘海峰 收藏  |  浏览/下载：33/0  |  提交时间：2012/10/19 量子频标  相干布居囚禁  原子钟  激光稳频  87Rb|Abstract  近年来  基于相干布居囚禁原理的新型原子钟由于其优越的性能和潜在的军事和民用前景  受到了国内外频标界研究人员的广泛关注。在欧洲  依托于Galileo计划  意大利国家电子研究所(IEN) 正在研制的CPT 87Rb maser(物理部分功耗约0．5 W)  近期已获得了秒稳8×10-13  10000秒的稳定度为 3×10-14的实验结果。而且还有很大的改进空间。国家授时中心量子频标研究团组瞄准这一国际前沿  开展了基于相干布居囚禁原理(Coherent Population Trapping)的新型原子钟——CPT 87Rb maser的研制工作。我们在Λ-型三能级原子系统模型的基础上  采用半经典的密度矩阵方法分析了87Rb气体的相干布居囚禁现象。数值模拟结果显示  当两束相干激光频率差等于87Rb原子的两个基态超精细结构子能级频率差时  87Rb气体具有荧光暗线和相干微波辐射的特性。它们可以作为相干布居囚禁原子频标的物理基础。利用荧光暗线可实现被动型相干布居囚禁原子频标  用相干微波可实现主动型相干布居囚禁原子频标。本文简要介绍了该原子钟的工作原理和国内外的研究现状  报道了实现主动型相干布居囚禁原子频标的设计框图及我们的研究进展。在目前报道的原子钟结构基础上  我们在研制新型CPT Maser 原子钟实验装置上进行了改进  其一  为提高原子钟的连续可靠性  我们开发全自动控制的  稳定可靠的小型半导体激光系统。该自动系统能够为钟频率伺服系统提供激光器运行状态信号  以便避免误控制和实时监控钟运行状态。其二  在频率合成链路方面  不同于传统原子钟在微波信号频率伺服控制处理方法  为减小钟物理部分的鉴频误差电信号对本地晶体振荡器频率稳定度的影响  我们采用数字频率补偿方法  而非象传统伺服锁频方法那样直接控制该晶振频率。该方法还可以避免因晶振老化引起的频率溢出调节范围而造成的失锁  也可使我们灵活的采用合理的数据处理方法和计算参数来充分利用本地晶体振荡器优良的短稳特性和提高原子钟长期稳定度。