| 查看: 324 | 回复: 1 | |||||||||
| 本帖产生 1 个 基金HEPI ，点击这里进行查看 | |||||||||
[交流]
【摘要编号】61003078
|
|||||||||
谢谢了。 |
回复此楼» 猜你喜欢
遇见不省心的家人很难过
已经有16人回复
-
退学或坚持读
已经有25人回复
-
博士延得我，科研能力直往上蹿
已经有4人回复
-
免疫学博士有名额，速联系
已经有14人回复
-
面上基金申报没有其他的参与者成吗
已经有4人回复
-
多组分精馏求助
已经有6人回复
» 抢金币啦！回帖就可以得到:
-
香港岭南大学郭瑛课题组博士招生 (2026年秋季入学）
+1/185
-
中国石油大学（北京）国家级大人才团队博士招生2名：化学、材料、石油工程：油田化学
+2/63
-
博后平台选择
+1/63
-
香港科技大学计算物理及流体力学课题组招收全奖博士后及博士生（2026年9月入学）
+1/38
-
操作求助
+1/36
-
教育部重点实验室和清华大学某国家重点实验室，联合培养硕生、博生，并长期招博士后
+1/30
-
上海市“光探测材料与器件”工程技术研究中心（上海应用技术大学）招聘优秀研究人员
+1/28
-
德国Karlsruhe Institute of Technology招收电化学储能及联合培养CSC博士
+1/16
-
南京林业大学国家级青年人才团队招收2026年生物质转化和炭材料等方向博士生
+1/9
-
青岛大学招收少数民族【少干计划】生物与医药博士研究生
+1/9
-
2026年天津大学杰青团队招收化学合成、计算机和器件的方面博士
+1/8
-
广东省智能院与澳门大学/澳门理工联培博士招生
+1/5
-
复旦大学化学系凡勇教授/张凡教授团队招聘博士后
+1/4
-
澳科大招收2026年秋季入学药剂学/生物材料方向全奖博士研究生
+1/4
-
华南理工大学宋波教授联合唐本忠院士招聘化学和材料方向博士后（长期有效）
+1/3
-
双一流联合团队招聘团队青年人才与博后
+1/2
-
接理论计算，主要包含第一性原理、分子动力学、机器学习、有限元模拟等，欢迎学术交流
+1/2
-
苏州大学医学院纳米生物医学方向招收申请考核制博士生1名
+1/1
-
海南大学生态学博士点招收2026年博士研究生（第二批）
+1/1
-
上海交大材料学院招26年秋“申请-考核制”生物材料方向普博生1名 (截至4月10日)
+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