验证算法相关论文
数据库外包是将数据库管理工作外包给专业第三方,而数据库外包中需要解决的关键问题之一是查询结果的验证。提出了外包追加型数据......
随着数据流系统日益广泛的应用,需要针对数据流系统的安全机制以保护其资源。针对目前研究的不足和数据流系统的特点提出了一种基......
随着VLSI技术的不断发展，尤其是Dennard缩放定律的终结，单核已经不能满足硬件发展的需求，多核已成为主流的体系结构。多线程技术的提......
在机场和火车站等场所，利用人证核验系统可以对证件与持证人的身份一致性进行核验，基于计算机视觉技术的智能化人证核验系统可以提升......
A benchmark solution is of great importance in validating algorithms and codes for magnetohydrodynamic(MHD) flows.Hunt a......
根据实际测量工况,研究一种适合圆度误差在位检测的转位三步法矩阵算法。详细研究该算法的推导过程及回转误差分离原理,给出完整的......
提出将有源射频识别(RFID)技术的LANMARC(Location Identification Based on Dynamic Active RFID Calibration)定位系统应用于汽......
ＶＬＳＩ集成度的飞速提高使设计过程复杂化，也对版图验证工具的处理能力与性能提出更高的要求。将版图验证的核心算法固化在专用硬件上，是一......
利用云模型表示自然界中模糊性、随机性等不确定性优势,提出云模型和读者多特征的借阅偏好不确定性。计算读者专业、性别、年级加......
针对在元器件贴装顺序已知的前提下研究拱架式贴片机的喂料器在喂料槽上分配优化的问题,给出了以贴片头在喂料槽移动距离最小化为......
根据水电站厂内经济运行的特点,本文建立了该问题的非线性混合整数规划数学模型。在模型中引入了罚因子的概合,用来计及除水量损耗......
针对卡尔曼滤波器滤波非线性系统做了改进,提出了一种基于Chebyshev正交多项式的卡尔曼滤波器.非线性系统经Chebyshev正交多项式分......
互模拟关系是π-演算中研究的重要等价关系,研究自动验证互模拟关系的算法并建立相应的工具对π-演算应用于实际有着重要的意.该文......
工作流技术是当今一项飞速发展的技术,起源于生产组织和办公自动化领域,通过将工作分解成定义良好的任务或角色,按照一定的规则和......
安全协议是一种在不安全的公共网络上为完成某种不可泄漏的信息交换而建立的通信协议．所谓网络的不安全性，是指黑客的存在，他可以监听......
人脸验证是计算机识别领域非常活跃的研究课题,它包括三个主要技术环节,即预处理、人脸特征提取和分类器设计。人脸特征提取又称为......
近年来,互联网和软件应用技术的普及和迅猛发展,使得软件的发展逐步趋向网络化、平台化和服务化。SaaS (Software as a Service)具......
在信息学竞赛中,同学们都非常注重各种算法和数据结构的学习。有的同学对最短路径、最小生成树等固定算法记得滚瓜烂熟,分析竞赛题......
现有电子选举系统的体系结构及相关的概念、签名技术及模块具体组成与选举信息的具体流程，基本解决了电子选举存在的安全性问题。
......
首先分析了电子邮件所面临的安全威胁,然后介绍了保证电子邮件安全的加密和数字签名的实现原理和过程。并结合ＯｕｔｌｏｏｋＥｘｐｒｅｓｓ中提供的加密与数字......
实现对具有数字签名的身份认证协议进行验证 .从攻击者的角度 ,基于角色冒充的方法 ,使用逆向归结的推理方式 ,采用 JAVA来实现验......
主要讨论可信空间上最小风险原则下的两阶段供应链问题,即考虑在资本投入不超过给定费用值的情况下如何将投资者的风险降到最低。......
将直角坐标系引入双环网络,通过直角坐标系,系统研究双环网络G(N;r,s)的容错路由,提出将双环网络和直角坐标系结合起来,使节点可视......
为了对语义Web服务组合进行形式化验证,提出一种语义Web服务组合模型到着色Petri网组合模型的转换方法,定义了语义Web服务着色Petr......
信任链发现算法是信任管理的核心内容，其中双向信任链发现算法相比于其他算法效率较高而被广泛采用，但是目前已有的双向信任链发现算......
传递矩阵－多项式方法在转子支承系统动力特性分析中得到了成功的应用，但对于超柔性超高速转子的数值计算困难依然存在。为获得转子支......
加热炉中燃料在燃烧的过程中选择合适的空气系数α是节约能源的关键。只有将α控制在一个合理的范围之内,才能最大程度的降低热损......
通过研究GNSS-R基本几何关系和C.Wagner镜面反射点估计算法,提出了基于角度二分法的镜面反射点估计算法,该算法与C.Wagner算法的主......
针对晶振减振降噪设计的应用需求,从理论上阐述了振动敏感性研究的必要性,确定了一种适用于工程需要的定义、表征和测量方法,从数......
针对宏电路网络的安全威胁主要来自于外部网络及数据接入的问题,提出一种适用于宏电路网络的接入认证方案.该方案将密钥协商协议和......
红外成像制导是一种智能型的精确制导技术,它利用目标的红外辐射获取图像,通过高速计算机对目标图像进行实时处理,是一种有效的制......
针对临床剂量学验证中二维评价方法只能反映每张平片上剂量分布情况,并根据剂量引导精确放疗系统中三维剂量验证需求设计算法实现......
本文讨论了数字签名问题的一般性理论,同时提出了数字签名方案应遵循的安全指标——多项式安全性,并给出由任一单向陷门函数构造具......
论文总结了现有的基于发送端的丢包补偿算法，研究了丢包补偿算法SILK编解码器中的应用，并指出SILK编解码器中丢包补偿算法的不足......
图像的匹配处理是图像后处理的最重要环节。本文给出了一种基于直线特征的遥感图像自动匹配实现方法。针对一幅实测的遥感图像......
针对导弹用力矩电机的位置反馈控制，提出一种采用多滑模面自适应变结构控制法，采用卡尔曼滤波器估计状态，消除测量噪声，降低输出抖......
实时系统中调度算法起着重要的作用。单调速率调度算法是一种被广泛使用的调度算法。并且已经证明是一种最佳的静态优先级算法,有......
为解决强模糊、强噪声空间目标图像的边缘获取问题，文中提出一种结合规整化图像复原技术与多尺度加权广义形态边缘检测技术的新方法......
目的：基于投影正弦图去除CT图像环形伪影。 方法：对含有环形伪影数据的投影正弦图沿投影角度方向进行叠加，对叠加信号逐步计算模扳......
本文提出分别采用进化规划算法和LMS自适应算法对多径模型中的不同参数进行寻优，通过进化算法与LMS算法的混和采用改善时变水声多径......
本文使用有限元边界积分法结合多层快速多极子算法模拟非均匀媒质的散射问题，使用内观公式结合multifrontal算法对最终的FEBI线性方......
