中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共16条，第1-10条

帮助

条数/页：排序方式：
	时间自动机模拟器CTAV-Simulator的设计与实现学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2014 喻灵婧 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2014/05/30 实时系统时间自动机时间Büchi自动机模型检测时序逻辑LTL 模拟器
	时间自动机模型检测具体反例的生成与图形化显示学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2013 信贤卫 \| 收藏 \| 浏览/下载：15/0 \| 提交时间：2013/05/31 实时系统模型检测时间自动机反例生成模拟器
	海底管线阴极保护状态的非接触式检测方法及其专有装置专利 OAI收割专利类型: 发明, 专利号: CN200610069706.9, 申请日期: 2007-04-04, 公开日期: 2007-04-04 李焰; 贾旭; 向斌; 鞠虹; 马瑛收藏 \| 浏览/下载：91/0 \| 提交时间：2014/08/04 权利要求书1.海底管线阴极保护状态的非接触式检测方法及其专有检测装置包括一种海底管线阴极保护状态的非接触式检测方法和一种检测装置。所述检测方法的特征在于：首先在海底管线阴极保护电场的6个影响因素(保护层的老化状态然后通过现场检测海底管线附近的电场分布水下阴极保护电场检测装置(2)由密封舱(21) 密封舱(21)舱体中安装有DIN导轨密封舱(21)密封法兰用紧固螺栓与面板法兰盘紧固面板法兰盘上固定有参比电极接插件(22) 信号调理模块(25) 低功耗分布式数据采集低功耗分布式数据采集牺牲阳极和管体裸露表面在其所处的海泥或海水环境中的极化特性反演确定保护层的老化状态参比电极接插件(22) 用于固定密封式可充电电池(24) 面板法兰盘上设有O型槽并放有O型圈对密封舱舱体进行密封参比电极测得的水下阴极保护电场信号用信号电缆(23)接入信号调理模块(25) 模拟量输入模块(26)和低功耗分布式数据采集控制系统(27)上运行实时数据采集控制系统(27)上设有以太网网络接口和RS232串行通信接口海泥的电导率同时获得海底管线表面的保护电位和保护电流密度分布信号电缆(23) 信号调理模块(25) 经信号调理模块(25)进行电气隔离控制系统(27)由密封式可充电电池(24)进行供电记录程序和数据通信程序检测结束后可通过以太网网络接口或RS232串行通信接口与水上主机(1)进行离线数据交换海水的电导率从而实现对海底管线的阴极保护状态的可靠评估。所述检测装置包括一个水上主机(1)和一个水下阴极保护电场检测装置(2) 密封式可充电电池(24) 模拟量输入模块(26)和低功耗分布式数据采集信号放大并将数据存储在自带的物理闪存中将水下检测数据备份出来进行数据反演管线上海泥的覆盖厚度)的可能的参数范围内设定海底管线所处的可能状态其特征在于：水上主机(1)运行边界元计算信号调理模块(25) 控制系统(27) 滤波处理后送入模拟量输入模块(26) 获得海底管线表面的保护电位和电流密度分布。应用边界元方法进行系列数值模拟试验反演程序和数据通信程序模拟量输入模块(26)和分布式电位数据采集并存储在低功耗分布式数据采集并在此基础上确立一个完备的“阴极保护电场-影响因素数据库” 控制系统(27)构成控制系统(27)中
	基于相干布居囚禁原理的新型原子钟会议论文 OAI收割中国光学学会2006年学术大会, 中国广东广州, 2006 郭文阁; 张首刚; 姜海峰; 刘海峰收藏 \| 浏览/下载：39/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 原子钟实验装置上进行了改进其一为提高原子钟的连续可靠性我们开发全自动控制的稳定可靠的小型半导体激光系统。该自动系统能够为钟频率伺服系统提供激光器运行状态信号以便避免误控制和实时监控钟运行状态。其二在频率合成链路方面不同于传统原子钟在微波信号频率伺服控制处理方法为减小钟物理部分的鉴频误差电信号对本地晶体振荡器频率稳定度的影响我们采用数字频率补偿方法而非象传统伺服锁频方法那样直接控制该晶振频率。该方法还可以避免因晶振老化引起的频率溢出调节范围而造成的失锁也可使我们灵活的采用合理的数据处理方法和计算参数来充分利用本地晶体振荡器优良的短稳特性和提高原子钟长期稳定度。
	基于嵌入式实时Linux的远程监控系统设计与实现学位论文 OAI收割硕士, 中国科学院沈阳自动化研究所: 中国科学院沈阳自动化研究所, 2005 崔珂收藏 \| 浏览/下载：64/0 \| 提交时间：2012/08/29 远程监控系统嵌入式实时Linux 实时设计模式浮点运算软件模拟
	基于工作流网的实时协同系统模拟技术期刊论文 OAI收割计算机学报, 2004, 卷号: 27, 期号: 4, 页码: 471-481 杜玉越; 蒋昌俊 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2011/07/29 逻辑Petri网工作流逻辑工作流网实时协同系统模拟与验证逻辑工作流网实时协同系统状态空间爆炸问题企业销售系统模拟与分析逻辑表达式系统设计模拟分析继承问题组合网抑制弧形式化应用输入输出人员扩展技术概念Computer simulation Formal logic Petri nets Real time systems Specifications
	带实时的传值与移动系统研究学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003 陈靖收藏 \| 浏览/下载：23/0 \| 提交时间：2011/03/17 实时系统数据传送移动计算进程代数互模拟可达性模型检测
	时间符号迁移图及其互模拟判定期刊论文 OAI收割计算机学报, 2002, 卷号: 25, 期号: 2, 页码: 113-121 陈靖; 林惠民 \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2010/08/24 并发实时系统数据传送互模拟时间符号迁移图 concurrency real-time system value-passing bisimulation timed symbolic transition graph
	实时智能仿真数据库技术——兵器光电仿真数据库设计与实现会议论文 OAI收割姜会林; 杨华民收藏 \| 浏览/下载：21/0 \| 提交时间：2013/03/19 仿真数据库:6660 光电仿真:5239 实时智能:5194 兵器:877 显示子系统:311 智能仿真:277 运动模拟:259 跟踪模拟:259 逻辑结果:249 实际仿真:242