摘要：对洪等学者提出的在随机预言机模型下具有UC安全的通用可组合代理重签名方案进行了安全性分析。针对洪等学者提出的通用可组合代理重签名方案并不具备他们宣称的不可伪造性问题,给出了任意恶意的攻击者都能在不知道代理密钥的情况下成功伪造一个代理重签名并通过有效性验证的方法。为了克服该问题,提出了一个改进的方案,对新方案进行正确性和安全性分析。分析结果显示,改进的方案能克服原方案存在的缺陷,在随机预言机模型下是安全的,比原方案更加有效。

摘要：台风相似性度量方法的研究对防灾减灾、辅助决策等具有重要意义,台风相似性的研究大多集中在台风路径的相似性度量上。首先,梳理影响台风相似性度量的多个要素,提出了基于多元时间序列的台风数据描述方法;其次,提出了台风时间序列完整性、一致性评估与修复方法;最后,针对台风时间序列的不等长问题,设计了一种基于主成分分析和动态时间弯曲距离的相似性度量方法。通过实验验证,该方法能够实现台风相似性的有效度量。

摘要：关联规则挖掘是经典的数据挖掘方法,越来越多的企业都把它看作是必不可少的战略分析工具。当前关联规则挖掘方法得到的规则过多,令用户在运用时难以理解,因此研究关联规则集的约简方法具有应用价值。研究了数据库模式中关键字包含的主属性对基于Apriori算法的关联规则挖掘产生的关联规则的影响,即部分函数依赖会导致关联规则挖掘的数据集中冗余信息的频繁出现,并产生没有实际价值的关联规则,识别并消除这样的规则就能实现规则集的约简。求全部主属性如同求所有候选关键字问题都是NP难题,因此提出了一种基于一个候选关键字进行验证的算法来判定主属性,从而完成基于主属性判定的关联规则挖掘约简算法的设计与实现,并在最后的实验中验证了该算法的有效性。

摘要：对低压电力线载波通信路由器的优化设计,可以有效提高通信路由可靠性。对载波通信路由器的设计,需要应用蚁群算法进行路径寻优,建立网关节点与网络内任意节点通信的最优路径。传统方法结合了变异遗传算法、蚁群算法等几种智能算法,但没有建立节点通信的最优路径,导致路由器设计效果不理想。提出基于分簇蛛网的路由算法。首先介绍了低压电力线的网络拓扑及其组网的必要性;然后描述了传统非交叠分簇算法和人工蛛网拓扑,详细阐述了分簇蛛网组网方法并采用此方法对低压电力线通信网络进行组网;应用蚁群算法进行路径寻优,建立网关节点与网络内任意节点通信的最优路径。仿真就算法的迭代次数的路径时延、丢包率和跳数进行对比分析,结果表明,基于分簇蛛网组网的蚁群路由算法提高了算法效率,提升了通信的可靠性,具有一定的实用意义。

摘要：随着人工智能与科技手段的逐步发展与提升,鱼类形态特征的研究与鱼类游动减阻机制对于仿生机器鱼设计与复杂游动行为至关重要。以茎柔鱼(Dosidicus gigas)为研究对象,通过对茎柔鱼样本进行视觉图像采集,利用计算机视觉技术提取生物样本形态特征,根据生物特征长度建立生物形态外轮廓方程与三维简化模型,采用数值模拟与四面体非结构网格的方法,计算分析仿生鱿鱼在高速游动过程中的流场特性。分析表明:基于轮廓方程的仿生鱿鱼简化模型在高速游动时具有较低的游行阻力,速度达13.89 m/s且俯仰角度在±30°内,其阻力系数为0.0004~0.0011,揭示了生物游动时其形态在减阻机制中的重要性;鱿鱼在高速游动时该种姿态为其完成俯仰、转向等奠定了流体形态基础。因此基于生物形态的外轮廓特征与计算流体力学方法为仿生鱿鱼进一步的设计与研究提供了参考依据。

