动态异构冗余结构的拟态防御自动机模型

动态异构冗余结构是拟态防御技术的常用工程模型.然而,目前尚缺乏对该结构实施形式化分析的手段,因为该结构缺乏形式化建模方法.针对此问题,使用有穷状态自动机及其并行组合自动机为一些拟态攻防行为建立计算模型.首先,使用单个有穷状态自动机为单个执行体建模;其次,使用有穷状态自动机的并行组合为执行体组合建模;再次,修改状态迁移规则,得到可描述攻防行为的拟态防御自动机模型;最后,根据该自动机模型的状态条件,分析动态异构冗余结构上拟态攻防行为的安全性.此外,也可使用交替自动机为拟态攻防建模,并把安全性自动分析规约为交替自动机模型检测问题.     

飞邻物联智能系统关键技术在智慧园区中的应用

结合当前国内建筑智慧化技术发展的现状和存在的问题,介绍了飞邻物联智能系统及其关键技术,并通过3个智慧园区建设案例,诠释了飞邻物联网技术的应用特色。     

模型制导的网络程序设计教学方法研究

针对网络应用程序设计教学中难于将网络通信协议和通信程序设计直接关联的问题,提出一种将网络程序设计要素抽象为原子概念并在此基础上建立模型制导的网络程序设计教学方法,阐述如何通过网络通信模型制导教学演示系统展现多通信节点间的网络编程。     

OBS通用仿真模型的设计与实现

仿真是通信网络技术研究中一种非常有效的分析手段,但对于光突发交换（OBS）这种新型的光交换技术,目前还缺乏一种通用的仿真模型.该文在总结现有光突发交换技术的基础上,以OPNET Modeler为工具建立了一种通用的OBS仿真模型.提出了一种在不损失精度的条件下对OBS网络体系结构进行简化设计的方案,并根据仿真需要对OBS关键设备边缘节点和核心节点的逻辑结构进行了重新设计,同时为增加模型的灵活性,增设了数据源节点和初始化节点.目的是要建立一种灵活、易用、可扩展性强的通用OBS仿真模型.     

基于枢轴选择策略的多核并行skyline算法

针对当前大规模高维数据集skyline计算效率较低的问题,提出了一种多核并行算法MPSSI(Multi-core Parallel Skyline computation based on Sorting and Incomparability).首先对数据集进行预排序处理,简化了后续计算过程;并通过精心选择枢轴点,将数据空间划分为若干区域,利用区域支配关系,减少了数据点之间的支配测试次数;同时在多核平台上对计算过程进行并行化处理,进一步提高了效率.MPSSI算法处理过程简洁、渐进性好、可扩展性强.实验结果表明,对大规模高维数据集,算法效率有大幅提升,相对加速比接近线性.     

量子遗传算法在Web服务选择中的应用

为了提高Web服务选择效率,首先提出了一种树形结构组合服务服务质量计算模型,采用二叉树表示组合服务中的任务(抽象服务)及依赖关系,自底向上逐层汇聚服务质量属性,通过树形结构避免了大量的重复计算,减少了组合服务服务质量的计算时间．然后提出了一种基于量子遗传算法的服务选择方法,采用二维多量子比特编码染色体,并附加标志位表示多路径信息,用量子旋转门实现个体的进化．对比实验结果表明,相对于传统遗传算法,基于量子遗传算法的服务选择方法能在更短的时间内得到更好的解．