孙博

作品数：3被引量：4H指数：1
导出分析报告
供职机构：江苏大学计算机科学与通信工程学院更多>>
发文主题：时态认知逻辑状态空间爆炸超宽带通信DS-BPSKUWB更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《数据采集与处理》《电子学报》更多>>
所获基金：国家教育部博士点基金江苏省自然科学基金国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
概率实时时态认知逻辑模型检测中抽象技术的研究被引量：2
《电子学报》2013年第7期1343-1351,共9页刘志锋 孙博 周从华 
国家自然科学基金(No.61003288;No.6111130184);江苏省自然科学基金(No.BK2010192);教育部博士点基金(No.20093227110005);江苏大学高级人才科研启动基金(No.12JDG061)
概率实时时态认知逻辑PTACTLK模型检测面临着与传统模型检测同样的挑战,即状态空间爆炸问题.抽象是缓解状态空间爆炸问题的最为有效的方法之一.为了缓解概率实时时态认知逻辑模型检测中的状态空间爆炸问题,我们给出了一种抽象技术:对于P...
关键词：模型检测 概率实时时态认知逻辑 PTACTLK 状态空间爆炸 抽象 
概率时态认知逻辑模型检测中三值抽象技术的研究被引量：1
《电子学报》2012年第10期2052-2061,共10页周从华 孙博 刘志锋 葛云 
国家自然科学基金(No.61003288;No.6111130184);江苏省自然科学基金(No.BK2010192);教育部博士点基金(No.20093227110005)
为缓解概率时态认知逻辑模型检测中的状态空间爆炸问题,提出了概率时态认知逻辑的三值抽象技术.具体研究内容包括:定义抽象模型及模型上概率时态认知逻辑的三值语义,依据状态空间等价划分建立初始抽象模型,并证明抽象技术对概率时态认...
关键词：三值抽象 模型检测 概率时态认知逻辑 反例 
DS-BPSK方案下的UWB非相干接收方法被引量：1
《数据采集与处理》2008年第B09期96-100,共5页孙博 朱轶 王刚 
分析了采用DS-BPSK调制方式的UWB通信系统非相干接收方案,并研究了一种以差分能量检测非相干接收方式为基础的非相干接收处理算法,在此基础上进行了非相干接收方式下DS-BPSK UWB系统的性能分析,并利用Matlab进行了仿真。仿真结果表明:...
关键词：超宽带通信 非相干 信号处理 误码率 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部