| 查看: 346 | 回复: 1 | |||||||||
| 本帖产生 1 个 基金HEPI ，点击这里进行查看 | |||||||||
| 当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖 | |||||||||
[交流]
【摘要编号】61003078
|
|||||||||
谢谢了。 |
回复此楼» 猜你喜欢
271材料工程求调剂
已经有5人回复
-
281求调剂（0805）
已经有16人回复
-
304求调剂
已经有6人回复
-
材料工程专硕调剂
已经有6人回复
-
一志愿天大材料与化工（085600）总分338
已经有4人回复
-
085700资源与环境308求调剂
已经有3人回复
-
求材料调剂
已经有8人回复
-
294求调剂材料与化工专硕
已经有5人回复
-
一志愿华中科技大学，080502，354分求调剂
已经有4人回复
-
一志愿吉林大学材料学硕321求调剂
已经有6人回复
» 抢金币啦！回帖就可以得到:
-
坐标上海，诚征女友，非常 着急，私信必回
+1/468
-
祈福2026国基面上项目
+5/350
-
济南大学林秀娟教授招收材料类博士生
+1/87
-
物理学 调剂
+1/85
-
浙江农林大学招收调剂
+1/80
-
有没有在香港的虫友啊
+1/77
-
西北大学化学与材料科学学院博士招生（还有两个名额，3月30日截至）
+1/68
-
中国药科大学211-课题组招收2026博士/硕士
+1/55
-
华南师范大学（211）博士招生- 电子、自动化、机械、生物学、物理相关专业
+2/38
-
2026年重庆工商大学管理科学与工程专业学术硕士招生调剂，风景总在柳暗花明处
+1/35
-
天津工业大学航空航天博士招生
+1/32
-
华南师范大学（211）申请审核制博士招生- 电子、自动化、机械、生物学、物理相关专业
+1/25
-
中山大学院士团队微纳器件、脑机接口方向博士招生、博后招聘
+1/20
-
重庆文理学院化学与环境工程学院 2026 届硕士研究生调剂通知
+1/16
-
南开大学罗景山教授课题组招收2026年入学博士生（光/电催化方向）
+2/14
-
新加坡国立大学药学系化学生物学课题组招PhD
+1/8
-
2026考研的同学，分数不够？想调剂上岸的同学，来看
+1/4
-
中山大学海科院课题组招收硕士研究生
+1/3
-
125603工业工程与管理调剂
+1/2
-
339求调剂
+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
