| 查看: 367 | 回复: 1 | |||||||||
| 本帖产生 1 个 基金HEPI ，点击这里进行查看 | |||||||||
[交流]
【摘要编号】61003078
|
|||||||||
谢谢了。 |
回复此楼» 猜你喜欢
评委有多少概率知道其他专家手中有哪些人的本子？
已经有4人回复
-
E0414, 我的本子有没有希望？
已经有17人回复
-
青A35岁以下通知答辩了吗
已经有4人回复
-
小城的小雨
已经有3人回复
-
看《给阿ma的情书》有感
已经有5人回复
-
国自然申请五篇代表作大比拼，感觉这个是最重要的
已经有4人回复
-
雷雨
已经有3人回复
» 抢金币啦！回帖就可以得到:
-
⚽️赛场争冠，科研进阶 | 原位光谱，适配钙钛矿 、OPV等全流程表征
+1/83
-
国家青年基金祈福
+1/47
-
哈工大深圳-材料学院-招收申请审核制2027年春季/秋季入学博士生（2026年9月报名）
+1/29
-
中山大学智能工程学院【空间智能方向】招收2027年入学博士生
+2/28
-
湖南师范大学(211)—招收2026年入学的“申请-考核”制博士（有微纳光学经验者优先）
+1/24
-
中山大学智能工程学院【智能视觉方向】金枝教授团队招聘博士后
+2/22
-
上海交通大学机械与动力工程学院-先进光刻方向招收2027年入学推免硕士生（含夏令营）
+3/20
-
重庆大学金属塑性成形方向招收2027年博士研究生（学博）
+2/16
-
厦门大学航空航天学院智能制造课题组招2026年硕士、博士生若干名
+1/8
-
墨尔本大学(26年QS19)招全奖博士/CSC博士(补齐全奖)等-材料/生物电子/器官芯片等
+1/7
-
中国科学院生态环境研究中心环境工程与公卫方向招（联合培养）博士和硕士研究生
+1/7
-
墨尔本大学(26年QS19)招全奖博士/CSC博士(补齐全奖)/访问学者等-材料/生物医学等
+1/6
-
密苏里大学生物材料合成生物学博士后招聘
+1/5
-
密苏里大学生物材料合成生物学博士后招聘
+1/5
-
密苏里大学生物材料合成生物学博士后招聘
+1/4
-
天津大学高分子方向博士招生
+1/3
-
中科院深圳先进技术研究院成会明院士/唐永炳杰青团队博士后招聘
+1/1
-
香港中文大学陈也课题组、香港中文大学（深圳）陈仲欣课题组招收联合培养博士后
+1/1
-
哈尔滨工业大学（深圳）赵怡潞课题组诚招博士后、2027学年博士生
+1/1
-
【外资CRO招聘】医药相关专业--新药研发临床试验岗 | 北京/上海 | 多岗位热招中
+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