摘要：海洋锋是重要的中尺度海洋现象,具有数据量小、目标小、弱边缘等特性。针对实际检测任务中弱边缘、小目标海洋锋的检测精度低、错检及漏检率高等问题,融合scSE(spatial and channel Squeeze&Excitation)空间注意力模块构建了一种改进的Mask R-CNN海洋锋检测模型。该方法首先对Mask R-CNN骨干网络结构进行改进,采用scSE模块引导的ResNet-50网络作为特征提取网络,通过加权策略对图像通道和空间位置进行特征突出,提升网络对重要特征的提取能力;其次,针对海洋锋目标边缘定位不准确的问题,引入IoU boundary loss构建新的Mask损失函数,提高边界检测精度。最后,为验证方法的有效性,从训练数据和实验模型上,分别设计多组对比实验。实验结果表明,相比传统Mask R-CNN、YOLOv3神经网络及现有Mask R-CNN改进网络,本文方法对SST梯度影像数据集上的强、弱海洋锋检测效果最好,定位准确率(IoU,Intersection-over-union))及检测精度(mAP,Mean Average Precision)均达0.914以上。此外,对文中设计评估模型进行检测效率实验,结果发现在不同网络模型、不同迭代次数情况下,本文提出模型消耗时间最短,远低于YOLOv3网络完成训练时所用时长。

摘要：为有效整合多源异构行业系统减少信息孤岛,提出了面向服务的体系架构(SOA),设计并实现了城市风暴潮灾害评估地理信息系统。采用先进的水动力学模型对风暴潮增水过程进行了动态模拟,综合考虑受灾区的人口、房屋面积、重要企事单位、风暴潮增水等信息,利用模糊数学方法建立灾害评估体系及评估模型。依据上述模型利用领域工程方法进行服务构件提取,通过服务的组合与编排实现了风暴潮洪水淹进过程及灾害评估的业务流程,以上海地区为例进行了原型系统实现。结果表明,该系统可对不同天气条件下的风暴潮灾害进行快速评估,系统设计为解决系统重复开发、资源共享提供了新的开发模式。

摘要：k核查询是一种社团查询,由于其可以在线性时间内被有效计算,因此在社团检测中具有较广泛的应用。图中边的权值在很多场景下具有较强的语义关系,但现有研究较少考虑图中边的权值。为提升k核查询的效率,在k核的基础上定义加权图中的紧密k核子图查询(CRKSQ)问题,并使用归约方法证明该问题是NP-难的。基于贪婪策略设计启发式算法CRK-G,通过迭代删除节点为CRKSQ问题找到一个近似解。在此基础上,从降低图规模和减少迭代次数两方面研究CRK-G算法的优化策略,分别提出使用图压缩策略的算法CRK-C及使用单次多节点删除策略的算法CRK-F。在Bio-GRID、Email-Enron、DBLP 3个数据集上的实验结果表明,相对于CRK-G算法,CRK-C、CRK-F算法在查询速度上有较大的提升,且平均误差均在8%以内。

摘要：海洋科学数据是典型的多源异构三维空间数据,其特征为数据的管理、应用与共享带来了困难。本体作为一种可共享的、明确的、规范化的说明,是处理异构数据的一种有效手段。以构建海洋科学数据本体为目标,首先梳理了海洋空间本体的构建流程。然后针对流程中的两个核心步骤进行了创新和改进:①为更完整地表达海洋空间本体中的对象属性,在海洋科学数据空间关系描述中,从海洋水深角度出发,提出了考虑内部划分的三维方位关系模型,并对维数扩展9交矩阵模型(dimensionally extended nine-intersection model,DE-9IM)取值进行了三维扩展,使其能够准确表达三维对象之间的拓扑关系。②根据丰富后的海洋科学数据空间关系,设计了适合该本体推理的空间规则集。最后以国家极地科学数据为例,搭建了考虑三维空间关系的海洋科学数据本体库,并从数据检索的查全率与查准率两方面证明了该本体的有效性。

摘要：设计实现了一个面向CellBE异构多核处理器的多节点MPI编程运行环境Cell-MPI,实现了包括基本的点到点通信和广播等常用通信操作集合的MPI通信库原型,目的是在有效利用SPE计算能力提高程序运行效率的同时,保持与传统MPI一致的编程模式,减轻应用移植给使用者带来的负担.使用通信延迟、带宽测试程序及实际应用程序对其进行了测试,测试结果表明设计实现的MPI在保持高效通信性能的同时,也有效地利用了SPE,发挥了CellBE处理器强大的计算性能.