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

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

帮助

条数/页：排序方式：
	基于“在地性”与“协同性”的丘陵地区县域“双评价”模式探讨——以湖南辰溪县为例期刊论文 OAI收割经济地理, 2020, 卷号: 40, 期号: 9, 页码: 102 作者: 尹怡诚; 成升魁; 马润田; 沈清基; 王亚琴 \| 收藏 \| 浏览/下载：45/0 \| 提交时间：2021/03/16 locality coordination evaluation of resource and environment carrying capacity evaluation of suitability of land space development urban development boundary ecological red line basic farmland 在地性协同性资源环境承载力评价国土空间开发适宜性评价城镇开发边界生态红线基本农田
	基于“在地性”与“协同性”的丘陵地区县域“双评价”模式探讨——以湖南辰溪县为例期刊论文 OAI收割经济地理, 2020, 卷号: 40, 期号: 9, 页码: 102 作者: 尹怡诚; 成升魁; 马润田; 沈清基; 王亚琴 \| 收藏 \| 浏览/下载：37/0 \| 提交时间：2021/03/16 locality coordination evaluation of resource and environment carrying capacity evaluation of suitability of land space development urban development boundary ecological red line basic farmland 在地性协同性资源环境承载力评价国土空间开发适宜性评价城镇开发边界生态红线基本农田
	基于FPGA的小数分频法的研究与设计会议论文 OAI收割第十九届测控、计量、仪器仪表学术年会, 中国广西桂林, 2009 常兴旺; 李孝辉; 王玉兰; 蔡成林收藏 \| 浏览/下载：17/0 \| 提交时间：2012/10/19 FPGA 仿真分频器 Verilog-HDL\|Abstract 在数字逻辑电路设计中分频器是一种基本电路。本文提出了一种分频系数为小数的分频器设计的方法利用Verilog编程在Xilinx7.1i平台上实现综合和仿真并在开发板上得以实现。
	双重软件体系结构描述框架XYZ/ADL 期刊论文 OAI收割计算机研究与发展, 2007, 卷号: 44, 期号: 9, 页码: 1485-1494 朱雪阳 \| 收藏 \| 浏览/下载：34/0 \| 提交时间：2011/07/01 软件体系结构体系结构描述语言双重描述框架 XYZ/E 时序逻辑 UML 活动图状态图形式语义结构描述框架形式化方法语义基础图形语言软件工程师表示系统体系结构设计时序逻辑语言软件开发过程软件的可靠性语言建模形式语言行为表示前端静态语义结构框图结构建模基本概念Formal languages Formal methods Semantics Software engineering Software reliability Tem
	使用SPEC#开发高可靠性的算法程序期刊论文 OAI收割计算机工程与应用, 2006, 卷号: 42, 期号: 12, 页码: 114-117,130 郑宇军; 马燕; 薛锦云 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2011/07/13 SPEC# 形式化方法算法程序契约开发高可靠性软件自动化对象不变式契约机制可维护性基本特性后置条件程序规约形式化可读性语言前置描述
	脉冲星自主导航概述会议论文 OAI收割 2005年全国时间频率学术交流会, 中国西安, 2005 杨廷高; 南仁东; 金乘进; 甘恒谦收藏 \| 浏览/下载：36/0 \| 提交时间：2012/10/19 脉冲星脉冲星钟空间飞行器定位导航\|Abstract 脉冲星自转非常稳定可以用作时间标准许多脉冲星的空间位置自行距离自转周期及导数自转的初始相位等天体测量和天体物理参数都被精确测定。由于脉冲星能够同时提供时间信号和空间位置坐标利用空间脉冲星网络的导航系统的开发研究受到重视。除甚长基线干涉测量之外空间飞行器导航的传统方法只在沿飞行器的视线方向提供高精度且当太阳位于空间飞行器与地球中间时根本无法实现导航。安装在空间飞行器上的脉冲星导航系统能够实现飞行器的自主导航能给出空间飞行器相对于太阳系质心的三维坐标和飞行速度。射电脉冲星自主导航系统只适用于载荷量大的空间飞行器而X射线脉冲星未来的适用范围可能非常广阔。讨论了脉冲星钟的模型和脉冲星导航系统的框架结构介绍了脉冲星导航的基本原理和算法。目前已发现射电脉冲星约1750颗 X射线脉冲星50余颗。利用脉冲星钟模型能高精度地预报脉冲星脉冲到达太阳系质心的时间即在任何时刻脉冲星相当于太阳系质心的相位是可以预报的。在空间飞行器上测量脉冲星脉冲的到达时间(即脉冲星自转相位测量)所得到的相位与该脉冲星相对于太阳系质心的相位(脉冲星钟预报的相位)之间的差值包含有空间飞行器的位置信息。通过空间飞行器上脉冲星导航系统对多颗脉冲星的计时观测(相位测量) 就能解算出观测时刻空间飞行器相对于太阳系质心的位置坐标。指出脉冲星导航系统采用的脉冲星探测器的性能决定了脉冲星相位的测量精度这也是影响空间飞行器位置解算精度的关键因素。脉冲星导航观测采用的原子钟如果足够稳定则空间飞行器位置的算法可以简化。在脉冲星导航系统计时观测接近微秒(μs)量级时脉冲星视差 Shapiro和Einstein延迟的影响是不可忽略的。对于这样的脉冲星导航系统开发设计中的关键技术和应该进一步研究的主要问题进行了初步分析和讨论。
	时间间隔计数器的研究及阶段性进展会议论文 OAI收割 2005年全国时间频率学术交流会, 中国西安, 2005 樊战友; 胡永辉; 边玉敬收藏 \| 浏览/下载：19/0 \| 提交时间：2012/10/19 计数器时间测量\|Abstract 从基本原理硬件等方面对时间间隔计数器的研究作了全面介绍并详细分析了影响时间间隔测量精度的诸多因素指出了提高时间间隔测量精度的努力方向。介绍了我们在时间间隔计数器研究方面已取得的阶段性进展并给出了设计技术指标和实验测试结果。在计数器的研制过程中我们还开发了供调试计数器和计数器用户使用的计算机应用软件对此也作了简要介绍。