陈晓江 作品数:477 被引量:496 H指数:11 供职机构: 西北大学 更多>> 发文基金: 国家自然科学基金 陕西省自然科学基金 国家科技支撑计划 更多>> 相关领域: 自动化与计算机技术 电子电信 文化科学 航空宇航科学技术 更多>>
一种基于区域判定的多精度节点定位方法 本发明公开了一种基于区域判定的多精度节点定位方法,其步骤包括:步骤一,计算信标节点的指纹信息差异值;步骤二,初始聚类中心与剩余信标节点聚类;步骤三,判断信标节点的部署方式;步骤四,非均匀部署的第一级虚拟块划分;步骤五,均... 陈晓江 汤战勇 房鼎益 郑欣 赵晖 聂卫科 邢天璋 刘晨 徐丹 任宇辉并发系统模型检测中的状态约减算法 2007年 组合可达性分析是对并发系统模型分析验证的基础和关键,但是难于解决验证中的所谓的状态爆炸问题。对此提出了基于假定状态约减验证算法(ABSR),通过自动构造子系统接口定义来约束其状态规模,在验证过程中约减冗余状态,能更大程度降低状态爆炸几率和提高验证效率。借助假定-保证(Assume-Guarantee)算法有效性定理和组合可达性分析(CRA)算法安全性验证定理,证明该验证算法的有效性。通过采用通信系统演算(CCS)描述的任务模型为例证,证明上述算法比传统CRA算法更有效。 陈晓江 杨琛 冯健 房鼎益关键词:安全性 基于LoRa上行传输系统的高能效资源分配方法 本发明公开了一种基于LoRa上行传输系统的高能效资源分配方法,包括:通过网关的多个信道接收来自多个终端发射的信号;获得所述多个信道接收的所述信号的信噪比;根据所述信噪比对所述多个终端重新分配信道,并根据重新分配的信道调整... 牛进平 郭艺 马跃 颉麦杰 杨香 张李 李艳艳 尹小燕 陈晓江 房鼎益文献传递 符号网络中基于图卷积神经网络的细粒度信任评估方法 本申请涉及一种符号网络中基于图卷积神经网络的细粒度信任评估方法,本申请在符号加权有向社交网络中提出一个基于图卷积神经网络(Graph Convolutional Network,GCN)的面向连续信任度的信任评估框架Co... 尹小燕 贺帅帅 李晶 林瑶 薛文慧 徐舒婷 郭凌 陈晓江 房鼎益一种基于电压感知的无线传感器网络时间同步方法 本发明公开了一种基于电压感知的无线传感器网络时间同步方法,该方法包括的步骤有:电压-频偏关系表格建立、本地时间更新、时钟再同步。本算法在频偏估计时考虑到了节点当前工作电压变化对节点频偏造成的影响,提高了频偏估计的精度。同... 金梦 房鼎益 陈晓江 刘晨 聂卫科 王薇 邢天璋 尹小燕一种中文超短文本的水印嵌入和提取方法 本发明公开了一种中文超短文本的水印嵌入和提取方法,该方法包括嵌入和提取两个过程,嵌入过程包括嵌入单元的识别和秘密信息的嵌入两个阶段,提取过程包括嵌入单元的识别、和秘密信息的提取和水印验证三个阶段;其中,两个过程中的嵌入单... 何路 房鼎益 陈晓江 谢碧清文献传递 基于压缩感知的被动式移动目标轨迹测绘 被引量:5 2015年 被动式目标轨迹测绘以其无需目标携带任何设备的优点吸引着许多应用,如野生动物监测、入侵安全监测等.针对现有基于被动式目标轨迹测绘方法,因频繁定位而导致计算开销大和大量观测数据导致通信能耗高的问题,文中提出基于压缩感知的被动式目标轨迹测绘(Compressive Sensing Based Device-Free Target Trajectory Depiction,CSTD)算法,仅用少量观测数据一次性精确测绘出目标轨迹,减少了计算和通信开销,降低了能耗.文中的关键性发现及CSTD优点是:(1)轨迹上不同的位置及其估算具有时间独立性和空间统一性,可将不同位置映射到统一的物理空间一次性测绘出目标轨迹,避免传统方法频繁定位计算开销的问题;(2)目标轨迹与监测区域的空间位置相比具有稀疏性,利用压缩感知原理通过少量观测数据就能精确测绘出目标轨迹,降低了数据量和能耗.为适应实际应用中的大规模场景需求,该文给出了可扩展的CSTD算法模型,并提出了目标轨迹稀疏度未知(目标经过的位置数未知)下的稀疏恢复算法.部署了48个节点的8m×8m真实实验,结果表明在降低观测数据量的同时,CSTD较现有经典算法至少提高了63%的轨迹测绘精度. 王举 陈晓江 常俪琼 房鼎益 邢天璋 聂卫科关键词:压缩感知 数据量 物联网 一种基于ELF感染的Android本地层指令编译虚拟化加壳方法 本发明公开了一种基于ELF感染的Android本地层指令编译虚拟化加壳方法,该方法对待保护的so文件进行Hex抽取和映射虚拟,形成虚拟机so文件,并对so文件的关键代码段进行加密,形成加密后的so文件;利用虚拟机so文件... 赵贝贝 房鼎益 汤战勇 宋丽娜 陈晓江 李振 龚晓庆 陈峰文献传递 电压自适应无线传感器网络时间同步方法 本发明公开了一种基于电压感知的无线传感器网络时间同步方法,该方法包括的步骤有:外部时钟同步、本地时间自我校正。本算法在频偏估计时考虑到了节点当前工作电压变化对节点频偏造成的影响,提高了频偏估计的精度。同时,由于该算法在时... 金梦 赵菁菁 陈晓江 房鼎益 徐丹 刘晨 郭军 尹小燕 牛进平文献传递 基于任务角色访问控制的数据版权管理模型 被引量:2 2008年 提出一种基于任务角色访问控制的数据版权管理模型—TR-EDRM(Task-Role Expended Digital Rights Management),并给出模型架构及实现关键技术。模型结合被动和主动访问控制,解决了权限部分继承问题,提高了DRM(Digital Rights Management)系统的安全性、灵活性和透明性。 罗养霞 冯健 陈晓江 何路 陈峰 房鼎益关键词:数字版权管理 访问控制 T-RBAC