您的位置: 专家智库 > >

吴志伟

作品数:5 被引量:3H指数:1
供职机构:华东师范大学更多>>
相关领域:语言文字自动化与计算机技术更多>>

文献类型

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

领域

  • 1篇自动化与计算...
  • 1篇语言文字

主题

  • 4篇ML
  • 3篇状态机
  • 2篇性质分析
  • 2篇数据文件
  • 2篇迁移
  • 2篇自动检测系统
  • 1篇修辞
  • 1篇修辞手法
  • 1篇修辞学
  • 1篇修辞学研究
  • 1篇演讲
  • 1篇演讲稿
  • 1篇映射
  • 1篇政治演讲
  • 1篇时延
  • 1篇时延分析
  • 1篇实时系统
  • 1篇图形化
  • 1篇自动机
  • 1篇总统

机构

  • 5篇华东师范大学

作者

  • 5篇吴志伟
  • 4篇孙海英
  • 4篇刘静
  • 4篇尹伟
  • 4篇王辉
  • 2篇高杰

年份

  • 1篇2024
  • 3篇2021
  • 1篇2010
5 条 记 录,以下是 1-5
排序方式:
奥巴马总统竞选演讲稿修辞学研究
本文旨在从修辞学的角度研究奥巴马的总统竞选演讲。在过去的两年中,奥巴马吸引了全世界的目光,他雄辩的演讲征服了亿万听众。人们常常把他和过去的林肯总统以及马丁·路德·金相提并论。奥巴马的成功因素有很多,但是修辞的因素功不可没...
吴志伟
关键词:政治演讲修辞手法
文献传递
一种基于S<Sup>2</Sup>ML的安全攸关系统分析与验证方法
本发明公开了一种基于S<Sup>2</Sup>ML的安全攸关系统分析与验证方法,其特点是采用Z3约束求解器对生成的数据文件进行性质验证的方法,具体包括:读取格式文件、抽取每个状态之间迁移的条件、转换成约束求解的格式和性质...
刘静杨琛琛孙海英康介祥尹伟高忠杰王辉吴志伟丁郭欢
一种S<Sup>2</Sup>ML流的建模与验证方法
本发明公开了一种S<Sup>2</Sup>ML流的建模与验证方法,其特点是采用S<Sup>2</Sup>ML流模型的分析框架对实时系统进行时延分析和验证,具体包括:S<Sup>2</Sup>ML流的图形化建模、S<Sup...
刘静丁郭欢孙海英康介祥尹伟高杰王辉吴志伟杨琛琛
文献传递
一种基于S<Sup>2</Sup>ML的安全攸关系统分析与验证方法
本发明公开了一种基于S<Sup>2</Sup>ML的安全攸关系统分析与验证方法,其特点是采用Z3约束求解器对生成的数据文件进行性质验证的方法,具体包括:读取格式文件、抽取每个状态之间迁移的条件、转换成约束求解的格式和性质...
刘静杨琛琛孙海英康介祥尹伟高忠杰王辉吴志伟丁郭欢
文献传递
一种基于S<Sup>2</Sup>ML的安全攸关系统建模方法
本发明公开了一种基于S<Sup>2</Sup>ML的安全攸关系统建模方法,其特点是采用安全自动机与SysML状态机结合的Safety_SysML建模语言,使得SysML语言支持对安全攸关系统的建模与分析,具体包括:状态属...
孙海英杨琛琛刘静康介祥尹伟高杰王辉吴志伟丁郭欢
文献传递
共1页<1>
聚类工具0