| 查看: 343 | 回复: 1 | |||||||||
| 本帖产生 1 个 基金HEPI ，点击这里进行查看 | |||||||||
| 当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖 | |||||||||
[交流]
【摘要编号】61003078
|
|||||||||
谢谢了。 |
回复此楼» 猜你喜欢
299求调剂
已经有5人回复
-
收复试调剂生
已经有3人回复
-
280求调剂
已经有7人回复
-
环境领域全国重点实验室招收博士1-2名
已经有5人回复
-
303求调剂
已经有6人回复
-
290求调剂
已经有10人回复
-
0703化学求调剂 总分331
已经有3人回复
-
一志愿天津大学化学工艺专业（081702）315分求调剂
已经有8人回复
-
0703化学调剂
已经有3人回复
-
材料，纺织，生物（0856、0710），化学招生啦
已经有9人回复
» 抢金币啦！回帖就可以得到:
-
专业技术开发及第三方检测
+1/87
-
温州大学吕晶晶课题组2026年招生
+1/82
-
刚刚工作不久的孤独感
+1/39
-
湘潭大学“过程强化与绿色化工”创新团队补招2026年秋入学博士生
+1/35
-
中科院生态环境研究中心国重实验室招聘客座研究生1-2名
+1/31
-
2026年工科硕士调剂-上海大学全国重点实验室团队-材料数据挖掘方向-研究生3-5人
+1/30
-
【预硕】【预博】青岛大学生物医药创新转化
+1/16
-
福建师范大学化学与材料学院杜克钊团队博士/硕士招生
+1/14
-
武汉轻工大学土木水利青椒硕导招调剂
+1/10
-
南林化工院招申请审核制博士
+1/9
-
中科院杭州医学所金程组招聘核酸化学、药学、医学方向 博士后/科研助理
+1/8
-
中国民航飞行学院先进连接团队招收航空宇航、航空机械专业硕士研究生（学硕专硕均可）
+1/7
-
南京林业大学化学工程学院柏惺峰课题组招收2026年申请考核制博士2名
+1/7
-
福建师范大学化学与材料学院杜克钊团队博士招生
+1/7
-
【第三轮招生，31号截止】澳科大诚招2026秋全奖博士研究生（纳米医学/生物材料方向）
+1/6
-
华中科技大学管理学院招聘社会用工（科研助理）1名
+1/6
-
上海师范大学化学与材料科学学院任新意副研究员招收调剂学生3-4名（有机化学专业）
+1/5
-
125603工业工程与管理调剂
+1/2
-
323分控制工程求调剂
+1/2
-
请求调剂
+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
