| 查看: 344 | 回复: 1 | |||||||||
| 本帖产生 1 个 基金HEPI ，点击这里进行查看 | |||||||||
| 当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖 | |||||||||
[交流]
【摘要编号】61003078
|
|||||||||
谢谢了。 |
回复此楼» 猜你喜欢
314求调剂
已经有8人回复
-
08工科 320总分 求调剂
已经有5人回复
-
085601专硕，总分342求调剂，地区不限
已经有5人回复
-
085600材料与化工调剂 324分
已经有4人回复
-
311求调剂
已经有6人回复
-
化工学硕306求调剂
已经有10人回复
-
286求调剂
已经有8人回复
-
材料与化工一志愿南昌大学327求调剂推荐
已经有9人回复
-
311求调剂
已经有12人回复
-
271材料工程求调剂
已经有3人回复
» 抢金币啦！回帖就可以得到:
-
绍兴大学博士教师招聘1位（化学化工相关）
+5/345
-
深圳技术大学集成电路与光电芯片学院郝俊杰课题组诚聘博士后、研究助理、访问学生
+2/120
-
海南大学化工院生物质定向转化课题组招收博士/硕士，2026年9月入学
+1/90
-
博士后出站经验请教
+1/78
-
【代人发帖勿站内信】【成都征男友】89年未婚博士漂亮女孩
+1/70
-
青岛高校 研究生招生
+1/56
-
1
+1/37
-
刚刚工作不久的孤独感
+1/37
-
中国科学院杭州医学研究所覃江江课题组招聘博士后
+1/35
-
2026年工科硕士调剂-上海大学全国重点实验室团队-材料数据挖掘方向-研究生3-5人
+1/30
-
医学327分专硕调剂
+1/16
-
南京医科大学-膜蛋白结构与功能课题组-招收2026级博士研究生
+1/11
-
山西大学资源与环境工程研究所化工分离/环境功能材料小组招收2026年博士生
+2/10
-
河南大学龚和贵教授2026年博士研究生招生
+1/9
-
211/双一流石河子大学化学化工学院-电催化，单原子催化，CO2转化
+1/7
-
浙江大学高纯分离团队诚聘博士后
+1/7
-
上海科技大学招收有机化学方向招收2026级工程博士
+1/6
-
招收化工与材料学科点研究生
+1/5
-
请求调剂
+1/1
-
【2026年春季补录】厦门大学田中群院士/易骏教授纳米光子学团队招收2026年入学博士生
+1/1
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
