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

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

帮助

条数/页：排序方式：
	右旋圆极化微带天线的设计与实现——基于北斗卫星导航系统会议论文 OAI收割第三届中国卫星导航学术年会, 中国广东广州, 2012 刘永鑫; 侯雷; 胡永辉收藏 \| 浏览/下载：36/0 \| 提交时间：2012/10/19 北斗右旋圆极化微带天线卫星导航\|Abstract 本文在传统圆形微带天线的基础上研究设计了一种基于北斗卫星导航系统的右旋圆极化微带贴片天线。基于腔模理论采用在传统的圆形贴片天线上开槽和单点背馈的方法设计仿真优化模型优化结果显示轴比<3dB 同时根据仿真优化结果进行PCB设计制作出圆极化天线样品。在北斗B1(1561MHz)频点上把本设计天线接入系统进行对比测试系统运行稳定。仿真结果及测试结果均说明该方案的可行性。
	基于安全策略模型的安全功能测试用例生成方法期刊论文 OAI收割计算机研究与发展, 2009, 卷号: 46, 期号: 10, 页码: 1055-1062 张敏; 冯登国; 陈驰 \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2010/05/27 安全策略模型安全功能测试测试用例生成自动化测试基于类型的划分
	基于时序逻辑的并发系统测试用例生成学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2007 刘大光收藏 \| 浏览/下载：21/0 \| 提交时间：2011/03/17 基于模型的测试时序逻辑约束事件测试用例生成测试目的
	一种基于模型的并发系统测试目的描述期刊论文 OAI收割计算机工程与应用, 2007, 卷号: 43, 期号: 25, 页码: 105-110 刘大光; 林惠民; 吴鹏 \| 收藏 \| 浏览/下载：16/0 \| 提交时间：2010/08/24 基于模型的测试时序逻辑约束事件测试用例生成测试目的 model-based testing temporal logic constrained events test case generation test purpose
	基于时间模型的实时系统测试方法研究学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2006 陈伟收藏 \| 浏览/下载：23/0 \| 提交时间：2011/03/17 软件测试基于模型的测试统一建模语言时间自动机时间安全输入输出自动机测试和测试控制标记第三版