服务组合是服务计算的核心问题，而服务组合的正确性与可算性则是服务正确执行的前提保证。首先提出一种基于Alloy的服务组合验证方法，采用有限的状态机建模WS-BPEL业务流程的状态变迁，利用Alloy语言对待验证的属性进行描述，通过Alloy模型完成有限状态机的形式化，最后使用Alloy Analyzer分析组合服务是否满足验证属性要求。实验研究表明，所提出的基于Alloy的服务组合验证方法具有较好的可行性。
无线多媒体传感器网络中存在多种类型的数据，而且这些数据的服务质量需求并不相同。针对这种情况，提出一种基于蚁群优化的区分服务路由协议（DSACO,differentiated service and ant colony optimization based routing protocol）。DSACO在网络分层的基础上通过限制蚂蚁的搜索范围以减少建立路由的时间和能量消耗，对不同服务质量需求的数据采用区分服务路由以满足不同类型数据的服务质量需求。仿真结果表明，新协议能够为多媒体数据的传输提供更好的QoS保障，在数据传输的平均时延、分组丢失率和能量消耗上优于已有路由协议。
传输控制协议(TCP,transmission control protocol)连接建立的“三次握手”过程中涉及对半连接表和连接表的管理。但是，已得到广泛应用的网络模拟器NS2对TCP连接建立过程只有一个形式的表示,没有完整的具体实现。对此进行了改进,为NS2增加了半连接表结构,并将Linux内核管理半连接表的方式移植到了NS2中。仿真结果可清晰地看到TCP连接建立过程中半连接表变化,从而满足TCP SYN洪泛攻击防控等研究中对TCP连接建立过程模拟的需要。
为了解决云计算服务环境中用户和云服务器之间的双向认证问题，提出一种基于可信平台模块的云计算平台双向认证方案。将可信计算技术和传统的智能卡口令认证方法相结合应用于云计算服务平台，实现云计算中双方身份的认证，协商生成会话密钥，同时对云服务器的平台可信状况进行了验证。实验分析表明，该方案可以抵抗常见的各种攻击，安全性较高。计算时间复杂度在云计算服务中能够满足要求。
从虚拟网络的角度考虑虚拟网络对底层资源的选择问题，将虚拟网络对底层网络中物理路径的自主选择抽象成一个演化博弈，虚拟网络通过反复博弈学习来调整物理路径的选择。利用模仿者动态方程分析博弈中不同策略的比例动态变化，证明了模仿者动态是底层资源动态选择博弈的合理策略更新机制。应用势博弈理论分析了博弈的演化过程，证明了演化的结果会达到演化平衡，确保了每个虚拟网络都获得了最优策略选择。最后基于模仿者动态策略选择机制提出了一个演化算法，通过数值仿真模拟了不同初始策略分布下虚拟网络对底层网络路径的选择过程，实验结果表明演化博弈收敛到了稳定点，仿真结果与理论分析的结果相吻合。
在编码解析需求的基础上，首先，提出了一个应用在大规模动态场景下的物联网编码解析系统的体系结构，它由多个相互独立且协作的编码解析服务组成。然后，提出了一个基于改进的SkipNet的编码解析服务，它不但继承了传统DHT覆盖网络的优点，还支持区域自治。最后，通过仿真实验表明，该服务具有优良的性能。
针对语义Web技术本身以及由遍及Internet各个角落的语义Web应用构成的语义数据网可能引入新的安全、隐私和信任问题及需求，详细分析了语义Web所面临的安全问题及其安全现状。在此基础上，提出了语义Web的安全参考技术框架。最后，指出在该安全框架下语义Web安全急需研究的关键技术、策略规范和安全标准。
针对异构认知网络中频谱管理框架的频谱决策问题展开研究，综合考虑物理层频谱感知错误和无线信道衰落、主用户的多次打断带来的不利影响，提出了基于概率的和基于感知的具有负载均衡功能的频谱决策方法。对于基于概率的频谱决策方法，基于短时业务优先的调度策略采用动态规划方法给出了其平均等待时延的闭式解；对于基于感知的频谱决策方法，提出了允许其中断后可以重新搜索可用信道的决策方法，减少了等待主用户传输的时延，并在分析比较两者时延的基础上，提出了一种总体时延最优的频谱决策方法。此外，将认知网络的异构信道特性考虑分析框架中，理论分析较具一般性。仿真结果证实了方法的有效性。
针对认知Wi-Fi 2.0网络典型的布设场景，总结其特有的信道捆绑等关键技术。提出双层动态频谱接入模型，总结其多样的动态资源共享策略。面向频谱资源的高效利用和经济收益，重点关注多种博弈模型，刻画动态频谱接入和智能策略选择等行为。最后，提出联合频谱的技术特性和经济收益特性的频谱共享策略，并展望该领域的未来研究问题。
石油勘探领域需要处理海量的地震数据，以获取地下构造用以发现和定位油藏。为评估云计算编程模型MapReduce对于石油勘探领域应用算法的适用性，设计并实现了基于MapReduce的三维Fresnel层析成像算法，实验发现MapReduce版本的性能比MPI版本慢3倍，而且对MapReduce作业调优的难度相当大。为了拓展MapReduce在石油勘探领域高性能计算领域的应用，需要在支持线程级并行、灵活性和提升I/O可扩展性3个方面进行改进，并提出了研究方法和技术路线。
为了解决热区问题和单点失效问题，提出了一种新的无线传感器网络分簇算法。算法将网络划分为非均匀的栅格，每个栅格的节点分别构成一个簇，根据节点失效概率确定栅格簇首的数目，并由栅格的多个簇首协作完成该栅格节点的数据收集。算法通过调整各个栅格中可参与簇首轮换的节点数目，从长远均衡节点之间的能耗。通过建立包含多个簇首的簇，算法降低了簇成员对单个簇首的依赖性。此外，算法还采取了一些降低能耗的措施。实验结果表明，该算法能够达到较高的能耗均衡程度和数据收集可靠性，并可以延长网络的生命周期。
从认知无线电技术特性出发，在干扰温度门限的限制条件下，提出了基于新的代价函数功率控制博弈论算法，以有效地提高认知用户的信干噪比。根据信道状况、吞吐量最大化和功率限制的需求，将功率控制问题转化为一个干扰受限的多约束非线性规划问题。结合博弈论和最优化理论，证明了其纳什均衡的存在性和唯一性，给出了该模型的分布式求解算法。仿真实验表明，该算法可以有效提高认知用户的QoS和系统性能，充分利用无线资源。
随着认知无线电网络（CRN）技术的不断发展，安全问题日益受到重视。模仿主用户（PUE）是一种典型的易于实现且对CRN影响巨大的攻击行为，根据产生的原因、目的和过程的差异，可以分为恶意不端次用户PUE和自私不端次用户PUE 2类攻击。已有文献大多针对前者进行了分析，而对后者分析极少。重点对两者进行了区分，提出了四维连续时间马尔科夫链分析模型，详细地分析了自私不端次用户PUE攻击对正常次用户通信性能的影响，并对比了几类典型的PUE攻击检测技术。通过仿真结果可以看出：PUE攻击检测技术引入自私不端次用户检测机制极为必要，可以有效地改进检测效果。
该算法把协作中继分为前N个与后K?N个两部分，首先在前N个中继中感知，若不多于mL个中继检测到主用户或不少于mH个中继检测到主用户，则全局判定为存在或不存在频谱空洞；否则继续在后K?N个中继中感知，只有当前后两次感知不少于n个中继检测到主用户时则才全局判定不存在频谱空洞。在满足虚警概率与检测概率的前提下，构建最小化时隙消耗的目标函数，优化参数mL、mH与N。模拟表明，通过合理设置这些参数，在保证感知性能的前提下，所提增量协作算法的平均时隙消耗明显低于传统协作感知。
针对认知无线网络中协方差检测算法均通过渐进方法得到性能参数的缺点，提出了改进的cholesky的协方差盲检测算法，利用RMT(random matrix theory)理论，推导了非渐进条件下该算法性能参数的数学表达式。所提算法无需PU信号的先验信息和信道条件信息，对不确定噪声具有很强的适应能力。理论分析和仿真证明，性能参数表达式正确，所提算法相对于其他协方差盲检测算法，性能有了一定的提升。
为解决Windows日志的实时获取问题，针对2种日志文件格式，分别提出了相应的日志实时获取方法。在实时获取日志的基础上，提出了将日志文件与原子攻击功能关联的方法，将对日志文件的分析转换成对原子攻击功能的分析，大大减少了日志文件分析的时间。提出了一种基于时间的日志关联分析和事件重构方法，实现对计算机犯罪场景的还原。实验结果表明，提出的方法可以有效获取日志证据，重构犯罪过程。
提出一种基于边框定界的WSN分布式全搜索定位算法。该算法通过节点测距得到邻居节点的坐标和距离信息，然后通过边框定界方法确定节点存在的位置区域，最后将位置区域网格化，并用全搜索方法在该区域搜索最佳估计点，最佳估计点的坐标即为节点的定位坐标。该算法应用到网络时需运行多轮，通过逐步求精得到节点的定位坐标。仿真实验表明该算法达到当前其他复杂定位算法的性能。
在高动态拓扑自组织网络中，基于常规握手机制的广播方法难以有效进行信息分发，为此，提出了一种基于忙音的广播方法。针对此方法，利用网络仿真平台OPNET，建立并实现了该广播方法的模型，通过仿真实验，分析了其性能。仿真结果表明，该基于忙音的广播方法适用于高动态拓扑网络。
首先假定在一个动态、实时的大型楼宇式停车场环境中，使用无线传感器网来支持信息查询和导航系统。基于扩散方程和泊松公式，提出一种新颖的信息查询和导航方法，该方法能够更便捷、有效地完成导航系统进程。从信息导航理论研究的角度来分析，一般假定研究工作的环境是理想状态，受到很少的限制，同时假定实际中一些错误的导航进程可以得到更正。为了达到导航系统的精确性，首次应用了信息传播、电势场以及偏微分方程（扩散方程）的相关知识，同时将梯度下降法应用于该算法。在研究过程中，采用了完整的数学推导。模拟实验表明，该方法准确方便，并且高效地克服了典型传感器网络配置信息导航系统最优解较难快速获得和存在竞争冲突的弱点。同时，扩散方程的结构也更具灵活性和适应性。导航性能也有较大提高，还可避免甚至消除竞争冲突。另外，热扩散方程的灵活使用克服了原有调和函数方法强约束的缺点，取得了模型降阶的效果。
针对蜂窝网用户在高速数据传输时能耗过高的问题，基于认知蜂窝网络模型，提出了一种通过合理利用认知网络资源进行多网络并发传输的最大能效传输策略。该策略利用多模终端可以同时接入不同网络进行并发传输的特点，建立用户能效模型，并通过研究并发传输时不同网络可用信道状态、能耗和数据传输速率之间的关系，得出使用户能效最大的认知网络资源使用和数据传输速率分配算法。仿真结果表明，该最大能效策略能够有效提升用户的能效。
路由器别名解析是基于traceroute机制的因特网路由器级拓扑测量中的难点和重要环节之一，生成的路由器级拓扑图的结构特征与别名解析完全性密切相关。以具有幂律分布的拓扑图为基础拓扑图，采用最短路径方式进行模拟测量。实验结果表明了别名解析不完全可能使测量得到的拓扑图与基础拓扑图的结构特征不一致。更为重要的是，对于大规模路由器级拓扑测量，随着测量源点数量的增加，需同时提高别名解析完全性，才能使测量得到的拓扑图更接近于实际的拓扑图。
为改善认知网络通信性能，根据机会协作通信技术思想，提出了基于信道系数的认知网络节点选择算法，并对算法性能进行了研究。结果表明，该算法能够有效提高频谱资源利用效率、提升次网络吞吐量。
为了更加准确地描述卫星移动通信信道的衰落特性，提出了一种新的Ka波段卫星移动通信信道综合模型。首先在分析移动卫星信道传播特性的基础上，考虑多径衰落、阴影遮蔽及天气影响等因素，建立了服从Gaussian分布的大气空间模型，推导出服从Rice、Rayleigh和Lognormal联合分布的地面信道模型。然后利用卫星信道环境中大气空间部分与地面部分对信道特性的影响是彼此相互独立的性质，提出了一种在大气空间持续影响下的移动卫星信道衰落特性综合模型。并就不同天气条件和不同阴影遮蔽程度下，综合模型的误码率特征与系统误码率理论上限进行仿真对比，得出了相一致的结果，验证了该信道综合模型的合理性和正确性。
为了抵抗云中软件服务来自运行环境内部的侵权问题，提出了一种基于软件水印的云平台下软件服务保护安全协议。协议结合云计算的实际需求，引入了可信的软件水印服务云负责软件水印的嵌入和提取。协议不仅满足软件版权保护的基本要求，而且给出了可操作的追究策略，提高了抗攻击的能力。分析表明提出的协议具有较强的安全性。
提出了支持应急通信的无线认知网络机会频谱接入模型。首先按照离散时间完全和限定(k=1)服务两级轮询策略实现主用户和次用户对频谱的共享。其次，通过在数据确认中捎带轮询列表信息方式实现数据传输和用户调度的并行处理，减少用户切换造成的时延浪费。通过建模分析得出网络吞吐量及用户平均等待时延的精确解析，结果表明本方案能有效抑制次用户对主用户通信质量的影响，又能增加网络吞吐量并为通信业务提供时延保障。
基于逆向工程的思想，使用前期工作中提出的面向两方不可否认协议分析的增广CSP方法，对典型的Kremer-Markowitch多方不可否认协议的安全性进行了探索性建模与分析。借助该分析成功发现此协议在满足不可否认性和公平性的同时却不具备时限性。这表明在适用于两方不可否认协议安全性验证的同时，增广CSP方法也可作为多方不可否认协议安全性验证的新方法。
分析了EPA微网段三大延迟因素：排队延迟、节点信息处理延迟和发送和传播延迟，讨论了三大延迟因素对实时性能的权重影响，通过分析节点数量N和调度算法因子α对延迟的影响，得出了2个结论：1)N=8是排队延迟和节点信息处理延迟的“二八”现象的拐点；2) 当α□0.32时，排队延迟就会降为影响延迟的次要因素。上述结论为提高EPA网络实时性能措施提供了参考方向。
数据的持有性证明允许用户随时知道其数据是否仍然有效地保存在云存储平台中，以及是否可以随时、随地获取到该数据，这是云存储安全中的一个重要的挑战性问题。介绍了数据持有性证明的模型和衡量指标体系，分析了3种证明方案，并全面比较了6种常见的方法，最后给出了未来需要注意的研究方向。
在无线传感网应用中部署规则拓扑结构能实现感知区域的完全覆盖和采集点的精确定位，以较小的部署代价提供更好的网络性能，为无线传感网的优化设计提供参照依据，对规则拓扑结构的相关研究进行综述。基于节点有效面积这个指标，探讨了完全覆盖、k-覆盖、l-连通情况下的拓扑部署方式与效能，并从连通性、能耗、传输性能、路由方案和MAC协议等方面总结了典型规则拓扑结构的性能、变化规律和适用范围。指出了各结构的最佳适用条件，并提出了若干有待进一步研究的方向。
机会网络中自私节点的存在严重影响路由转发的性能。为在路由时避开此类节点、消除其对网络性能的影响，提出了一种基于信誉值维护的自私节点检测机制，通过两跳ACK消息来监测节点行为，利用监测信息计算节点的信誉值，并将其作为判断节点是否自私的依据。在多种路由算法上加载该检测机制进行仿真实验，结果表明该检测机制可准确识别机会网络中的自私节点，提高消息投递的成功率，并能有效控制消息副本数和网络开销。
提出一种使用UML(统一建模语言)对Linux设备驱动进行分析的方法，借助UML对设备驱动程序模型进行建模并分析，从而明晰设备驱动组件之间的依赖关系，明确设备驱动开发的重点。在此基础上对SDWiFi设备驱动程序模型进行了研究，设计处理器与Wi-Fi芯片之间的SDIO通信接口，移植SDWiFi设备驱动程序。最后使用无线工具包对SDWiFi无线网卡设备进行了配置和测试，测试结果表明SDWiFi无线网卡设备工作正常，通过使用UML对设备驱动程序模型进行建模和分析，可以提高设备驱动程序开发效率。
为了提高基于循环平稳感知方法的检测性能，减少深衰落对感知性能的影响，提出了一种基于多天线合并方案的频谱感知算法，即将循环自相关函数和循环谱密度函数进行一种改进的最大增益比合并，并通过渐进最优χ2检测法得出检验统计量。该种算法可以在感知信号和噪声幅值信息未知的情况下对信号的有无进行检测。为了验证提出方法的正确性，以BPSK信号为例对提出的算法进行仿真检验，仿真结果表明多天线感知算法的性能优于单天线感知，减少了深衰落对接收信号的影响。
首先介绍了多路径传输协议的几种典型的拥塞控制算法，然后对MPTCP协议进行了理论分析，包括MPTCP拥塞控制算法在瓶颈链路TCP公平性、平衡拥塞能力以及flap现象，实验分析表明LINKED INCREASES算法效果最好。最后，指出其存在的问题，并指出了进一步的研究方向。
设计了一套基于信号强度RSS（received signal strength）的无基础设施定位算法。它无需借助任何其他的基础设施，只利用Wi-Fi；减轻了构建数据库的工作量，通过一种特殊的动态方式进行数据库的完善；通过热点的筛选，有效地减轻了周围无线信号的干扰；改进了基于RSS定位时的匹配算法，提高了定位准确度；定位操作简单，无需终端用户的复杂参与。本算法适合服务商在特定地点提供定位服务，通过部署专用的热点，有效地减轻周围环境的影响，提高定位服务的质量。
通过对万维网服务集成技术的研究，提出使用DPWS（万维网服务设备简本）来解各类设备的集成问题。依托网络摄像机集成的实际需求，归纳设备集成过程中的难点。使用DPWS实现了基于万维网服务的应用接口，可集成动态发现、事件等特性，达到了迅速集成联网设备的目的。测试结果表明该方案具有较高的性能、伸缩性、顽健性和普适性。
针对已有的基于l0范数和l 1范数的LMS算法来实现稀疏信道估计所遇到的问题，引入了新的lp(0□p□1)范数来替代。通过对lp范数的分析，选取了最佳的p值为1/2，从而求取最为稀疏的解来实现对信道的估计。在此基础上通过对数据重用方法的使用既节省了训练序列的资源开销，又解决了数据量不足的问题。实验仿真结果表明，在短训练序列条件下，通过与数据重用的方法结合，基于lp范数的LMS算法与已有方法相比在对稀疏信道进行估计时具有一定的优越性。
为了实现绿色节能认知通信的目标，针对协作感知和传输过程中的能量消耗问题，提出了一种基于能量约束的集中式协作频谱感知算法。建立了系统检测寿命最大化的频谱感知模型，对其进行了详细分析，给出了检测寿命最大化对应参数的搜索方法。仿真结果显示，该方法可以在满足检测精度的条件下有效延长认知网络的检测寿命，并提高低信噪比用户参与协作的几率。
针对运用压缩感知理论对ISAR目标成像时不同目标所需观测维数和积累时间不同的问题，提出了一种基于压缩感知的稀疏孔径认知ISAR高分辨成像方法。在对目标稀疏特性认知的基础上，构建了基于目标横向稀疏度和观测积累时间的随机观测矩阵，并给出了成像质量评估标准，实现了对有限雷达资源条件下ISAR目标的高分辨认知成像。仿真结果表明，利用该方法成像，不仅可以减少雷达成像发射脉冲数，而且可以有效减少目标成像的时间，同时还能获得高质量的目标ISAR像。
针对主机标识协议(HIP,host identity protocol)实际部署应用的相关问题，设计实现了一种基于HIP的安全IP通信系统(HIPSCS,HIP based secure communication system)。该系统通过将主机标识(HI,host identifier)和用户身份证书唯一关联，实现了主机身份的实名化，以保障网络报文的源地址真实可信，并通过IPsec技术加密所有通信数据以达到安全通信目的。实现并在实验室环境中部署了HIPSCS原型系统。实验表明此通信系统可用性强，并能很好地支持移动通信。
通过引入矩母函数分析方法，理论分析中继采用复数域网络编码的系统中断概率闭合表达式，并分析其对不同调制方式的平均误符号概率的影响。计算机仿真表明，中断概率的闭合表达与近似表示的差异与信噪比的高低有较强的关系。
随着计算机网络的发展，自组织网络因其具有灵活性、自适应性、顽健性等优点而受到广泛的关注。在OSPFv3协议的基础上，添加了QoS state交互报文，用于建立邻居信息表，进而完成链路上服务质量QoS的信息存储和重路由触发的判断，并引进了节点的休眠、苏醒等生物特性行为。为保证网络状态变化下应用的QoS，采用了混合式重路由机制，针对不同网络失效状况作出相应的处理。仿真实验表明，该路由机制具有良好的性能。
针对DBSCAN算法对数据分布不均匀和大规模数据处理问题上的不足，提出了一种新的整合算法，算法使用信息熵和蚁群聚类技术对聚类数据集进行代表性子集选择，在子集基础上进行DBSCAN聚类，实验证明这一算法能显著降低I/O耗费和内存需求，有效地解决含有分类属性的高维大规模数据集的聚类问题。
深入分析当前隧道机制的优缺点，在TSP机制的基础上，面向不同的场景，提出一种更高效、适用性更广的TrNAT过渡隧道机制。TrNAT借助MIPv6通信最优化思想实现部分NAT用户间的通信优化，同时利用Shim6机制实现隧道机制的路径冗余及改善6 to 4隧道路由聚集。最后在linux系统上实现TrNAT隧道机制并进行了实验验证。
