您的位置： 专家智库 > >

赵亮

作品数：62 被引量：45H指数：3
供职机构：西安电子科技大学更多>>
发文基金：国家重点实验室开放基金国家自然科学基金更多>>
相关领域：自动化与计算机技术电子电信电气工程经济管理更多>>

合作作者

文献类型

  • 45篇专利
  • 10篇学位论文
  • 6篇期刊文章
  • 1篇科技成果

领域

  • 19篇自动化与计算...
  • 11篇电子电信
  • 2篇电气工程
  • 1篇经济管理
  • 1篇动力工程及工...

主题

  • 16篇网络
  • 10篇社交
  • 8篇形式化
  • 7篇代码
  • 7篇神经网
  • 7篇神经网络
  • 6篇语言
  • 6篇社交网
  • 6篇社交网络
  • 6篇设计语言
  • 6篇时序逻辑
  • 6篇程序设计
  • 6篇程序设计语言
  • 4篇隐私
  • 4篇语法树
  • 4篇源代码
  • 4篇爬虫
  • 4篇子集
  • 4篇字符
  • 4篇网络爬虫

机构

  • 62篇西安电子科技...
  • 1篇北京电子科技...
  • 1篇中国电子科技...

作者

  • 62篇赵亮
  • 45篇田聪
  • 43篇段振华
  • 43篇王小兵
  • 41篇张南
  • 7篇陆旭
  • 4篇孙涛
  • 3篇葛建华
  • 2篇张捷
  • 2篇李鹏
  • 1篇赵耿
  • 1篇翟超
  • 1篇高宇
  • 1篇黄伯虎
  • 1篇马英杰
  • 1篇吴家骥
  • 1篇李鸿
  • 1篇李致远
  • 1篇杨坤
  • 1篇马国清

传媒

  • 3篇西安电子科技...
  • 1篇电子科技
  • 1篇计算机应用与...
  • 1篇现代电子技术

年份

  • 6篇2024
  • 7篇2023
  • 4篇2022
  • 6篇2021
  • 6篇2020
  • 4篇2019
  • 3篇2018
  • 9篇2017
  • 1篇2016
  • 2篇2015
  • 2篇2014
  • 4篇2013
  • 3篇2011
  • 1篇2010
  • 1篇2009
  • 1篇2004
  • 2篇2003
共 62 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
移动点对点网络MHP2P的架构及相关服务实现方法
本发明属于互联网计算技术领域，公开了一种移动点对点网络MHP2P的架构及相关服务实现方法。本发明基于一种稳定性和查询效率高、可扩展的HP2P网络，通过普通结点作为热点的形式使邻近的移动结点连接到普通结点，以使在原有网络拓...
段振华姜品田聪张南王小兵黄伯虎赵亮
文献传递
一种面向中断驱动程序的原子性违反缺陷检测方法及装置
本发明公开了一种面向中断驱动程序的原子性违反缺陷检测方法及装置，该方法包括：确定中断驱动程序对应的所有节点中的中断节点，以及每个中断节点对应的中断驱动程序中的会受影响的中断服务例程；根据中断驱动程序生成可达树，得到所有节...
于斌刘元哲邢恒睿王宇兴林滕劼李鸿杨铠铭陆旭田聪王小兵赵亮
基于源代码插桩的社交网络安全运行时验证方法及系统
本发明属于计算机应用技术领域，公开了一种基于源代码插桩的社交网络安全运行时验证方法及系统，通过对开源社交网络进行代码插桩来捕获事件，用PPTL<Sub>3</Sub>来描述性质并生成相应的性质监控模块，然后将事件和性质监...
王小兵郭文轩段振华赵亮田聪张南
文献传递
一种基于误差分治的神经网络验证方法
本发明涉及一种基于误差分治的神经网络验证方法，采用改进的符号线性松弛计算给定输入范围内网络节点的严格近似函数，并使用过近似节点的误差约束分割策略将原验证问题划分为等价的一系列子问题，对一系列子问题进行完备验证从而验证整个...
田聪董彦松段鑫民刘月浩赵亮于斌段振华
一种基于MSVL的BP神经网络的构建和训练方法及系统
本发明属于BP神经网络技术领域，公开了一种基于MSVL的BP神经网络的构建和训练方法及系统，所述基于MSVL的BP神经网络的构建和训练方法包括：根据BP神经网络基本的层次化结构和属性行为特征，构建基于MSVL的BP神经网...
赵亮冯哲段振华王小兵田聪张南
文献传递
基于神经网络的驾驶员违规预测方法
本发明公开了一种基于神经网络的驾驶员违规预测方法，涉及违规预测技术领域，包括：获取原始数据；对原始数据进行处理，得到第一数据；采用第一数据对预设的第一模型进行训练，得到违规时间间隔预测模型，并对违规时间间隔预测模型进行评...
王小兵朱星光李伟康段振华赵亮田聪张南
一种PPTL规范挖掘系统和方法
本发明属于计算机程序设计语言及应用技术领域，公开了一种PPTL规范挖掘系统和方法，所述PPTL规范挖掘系统，包括Trace生成模块、Trace解析模块、PPTL_LNFG转换模块、LNFG实例化模块、LNFG检测模块和挖...
张南宁新亚段振华田聪王小兵赵亮陆旭于斌
文献传递
高精度频率稳定测量仪的设计和实现
目前对高精度宽频段宽取样时间段的频率稳定度测量仪有较大的需求。基于传统思路设计的频率稳定度测量仪往往只能针对特殊的频率点进行测量，满足不了一些测试需求。本文在对差拍法原理研究的基础上，提出了一套新的频率稳定度测量系统的组...
赵亮
关键词：频率合成器混频器
文献传递
一种基于索引表达式的梯度下降算法的建模方法
本发明公开了一种基于索引表达式的梯度下降算法的建模方法，包括：基于预设的索引表达式，构建梯度下降谓词；根据梯度下降算法的预设精度，利用MSVL中的字符串对输入数据进行不同类型的运算，得到第一结果；读取数据集，并根据梯度下...
王小兵朱星光孙东海段振华赵亮田聪张南
基于MSVL的区块链系统建模和安全性验证的方法及系统
本发明属于形式化方法领域，公开了一种基于MSVL的区块链系统建模和安全性验证的方法及系统，在MC中用MSVL对区块链系统建模，用程序p表示；用PPTL描述区块链系统的性质，用公式φ表示；在MC中，加入MSVL的建模程序p...
王小兵朱云凯段振华赵亮田聪张南
文献传递
全选 清除 导出
共7页<1234567>
聚类工具0