| 查看: 349 | 回复: 1 | |||||||||
| 本帖产生 1 个 基金HEPI ，点击这里进行查看 | |||||||||
[交流]
【摘要编号】61003078
|
|||||||||
谢谢了。 |
回复此楼» 猜你喜欢
301求调剂
已经有18人回复
-
化工学硕 285求调剂
已经有19人回复
-
328求调剂
已经有8人回复
-
求调剂
已经有28人回复
-
304求调剂（085602，过四级，一志愿985）
已经有21人回复
-
288环境专硕,求调材料方向
已经有33人回复
-
285求调剂
已经有16人回复
-
273求调剂
已经有41人回复
-
331求调剂
已经有4人回复
-
298求调剂
已经有4人回复
» 抢金币啦！回帖就可以得到:
-
杭州师范大学张龙课题组招诚聘有机合成，光电催化，理论计算与人工智能化学方向博士后
+1/89
-
安徽宿州学院085600材料与化工(专业学位)2026年研究生招生调剂信息
+1/88
-
欢迎优秀考生调剂江西理工大学稀土学院
+1/86
-
西安工程大学材料学院杨杰课题组招收考研调剂生
+1/37
-
常州大学化学及相关专业硕士调剂招生信息
+1/34
-
江西理工大学稀土学院-招收调剂硕士研究生
+1/21
-
三峡大学国家青年人才课题组招2026年化学/材料/化工类硕士调剂生
+1/20
-
可调声波驱动仪
+1/20
-
中南林业科技大学《微生物学》26年博士生招生（“申请-审核”录取）-4月22日截止
+1/13
-
贵州铜仁学院研究生招生
+1/13
-
【博士招生】武汉科技大学招收材料、化工、环境、冶金类2026年“申请-考核”制博士生
+1/13
-
南华大学招收调剂生，[085700]资源与环境—环境工程方向
+1/12
-
求推荐化学材料类好投、见刊快的期刊
+1/11
-
太原科技大学光学工程、光电信息工程接受调剂
+1/10
-
【#上海调剂急录#】能接受985联合培养的速来！带你发一区文章！
+1/6
-
齐齐哈尔大学李莉课题组诚招2026级考研调剂生（学硕和专硕）
+1/6
-
齐齐哈尔大学李莉课题组诚招2026级考研调剂生（学硕和专硕）
+1/5
-
韩国汉阳大学首尔校区ADIP 实验室诚招博士后（不限专业，待遇优厚，平台资源丰富）
+1/3
-
吉林工程技术师范学院 交叉学科研究院（08/07） 招收调剂
+1/3
-
一志愿211电子信息347求调剂
+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
