•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第901-920项 搜索用时 94 毫秒
[首页] « 上一页 [41] [42] [43] [44] [45] 46 [47] [48] [49] [50] [51] 下一页 » 末  页»
901.
DH坐标系在机器人运动学分析中发挥着重要的作用。在基于DH坐标系构建的机器人控制系统中,机器人结构的复杂性使得构建安全的控制系统成为一个难题,仅仅依靠人工方法可能导致系统漏洞和安全风险,从而危及机器人的安全。形式化方法通过演绎推理与代码抽取实现了对软硬件系统的设计、开发及验证。基… …   相似文献
谢果君  杨焕焕  石正璞  陈钢 《软件学报》2024,35(9):4160-4178
902.
可线性化被公认为并发对象正确性标准,但其已被证明不能作为含有随机语句的并发对象的正确性标准。为此,Golab等人提出了强可线性化概念,它在可线性化的定义上增加了前缀保持性质,对并发对象具有更强的约束性。关于强可线性化的研究集中在使用特定的基本对象构造满足强可线性化性质的并发对象的… …   相似文献
903.
  
针对现有视觉语言导航方法在连续环境中推理能力不足的问题,提出基于语义拓扑图的视觉语言导航推理模型.首先,通过场景理解辅助任务识别导航环境中的区域和物体,构建空间邻近知识库.然后,智能体在导航过程中与环境实时交互,收集位置信息,编码视觉特征,并预测区域和物体的语义标签,逐步生成语义… …   相似文献
904.
热带气旋强度的精确估计是进行有效强度预测的基础工作, 对于灾害预报至关重要. 当前基于深度学习的热带气旋强度估计技术展现出了优越的性能, 但仍然存在着物理信息融合不足的问题. 因此, 本文基于深度学习框架, 提出一种融合物理信息的热带气旋强度估计模型(physical facto… …   相似文献
905.
在城市道路部署前估计路网的交通流量极具挑战性, 为了解决这个难题, 提出了一种新的条件城市交通生成对抗网络(Curb-GAN)模型, 利用条件生成对抗网络(CGAN)生成城市交通流量数据. 首先, 把路网各节点的距离关系和外部特征信息作为条件处理, 来控制生成结果; 其次, 利用… …   相似文献
906.
  
为了解决可重构智能超表面(RIS)辅助毫米波多输入多输出(MIMO)系统信道状态信息及时获取问题,提出了一种基于张量分解的信道估计方案。首先,通过使用少量无源反射单元和构建相移矩阵,设计了一种低导频开销的信道训练机制。然后,通过利用范德蒙德结构约束的张量典范平行因子分解,推导出一… …   相似文献
907.
  
针对无人机(UAV)面对复杂时变的衰落信道对无线传输造成不利影响这一问题,构建了可重构智能表面(RIS)辅助UAV边缘计算网络中UAV轨迹、RIS相移、卸载时隙分配、CPU频率分配和用户设备(UE)传输功率的联合优化问题。为了求解构建的问题,对UE和UAV的任务队列稳定性约束进行… …   相似文献
908.
909.
910.
911.
人工智能技术已被广泛应用于生活中的各个领域.然而,神经网络作为人工智能的主要实现手段,在面对训练数据之外的输入或对抗攻击时,可能表现出意料之外的行为.在自动驾驶、智能医疗等安全攸关领域,这些未定义行为可能会对生命安全造成重大威胁.因此,使用完备验证方法证明神经网络的性质,保障其行… …   相似文献
912.
913.
属性级情感分类任务旨在判断句子针对给定属性的情感极性, 因其广泛应用而备受关注. 该任务的关键在于识别给定属性相关的上下文描述, 并根据上下文内容判断发文者针对相应属性的情感倾向. 统计发现, 大约30%的评论中并不包含关于给定属性的明确情感描述, 但仍然传达了清晰的情感倾向, … …   相似文献
叶静  向露  宗成庆 《软件学报》2024,35(9):4377-4389
914.
智能交通领域中实时准确地交通流预测一直是城市发展中的重中之重,这对提高路网运行效率起着至关重要的作用。现有的交通流预测方法大多是基于机器学习的,忽略了客户端不愿意参与预测任务或者为获得高奖励而撒谎的情况,从而在模型聚合时导致交通流预测的准确率下降。该文提出一种基于区块链和联邦学习… …   相似文献
915.
现实生活中的很多黑盒优化问题可归为高计算代价的多模态优化问题(Multimodal optimization problem, MMOP), 即昂贵多模态优化问题(Expensive MMOP, EMMOP). 在处理该类问题时, 决策者希望以尽量少的计算代价(即尽量少的真实函数… …   相似文献
916.
  
随着医疗信息共享的持续发展,数据安全、数据一致性、数据可控性和数据准确性逐渐受到关注。区块链技术因其去中心化、不可窜改和可追溯的特性被认为是解决医疗信息共享问题的有效手段,已有许多基于区块链的医疗信息共享方案涌现。旨在对基于区块链的医疗信息共享方案进行综合分析,探讨其优势、不足以… …   相似文献
917.
DNA折纸结构是蕴含复杂序列折叠信息的纳米结构,为发展具有超大密钥空间的信息加密技术提供了新思路。该文设计了一种能够充分发挥DNA折纸结构信息特征的信息加密策略,与先前利用DNA折纸骨架链折叠的思路不同,该文基于订书钉链集合的非线性组合特征,提出通过探索其更为广阔的折叠多样性来实… …   相似文献
918.
车联网(IoVs)广泛用于获取车辆和道路状况等信息,但是这些信息都是在公共信道中进行传输,所以最重要和关键的要求之一就是在严格延迟要求下的数据安全。其中,认证是解决数据安全最常用的方法,但是由于车联网的资源受限和对延迟敏感等特点,车辆认证需要在一定的消耗和延迟内完成。然而,现有方… …   相似文献
919.
  
阴影消除是计算机视觉领域中面对阴影场景的重要任务,旨在检测和消除图像中的阴影区域.由于图像编辑技术受到阴影图像质量的制约,现有方法利用其他任务中的知识和阴影特性来获得更加有效的特征向量,从而实现阴影消除.在带有文本内容的阴影图像中,由于文本颜色和形状等特征不同于前景和背景,因此可… …   相似文献
920.
  
自动驾驶对于减少交通堵塞、提高驾驶舒适性具有非常重要的作用,如何提高人们对自动驾驶技术的接受程度仍具有重要的研究意义.针对不同需求的人群定制不同的驾驶风格,可以帮助驾驶人理解自动驾驶行为,提高驾驶人的乘车体验,在一定程度上消除驾驶人对使用自动驾驶系统的心理抵抗性.通过分析自动驾驶… …   相似文献
闫鑫  黄志球  石帆  徐恒 《计算机科学》2024,51(9):223-232
[首页] « 上一页 [41] [42] [43] [44] [45] 46 [47] [48] [49] [50] [51] 下一页 » 末  页»