房鼎益
作品数: 588被引量:860H指数:12
  • 所属机构:西北大学
  • 所在地区:陕西省 西安市
  • 研究方向:自动化与计算机技术
  • 发文基金:国家自然科学基金

相关作者

陈晓江
作品数:480被引量:497H指数:11
供职机构:西北大学
研究主题:被动式 无线传感器网络 网络 感知 ANDROID
汤战勇
作品数:220被引量:148H指数:8
供职机构:西北大学
研究主题:被动式 ANDROID 源码 二进制代码 代码
陈峰
作品数:191被引量:337H指数:12
供职机构:西北大学
研究主题:北宋 宋朝 宋代 宋初 ANDROID
尹小燕
作品数:93被引量:8H指数:2
供职机构:西北大学
研究主题:无线传感器网络 路由方法 无线传感网 社交网络 数据传输
龚晓庆
作品数:101被引量:120H指数:6
供职机构:西北大学
研究主题:ANDROID 二进制代码 源码 保护方法 虚拟化
一种基于区域判定的多精度节点定位方法
本发明公开了一种基于区域判定的多精度节点定位方法,其步骤包括:步骤一,计算信标节点的指纹信息差异值;步骤二,初始聚类中心与剩余信标节点聚类;步骤三,判断信标节点的部署方式;步骤四,非均匀部署的第一级虚拟块划分;步骤五,均...
陈晓江汤战勇房鼎益郑欣赵晖聂卫科邢天璋刘晨徐丹任宇辉
并发系统模型检测中的状态约减算法
2007年
组合可达性分析是对并发系统模型分析验证的基础和关键,但是难于解决验证中的所谓的状态爆炸问题。对此提出了基于假定状态约减验证算法(ABSR),通过自动构造子系统接口定义来约束其状态规模,在验证过程中约减冗余状态,能更大程度降低状态爆炸几率和提高验证效率。借助假定-保证(Assume-Guarantee)算法有效性定理和组合可达性分析(CRA)算法安全性验证定理,证明该验证算法的有效性。通过采用通信系统演算(CCS)描述的任务模型为例证,证明上述算法比传统CRA算法更有效。
陈晓江杨琛冯健房鼎益
关键词:安全性
基于LoRa上行传输系统的高能效资源分配方法
本发明公开了一种基于LoRa上行传输系统的高能效资源分配方法,包括:通过网关的多个信道接收来自多个终端发射的信号;获得所述多个信道接收的所述信号的信噪比;根据所述信噪比对所述多个终端重新分配信道,并根据重新分配的信道调整...
牛进平郭艺马跃颉麦杰杨香张李李艳艳尹小燕陈晓江房鼎益
文献传递
基于模糊理论的P2P流媒体节点选择算法被引量:2
2009年
传统Gossip协议对节点的选择存在盲目性,没有考虑节点的存储能力等影响因素,致使节点选择时网络搜索成功率较低,网络传输负载呈现出随机性。通过对非结构化P2P网络中广泛应用的Gossip协议进行探索和研究,运用模糊理论提出基于可靠性的节点选择策略。通过模拟实验对相关数据进行分析,结果表明该策略能有效提高P2P网络中节点的选择效率。
张娓娓范训礼房鼎益
关键词:P2P流媒体GOSSIP协议
符号网络中基于图卷积神经网络的细粒度信任评估方法
本申请涉及一种符号网络中基于图卷积神经网络的细粒度信任评估方法,本申请在符号加权有向社交网络中提出一个基于图卷积神经网络(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文件...
赵贝贝房鼎益汤战勇宋丽娜陈晓江李振龚晓庆陈峰
文献传递