一类时间自动机及其在有穷状态实时系统中的应用
基本信息
批准号：69873040
项目类别：面上项目
资助金额：8.00
负责人：苏锦祥
学科分类：
依托单位：郑州大学
批准年份：1998
结题年份：2001
起止时间：1999-01-01 - 2001-12-31
项目状态： 已结题
项目参与者：庄雷,周清雷,周文俊,孟庆远,马红妹
关键词：
时间自动机ω－自动机有穷姿态实时系统
结项摘要
时间自动机是在ω－自动机基础上结合实际需要产生的一种时间识别模型。它不仅在理论上而且在如有穷状态实时系统等方面都有极重要的应用。本项目拟：1、建立Ⅰ型、Ⅱ型时间远?、用Ⅰ、Ⅱ型时间自动机描述和验证有穷状态实时系统。3、Ⅰ、Ⅱ型时间自动机侗鹉芰褪侗鸬挠镅宰宓姆獗招缘难芯俊Ｑ芯磕谌菥舻鼻肮噬舷嘤α煊虻那把乜翁狻
项目摘要
项目成果
{{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：10.7641/CTA.2018.70969
发表时间：2018
5
新产品脱销等待时间对顾客抱怨行为的影响:基于有调节的双中介模型
新产品脱销等待时间对顾客抱怨行为的影响:基于有调节的双中介模型
DOI：
发表时间：2023
苏锦祥的其他基金
批准号：69173302
批准年份：1991
资助金额：3.00
项目类别：面上项目
批准号：69473020
批准年份：1994
资助金额：5.00
项目类别：面上项目
相似国自然基金
1
交替-有穷自动机
批准号：69173302
批准年份：1991
负责人：苏锦祥
学科分类：F0201
资助金额：3.00
项目类别：面上项目
2
剩余格值自动机的状态复杂性及在离散事件系统中的应用
批准号：61073054
批准年份：2010
负责人：邱道文
学科分类：F0201
资助金额：37.00
项目类别：面上项目
3
基于时间自动机的实时Web服务组合研究
批准号：61101214
批准年份：2011
负责人：胡晶晶
学科分类：F0113
资助金额：25.00
项目类别：青年科学基金项目
4
量子有穷自动机的时空复杂度优势及相关问题
批准号：61602532
批准年份：2016
负责人：郑盛根
学科分类：F0214
资助金额：21.00
项目类别：青年科学基金项目