框架时序逻辑程序设计
批准号：
60433010
项目类别：
重点项目
资助金额：
180.0 万元
负责人：
段振华
依托单位：
学科分类：
软件理论、软件工程与服务
结题年份：
2008
批准年份：
2004
项目状态：
已结题
项目参与者：
郝克刚、Maciej Koutny、鱼滨、杨晓丽、刘西洋、王小兵、石磊、张海滨、赵建民
项目摘要
结项摘要
项目成果
段振华的其他基金
相似基金
相关文献
中文摘要
定义框架时序逻辑的语法和语义，建立该逻辑系统的模型理论，公理系统；基于该逻辑系统，开发一个简洁、实用的、具有类似于C,C++ 和Java语言的程序设计风格的时序逻辑程序设计语言。该语言能支持结构化程序设计、部分面向对象和面向构件程序设计。研究该语言的操作语义和公理语义。开发该语言的一个解释器。研究该语言在并发、实时和混合系统中的应用。研究框架时序逻辑在非规范知识处理中的应用。. 该研究对提高软件系统的形式验证的自动化程度、提高软件的可靠性和安全性具有积极的促进作用。对并发、实时和混合系统的形式描述和验证、对非规范知识处理都是十分有用的。框架时序逻辑程序设计的研究是源头性的，具有十分重要的理论意义和广阔的应用前景。
英文摘要
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
登录
查看更多内容
DOI：
--
发表时间：
--
期刊：
雷丽晖，段振华，“基于工作流模式的OWL-S过程模型分析及其应用”，计算机科学，Vol.34(5)，pp129-133，2007
影响因子：
--
作者：
[]
通讯作者：
DOI：
--
发表时间：
--
期刊：
张海宾，段振华，“多速率混合系统的符号化可达性分析”，西安交通大学学报，Vol.41(4)，pp412-415，2007.4（EI收录）
影响因子：
--
作者：
[]
通讯作者：
DOI：
--
发表时间：
--
期刊：
门鹏，段振华，“动态Web服务组合的选择策略”，光子学报，已录用，2009（EI收录）
影响因子：
--
作者：
[]
通讯作者：
DOI：
10.1007/978-3-642-01209-9_25
发表时间：
2009
期刊：
影响因子：
--
作者：
[Zhenhua Duan;Xinfeng Shu]
通讯作者：
Zhenhua Duan;Xinfeng Shu
DOI：
--
发表时间：
--
期刊：
刘洪燕，段振华，张鹏飞，“Web服务提供方安全模型的设计、建模和分析”，计算机技术与发展，Vol.16(11)，pp162-165, 2006.11
影响因子：
--
作者：
[]
通讯作者：
共 44 条
可编程芯片（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
-
负责人：段振华
-
依托单位：
国内基金
海外基金