摘要：点和区间关系的保密判定在范围查询中应用非常广泛,但目前已存的解决方案大多只保护了一方的隐私,而另一方的隐私并未得到保护.此外,已存方案给出的点和区间都是离散的整数(或有理数)范围.针对这些问题,本文利用安全多方计算的思想设计了保密判定点和区间关系的2种协议,不但同时保护了两方的隐私,而且将数域推广到连续的实数.本文首先利用0-1编码并结合Goldwasser-Micali同态加密给出了全隐私判定一个整数点是否在一个离散整数区间上的协议1;然后利用函数的单调性和Paillier同态加密给出了全隐私判定一个实数点是否在一个连续实数区间的协议2.最后,给出了本文协议的一个应用实例.理论和实验分析显示:本文的两个协议在取得较优通信效率的同时都取得了全隐私性.此外,协议2相比以往的方案,第一次给出点和连续实数区间的判定方法,在保持较优效率和良好性能的同时取得了通用性.

摘要：针对Top-k高效用项集挖掘算法在挖掘过程中忽略内存管理的问题,提出基于DBP的Top-k高效用项集挖掘算法TKBPH(Top-k buffer pool high utility itemsets mining),采用数据缓冲池(DBP)结构存储效用链表,并由索引链表记录效用链表在DBP的位置。数据缓冲池根据挖掘过程情况在数据缓冲池尾部动态插入和删除效用链表,通过索引链表直接读取效用链表避免项集搜索时频繁的比较操作,有效减少内存空间和运行时间消耗。不同类型数据集上的实验结果表明,TKBPH算法在挖掘过程中执行速度更快、内存消耗更少。

摘要：针对DBSCAN算法需要人工设定参数,且数在对不同疏密度的数据敏感度较低以及处理多维多密度的海洋数据时鲁棒性欠佳的问题,提出一种基于K-均值模型的多密度自适应聚类算法AM-DBSCAN(adaptive multi-density DBSCAN algorithm)。采用K-均值模型对数据进行初次聚类,分别以结果簇中距离最远两点的平均值及最小簇的样本数作为DBSCAN算法中的邻域半径(Eps)及邻域样本阈值(Minpts);以最短路径原则改进DBSCAN算法中Eps邻域判定方式,提高算法全局的可靠性及稳定性。实验结果表明,相对于DBSCAN聚类算法,AM-DBSCAN算法在处理密度不均的数据时在聚类准确度和聚类效率方面有所提升。

摘要：一致性理论在许多领域有广泛应用.现有很多研究成果是关于恒同—致的.在实际中,由于任何系统都会不可避免地受到一定的外界扰动,要求误差函数的极限等于0是难以做到的,但当时间充分大时误差函数在可接受区间内是可行的.本文首先给出多智能体系统的实用一致性概念,然后研究含未知耦合权重的一阶非线性领导-跟随多智能体系统的实用一致性问题.通过设计合适的控制协议,运用图论、矩阵理论和强实用稳定性理论,得到该多智能体系统实现实用一致性的充分条件.数值模拟验证了理论结果的正确性.

摘要：软件缺陷预测可以通过预先识别出可疑缺陷模块,并随后对其投入足够的测试资源以提高软件质量。但在缺陷预测数据集的搜集过程中,若考虑了多种不同度量元(即特征)会造成维数灾难问题。特征选择是缓解该问题的一种有效方法,其尝试尽可能多地识别并移除已有特征集中的冗余特征和无关特征。然而设计有效的特征选择方法具有一定的挑战性。将软件缺陷预测特征选择问题建模为多目标优化问题,其优化目标包括最小化选出的特征子集规模和最大化随后构建出的缺陷预测模型的预测效果。随后提出MOFES(multi-objective optimization feature selection)方法来尝试平衡这两个可能矛盾的优化目标。为了验证MOFES方法的有效性,选择了来自实际开源项目的数据集PROMISE和RELINK,并且将MOFES方法与一些基准方法(例如GFS、GBS和SOFS)进行了比较。最终结果表明:在可接受的计算开销内,MOFES方法在大部分情况下可以选出规模更小的特征子集,并同时取得更好的模型预测效果。

