有哪些信誉好的足球投注网站- 1、本文档共7页，可阅读全部内容。
- 2、有哪些信誉好的足球投注网站（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 5、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 6、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
—PAGE4—
—PAGE5—
附件1
前沿引领技术基础研究专项前沿项目邀约书
项目1：人机物深度融合高可信网构软件技术、理论与方法
项目负责人：仲盛
牵头承担单位：南京大学
一、项目方案概述
本项目针对万物互联时代人机物深度融合环境存在的高度不可信任性和不确定性，开展新一代高可信网构软件基础理论和技术研究。具体将围绕互不信任自主软件实体数据孤岛化严重、异构系统无法安全融合、安全事件难以溯源追责、动态环境难以可信适配等四个突出问题，重点研究互不信任环境下超高敏捷性数据可信协同机制、互不信任环境下自适应和意图驱动的安全增强协同技术、互不信任环境下基于区块链的可信溯源与审计技术、非确定环境下的智能化软件持续演化与运行时可信保障等四个方面的内容，从而形成一个面向数据可信协同、安全增强协同、以及区块链可信溯源与审计的网构软件可信支撑环境和一套适应复杂动态环境的网构软件长期生存机制。
项目执行期为五年，分两个阶段，前三年为第一阶段，基本完成上述四个方面的关键理论与技术研究，后两年为第二阶段，全面完成关键理论与技术研究，并在我省工业互联网等关键性领域展开应用验证，最终形成高可信网构软件定义一切的理论、方法和技术，从而有力助推我省软件产业的新一轮技术变革。
二、项目考核指标
（1）提出两个关键技术，即具有较高通用性的互不信任软件实体间数据可信协同技术，支持大数据场景，10种以上协同计算任务；异构软件实体安全增强协同技术，各类安全事件检测及安全态势预测准确率达到95%以上。
（2）构建一种基于区块链的网构软件可信支撑平台，100%采用国密算法，TPS达到万级，实现对重大安全事件的溯源成功率95%以上。
（3）形成一套智能化软件自适应与持续演化方法，支持20个以上组件混成系统有界验证，实现秒级运行时验证与监控。
（4）搭建完成一套人机物融合高可信网构软件理论与技术实验床，支持不少于4种新型人机物融合环境或业务场景验证；网络接入量达106；能提供系统可靠性、安全性、运行效率等多种性能指标评估。
（5）申请软件著作权不少于15项，发表“三类高质量”代表性论文不少于10篇，其中有国际影响力论文不少于6篇，申请国家发明专利不少于20件。
三、课题分解方案
课题一：互不信任环境下自主软件实体可信协同机制研究
研究面向大数据场景的超高敏捷性安全多方计算框架，实现互不信任软件实体可信数据协同；研究智能化异构系统联合安全态势感知、入侵及漏洞检测等技术，实现异构软件实体可信安全增强协同。
指标：支持实现面向双百以上的大数据场景，10种以上计算任务的安全多方计算技术；各类检测及高可信态势预测准确率达到95%以上。
课题二：互不信任环境下基于区块链的网构软件可信支撑平台
针对课题一中的两类协同行为，研究构造完全使用国密算法的面向网构软件重大安全事件可信溯源的专用区块链系统，实现对破坏协同行为的精准溯源与追责。
指标：100%采用国密算法，TPS达到万级，重大安全事件的溯源成功率95%以上。
课题三：非确定环境下的智能化软件持续演化与运行时可信保障
研究智能化软件自适应与持续演化方法，支持系统的长期生存。研究大规模混成系统运行时验证与监控方法，应对软件动态复杂行为。从而在课题一、二保障软件的安全性的同时保证高度不确定环境下其功能的正确性。
指标：形成一套智能化软件自适应与持续演化方法，支持20个以上组件混成系统有界验证，实现秒级运行时验证与监控。
课题四：人机物深度融合典型场景下的高可信网构软件应用验证
对课题一、二、三中的研究成果进行应用验证，给出系统化解决方案，并通过在工业互联网、智慧医疗等领域进行真实软件系统的应用试验优化该方案。
指标：搭建完成一套高可信网构软件理论与技术实验床，支持不少于4种新型人机物融合环境或业务场景验证；支持较大规模的异构网络实验，接入量达106；能提供系统可靠性、安全性、运行效率等多种性能指标评估。
四、对应约方要求
应约单位的科研保障条件、应约人需具备条件及拟开展的研究工作的要求等方面内容。
课题一由牵头单位负责承担，现对课题二、三、四的负责人进行公开邀约。
课题二、三的负责人应分别在系统安全和区块链，软件形式化验证和软件演化等领域有长时间的研究积累，已经取得多项具有国际先进水平的研究成果；作为项目负责人主持过相关领域的国家级科研项目（单项百万级以上）；所依托单位为省内系统安全或者软件领域优势高校或院所，建有相关领域的国家或省部级重点实验室。课题四的应约单位需为省内软件信息领域优势企业，需在江苏省3个以上城市拥有一定规模的、能提供相关应用验证能力的子公司或实验基地，从而具有在全省范围开展真实人机物深度融合软件系统规模化应用验证的条件。
项目2：蛋白质功能设计与高效制造的核心技术基础
项目负责人：陈坚
牵头承
文档评论（0）