| 查看: 348 | 回复: 1 | |||||||||
| 本帖产生 1 个 基金HEPI ，点击这里进行查看 | |||||||||
[交流]
【摘要编号】61003078
|
|||||||||
谢谢了。 |
回复此楼» 猜你喜欢
电子信息270求调剂
已经有3人回复
-
071000生物学，一志愿深圳大学296分，求调剂
已经有11人回复
-
328求调剂
已经有6人回复
-
一志愿西电085401求调剂
已经有3人回复
-
284求调剂
已经有12人回复
-
材料与化工专硕306分找合适调剂
已经有14人回复
-
0854电子信息319求调剂（接受跨专业调剂）
已经有4人回复
-
283分求调剂
已经有12人回复
-
307分材料专业求调剂
已经有8人回复
-
生物工程求调剂
已经有11人回复
» 抢金币啦！回帖就可以得到:
-
安徽宿州学院085600材料与化工(专业学位)2026年研究生招生调剂信息
+1/88
-
延安大学接收化学与化工学院接收调剂生（化学、化工学硕和材料与化工专硕）
+2/62
-
百年学府，福建师范大学化学材料类研究生调剂
+1/45
-
西安科技大学力学系可接受力学、机械、土木及相关工科专业调剂
+1/45
-
【考研调剂】华侨大学发光材料与信息显示研究院接收专硕和学硕调剂
+1/41
-
河南工业大学化学化工学院 2026 年硕士调剂正在进行！
+1/35
-
汕头大研究生调剂招生
+1/32
-
中南林业科技大学材料“科学与工程硕士点（学硕）”贺梦冬课题组招收调剂生
+1/23
-
【硕士调剂】【分子医学】2026年青岛大学研究生补招
+1/19
-
青科大接收材料类、化工化学类调剂研究生（须考数学）
+1/18
-
2026年西华大学材料学院-材料近净成形与表面技术研究团队-招收调剂研究生
+1/11
-
武汉纺织大学招收化学化工类和材料类研究生调剂生若干名
+1/8
-
吉林工程技术师范学院 交叉学科研究院（08/07） 招收调剂
+1/7
-
国家大人才课题组招收化学、材料化工类2026年调剂生
+1/5
-
Top-88悉尼科技大学数据科学/AI 招收2027年入学 校奖 博士生1到2名(国际和本地学生）
+1/5
-
【上海调剂】985联合培养！别错过能送你去丹麦/交大/同济/中科院的神仙导师！
+1/4
-
英国拉夫堡大学博士招生 电池方向
+1/4
-
哈尔滨医科大学李老师课题组招收生物信息学方向博士、硕士研究生
+1/2
-
招收2026年度调剂硕士研究生
+1/1
-
攀枝花学院化学工程、资源与环境硕士接受08（工学）打头专业调剂
+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
