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

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

帮助

条数/页：排序方式：
	带时间和资源约束的实例化过程模型验证方法期刊论文 OAI收割计算机系统应用, 2014, 期号: 10, 页码: 172-177 李伟亨; 谢淼; 翟健; 杨秋松 \| 收藏 \| 浏览/下载：22/0 \| 提交时间：2014/12/16 实例化过程模型软件过程建模验证模型检测形式化方法 process instantiation model software process modeling verification model checking formal method
	基于OFDM-UWB的室内精密定位系统接收机时域联合同步算法研究会议论文 OAI收割第二届中国卫星导航学术年会, 中国上海, 2011 邹德财; 李云; 韩涛; 刘枫收藏 \| 浏览/下载：35/0 \| 提交时间：2012/10/19 OFDM-UWB 室内定位联合同步算法符号定时帧定时载波频率偏移\|Abstract 同时根据基于正交频分复用超宽带(OFDM-UWB)技术的室内精密定位系统基本原理算法实现了四种同步技术的集成化设计实现厘米级的精密定位就要求系统接收机符号定时同步算法必须具备1～3个采样间隔的同步精度从而在工程实现中能够有效地节省硬件资源现有OFDM-UWB符号定时同步算法远不能满足这一苛刻需求。本文在符号定时同步研究过程中降低系统成本设计了一种新的信息帧格式提高系统的抗干扰性与稳定性。并以此为基础提出了OFDM-UWB室内精密定位系统接收机时域联合同步算法。该算法以符号定时同步为核心将载波小数频偏载波整数频偏帧定时同步分别与符号定时同步进行了直接或间接的关联形成一个不可分割的有机整体。对联合同步算法用MATLAB进行了功能验证与性能分析。结果表明在-15dB的信噪比条件以及载波频率偏移干扰共存时符号定时同步精度为1个采样时间间隔(1.89394ns) 克服了传统符号定时同步算法易受噪声与频偏干扰的缺点满足了室内定位系统的基本需求
	基于LabWindows/CVI的虚拟仪器软件性能优化设计会议论文 OAI收割 2009全国虚拟仪器大会, 中国广西桂林, 2009 刘娅; 李孝辉收藏 \| 浏览/下载：13/0 \| 提交时间：2012/10/19 虚拟仪器多线程定时\|Abstract 本文通过介绍基于LabWindows/CⅥ的虚拟仪器软件设计过程分析了虚拟仪器设计中主要涉及的仪器多面板管理定时机制多线程机制等对软件性能的影响提出了优化软件性能的设计方案包括定时机制多线程机制的合理运用实现高速度高可靠性高效率的虚拟仪器软件设计本优化设计方案经过在实际应用验证达到了优化软件性能的目标。
	具有严格操作语义的图形化软件过程建模研究学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2008 杨秋松 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2011/03/17 软件过程软件过程建模软件过程建模语言软件过程验证软件过程移动性 TRISO/ML TRISO Model
	回溯法求解多约束分配问题期刊论文 OAI收割江西师范大学学报（自然科学版）, 2008, 卷号: 32, 期号: 6, 页码: 729-732 王文发; 马燕; 李宏达收藏 \| 浏览/下载：66/4 \| 提交时间：2011/06/10 回溯算法约束条件多约束分配时间复杂度流程图回溯法求解多约束条件分配问题有效算法学生宿舍实际应用时间效率结果验证回溯算法有效性合理性复杂度矩阵过程方法存储背景
	一种基于离散时间自动机的LTL性质检测工具期刊论文 OAI收割计算机仿真, 2008, 期号: 4, 页码: 80-83 张文亮; 彭云全收藏 \| 浏览/下载：67/2 \| 提交时间：2011/06/10 离散时间自动机非空性检测线性时序逻辑性质时间自动机检测工具 Timed Automata 状态空间爆炸线性时序逻辑利用模型指数增长压缩存储性质验证系统规模时间空间检测效果检测速度检测过程检测方法存储延迟效率算法实验技术
	一种可配置的可信引导系统期刊论文 OAI收割中国科学院研究生院学报, 2008, 卷号: 25, 期号: 5, 页码: 626-630 徐震; 沈丽红; 汪丹 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2011/06/10 可信平台模块可信引导可信计算可配置引导系统系统安全有效实现引导过程验证系统引导系统内核设计思想可信恢复证据链细粒度计算机原型文件实验认证目标
	基于代数的软件过程建模系统的设计与实现期刊论文 OAI收割计算机工程与设计, 2008, 卷号: 29, 期号: 3, 页码: 530-534,539 杨国伟; 杨秋松; 翟健; 袁峰 \| 收藏 \| 浏览/下载：25/0 \| 提交时间：2011/06/10 软件过程建模多元π演算 ASPMS系统形式化分析验证代数软件过程建模语言建模系统设计软件开发过程易于理解表示方式表达能力图形化形式化语义组织生产质量开发效率 π演算模型描述矛盾