您的位置: 专家智库 > >

李致远

作品数:5 被引量:0H指数:0
供职机构:西安电子科技大学更多>>
相关领域:自动化与计算机技术文化科学更多>>

文献类型

  • 4篇专利
  • 1篇学位论文

领域

  • 2篇自动化与计算...
  • 1篇文化科学

主题

  • 2篇拥挤
  • 2篇拥挤度
  • 2篇资源分配
  • 2篇最优解
  • 2篇向量
  • 2篇干扰资源
  • 2篇NSGA-I...
  • 1篇信息检测
  • 1篇形式语言
  • 1篇社会事件
  • 1篇时序逻辑
  • 1篇数据共享
  • 1篇数据架构
  • 1篇通信
  • 1篇通信网
  • 1篇通信网络
  • 1篇通信网络安全
  • 1篇投影时序逻辑
  • 1篇子集
  • 1篇网络

机构

  • 5篇西安电子科技...

作者

  • 5篇李致远
  • 2篇李文博
  • 2篇董春曦
  • 2篇李明
  • 2篇董阳阳
  • 1篇曹进
  • 1篇张南
  • 1篇李晖
  • 1篇赵亮
  • 1篇段振华
  • 1篇田聪
  • 1篇王小兵

年份

  • 1篇2024
  • 1篇2022
  • 1篇2021
  • 1篇2018
  • 1篇2017
5 条 记 录,以下是 1-5
排序方式:
微博系统的运行时验证研究
随着计算机技术的发展和Web2.0时代的到来,尤其是近期互联网+概念的提出,互联网应用已经覆盖到了人们生活的每一个角落。社交网络服务(Social Network Service/Site,SNS)作为互联网的典型应用,...
李致远
关键词:信息检测命题投影时序逻辑
文献传递
基于干扰向量和NSGA-II算法的干扰资源分配方法
本发明公开了一种基于干扰向量和NSGA‑II算法的干扰资源分配方法,其实现步骤为:生成干扰资源分配向量集,计算每个干扰资源分配向量的干扰向量得到干扰向量集,通过NSGA‑II算法中的交叉变异方法更新干扰资源分配向量集和干...
董春曦赵海妮李明董阳阳郭立博陈文哲李致远李文博
文献传递
物联网感知数据共享交易平台、控制方法、设备、终端
本发明属于通信网络安全技术领域,公开了一种物联网感知数据共享交易平台、控制方法、设备、终端,所述物联网感知数据共享交易平台,包括感知汇聚层、控制传输层、共享交易层、应用交互层、区块链底层平台、区块链网络以及区块链底层架构...
李晖尚超曹进罗玙榕李致远何握瑜闫宇辰叶文汇
文献传递
基于干扰向量和NSGA-II算法的干扰资源分配方法
本发明公开了一种基于干扰向量和NSGA‑II算法的干扰资源分配方法,其实现步骤为:生成干扰资源分配向量集,计算每个干扰资源分配向量的干扰向量得到干扰向量集,通过NSGA‑II算法中的交叉变异方法更新干扰资源分配向量集和干...
董春曦赵海妮李明董阳阳郭立博陈文哲李致远李文博
基于MSVL惰性并发链表建模和可线性化性质验证方法
本发明公开了一种基于MSVL惰性并发链表建模和可线性化性质验证方法,利用MSVL对惰性并发链表建模、用PPTL描述其可线性化性质,最终在MSV平台中进行验证,确定该惰性并发链表的可线性化性质是否正确;用MSVL程序p为待...
王小兵李致远段振华赵亮田聪张南
文献传递
共1页<1>
聚类工具0