项目名称: 基于主体的可信网构软件开发和运行的关键技术研究

项目编号: No.61303129

项目类型: 青年科学基金项目

立项/批准年度: 2014

项目学科: 自动化技术、计算机技术

项目作者: 张大鹏

作者单位: 燕山大学

项目金额: 25万元

中文摘要: 网构软件(Internetware)是在当前开放、动态、难控的网络计算环境下产生的新的软件形态。如何在网构软件的开发和运行的过程中保障网构软件的可信性已经成为研究者们关注的热点问题。本课题拟对基于主体的可信网构软件的开发和运行中的关键技术进行研究。首先,在模型检测方面,针对已有的适用于基于主体的网构软件的建模语言与模型检测工具输入语言不匹配的问题,研究二者间自动/半自动的转换方法,给出相关算法并实现相关工具;其次,在信任动态预测方面,建立一种基于推荐偏差的网构软件信任模型,给出信任动态预测算法并进行仿真实验;最后,在故障诊断方面,建立基于主体的网构软件的故障诊断模型,研究使用动态描述逻辑DDL对诊断模型进行形式化描述的方法,给出相应的诊断算法,开发诊断工具并进行仿真实验。上述研究将从理论、模型和技术上为基于主体的可信网构软件的开发提供可信保障。

中文关键词: 模型检测;推荐偏差;BDI;最大频繁项目集;自动编码机

英文摘要: Internetware is a novel software paradigm under the currently open, dynamic, and uncertain network computing environment. Researchers have begun to focus on how to guarantee the trustworthy of internetware during its developing and running. We plan to carry out our research on key issues of developing and running of agent based trusted internetware. Firstly, in model checking, due to the mismatch of the current modeling language and the language that model checking tool uses, we research the automatic/semi-automatic transition method between them and realize the corresponding algorithms and tools. Secondly, in dynamic trust prediction, we build a internetware trust model based on recommend deviation. Then we give the algorithms of dynamic trust prediction and make simulation experiment. Finally, in fault diagnose, we build a fault diagnose model for agent based internetware, describe formally the model with dynamic description language (DDL). Then we give the corresponding algorighms, develop diagnose tool and make simulation experiment. The above research will provide guarantee for agent based trusted internetware from theories, modeling and technologies.

英文关键词: model checking;recommend deviation;BDI;maximal frequent itemsets;auto-encoder

成为VIP会员查看完整内容
0

相关内容

军事知识图谱构建技术
专知会员服务
112+阅读 · 2022年4月8日
重磅!数字孪生技术应用白皮书(2021)
专知会员服务
250+阅读 · 2021年12月8日
区块链数据安全服务综述
专知会员服务
54+阅读 · 2021年11月10日
专知会员服务
26+阅读 · 2021年9月4日
专知会员服务
29+阅读 · 2021年5月8日
专知会员服务
51+阅读 · 2021年4月3日
自动驾驶软件测试技术研究综述
专知会员服务
49+阅读 · 2021年2月19日
专知会员服务
44+阅读 · 2020年8月20日
大数据安全技术研究进展
专知会员服务
90+阅读 · 2020年5月2日
重磅!数字孪生技术应用白皮书(2021)
专知
12+阅读 · 2021年12月8日
分布式系统一致性测试框架Jepsen在女娲的实践应用
形式化验证工具TLA+:程序员视角的入门之道
阿里技术
0+阅读 · 2021年10月22日
智能合约的形式化验证方法研究综述
专知
13+阅读 · 2021年5月8日
【数字孪生】数字孪生技术从概念到应用
产业智能官
84+阅读 · 2020年2月16日
【仿真】基于大数据的机器学习与数值仿真技术
产业智能官
49+阅读 · 2019年9月3日
我国智能网联汽车车路协同发展路线政策及示范环境研究
已删除
将门创投
13+阅读 · 2019年4月17日
【大数据】海量数据分析能力形成和大数据关键技术
产业智能官
17+阅读 · 2018年10月29日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
Arxiv
0+阅读 · 2022年4月20日
Arxiv
0+阅读 · 2022年4月19日
Arxiv
0+阅读 · 2022年4月16日
Arxiv
14+阅读 · 2020年10月26日
Arxiv
21+阅读 · 2020年10月11日
小贴士
相关VIP内容
军事知识图谱构建技术
专知会员服务
112+阅读 · 2022年4月8日
重磅!数字孪生技术应用白皮书(2021)
专知会员服务
250+阅读 · 2021年12月8日
区块链数据安全服务综述
专知会员服务
54+阅读 · 2021年11月10日
专知会员服务
26+阅读 · 2021年9月4日
专知会员服务
29+阅读 · 2021年5月8日
专知会员服务
51+阅读 · 2021年4月3日
自动驾驶软件测试技术研究综述
专知会员服务
49+阅读 · 2021年2月19日
专知会员服务
44+阅读 · 2020年8月20日
大数据安全技术研究进展
专知会员服务
90+阅读 · 2020年5月2日
相关资讯
重磅!数字孪生技术应用白皮书(2021)
专知
12+阅读 · 2021年12月8日
分布式系统一致性测试框架Jepsen在女娲的实践应用
形式化验证工具TLA+:程序员视角的入门之道
阿里技术
0+阅读 · 2021年10月22日
智能合约的形式化验证方法研究综述
专知
13+阅读 · 2021年5月8日
【数字孪生】数字孪生技术从概念到应用
产业智能官
84+阅读 · 2020年2月16日
【仿真】基于大数据的机器学习与数值仿真技术
产业智能官
49+阅读 · 2019年9月3日
我国智能网联汽车车路协同发展路线政策及示范环境研究
已删除
将门创投
13+阅读 · 2019年4月17日
【大数据】海量数据分析能力形成和大数据关键技术
产业智能官
17+阅读 · 2018年10月29日
相关基金
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
相关论文
Arxiv
0+阅读 · 2022年4月20日
Arxiv
0+阅读 · 2022年4月19日
Arxiv
0+阅读 · 2022年4月16日
Arxiv
14+阅读 · 2020年10月26日
Arxiv
21+阅读 · 2020年10月11日
微信扫码咨询专知VIP会员