| 查看: 326 | 回复: 1 | |||||||||
| 本帖产生 1 个 基金HEPI ，点击这里进行查看 | |||||||||
[交流]
【摘要编号】61003078
|
|||||||||
谢谢了。 |
回复此楼» 猜你喜欢
遇见不省心的家人很难过
已经有16人回复
-
退学或坚持读
已经有25人回复
-
博士延得我，科研能力直往上蹿
已经有4人回复
-
免疫学博士有名额，速联系
已经有14人回复
-
面上基金申报没有其他的参与者成吗
已经有4人回复
-
多组分精馏求助
已经有6人回复
» 抢金币啦！回帖就可以得到:
-
南方医科大学中药学院 申请考核博士一名 （天然药化方向，天然产物分离经验优先）
+1/272
-
非粮生物质能技术全国重点实验室合成生物学创新团队全球招聘博士/博士后
+1/74
-
深圳大学信息功能电子材料方向“申请-考核制”博士生招生
+2/72
-
结构动力学与结构健康监测方向欧盟玛丽居里全奖博士招聘
+1/65
-
时隔多年再次回到小木虫，有一番感慨
+1/50
-
科罗拉多大学 Congjun Yu 课题组招聘
+1/29
-
中科院深圳先进院-免疫治疗方向-招收1名博士生(26年9月入学)
+1/14
-
意大利华人老师University of Padova-全额奖学金博士
+1/14
-
推荐一款可以AI辅助写作的Latex编辑器SmartLatexEditor，超级好用，AI润色，全免费
+1/10
-
招聘农用化学产品销售一名，须具备良好的英语口语，以便拓展海外市场。
+1/7
-
中山大学柔性电子学院黄维院士团队诚招博士后(柔性可穿戴电子或相关方向)
+1/4
-
【博士招生】哈工大（深圳）智能学部机器人与先进制造学院 陆文杰老师课题组
+1/4
-
海南大学化学院—功能分子器件团队2026博士/研究助理招生+博士后招聘
+1/4
-
电子科技大学，电子科学与工程学院，杨青慧教授，2026年博士研究生招生
+1/4
-
电子科技大学 电子科学与工程学院 杨青慧教授 2026年招博士研究生数名
+1/3
-
【博士后/科研助理招聘-北京理工大学-集成电路与电子学院-国家杰青团队】
+1/2
-
上海理工大学“新能源材料”专业-赵斌教授招收申请考核制博士生【能源催化方向】
+1/2
-
香港理工大学Dr. Ga-lai Law课题组招聘博士，博士后，及RA(有兴趣来课题组学习的学生)
+1/2
-
海南大学国家优青团队招聘“AI/大数据+材料”方向专任教师（事业编制）
+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