| 查看: 350 | 回复: 1 | |||||||||
| 本帖产生 1 个 基金HEPI ，点击这里进行查看 | |||||||||
[交流]
【摘要编号】61003078
|
|||||||||
谢谢了。 |
回复此楼» 猜你喜欢
求调剂
已经有5人回复
-
一志愿211，化学学硕，310分，本科重点双非，求调剂
已经有5人回复
-
288环境专硕,求调材料方向
已经有36人回复
-
一志愿西南090202求调剂
已经有4人回复
-
0703调剂，一志愿天津大学319分
已经有20人回复
-
266求调剂
已经有6人回复
-
071000生物学，一志愿深圳大学296分，求调剂
已经有12人回复
-
生物学308分求调剂（一志愿华东师大）做过分子实验
已经有4人回复
-
一志愿211，化学学硕，310分，本科重点双非，求调剂
已经有8人回复
-
化学308分求调剂
已经有15人回复
» 抢金币啦！回帖就可以得到:
-
沈阳化工大学环境与安全工程学院2026年接受硕士研究生招生调剂报考条件
+1/484
-
生物与医药专业硕士调剂（河北大学 化学与材料科学学院）
+2/90
-
一志愿前4位代码0703均可报名-河北大学分析化学专业招收调剂考生
+1/47
-
【考研调剂】华侨大学发光材料与信息显示研究院接收专硕和学硕调剂
+1/41
-
考研调剂-能源动力、动力工程及工程热物理、新能源科学与工程、建环、材料等学科背景
+1/41
-
中国石油大学（北京）理学院2026年硕士研究生接收调剂生：物理、化学、材料等
+1/40
-
江西理工大学赣南实验室赖朝彬教授团队招收调剂硕士研究生
+1/38
-
三峡大学材化学院化工新材料课题组现招收化学或者化工、材料硕士研究生2名
+5/20
-
广州大学大湾区环境研究院环境大分子材料研究所王平山教授团队 2026年研究生招生简章
+1/12
-
南京，真诚征女友
+1/11
-
郑大控制学科教授博导研究生招生
+1/8
-
★上海★上海工程技术大学·环境与资源创新中心（ICER）接收化工材料环境等学科调剂生
+1/8
-
哈尔滨医科大学李老师课题组招收生物信息学方向博士、硕士研究生
+1/6
-
26年申博自荐-计算机视觉
+1/5
-
湖北汽车工业学院汽车材料学院2026年研究生调剂
+1/5
-
欢迎调剂攀枝花学院化学工程专业，资源与环境专业，线上复试
+1/5
-
双一流天津工业大学电信学院李鸿强教授招收2026年申请审核制博士（4月3号截止）
+1/4
-
招收化学/材料调剂同学
+1/4
-
河北农业大学 招收化工材料类调剂生，联系微信18632728096 非诚勿扰。
+1/2
-
广东工业大学生态环境与海洋学院 杨盼教授团队招收博士研究生
+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
