孙博
- 作品数：3 被引量：4H指数：1
- 供职机构：江苏大学计算机科学与通信工程学院更多>>
- 发文基金：国家教育部博士点基金江苏省自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- DS-BPSK方案下的UWB非相干接收方法被引量：1
- 2008年
- 分析了采用DS-BPSK调制方式的UWB通信系统非相干接收方案,并研究了一种以差分能量检测非相干接收方式为基础的非相干接收处理算法,在此基础上进行了非相干接收方式下DS-BPSK UWB系统的性能分析,并利用Matlab进行了仿真。仿真结果表明:本文所讨论的非相干接收算法对同步误差不敏感,可以很好地适用于不能精确同步的通信场合。
- 孙博朱轶王刚
- 关键词：超宽带通信非相干信号处理误码率
- 概率实时时态认知逻辑模型检测中抽象技术的研究被引量：2
- 2013年
- 概率实时时态认知逻辑PTACTLK模型检测面临着与传统模型检测同样的挑战,即状态空间爆炸问题.抽象是缓解状态空间爆炸问题的最为有效的方法之一.为了缓解概率实时时态认知逻辑模型检测中的状态空间爆炸问题,我们给出了一种抽象技术:对于PTACTLK中的实时部分PTACTL,采用抽象离散时钟赋值,把概率实时解释系统的无限状态空间转化成有限形式;对于PTACTLK中的认知算子K,给出了抽象状态关于智体认知等价的定义.定义了概率实时解释系统的抽象模型,给出了抽象模型上概率实时时态认知逻辑的语义,并证明了由抽象技术演绎得到的抽象模型是原始模型的上近似.最后通过一个通信协议来说明抽象技术的有效性.
- 刘志锋孙博周从华
- 关键词：状态空间爆炸
- 概率时态认知逻辑模型检测中三值抽象技术的研究被引量：1
- 2012年
- 为缓解概率时态认知逻辑模型检测中的状态空间爆炸问题,提出了概率时态认知逻辑的三值抽象技术.具体研究内容包括:定义抽象模型及模型上概率时态认知逻辑的三值语义,依据状态空间等价划分建立初始抽象模型,并证明抽象技术对概率时态认知逻辑的满足性保持关系;提出概率时态认知逻辑模型检测算法;依据初始模型检测的结果,给出利用最小证据和最小反例引导的抽象系统的求精过程.最后通过Dining Cryptographer协议说明了抽象技术的应用,及其在约简系统状态空间方面的效果.
- 周从华孙博刘志锋葛云
- 关键词：反例
