2024年8月23日
星期五
|
欢迎来到贵州省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
吴志伟
作品数:
5
被引量:3
H指数: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
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张