| 查看: 332 | 回复: 1 | |||||||||
| 本帖产生 1 个 基金HEPI ，点击这里进行查看 | |||||||||
[交流]
【摘要编号】61003078
|
|||||||||
谢谢了。 |
回复此楼» 猜你喜欢
版面费该交吗
已经有14人回复
-
面上可以超过30页吧？
已经有10人回复
-
体制内长辈说体制内绝大部分一辈子在底层，如同你们一样大部分普通教师忙且收入低
已经有18人回复
-
网上报道青年教师午睡中猝死、熬夜猝死的越来越多，主要哪些原因引起的？
已经有5人回复
-
为什么中国大学工科教授们水了那么多所谓的顶会顶刊，但还是做不出宇树机器人？
已经有10人回复
-
什么是人一生最重要的？
已经有4人回复
» 抢金币啦！回帖就可以得到:
-
【最后机会】深圳大学26级土木工程博士急招
+5/210
-
侯旭课题组(化学、化工、环境、能源相关方向)欢迎你的加入
+1/194
-
2026时光标本=已经注册了 5608 天，合计 16 年
+1/148
-
长春工业大学化学工程学院招收26年硕士调剂生
+1/84
-
广工-董华锋教授团队招收博士生（1学博-0-1专博）
+1/76
-
招聘启事（酶工程与发酵工程方向）
+2/38
-
澳门理工大学人工智能智慧康养方向26 年9月入学博士招生 奖学金
+1/32
-
南通大学生物医药方向国家级人才团队招收“申请-考核”制博士研究生20260222
+2/32
-
深圳90理工男找FOR女
+1/28
-
大连海事大学轮机学院尚有博士名额
+2/22
-
【少数民族】【生物医药】2026青岛大学招博士生
+1/15
-
【全奖博士招生】美国科罗拉多大学科罗拉多斯普林斯分校----固体与结构力学
+1/13
-
【2026年】【材料力学方向】中科院力学所招1名硕士
+1/9
-
蛋白结构质谱实验室202609入学博士生（1名，202603月底报名）
+1/9
-
香港城市大学招聘博士后 (有机合成/催化/流动化学)
+1/5
-
国科大杭州高等研究院2026年招材料科学与工程专业联合培养博士生1名
+1/5
-
太原理工大学集成电路学院招收2026年博士研究生
+1/3
-
澳门理工大学人工智能智慧康养方向26 年9月入学博士招生 奖学金
+1/2
-
天津医科大学基础医学院张恒课题组博士后招聘
+1/1
-
南昌大学资源与环境学院刘进教授团队招收2026硕博研究生
+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