混成系统的描述与验证理论研究
基本信息
批准号：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
EBPR工艺运行效果的主要影响因素及研究现状
EBPR工艺运行效果的主要影响因素及研究现状
DOI：10.16796/j.cnki.1000-3770.2022.03.003
发表时间：2022
2
复杂系统科学研究进展
复杂系统科学研究进展
DOI：10.12202/j.0476-0301.2022178
发表时间：2022
3
二维FM系统的同时故障检测与控制
二维FM系统的同时故障检测与控制
DOI：10.16383/j.aas.c180673
发表时间：2021
4
末次盛冰期以来中国湖泊记录对环流系统及气候类型的响应
末次盛冰期以来中国湖泊记录对环流系统及气候类型的响应
DOI：DOI: 10.11821/dlxb201611003
发表时间：2016
5
汽车侧倾运动安全主动悬架LQG控制器设计方法
汽车侧倾运动安全主动悬架LQG控制器设计方法
DOI：
发表时间：2017
王捍贫的其他基金
批准号：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
项目类别：面上项目