摘要：TinyOS作为无线传感器网络的主流操作系统,目前仍局限于静态链接的全镜像替换代码更新。针对这一局限性,扩展设计了TinyOS,实现了TinyOS模块化、透明化远程动态代码更新。改进了TinyOS主机端的编译过程,保持了编译过程中TinyOS的模块性;设计了一个节点端的小型管理器,利用该小型管理器动态链接、加载接收到的ELF文件并将其融合到应用程序中。实验评估表明,该方法在能量消耗和内存开销方面都具有一定的优越性。

摘要：为解决传统轴类零件变型设计知识在异构系统中难以共享和重用的问题,提出一种基于本体的轴类零件变型设计方法。利用网络本体语言OWL定义轴类零件变型设计的概念与关系,建立变型设计本体。采用语义网络规则语言SWRL定义变型设计的约束知识,构建轴类零件变型设计知识库,实现了尺寸信息与公差信息的推理。本设计方法为进一步开发基于本体的变型设计系统,实现变型设计知识在异构系统之间的顺畅传递与共享奠定了基础。

摘要：隐私信息的泄露已成为密码系统当前的严重安全性隐患,因此抗泄露性将是密码机制必备的安全属性之一.目前,通常基于非交互式零知识论证系统、一次性损耗滤波器、强一次性签名等密码基础工具来实现选择密文攻击(chosen-ciphertext attack,CCA)安全的抗泄露身份基加密(identity-based encryption,IBE)机制的通用构造;然而,由于底层工具的计算效率较低,导致传统通用构造尚未达到理想的计算效率.针对上述不足,本文提出一个双封装密钥的身份基哈希证明系统(identity-based Hash proof system with two encapsulated key,T-IB-HPS)的新密码学原语,并详细介绍了T-IB-HPS的形式化定义及安全属性;同时,基于T-IB-HPS和消息验证码(message authentication code,MAC)设计了CCA安全的抗泄露IBE机制的新型通用构造,并基于T-IB-HPS和MAC的安全属性,对通用构造的CCA安全性进行了形式化证明;为进一步展示本文通用构造的实用性,在T-IB-HPS形式化定义的基础上,我们设计了T-IB-HPS的具体实例,并基于判定的双线性Diffie-Hellman假设证明了本文实例的安全性.相较于传统CCA安全的抗泄露IBE机制的通用构造而言,本文通用构造未使用计算效率低的密码学基础工具,表明了本文的通用构造方法具有较高的计算效率.

摘要：现有计算机生成漫画的方法大多基于高层语义描述和图像模板的方式来实现,主要通过基于图像变形的算法达到漫画夸张的效果,更多关注的是夸张点的位置模板和夸张的比例,很少从艺术家的绘画本质,即线条来描述夸张的尺度。参数化的方法从艺术家绘画的本质线条出发,分析夸张的基本原理,构建组成人脸夸张各器官的线条元素,将漫画的夸张特征转换为一些可控制的参数,并通过局部参数的控制调整,实现不同艺术风格的漫画。实验证明该方法实现的漫画效果线条造型丰富,夸张效果突出,较好地还原了艺术家漫画夸张的线条表现本质。

摘要：针对传统的水声modem功耗高、成本高、传输速率低等问题,在保证水声通信性能的前提下,设计了一种低成本的水声modem。该设计中遵循"以软代硬,硬件集成化"原则,解决了目前水声通信系统只依赖专门硬件来实现调制与解调的难题,且因其控制简便易实现,省去了繁琐的外围电路搭建,从而降低了水声modem的成本。经过多项性能测试,结果表明,该设计在数据传输速率、可靠性等方面都具有良好的表现,适合水下无线传感器网络。