混合系统的形式验证
批准号：
60373103
项目类别：
面上项目
资助金额：
24.0 万元
负责人：
段振华
依托单位：
学科分类：
新型计算及其应用基础
结题年份：
2006
批准年份：
2003
项目状态：
已结题
项目参与者：
杨晓丽、王闵、李青山、楮华、王文强、郝克刚、鱼滨
项目摘要
结项摘要
项目成果
段振华的其他基金
相似基金
相关文献
中文摘要
建立混合系统的计算模型；基于这个模型，建立一个时序逻辑系统，它既是系统刻画语言又是系统规范语言。建立一个可视化的系统刻画语言，并建立从这个语言到时序逻辑语言的转换规则；建立时序逻辑语言的模型理论，检验可满足性的判定，探索可判定子类的分类，发展该时序逻辑的算法验证方法，包括模型检查。建立该时序逻辑的证明系统，发展基于该系统的演绎法对混合系统进行形式验证的规则和方法。建立一个层次的刻画语言，用以在不同抽象级上表达混合系统，并逐步求精得到系统的描述。由于HM和HPTL是基础，该研究是源头性的，它具有很重要的意义。
英文摘要
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
登录
查看更多内容
A framed temporal logic progra
框架时序逻辑程序
框架时序逻辑程序
DOI：
--
发表时间：
--
期刊：
影响因子：
--
作者：
[Z.H. Duan*, Maciej Koutny]
通讯作者：
Z.H. Duan*, Maciej Koutny
DOI：
--
发表时间：
--
期刊：
计算机科学，6月 2007
影响因子：
--
作者：
[雷丽珲?*, 段振华]
通讯作者：
雷丽珲?*, 段振华
DOI：
--
发表时间：
--
期刊：
西安电子科技大学学报，已录用
影响因子：
--
作者：
[张海宾*, 段振华]
通讯作者：
段振华
DOI：
--
发表时间：
--
期刊：
计算机科学，已录用
影响因子：
--
作者：
[张海宾*, 段振华]
通讯作者：
段振华
DOI：
--
发表时间：
--
期刊：
《计算机技术与发展》, Vol16, No11, p162-165, 2006
影响因子：
--
作者：
[刘洪燕*,段振华, 张鹏飞]
通讯作者：
张鹏飞
共 6 条
可编程芯片（FPGA）EDA编译软件关键技术研究
-
批准号：62172322
-
项目类别：面上项目
-
资助金额：59万元
-
批准年份：2021
-
负责人：段振华
-
依托单位：
C/Verilog程序的MSVL验证理论与方法
-
批准号：91418201
-
项目类别：重大研究计划
-
资助金额：160.0万元
-
批准年份：2014
-
负责人：段振华
-
依托单位：
开放软件系统的基础理论与关键技术
-
批准号：61133001
-
项目类别：重点项目
-
资助金额：270.0万元
-
批准年份：2011
-
负责人：段振华
-
依托单位：
基于FPGA的高可信嵌入式系统的基础研究
-
批准号：91018010
-
项目类别：重大研究计划
-
资助金额：50.0万元
-
批准年份：2010
-
负责人：段振华
-
依托单位：
组合Web服务的建模与验证
-
批准号：60873018
-
项目类别：面上项目
-
资助金额：36.0万元
-
批准年份：2008
-
负责人：段振华
-
依托单位：
框架时序逻辑程序设计
-
批准号：60433010
-
项目类别：重点项目
-
资助金额：180.0万元
-
批准年份：2004
-
负责人：段振华
-
依托单位：
国内基金
海外基金