| 查看: 345 | 回复: 1 | |||||||||
| 本帖产生 1 个 基金HEPI ,点击这里进行查看 | |||||||||
| 当前只显示满足指定条件的回帖,点击这里查看本话题的所有回帖 | |||||||||
[交流]
【摘要编号】61003078
|
|||||||||
谢谢了。 |
» 猜你喜欢
一志愿中国海洋大学,生物学,301分,求调剂
已经有4人回复
一志愿武理材料305分求调剂
已经有6人回复
材料专硕英一数二306
已经有3人回复
085600材料与化工调剂 324分
已经有7人回复
311求调剂
已经有3人回复
26调剂/材料/英一数二/总分289/已过A区线
已经有7人回复
295求调剂
已经有5人回复
354求调剂
已经有5人回复
材料专业求调剂
已经有3人回复
求材料调剂
已经有7人回复
» 抢金币啦!回帖就可以得到:
物理学 调剂
+1/98
济南大学林秀娟教授招收材料类博士生
+1/90
天津理工大学国家杰青王铁课题组招收2026年博士研究生
+1/85
愿遇见你,遇见不止擦肩而过的缘分
+1/76
2026年工科硕士调剂-上海大学全国重点实验室团队-材料数据挖掘方向-研究生3-5人
+1/30
北京航空航天大学招生微流控与智能打印技术方向博士研究生
+2/30
Call for paper: [Fermentation – IF 3.3]
+2/26
医学327分专硕调剂
+1/16
新加坡国立大学药学系化学生物学课题组招PhD
+1/10
福建师范大学化学与材料学院杜克钊团队博士招生
+1/6
【第三轮招生,31号截止】澳科大诚招2026秋全奖博士研究生(纳米医学/生物材料方向)
+1/5
中国科学院过程工程研究所助理研究员(正式职工)和博士后招聘启事
+1/5
招收化工与材料学科点研究生
+1/5
求调剂|一志愿广东工业大学控制工程|总分355|本科电气|有项目/竞赛/论文经历
+1/5
武汉轻工大学土木水利青椒硕导招调剂
+1/4
福建师范大学海峡柔性电子学院招收2026调剂硕士
+1/3
国家杰青低维材料与器件力学团队2026年招收博士研究生
+1/3
巴塞罗那自治大学(UAB)-巴塞罗那材料研究所(ICMAB)招收博士研究生
+1/3
北京大学环境学院张子帅研究员招收科研助理
+1/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













回复此楼