摘要：真实世界中,常存在很多障碍物,影响空间对象到查询点的可见性及距离,可见k近邻查询查找距查询点最近的k个可见对象,是时空查询领域的一类重要算法.由于度量设备误差以及通信开销的限制等因素,空间对象位置不确定因素广泛存在.文中拟对不确定对象执行可见k近邻查询,提出了概率可见k近邻(PVkNN)查询,即查找前k个成为查询点最近邻居概率最大的节点.为了高效地执行这一查询,文中提出了k-界限剪枝方法,基于可见质心的紧缩过滤以及对不可见对象的剪枝策略,从空间角度过滤掉不符合条件的对象.为避免对候选集合中每个对象的概率都进行精确计算,从概率角度提出了根据概率上下限来对候选集合进行进一步的求精方法,采用近似采样技术来获取可见区域的比例,实现了对PVkNN的高效计算.采用真实和模拟数据集设计实验,充分验证了算法的效率和精度.

摘要：DNA自组装计算模型是近年来引人关注的计算模型,已有基于自组装模型的二进制加法、乘法以及有限域中的加法和乘法的讨论.文中利用DNA自组装模型设计的模乘系统,实现了素数p的本原根g连续乘方后模p的数的排列,从而可以在线性时间内求解离散对数,为破译Diffie-Hellman密钥交换算法提供了新的生物方法.该模乘系统使用了Θ(p)种自组装类型,组装的时间复杂度为Θ(p-1).系统最后组装结果提取出报告链后,经过PCR和凝胶电泳读取离散对数结果.该模型扩展了DNA自组装计算模型的应用,为求取离散对数提供了新思路.

摘要：结构连接作为XML查询的重要部分,对查询性能来说起着非常重要的作用.目前有几种结构连接算法已经被提出,例如Stack-Tree、XR-tree.这些算法主要集中在节点之间关系的确定上.与之不同,作者从分片的角度去解决结构连接问题,首先把节点间的关系引申到分片之间的关系,从而得出各分片之间的一些性质,再利用分片间的性质来提高结构连接操作的性能.文中提出了一种基于分片的结构连接算法和两种优化方法,实验表明该算法在性能上要优于Stack-Tree算法和XR-tree算法.设计了一个简单而又高效的索引结构来存储分片结果,实验结果表明该索引结构的维护代价要小于XR-tree的维护代价.

摘要：SVG空间信息可视化数据库在将SVG文档发布到网络时,存在存储、处理海量矢量数据和地图修饰信息的瓶颈性问题.采用Redis内存数据库,利用其No SQL型内存数据库具有很好的并发性和快速响应的特性,设计了基于Key-Value数据库的XML文档粒度定义规则,建立了基于SVG的空间信息可视化数据库.实验证明,本文提出的技术方案不仅可实现原系统在关系型数据库中的各种功能,如:网络矢量地图发布的按需传输、中粒度查询、交互性等优势,而且弥补了其在并发性和响应速度上的欠缺.基于Redis的SVG空间信息可视化数据库在并发8000客户端、完成10000次查询请求时,Redis内存数据库仅需8s,可满足网络矢量地图发布应用的实用性和可交互操作性等需求.

摘要：基于信道极化定理而提出的极化码是目前唯一被严格理论证明可以达到香农容量限的编码,并被接受为第五代移动通信系统(5G)中短码控制信道的编码方案。本文首先给出极化码的编码和译码原理,然后提出一种极化码与奇偶校验码级联的设计方案,发送端编码器采用奇偶校验码作为外码,极化码作为内码的级联编码结构。接收端译码器采用基于奇偶校验辅助的连续消除列表译码算法。相比于极化码与循环冗余校验码的级联方案,本文提出的级联设计方案具有更加优良的纠错性能,且没有提升编、译码的复杂度,有能力满足5G移动通信控制信道对纠错性能的要求。

摘要：提出一个在标准模型下可证安全的双方身份基密钥协商协议.新协议的设计思想来源于Gentry的身份基加密方案.提出的新协议可工作于托管或者无托管两种模式.在标准模型下(即不利用随机预言假设),文中给出了该协议的安全性证明.新提出的协议与目前现有仅在随机预言模型中证明安全的协议相比,在计算和通信效率方面相当.

摘要：为了在大口径激光能量在线测量装置的设计过程中消除光斑不均匀性、强度随机性以及光束偏轴等造成的影响,提出了一种简易方法,利用普通漫射片透射取样,先将光束缩束尽量消除其各种空间信息,仅保留其强度信息,并保证取样点仅位于漫散射覆盖区域,消除透射分量及光束的偏振态的影响,同时保证取样点到漫射片之间距离远大于漫射片上光斑的尺寸,消除传感器接收角不足对测量结果的影响,激光能量采用光电积分方法获得。结果表明,根据上述方法设计的能量在线测量装置在整个激光接收面上各处的响应较一致,受到局部强度变化的影响较小,激光发散角或者光轴发生较小变化时对测量结果不会造成明显的影响。提出的上述措施在工程上可以消除各种因素对测量结果造成的影响,保证测量精度。

摘要：在组通信中 ,虚拟同步通信是一个非常重要的通信模型 ,它保证组成员的失效不会导致消息的不完全传递 .为了有效地支持分布式容错应用及协同应用的开发 ,在对与虚拟同步通信相关的失效检测问题及分布式一致性问题研究的基础上 ,将虚拟同步通信问题转换成一致性问题 ,提出了一个基于一致性协议的虚拟同步协议 。

摘要：人机交互技术与生理计算技术的结合成为计算机应用领域的一个重要方向.然而,基于生理计算的交互应用研究和开发过程普遍存在缺乏生理计算知识、硬件种类繁杂、软件逻辑和平台复杂度高等难题,为此我们设计了一个生理计算交互工具箱PhysiolComp Toolkit,提出了生理计算交互逻辑的设计框架,定义了较为完善的交互信息处理流程以及组件设计方法,并且以该工具箱中手部动作和生理状态监测组件为例深入讨论了交互组件的设计方法.研究人员可以使用PhysiolComp Toolkit方便地建立生理计算交互应用框架,选择使用工具箱中提供的交互组件快速高效地完成系统搭建和应用开发.

摘要：超小型稳定平台照准架是保证平台指标精度实现的关键结构件。为了减小稳定平台照准架的质量和体积,对其结构形式和受力情况进行了研究,采用NX/N astran软件对照准架结构进行了仿真分析,依据结果对照准架结构进行了优化设计。优化结果使照准架的质量减小到88 g,占其质量的30%,有利于稳定平台轻量化设计。对优化后的照准架进行了模态分析和热分析。模态分析显示,照准架主体一阶频率为415 H z;热分析显示,照准架在120°C温差作用下变形大小为0.083 mm,满足飞机总体性能指标的要求。最后通过对稳定精度和测角精度的检测以及振动和高低温试验及外场飞行试验,验证了仿真分析的正确性,表明对照准架的优化设计是成功的。