摘要：为了更准确有效更新背景,使运动目标检测更加准确清晰,结合帧差和曼哈顿距离,提出了一种根据邻帧图像间的相对曼哈顿距离,实现对视频图像帧分类;再与改进中值法结合设计出了基于相对曼哈顿距离的背景初始化、背景更新算法。此外,将某像素点八邻域与改进中值法结合,设计一种改进的背景差法运动目标检测。实验结果证明,背景初始化更接近真实背景;背景更新更加准确有效,在较短时间内可以完成背景更新,基本解决了"鬼影"的问题;检测出的目标更加清晰。

摘要：针对传统访问控制难以高效应对云制造因实体规模大、种类多引发的安全问题,提出一种基于属性基加密的访问控制机制。借助于通用属性和数据加密,该机制能够实现对大规模用户及潜在未知用户的批量访问控制。在该机制中,通过部署功能相同且协作支撑的多个授权机构,实现了具备可靠、稳定、高效等特点的去中心化系统框架;基于二叉决策图构造了功能完善的访问结构,以此为基础提出了具备快速解密、策略更新等功能的属性基加密方案,并进一步设计实现了相应的细粒度访问控制系统。理论分析表明,上述机制在安全性、功能实现及算法效率等方面表现理想。

摘要：本文设计了一种基于超材料的偏振不敏感太赫兹宽带吸波体.吸波体包含两层金属和一层中间介质,表面金属层每一个周期单元由五种尺寸接近的金属块按照相邻不同的规律排列成5×5的方形阵列.各种尺寸金属块分别产生单峰谐振吸收,五个谐振吸收峰相互靠近从而产生宽带吸收.通过研究吸波体表面电流和电场z分量分布情况可知,入射太赫兹能量的吸收主要是由y方向上电场引起的电偶极子振荡和z方向上磁场引起的磁极化产生,而且金属层的欧姆损耗起主要作用.仿真结果表明,吸波体吸收率在80%以上的带宽约为1.2 THz,最高吸收率可达98.7%,半峰全宽(FWHM)为1.6 THz,该宽带吸波体的厚度约为中心波长的二十分之一,对偏振方向不敏感,且能实现大角度吸收,在太赫兹频段的电磁隐身、测辐射热探测器以及宽带通信等领域有潜在的应用价值.

摘要：为设计出性能优良的太赫兹滤波器,设计了一种基于两个椭圆型闭合谐振环结构的极化敏感太赫兹超材料。利用CST Microwave Studio软件对其透射特性进行仿真。结果表明,该超材料在x极化时,有两个吸收峰和一个透射峰;在y极化时,也有三个谐振峰,但其位置与X极化时不同。运用表面等离子体共振、磁谐振理论及等效电路模型对谐振峰产生的机理进行了分析。同时,研究了椭圆双环的结构参数对谐振峰位置的影响规律,外环的参数变化对低频的谐振峰影响较大,内环的变化对高频的谐振峰影响较大。论文设计的结构对偏振敏感太赫兹滤波器的研究具有一定的参考价值。

摘要：模型检测是通信顺序进程(communicating sequential processes,简称CSP)形式化验证的重要手段.当前,CSP模型检测方法基于操作语义,需将进程转化为迁移系统,进而提取语义模型,但转化过程较为复杂;待验证性质采用CSP语言进行描述,虽然有利于精炼检测(refinement checking),但描述能力较弱,通用性不强.鉴于此,提出了一种新的CSP指称语义模型——关键迹模型(critical-trace model)及基于该指称语义模型的CSP模型检测方法,并证明了其验证的可靠性,避免了上述问题.关键迹模型采用递归策略计算,待验证性质采用线性时态逻辑(linear temporal logic,简称LTL)描述.基于回答集程序设计(answer set programming,简称ASP)实现了关键迹模型的自动生成及LTL的自动验证,并开发了一个CSP模型检测原型系统——T_ASP.实验结果表明:与类似系统相比,该系统的描述能力更强,验证结果的准确性更高,且可同时验证多条性质,在性质不满足时还可提供多条反例.

摘要：连接聚集查询是大规模数据分析的核心操作算子之一,多核处理器为大规模数据的连接聚集查询操作提供了优化空间但同时也存在很大挑战.主要针对多核处理器集群环境,研究MapReduce框架下大规模数据连接聚集查询的优化算法.首先,基于传统MapReduce框架设计并实现了Map端的单线程连接聚集查询算法,基于实验分析指出MapReduce和多核处理器融合提升性能的必要性;其次,针对处理器的多核架构,设计并实现了Map端的多线程连接聚集查询算法,找出了MapReduce和多核处理器融合的性能瓶颈;进而,提出了Map端对输入分片无竞争读取的多线程连接聚集查询算法,该算法让MapReduce充分利用了多核处理器的性能优势.实验结果表明,提出的算法在大规模数据的连接聚集查询处理上充分发挥了硬件优势,具有较好的时间性能和可扩展性.

摘要：由于小卫星对空间重量要求越来越敏感,传统小卫星包含姿态控制系统,占了很大一部分重量和体积,增加了项目复杂度和研发周期,所以小卫星趋向于小型化、轻量化是未来研究的方向。为进一步减小卫星重量和体积,提出一种在轨运行的无姿态控制小卫星通信方案。当小卫星处于缓慢的不确定运动状态时,通过射频开关选通六面体小卫星一个面的射频通路,结合该面上的方向回溯天线,应用软件无线电技术,给出了姿态不稳定的小卫星和地面之间的通信链路难以维持的解决方案。实验结果验证了射频开关选通射频发射通道满足系统要求和小卫星通信板的接收功能正常,说明了星端通信中继器的射频部分、基带传输部分以及嵌入式软件部分设计的正确性。