您的位置： 专家智库 > >

陆旭

作品数：19 被引量：2H指数：1
供职机构：西安电子科技大学更多>>
发文基金：中国博士后科学基金陕西省自然科学基金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 15篇专利
  • 2篇期刊文章
  • 2篇学位论文

领域

  • 11篇自动化与计算...

主题

  • 4篇语言
  • 4篇设计语言
  • 4篇计算机
  • 4篇计算机程序
  • 4篇计算机程序设...
  • 4篇计算机程序设...
  • 4篇程序设计
  • 4篇程序设计语言
  • 3篇电路
  • 3篇驱动程序
  • 3篇开发环境
  • 2篇形式化
  • 2篇形式化描述
  • 2篇以太
  • 2篇语法树
  • 2篇原子性
  • 2篇中断服务例程
  • 2篇中断驱动程序
  • 2篇实例化
  • 2篇自动机

机构

  • 19篇西安电子科技...
  • 1篇西北大学
  • 1篇曲阜师范大学
  • 1篇西安石油大学

作者

  • 19篇陆旭
  • 16篇田聪
  • 12篇段振华
  • 11篇王小兵
  • 10篇张南
  • 7篇赵亮
  • 2篇李煜
  • 2篇张捷
  • 1篇陈矗
  • 1篇李鸿

传媒

  • 2篇软件学报

年份

  • 3篇2024
  • 10篇2023
  • 1篇2022
  • 3篇2021
  • 1篇2017
  • 1篇2011
共 19 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种FPGA芯片模型的解析绘图方法及装置
本发明涉及一种FPGA芯片模型的解析绘图方法及装置，方法包括，获取芯片及电路设计信息；根据芯片及电路设计信息，解析得到FPGA的芯片结构数据，并根据芯片结构数据进行绘图，得到FPGA的结构图；根据芯片及电路设计信息，逆向...
田聪张学士于斌段振华曲南江刘廷王小兵张南陆旭
一种类Python程序设计语言XD-M的解释系统及方法
本发明属于计算机程序设计语言及应用技术领域，公开了一种类Python程序设计语言XD‑M的解释系统及方法，所述类Python程序设计语言XD‑M的解释方法包括：对于XD‑M语言中的基本语句和源自建模仿真验证语言MSVL的...
段振华谷宇天张南田聪王小兵赵亮陆旭于斌张捷
一种面向中断驱动程序的原子性违反缺陷检测方法及装置
本发明公开了一种面向中断驱动程序的原子性违反缺陷检测方法及装置，该方法包括：确定中断驱动程序对应的所有节点中的中断节点，以及每个中断节点对应的中断驱动程序中的会受影响的中断服务例程；根据中断驱动程序生成可达树，得到所有节...
于斌刘元哲邢恒睿王宇兴林滕劼李鸿杨铠铭陆旭田聪王小兵赵亮
一种PPTL规范挖掘系统和方法
本发明属于计算机程序设计语言及应用技术领域，公开了一种PPTL规范挖掘系统和方法，所述PPTL规范挖掘系统，包括Trace生成模块、Trace解析模块、PPTL_LNFG转换模块、LNFG实例化模块、LNFG检测模块和挖...
张南宁新亚段振华田聪王小兵赵亮陆旭于斌
文献传递
基于No GIL并行的以太坊智能合约交易缺陷检测方法及装置
本发明公开了一种基于No GIL并行的以太坊智能合约交易缺陷检测方法及装置，本发明所提供的一种基于No GIL并行的以太坊智能合约交易缺陷检测方法中：利用以太坊虚拟机重放交易，收集交易过程中字节码级别的跟踪数据；根据跟踪...
张诗雯谷卓亚于斌李昱霖刘屹张钰涵陆旭田聪
基于动态交易信息的以太坊智能合约返回值未测验证方法
本发明公开了一种基于动态交易信息的以太坊智能合约返回值未测验证方法，包括执行基于以太坊2.0以上平台的以太坊交易事务重放操作并记录重放的交易事务的操作码信息；提取操作码信息的关键逻辑并进行交易执行模拟过程，收集交易模拟后...
于斌张钰涵刘屹李昱霖张诗雯谷卓亚陆旭马智田聪
一种类Python程序设计语言XD-M的解释系统及方法
本发明属于计算机程序设计语言及应用技术领域，公开了一种类Python程序设计语言XD‑M的解释系统及方法，所述类Python程序设计语言XD‑M的解释方法包括：对于XD‑M语言中的基本语句和源自建模仿真验证语言MSVL的...
段振华谷宇天张南田聪王小兵赵亮陆旭于斌张捷
文献传递
一种基于运行时验证的边缘服务器DoS攻击检测方法
本发明属于程序运行验证技术领域，公开了一种基于运行时验证的边缘服务器DoS攻击检测方法，所述基于运行时验证的边缘服务器DoS攻击检测方法包括：采用PPTL公式形式化描述边缘服务器预期行为；采用PPTL公式形式化描述边缘服...
于斌陆旭田聪段振华张南曲南江
文献传递
一种基于商用Xilinx Virtex-7 FPGA芯片资源模型的解析绘制方法
本发明涉及一种基于商用Xilinx Virtex‑7FPGA芯片资源模型的解析绘制方法，包括：通过解析.xml格式的Virtex‑7FPGA架构体系文件，获取Virtex‑7FPGA芯片属性信息存储至第一结构体中；通过解...
田聪刘廷于斌段振华曲南江张学士王小兵张南陆旭
任务驱动的自适应构件模型研究与实现
随着信息技术的快速发展，Internet逐渐成为主流的软件运行环境，开放、动态、难控是其最显著的特征。网络的开放性和动态性使得用户需求与计算环境更加频繁地变化，导致软件的变化性和复杂度进一步增强，提高了对软件健壮性的要求...
陆旭
关键词：自适应AGENT技术软件开发
全选 清除 导出
共2页<12>
聚类工具0