| 查看: 416 | 回复: 1 | |||||||||
| 本帖产生 1 个 基金HEPI ，点击这里进行查看 | |||||||||
[交流]
【摘要编号】61003078
|
|||||||||
谢谢了。 |
回复此楼» 猜你喜欢
售SCI一区T0P文章，我:8.O55.1.O.54,科目全,可十急
已经有9人回复
-
说走就走，走到哪便是哪
已经有10人回复
-
亲密关系
已经有13人回复
-
27秋申博自荐
已经有4人回复
-
郑州大学申博
已经有8人回复
» 抢金币啦！回帖就可以得到:
-
安徽工程大学徐珍珍课题组招聘博士后
+1/380
-
澳门大学智慧城市物联网国重“基础设施智能监测”及“智慧城市”研究方向博士后招聘
+1/186
-
澳门大学智慧城市物联网国重”基础设施智能监测“及”智慧城市“研究方向博士生招生
+1/183
-
经济危机不是生产过剩
+1/135
-
热分析测试
+1/97
-
南开大学环境科学与工程学院 环境与人体健康方向 招博士研究生、硕士研究生各1名
+1/75
-
Claudin-2 重组蛋白来啦
+1/43
-
华南理工大学黄哲昊课题组招收博士研究生
+2/40
-
郑州招聘博士
+1/36
-
环境地球化学地球生物学博士招生
+1/35
-
四川大学先进制造技术团队招硕士博士
+1/35
-
澳大利亚皇家墨尔本理工招收phd
+1/32
-
电子科技大学（深圳）高等研究院Beng Hau Tan 课题组现面向海内外公开招聘多名博士后
+1/32
-
赤藓糖醇-聚合物复合相变材料的潜热长期储存
+1/15
-
河南医药大学艾思志教授招收2027级内科学同等学力硕士研究生
+1/11
-
河南医药大学艾思志教授招收2027级内科学同等学力硕士研究生
+1/11
-
福建师范大学海峡柔性电子学院2027年入学博士-有机化学-申请考核
+2/10
-
【细胞生物学/衰老】中国科学院大学-郭玉婷课题组招收博士研究生
+1/5
-
社科后期
+1/5
-
深圳理工大学人工智能研究院大模型中心陆猷课题组博士后招聘
+1/4
stonnie(金币+4, 基金HEPI+1): 谢谢 2011-01-20 13:39:16
|
项目编号 61003078 项目名称 基于APTL的开放系统模型检测 项目类型 青年科学基金项目 申报学科1 形式化方法(F020106) 申报学科2 形式化方法(F020208) 研究性质 基础研究 资助金额 20.00万元 开始日期 2011年1月1日 完成日期 2013年12月31日 项目摘要 随着国民经济、国防建设和人民生活日益增长的需求以及互联网技术的发展，开放环境下的软件系统已成为重要的软件系统。与封闭系统相比较，开放系统与环境不断地交互，系统的行为随环境的变化而变化，并且系统的行为影响着环境的变化。如何保障开放软件系统的可信性，是可信软件领域面临的一个新的挑战。本项目研究基于交互式投影时序逻辑APTL的开放系统模型检测理论与方法。在现有的投影时序逻辑PTL的基础上，通过将时序操作符扩展到Agent相关的时序操作符，建立基于并发博弈结构的APTL模型，包括该逻辑的语法、语义以及逻辑规则，并研究APTL的可判定性；建立基于并发博弈结构的自动机模型ACG，研究ACG的判空、求交等算法；研究基于ACG的APTL模型检测算法，以及相应的状态空间缩减技术，并开发相应的模型检测支持工具。以分布式软件系统为示范，研究基于APTL的模型检测在开放系统中的应用。 获资助单位 西安电子科技大学(项目负责人) |
2楼2011-01-19 01:24:24