项目管理-973项目摘要

上微系统信息技术所20XX.1至20XX.8依托部门江苏省技厅、预期目标.安全可信系统为强关为出发点开展相关基础理论研究分析并揭示理空间信息空间复杂耦合关机理提出模与方法系基，技奠.预期1）立信息空间理空间关模型提出关表基础理论立可扩展识密钥管理安全架立面向演进异络软件体系架形成相完备架系；2）立分布式自治模型；提出态场景高效觉察机制、自适终端识分配资源高效自愈合自保护间协同管理机制及可增量部署异络融合机制形成系化自治理论方法；3）提出信息处理架基于语义服务模型及相关机制；提出混杂信主4）形成与国际接轨先进水平可信软件设计方法理论提供一套逻辑系统刻画方法模语言扩展与完善分析与验证技术同时创可信软件分析验证平台为系统软件设计与验证提供可信保障；、虚实交融、异构复杂等特性，研究实验测试平台；建立智能电行业内配用环节和与智能家居、电汽车等行业间服务融合应用验证系统。.本项目具体考核指标建立关模型，提出关表征方法，提出一套可扩展标识体系，建立架构体系；提出分布式分级自治模型，提出一系列场景觉察、自配置与优化、自愈合与自保护、子协作管理以及异构络融合方法；提出信息处理架构和基于语义服务模型，提出混杂信息融合、服务关系链挖掘方法和主处理与融合逆向解析方法；提出一套可信软件设计方法理论和分析与验证方法，建立可信软件分析验证平台；研究系统资源、服务和决策耦合机理，提出一系列系统优化理论、技术与方法，为大规模应用提供技术支撑；提出一套理论验证和评估方法，搭建实验测试平台和面向智能电等重大需求综合应用验证系统。本项目识产权成果预期目标以完成高水平准提案为主，具体目标为：发表高水平国内外期刊和重要国际会议论文40~50篇，其中发展产生重大影响论文5篇，申请和获得国内外发明专利151本；牵头制定2~4项，参与制定国际标准1项；培养研究生50名。、研究方案.学术思路具体地说，针对物联网所存在的强关联性、高度混杂性和非确定性等特征，自合、自、自出分的系统自治管理机理和方法；研究出一针对混杂信息动的和方法研究物联网可信出相应的建理理方法和术在系统一全的度和分配机制物联网在非确定展物联网系统的性理论和和应用系统，物联网应用的。。.术途径术径：（1）在物联网关联型研究中，通过剥离不物联网应用场景作用因素的作用的关联关系，选取合的学方法对关联关系及其动态为物理空间和信息空间耦合的统一为型和反馈作用M2MRFIDUSN、格计算和云计算等系统体体系架构核心要素分析要素间性研架构体系；在自治机理和异构融合研拟参考生态学和社会学复杂络自治策略首先研多粒度分级从物异构融合与互互通场景分析和应用需求出发研场景感知机制实现终端或子基于群体智能或遗传演进算法研复杂动态场景下启发式适应性自配置与优化方法以及基于快速预警和冗余资源自愈合与自保护机制实现子内应用生态群落模型或经济调控模型研子网间协作管理机制达到不同子间针演进存在问题利用多栈或隧道机制设计可增量部署异构络融合机制；在混杂信息融合和决策研针信息在采集和传输过程需要同时进行智能处理和决策借鉴主动络思想根据终端规模和信层的隐私保护；在可信软件设计方法研拟针可信软件设计的键问题基础之上结合传统逻辑系统创建新逻辑刻画系统和建模语言分析与验证方法，实现可信软件构造方面可以通过传统等逻辑系统扩充使其能充分地描述软件系统。在建模语言描述方面以往进程代数系统进行改造，、频率描述方面。分析与验证技术研究方面考虑到系统中环境因素和连续描述对模型检查和定理证明技术进行扩充；（5）为了实系统能整体优化首先建系统优化理论模型包括完整资源主体和竞争主体形式化描述以及定义系统资源分配公分析、虚拟MIMO、实（6）测试验证与应用示范系统研究中首先研究系统能指标和评估体系借鉴已有传感器络测试平台和下一代络测试平台建方法充分考虑对大规模应用环境支持以及对各种应用场景通用化和可扩展需求利用器学习等技术，开发测试和评估工具搭建通用应用示范方面基于可标准化架体系通过建立涵盖不同等级变电站（所、线路以及所辖全部低压用户智能电汽车等行业服务融合应用验证系统对项目研究过程中提出混杂物基础理论和方法进行原理验证。.创新点与色本项目创新点与色体3个层面具体如下：（1）理论基础与模型方面提出以多作用域实体耦合为核心关模型通过模型动态行为研究实理空和信息空融合有效征；建立面向演进架体系；（2）关键理研究方面运用社会络理论到组织管理中提出自适应场景感知和资源配置的分布式管理机制，并具有自愈合和自保护的功能，在此基础上提出层次式多粒度的物联子网间的协同管理；基于分层统一语义模型，实现物联网混杂信息的高效融合、复杂关系链的快速挖掘、主动服务和互动控制；采用精化理论指导物联网可信软件的设计；引进时、空和物等相关特性UTP理论建立系统行为模型，形成物联网可信软件分析与验证体系；在形式化理论和公理化系统建模的基础上，运用等价解耦变换，简化复杂系统的优化问题，然后基于博弈、约束优化等理论和解，提出一合物联网特性的系统优化机制和算3在实验与用验证提出理论和用验证相合的行物联网验证体系。.可行性分析的和具有的可进性机和能网等多物联网的特性和具有解的的问题和实可行的和物联网的信息理和融合为的设置分物联网信息理与用的程与特物理网有的层次化层间系联合，优互，具有的合基础，112、20/为“软件刘韵洁在互联网流量程和操维护管理等的得到球的认同和采纳，才优为的实施奠定的基础。973络基础理论及键技术”，发改委“基于无线传感器络环境监测系统”以及数十自然科学基金、863、科技支撑，取得和省部级奖励多篇高质量论文发表，SIGM、MOBI、MOBIHOC、INFO、MOBISYSIEEE/ACMTransonNetworking、IEEETransonMobileputing、IEEETransonWirelessmunications等顶级际刊上发表数十篇部分研方向备际先进水准特别是，成员单位正牵头制定传感/际标准制定上享成果标准化工作提供不可多得条件。优良发多种无线传感器络络测试平台和系列工实验或测大量通信和络测试仪器和设备组成员单位拥高合级重点实验室重和通信重信通公司提供电建设示范资源，为和验证提供良好支持。和科条件方面均良好可行性，为顺利推进和取得重大突破提供良好基础。5.设置设置将围绕总体键科学问和六重点内容，结合参与单位优势，将内容和任务进行分解总体上，所围绕科学问重点内容将多个中从不同角度，突出创新与特色各个之间互，保持独立性同时，共同促进进展。体分解为以下六个:1：表征与体系架构；23;4;56、科学问总体目标关2所2、科学问总体目标关图1关表征体架是本项目总体开展奠定架模型基础234在1基础处5在234基础上整6主要为上述成果提供测试综平台6个间互为关、互为依托。本项目每个1考核等参1名参6定等特围绕识等以建立基础论为力争统等方面取得相论果。1）模型；2）可扩识；3）安全；4）面向演建立空间信息空间模型识效安全相完备软件等为准制定析计奠定论基础。承担国院上海微统信息技术学刘海涛术骨干刘韵洁、王营冠、黄韬、李丹经费比例%异融自治机自治模型自护等机自治子间管具可增量部署特征123456识分资源分配以及等体系承担单位中国科学院软所、清华大学、华东师范大学课题负责人孙利民主要学术骨干朱明华、康烁、周新运、秦伟俊经费比例%信息决策课题设思路：本课题围绕信息决策服务需求以解决信息隐私等问题为决策控等过程中信息在关对多源决策。1信息处服务2信息3关系链挖掘；4主决策互控5数据处隐私验证和隐私保护能力的语义与决策需求的逆向解析方法。承担单位南京邮电大学、复旦大学、无锡产业院课题负责人杨震主要学术骨干沈苏彬、杨庚、吴蒙、张建秋经费比例%可软件设计理论与方法课题设置的思路：本课题基于环境中的连续世界与离散计算的结可研可软件系统分析与建模的提供数学模型和验证手段，支持系统的分析和验证。内容：1）可软件设计方法；2）可软件推理理论；3）可软件建模方法；4）可软件分析与验证技术。形成与国际接轨的先进水平的可软件分析验证平台，为系统的软件设计与验证提供可保障。承担单位华东师范大学、中国科学院软件所课题负责人何积丰主要学术骨干朱惠彪、曾振柄、郭建、皇甫伟经费比例%和软件计基等内容：1）面向可靠感知多级制；2）无线频谱调度与分配制；3）非确定环境下可靠数据传输制；4）面向信息决策资源协同制；5）跨层制。目标：面向实时可靠等计一整套符合特性及跨层调度，实现整体性能目标。承担单位中国科学技术大学、东南大学负责人黄刘生学术骨干张宏海、谢海勇、王桥、邢凯经费比例%验证与应用示范针对跨领域跨行业应用特征及相关成果测试与验证需求，验证行业内配用环节互动和与应用验证体系计和等基础论和方法。内容：1）验证论和评估方法；23、通立智能电行业内配环节与智能家汽车等行业间服务相关成果与供支撑。承担单位无锡产业院、国信息通信限公司、北京邮电学课题负责人刘明主要学术骨干李书芳、李祥珍、沈杰、陈晰经费比例%、年度计划容 完成调提出识体系和络互连体系架构；提出场景觉察机制和方法；识体系和架构高混杂条件下的场景觉信息处理系统架和数据融合方法软件设计方法学面向可靠感知的多级优化机制和无线频谱的优化调度分配机制系统验证理论和评估方法；

