非线性时序系统层次式建模和状态验证测试方法的研究
基本信息
批准号：69376021
项目类别：面上项目
资助金额：4.00
负责人：刘泽坚
学科分类：
依托单位：上海交通大学
批准年份：1993
结题年份：1995
起止时间：1994-01-01 - 1995-12-31
项目状态： 已结题
项目参与者：胡建翟,周天戎,谢峰
关键词：
时序电路的稳态分析状态转换图的搜索
结项摘要
分析长江?流,沿岸流系,气压等的季节变化及上述因子与近百年来平均水位,气温等相关关系,结合建筑物荷载,工业抽水引起沉降速率,研究长江三角洲沿岸海面波动趋势及对低海岸平原的影响,为三角洲和上海的工农业规划,开发和海岸工程措施提供科学依据.
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
玉米叶向值的全基因组关联分析
玉米叶向值的全基因组关联分析
DOI：
发表时间：
2
正交异性钢桥面板纵肋-面板疲劳开裂的CFRP加固研究
正交异性钢桥面板纵肋-面板疲劳开裂的CFRP加固研究
DOI：10.19713/j.cnki.43-1423/u.t20201185
发表时间：2021
3
硬件木马:关键问题研究进展及新动向
硬件木马:关键问题研究进展及新动向
DOI：
发表时间：2018
4
基于SSVEP 直接脑控机器人方向和速度研究
基于SSVEP 直接脑控机器人方向和速度研究
DOI：10.16383/j.aas.2016.c150880
发表时间：2016
5
小跨高比钢板- 混凝土组合连梁抗剪承载力计算方法研究
小跨高比钢板- 混凝土组合连梁抗剪承载力计算方法研究
DOI：10.19701/j.jzjg.2015.15.012
发表时间：2015
刘泽坚的其他基金
批准号：68976033
批准年份：1989
资助金额：2.50
项目类别：面上项目
相似国自然基金
1
SOC的层次式内建自测试方法研究
批准号：90207020
批准年份：2002
负责人：陈朝阳
学科分类：F02
资助金额：28.00
项目类别：重大研究计划
2
面向测试性虚拟验证的故障-测试-环境相关性建模方法
批准号：51105369
批准年份：2011
负责人：杨鹏
学科分类：E0506
资助金额：24.00
项目类别：青年科学基金项目
3
基于Aspect的软件非功能性规约建模、测试和验证研究
批准号：60603036
批准年份：2006
负责人：王林章
学科分类：F0203
资助金额：25.00
项目类别：青年科学基金项目
4
高可信嵌入式软件建模与验证方法的研究
批准号：61572253
批准年份：2015
负责人：庄毅
学科分类：F0203
资助金额：64.00
项目类别：面上项目