基于函数式语义的循环和递归程序结构通用证明技术

下载全文  

各类安全攸关系统的可靠运行离不开软件程序的正确执行.程序的演绎验证技术为程序执行的正确性提供高度保障.程序语言种类繁多,且用途覆盖高可靠性场景的新式语言不断涌现,难以为每种语言设计支撑其程序验证任务的整套逻辑规则,并证明其相对于形式语义的可靠性和完备性.语言无关的程序验证技术提供… …   相似文献

李希萌  王国辉  张倩颖  施智平  关永 《软件学报》2023,34(8):3686-3707

基于全身力矩控制的双腿轮机器人跳跃方法研究

下载全文  

双腿轮机器人由于内在不稳定性以及强耦合非线性特性, 其运动控制尤其是高动态运动控制非常困难. 为此, 提出基于最优力分配的全身力矩控制框架, 可同时实现双腿轮机器人的自平衡与躯干位姿控制; 为提高双腿轮机器人在高速运动时跨越垂直障碍物的能力, 提出应对垂直障碍的跳跃动作规划方法,… …   相似文献

辛亚先  李贻斌  柴汇  荣学文  李彬 《自动化学报》2023,49(8):1635-1644

高效的可验证无证书可搜索加密方案

  

在云计算环境中,可搜索加密方案是一种实现数据隐私保护和关键词搜索的有效方法。目前,现有方案不仅难以实现高效验证与动态更新,同时也存在证书管理和密钥分配问题。为了解决上述问题,近期有相关学者提出了一种基于改进Merkle-Tree认证方法的可验证多关键词搜索方案,然而经过安全性分析… …   相似文献

崔新华  田有亮  张起嘉 《通信学报》2023,44(8):61-77

  

In order to improve the efficiency of the implementation of the authenticated encryption algorithm without compromising the security of the … …   相似文献

《通信学报》2023,44(8):168-178

多元时序的深度自编码器聚类算法

  

针对深度聚类算法对多变量时间序列数据（MTS）的特征提取能力不足等问题,提出一种新的深度聚类结构模型（MDTC）。为了提取MTS的关键特征并实现降维,提出一维卷积学习MTS的属性和时序维度的特征表示与循环神经网络等网络层组成的自编码器结构;为了提高模型对时序特征的表示能力,提出了… …   相似文献

张梓靖  张建勋  全文君  南海 《计算机应用研究》2023,40(8)

基于震动信号的异常步态识别

下载全文  

  相似文献

《电子学报》2023,51(8):2088-2097

结合仿真迁移学习和自适应融合的无人机小目标检测

下载全文  

  相似文献

《小型微型计算机系统》2023,44(8):1743-1749

改进NSGA-II算法的海上搜救调度方法

下载全文  

针对海上搜救资源调度决策困难、干扰多、实时性差、难以实现全局最优问题,本文以黄渤海海域为例,采用改进的非支配排序遗传(NSGA-Ⅱ)算法解决海上船舶搜救资源调度问题.首先,根据AIS以及北斗数据,建立了海上搜救资源的多目标优化模型;其次,改进的NSGA-Ⅱ算法采用基于正态分布交叉… …   相似文献

严梦迪  王海红 《计算机系统应用》2023,32(8):244-249

基于词典注入的藏汉机器翻译模型预训练方法

下载全文  

  相似文献

《中文信息学报》2023,37(8):43-51

融合定位信息的热带气旋强度估计

下载全文  

目的 精确估计热带气旋的强度有助于提升天气预报和预警的准确性。随着深度学习技术的不断发展,基于卷积神经网络（convolutional neural network,CNN）的方法已应用于强度估计任务中。然而,现有方法仍存在许多问题,例如无法充分利用不同波段的卫星图像信息、输入图像以热带气旋的定位为中心等限制,从而产生较大误差,影响实时估计的结果。针对以上问题,本文提出一种融合定位信息的强度估计网络IEFL（intensity estimation fusing location）,提升强度估计的准确率。方法 模型采用双分支结构,能有效融合不同波段的图像特征,同时可以同步优化两个任务,达到互相促进的效果。此外,模型对强度估计任务做了定位的特征融合,将得到的定位特征图与强度特征图进行拼接,共同输出最后的强度结果,通过利用定位信息达到提升强度估计精度的目的。结果 本文在完成热带气旋强度估计的同时,可获取较好的热带气旋中心定位结果。收集了2015—2018年葵花-8卫星多通道图像用以训练模型,并在2019和2020年的数据上进行测试。结果表明,融合定位信息后模型的强度估计均方根误差为4.74 m/s,平均绝对误差为3.52 m/s。相比传统单一强度估计模型误差分别降低了7%和9%。结论 IEFL模型在不依赖定位准确率的同时,能够有效提升强度估计的准确率。… …   相似文献

刘英杰  张芮  刘青山  杭仁龙 《中国图象图形学报》2023,28(8):2522-2535