| 查看: 325 | 回复: 1 | |||||||||
| 本帖产生 1 个 基金HEPI ，点击这里进行查看 | |||||||||
[交流]
【摘要编号】61003078
|
|||||||||
谢谢了。 |
回复此楼» 猜你喜欢
遇见不省心的家人很难过
已经有16人回复
-
退学或坚持读
已经有25人回复
-
博士延得我，科研能力直往上蹿
已经有4人回复
-
免疫学博士有名额，速联系
已经有14人回复
-
面上基金申报没有其他的参与者成吗
已经有4人回复
-
多组分精馏求助
已经有6人回复
» 抢金币啦！回帖就可以得到:
-
哈尔滨工程大学青岛创新发展基地招聘青年教师
+1/511
-
南方医科大学中药学院 申请考核博士一名 （天然药化方向，天然产物分离经验优先）
+1/272
-
中国海洋大学与中国水产科学研究院 联合培养 专硕 食品加工与安全
+1/75
-
深圳大学柔性电子材料方向“申请-考核制”博士生招生
+2/66
-
香港科技大学计算物理及流体力学课题组招收全奖博士后及博士生（2026年9月入学）
+1/38
-
西安交通大学前沿院/机械学院招收2026级硕博研究生！
+1/38
-
西交利物浦大学招收26年【全奖】博士生1名（空间智能沉浸式手术导航）
+1/35
-
教育部重点实验室和清华大学某国家重点实验室，联合培养硕生、博生，并长期招博士后
+1/30
-
南京林业大学国家级青年人才团队招收2026年生物质转化/炭材料/储能等方向博士生
+1/10
-
南方科技大学仉晶晶课题组诚聘有机方向博士后、科研助理
+1/10
-
南京林业大学国家级青年人才团队招收2026年生物质转化和炭材料等方向博士生
+1/8
-
太原理工大学集成电路学院院长团队招收2026年博士研究生
+1/7
-
苏州大学招收申请考核制博士生、博士后（2026）
+1/6
-
山东第一医科大学第一附属医院招聘事业编制科研岗
+1/6
-
德国Karlsruhe Institute of Technology招收电化学储能及联合培养CSC博士等
+1/5
-
澳科大招收2026年秋季入学药剂学/生物材料方向全奖博士研究生
+1/4
-
【博士后/科研助理招聘-北京理工大学-集成电路与电子学院-国家杰青团队】
+1/2
-
上海理工大学“新能源材料”专业-赵斌教授招收申请考核制博士生【能源催化方向】
+1/2
-
211大学-课题组招收学术博士生
+1/2
-
苏州大学医学院纳米生物医学方向招收申请考核制博士生1名
+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