您的位置： 专家智库 > >

姚银波

作品数：4 被引量：0H指数：0
供职机构：华东师范大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

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

领域

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

主题

  • 2篇垫板
  • 2篇电动
  • 2篇无尘
  • 2篇卷帘
  • 2篇黑板
  • 2篇擦除
  • 1篇义务
  • 1篇时态逻辑
  • 1篇数据流
  • 1篇数据流测试
  • 1篇数据流分析
  • 1篇搜索
  • 1篇搜索器
  • 1篇线性时态逻辑
  • 1篇控制流
  • 1篇LTL
  • 1篇测试系统

机构

  • 4篇华东师范大学

作者

  • 4篇姚银波
  • 2篇姜凛
  • 2篇李赟
  • 1篇蒲戈光
  • 1篇苏亭
  • 1篇武轲

年份

  • 1篇2018
  • 1篇2015
  • 1篇2010
  • 1篇2009
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
电动擦除式无尘软黑板
本实用新型公开了一种电动擦除式无尘软黑板，它包括机架、卷帘辊、擦除辊、导向辊、书写垫板、擦除压板、书写软面及电控箱，机架由底板、上箱及下箱组成，上箱、下箱呈长方形箱体且平行设置，上箱与下箱上对应设有数对轴承座；卷帘辊、擦...
李赟姜凛姚银波
文献传递
线性时态逻辑可满足工具的设计与实现
线性时态逻辑(LTL)自从上个世纪七十年代被引入计算机科学领域之后,得到了很大的发展。现如今,LTL作为一种形式化的性质规范描述,已在程序验证与分析、程序综合、数据库和人工智能领域被广泛使用。对于逻辑语言LTL来讲,可满...
姚银波
关键词：线性时态逻辑
文献传递
电动擦除式无尘软黑板
本发明公开了一种电动擦除式无尘软黑板，它包括机架、卷帘辊、擦除辊、导向辊、书写垫板、擦除压板、书写软面及电控箱，机架由底板、上箱及下箱组成，上箱、下箱呈长方形箱体且平行设置，上箱与下箱上对应设有数对轴承座；卷帘辊、擦除辊...
李赟姜凛姚银波
文献传递
一种基于关键点引导的数据流测试方法及其测试系统
本发明公开了一种基于关键点引导的数据流测试方法，包括：通过标准的数据流分析方法获得待测程序中的定义‑使用对；根据控制流分析方法分析所述定义‑使用对中的关键点；将所述定义‑使用对和所述关键点输入符号执行器；所述符号执行器使...
蒲戈光苏亭张枨宇武轲姚银波周寒茹
文献传递
全选 清除 导出
共1页<1>
聚类工具0