最新文献选题论文

• 

  基于限界约束的安全相关性质的推理证明

  安全相关的性质如访问控制等在复杂环境下有十分重要的作用。从程序验证方面来说，不仅考虑安全性和活性的验证，还要考虑一些安全策略的性质，如非干涉性，这些不能用一般的...

  计算机工程与科学
• 

  基于局部字典搜索和多原子匹配追踪的图像逼近算法

  鉴于全局搜索和单原子选择的逼近方式是导致图像稀疏分解贪婪算法复杂度高的主要原因，对传统的匹配追踪(MP)算法进行改进，提出基于局部字典搜索和多原子匹配追踪(LM...

  计算机工程与科学
• 

  基于离散剪切波正则化的低剂量CT图像统计重建算法

  提出一种低剂量医学CT图像重建方法，能够在少视角投影或低X-射线管电流投影的情况下保证重建图像的质量。减少扫描视角的数量或者降低X-射线管电流强度均可以降低辐射...

  计算机工程与科学
• 

  基于姿态阈值滤波的单目视觉农业机械定位方法

  精确定位是农业机械实现自动导航的重要前提，提出了一种基于单目摄像机的导航定位算法。算法通过对捕获的每帧图像进行特征点检测与跟踪，基于3D-2D特征点配对方法，还...

  计算机工程与科学
• 

  基于结构化低秩表示和低秩投影的人脸识别算法

  在实际的人脸识别中，给定的训练图像往往存在遮挡和噪声，导致稀疏表示分类（SRC）算法的性能下降。针对上述问题，提出一种基于结构化低秩表示（SLR）和低秩投影的人...

  计算机工程与科学
• 

  基于负载基尼系数的服务网络公平均衡调度

  针对组织结构较为稳定的区域内服务网络，提出了一种有监督的公平均衡负载调度算法。该算法受到经济学领域的收入分配基尼系数的启发，通过对网络负载分配基尼系数的监控，最...

  计算机工程与科学
• 

  基于改进分数阶SVD的块协作表示的小样本人脸识别算法

  随着训练样本数目减少，传统人脸识别方法的性能会急剧下降，因此提出了改进的分数阶SVD（IFSVDR）的块协作表示算法，以提高小样本下人脸识别率。为了减少噪声对分...

  计算机工程与科学
• 

  基于分层识别的快速说话人识别研究

  随着说话人模型数量的增加，说话人识别系统的识别速度下降，不能满足实时性要求。针对这个问题，提出了基于分层识别模型的快速说话人识别方法。将变分法求解的KL散度的近...

  计算机工程与科学
• 

  空间科学卫星数据快速处理方法

  针对卫星获取的大规模数据进行快速数据处理一直是空间信息处理系统建设中的关键。面对空间科学卫星全天候观测、探测载荷类型多、处理算法多样带来的数据处理难题，现有基于...

  计算机工程与科学
• 

  Web服务组合策略研究及组合决策平台实现

  由于关注点的不同和客观环境的多样性，Web服务组合方法的种类纷繁复杂。如何从零碎散乱的不同决策角度出发来构建可行而高效的组合方法，是现阶段Web服务组合研究中亟...

  计算机工程与科学
• 

  基于改进卷积神经网络的腹部动脉血管分割

  腹部动脉血管分割对于胃癌淋巴结的转移和肝动脉变异类型的判断至关重要。针对腹部动脉血管分割精度低、易断裂等问题，提出一种改进卷积网络架构的腹部动脉分割方法。卷积网...

  计算机工程与科学
• 

  一阶逻辑中基于treelet图神经网络的前提选择

  前提选择是解决自动定理证明器面对大规模问题时性能降低的有效方法。当前面向一阶逻辑中前提选择的主流图神经网络忽略了逻辑公式图内部的节点顺序信息。针对此问题，将一种...

  计算机工程与科学
• 

  DRM:基于迭代归并策略的GPU并行SpMV存储格式

  稀疏矩阵向量乘（SpMV）在线性系统的求解问题中具有重要意义，是科学计算和工程实践中的核心问题之一，其性能高度依赖于稀疏矩阵的非零分布。稀疏对角矩阵是一类特殊的...

  计算机工程与科学
• 

  移动边缘计算中计算卸载与资源分配联合优化策略

  为了在移动边缘计算(MEC)中最大限度地减少处理用户任务的时延和能耗，改善用户体验，以最小化用户的完成时间和能耗的加权和为目标，在计算资源的约束下研究了多用户、...

  计算机工程与科学
• 

  增强依存结构表达的零样本跨语言事件论元角色分类

  事件论元角色分类是事件抽取中的子任务，旨在为事件中的候选论元分配相应的角色。事件语料标注规则复杂、人力耗费大，在很多语言中缺少相关标注文本。零样本跨语言事件论元...

  计算机工程与科学
• 

  可靠响应表示增强的知识追踪方法

  知识追踪是教育数据挖掘领域中的一项关键任务，旨在建模学生随时间不断变化的知识状态，以推断学生对知识点的掌握程度。然而，现有知识追踪方法大多忽略了基于学生-习题-...

  计算机工程与科学
• 

  基于深度学习节点表示的谣言源定位方法

  随着互联网的普及，网络上的信息以惊人的速度传播给公众。然而，由于级联效应，虚假信息和谣言同时也在迅速蔓延，对社会造成了巨大的危害。在社交网络上找到谣言的传播源头...

  计算机工程与科学
• 

  基于FPGA和行折叠的稀疏矩阵向量乘优化

  稀疏矩阵向量乘（SpMV）是科学与工程计算中的一个关键内核。由于稀疏矩阵中不规则的数据分布和SpMV计算中不规则的访存操作，SpMV在多核CPU和GPU等设备上...

  计算机工程与科学
• 

  一种基于多区块链协作的分布式位置匿名方法

  近年来，围绕基于位置服务LBS过程中的隐私泄露问题，研究人员对基于位置匿名的隐私保护方法进行了深入的研究。然而，这些研究忽略了匿名协作过程中存在的性能与安全瓶颈...

  计算机工程与科学
• 

  基于Patches-CNN的模拟电路故障诊断

  深度学习在故障诊断中应用广泛，但目前基于深度学习的模拟电路故障诊断模型复杂度较高，难以在边缘设备上部署。针对该问题，为了进一步提高故障诊断精度，提出了一种简单且...

  计算机工程与科学