混成系统的描述与验证理论研究
基本信息
批准号：60173002
项目类别：面上项目
资助金额：18.00
负责人：王捍贫
学科分类：
依托单位：北京大学
批准年份：2001
结题年份：2004
起止时间：2002-01-01 - 2004-12-31
项目状态： 已结题
项目参与者：袁崇义,张立昂,屈婉玲,刘田,孙泉,陈竟凯,叶珮,臧桂鹏
关键词：
描述与验证混成系统时段演算
结项摘要
本项目拟先建立关于时段演算表达能力的谱系图，后据此研究时段演算对混成系统行为的描述能力。再研究它对混成系统内诸多可观察行为的描述方法，解决混成系统中诸如"超稠密扑?和无限递归行为等描述上的难题，并建立相应的验证技术，包括正确性证明规则和模型检验算法。从而能更深入地掌握混成系统的设计、实现技术。...........
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
基于分形L系统的水稻根系建模方法研究
基于分形L系统的水稻根系建模方法研究
DOI：10.13836/j.jjau.2020047
发表时间：2020
2
硬件木马:关键问题研究进展及新动向
硬件木马:关键问题研究进展及新动向
DOI：
发表时间：2018
3
拥堵路网交通流均衡分配模型
拥堵路网交通流均衡分配模型
DOI：10.11918/j.issn.0367-6234.201804030
发表时间：2019
4
卫生系统韧性研究概况及其展望
卫生系统韧性研究概况及其展望
DOI：10.16506/j.1009-6639.2018.11.016
发表时间：2018
5
面向云工作流安全的任务调度方法
面向云工作流安全的任务调度方法
DOI：10.7544/issn1000-1239.2018.20170425
发表时间：2018
王捍贫的其他基金
批准号：61572003
批准年份：2015
资助金额：53.00
项目类别：面上项目
批准号：60873061
批准年份：2008
资助金额：38.00
项目类别：面上项目
批准号：61170299
批准年份：2011
资助金额：52.00
项目类别：面上项目
相似国自然基金
1
小规模量子混成系统的验证
批准号：61502467
批准年份：2015
负责人：李杨佳
学科分类：F0214
资助金额：20.00
项目类别：青年科学基金项目
2
实时和混成系统的组合模型验证研究
批准号：60073031
批准年份：2000
负责人：李宣东
学科分类：F0201
资助金额：15.00
项目类别：面上项目
3
基于代数分析与符号计算的混成系统自动验证
批准号：61003021
批准年份：2010
负责人：佘志坤
学科分类：F0201
资助金额：20.00
项目类别：青年科学基金项目
4
基于计算实代数几何的混成系统验证研究
批准号：61772203
批准年份：2017
负责人：杨争峰
学科分类：F0201
资助金额：58.00
项目类别：面上项目