提出信息处理系统架构和数据融合方法；提出面向可靠感知的多级优化机制和无线频谱的优化调度分配机制；系统验证理论和评估方法；10~15篇；4~6项；容 提出全和服务架构；提出非确定条件下的自配置与优化动态场景下错和自愈合；安全和 提出基于语义分析和理解的物服务非确定条件下服务模型决策机制动态场景下基于语义分析和理解的服务模型决策机制和关链挖掘可信软件推理理论与建模可靠数

融合和关链挖掘；提出可信软件推理理论与建模；提出可靠数据传输机制和资源协同优化机制；提出实验测试平台据传输机制和资源协同优化机制；实验测试平台

15~20篇；5~8项；国家准1~2项；统管理和软件

提出统管理和软件架构的演进策略；提出自治子间协作管理异构络融合机制；构以架构的演进 提出关链挖掘和主动决自治子间协作管理异构策与控制交互模型络融合机制关链挖掘和三 主动决策与控制交互模型分层主动处理与融合可信软件分析与验证技术统跨层优面向互动和融合的应用验证统；

理与融合；提出可信软件分析与验证技术统跨层优化机制；提出面向互动和融合的应用验证统构建；15~20篇；5~8项；1本；国家准1~2项；、研究内容.高度混杂网挑战论方法基础亟待分析物耦合机网自治机机制方法及安全可演进规律等，为网在社会生活各个领域前面应用奠定论基础。网重要特安全可网非确定三方面复杂耦保11：1：复杂耦合存在内在复杂耦合是网网系统设计、组织管、感知交互、策控制等全过程。属耦合分析网系统存在2：感知互动系统自治机理物联网通过物理空间信息空间感知互动效灵活地为用户提供智慧应用挑战及动态多样影响因素在客观上要求物联网以自治方式运行在减少或避免人工参与条件下自动地实现物联网组织管理、资源配置故障处理等功能。物联网感知互动运行场景对物联网自治提出了巨大信息空间感知互动运行模式对物联网自治实时特和，3和数据身更为大量体策操作以体所携带数据并对系统行为预测性和靠性出了更求。和耦合关使得面临更为多样复威胁性和非确定性也对其带来巨大挑战终端能力差异巨大脆弱终端存在着计算能力与算法资源消耗之矛盾物具有频繁移性通连接具有度态性终端或子也能在终端和子异构性使得跨域跨子具有极大技术难度大量逻辑或体于络相连接体能被偷窃屏蔽或转移带来了新威胁容易造成个人隐私、商业密和国家设施泄露软件系统行为预测性和靠性现有软件模型和方法无法表达特征连续世界与离散计算结合性、时性和多维性均难以用现有方法描述。将直接影响世界必需具备本求以物特征表现研究崭新课也发展必须性.主研究内容围绕上述三个关键本项目将从以下六个主方面对论和方法开展研究。（一）关表征与体系架构针对以非确定性和性特征从关表征和体系架构本出发在关架构和体系框架等方面展开研究具体包括以下研究内容：1）关模型与表征于体抽象和体作用关系数描2高效统一3架,架资源高效协议跨分层认证策略协议；分级密钥分、密钥协商等密钥案；4演进架、统架软件架演进架。二融自治应用场景样以络终端互式存在高度异点自治场景察觉在此基础上自以：1自治链中交互式统自治2高混杂条件下场景察觉功能角色范化场景下终端属态功能角色相互发现现终端互察觉基于源粒度互察觉场景分3条件下自置优化署自分在跨子移场景下物自组织感知互应用分布式拓扑自组织资源自置应用需求运行场景研资源协同调整策略优化4复杂场景下自愈自保护5访问与架构信息个资源调度与6可增量部署异构络融量部署可扩展异构络演进异构络、议通切换。三混信息融与决策面向应用域信息特征信息处与服务进而混信息融关链挖掘决策与可信与。信息处与服务信息处面向信息面向挖掘与决策多度与面向应用域服务应用服务与混信息融混源异构与面向融与决策服务挖掘与面向特应用库构造关链挖掘关链关链挖掘关链推规则决策与面向服务信息与决策逆向与任务粒度决策与层处与融复之相适应推以及分析验证技术体内容包括：基于经典精化统精化从需求到实现提供理支撑；推特，突破传统逻辑描述统局限，创建适用于新逻辑统，逻辑推建模建统模现统、、特，建为模基于UP统建模相应以及数；分析验证技术基于述推对现模技术定证技术，相应验证技术方统统分析验证需求。五统优化实以及需求处等用竞争或来合分配调度各种通资通资化用，实现统体化体内容包括：1面向靠优化:面向靠目标定位、事监与化非确