•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第801-820项 搜索用时 100 毫秒
[首页] « 上一页 [36] [37] [38] [39] [40] 41 [42] [43] [44] [45] [46] 下一页 » 末  页»
801.
下载全文  总被引:1,自引:0,他引:1
本文论述了我们对美国知名学者A.S.TANENBAUM1986年编制的分时多任务多用户操作系统MINIX所做的若干重要改造和扩充,包括对3.5寸高密盘的支持,AT机扩展内存的利用,进程对换和假脱机系统的实现.  相似文献
802.
下载全文  总被引:1,自引:0,他引:1
本文通过对近10年命题时态逻辑定理证明方法的研究,提出了一种新的证明方法,前人的工作基于对公式的现时部分和后时部分的分解,本文的工作是基于语义反驳树构造。这种新方法为计算机自动证明命题时态逻辑定理,提供了比较好的理论框架.最后还证明了该方法的可靠性和完全性.  相似文献
803.
下载全文  总被引:1,自引:0,他引:1
本文讨论了一种用粒子系统模拟喷雾效果的方法.该方法应用于实际电脑动画广告中,制作了喷撒农药的片段.喷雾体是一个粒子系统,每个粒子是一个具有较高透明度的正方形微片.喷雾体随喷口在空间运动.微片的大小、透明度和运动学参数的规定决定了喷雾体的形状和视觉效果.喷雾体所占有的象素的值是和该… …   相似文献
陈林  王裕国 《软件学报》1994,5(8):47-50
804.
下载全文  总被引:1,自引:0,他引:1
基于MIS—GSM,提出MIS的环境识别、层次分析、过程分析与纵横分析的规范化过程,并对这一过程作详尽的讨论.  相似文献
孙永中 《软件学报》1994,5(8):58-64
805.
下载全文  总被引:1,自引:0,他引:1
本文给出在空间三角网格上用三角Be’zier曲面构造G1插值所需的最低次数,并给出五次G1插值的具体构造方法.  相似文献
姜寿山 《软件学报》1994,5(12):30-37
806.
下载全文  总被引:1,自引:0,他引:1
软构件的有效组织与检索是软件重用技术的关键。本文介绍了一个支持软件重用的信息检索系统—KDZ。该系统以形式化方法描述软构件为基础,以重用理论为验证准则,通过项重写技术与检索技术相结合,使KDZ系统具有语义验证之功能。  相似文献
807.
下载全文  总被引:1,自引:0,他引:1
本文简单介绍了北京电视机厂计算机辅助企业管理系统(BD—MIS)的系统结构和功能特点;阐述了管理信息系统开发中的数据库设计方法和增量开发方法,以及用户参与系统开发的重要性。  相似文献
808.
下载全文  总被引:1,自引:0,他引:1
对于递归程序的操作语义,常用的刻划方法是引入无定义值ω,再定义函数的ω延拓和平坦偏序等概念,导入转移关系和计算序列。本文采用优先处理某些项的原则避免引入ω,从而直接根据谓词逻辑的基底的解释引进计算序列,并且保证了其中的转移关系是一个函数。由此我们否定了Loeckx和Sieber所… …   相似文献
邵志清 《软件学报》1991,2(4):31-35
809.
电子政务云中心的任务调度一直是个复杂的问题。大多数现有的任务调度方法依赖于专家知识,通用性不强,无法处理动态的云环境,通常会导致云中心的资源利用率降低和服务质量下降,任务的完工时间变长。为此,提出了一种基于演员评论家(actor-critic,A2C)算法的深度强化学习调度方法。… …   相似文献
810.
针对zk-SNARK(zero-knowledge succinct non-interactive argument of knowledge)中计算最为耗时的多标量乘法(multi-scalar multiplication,MSM),提出了一种基于GPU的MSM并行计算方案… …   相似文献
811.
强化学习能够在动态复杂环境中实现自主学习,这使其在法律、医学、金融等领域有着广泛应用。但强化学习仍面临着全局状态空间不可观测、对奖励函数强依赖和因果关系不确定等诸多问题,导致其可解释性弱,严重影响其在相关领域的推广,会遭遇诸如难以判断决策是否违反社会法律道德的要求,是否准确及值得… …   相似文献
812.
位姿图优化 (pose graph optimization,PGO)是一种在同时定位与地图构建(simultaneous localization and mapping,SLAM)后端优化中常用的高维非凸优化算法,通常建模成极大似然估计。由于目前的PGO算法优化大规模大噪声数… …   相似文献
813.
目的 高光谱图像因设备及环境因素容易受到噪声污染,导致图像的可见性和分析精度降低,因此高光谱图像去噪任务已经成为遥感图像处理领域国内外研究热点。当前的高光谱图像去噪方法主要面临两个难题:1)对特征的全局信息利用不足。当前基于卷积神经网络的方法受限于卷积核的大小,难以捕获特征的全局信息;2)卷积神经网络和 Transformer 在结构上存在差异,导致两者难以融合,因此,需要考虑合理的特征交互方式,来平衡局部和全局特征提取之间的关系。方法 针对上述问题,本文提出了基于 Transformer 和通道混合并行卷积的高光谱图像去噪模型,包括 3 个模块:通道混合特征提取模块、基于块下采样的全局增强模块和自适应双向特征融合模块。通过这 3 个模块的相互作用,可以充分结合全局和局部的特征信息,处理不同区域中的噪声和纹理差异,有效提高模型对空间细节信息的恢复能力。结果 实验在 2 个数据集上与主流的 5 种方法进行比较,在 Pavia 数据集中设置不同高斯噪声强度的情况下,相比于性能第 2 的模型,峰值信噪比(peak signal-to-noise ratio,PSNR)值最大提高了0. 4 dB;在 ICVL 数据集中设置各种混合噪声的情况下,相比于性能第 2 的模型,PSNR 最大提高了 2. 18 dB。同时可视化的去噪结果图像体现了本文所提出的去噪模型的优异性能。结论 本文方法在各种噪声情况下均具有较好的去噪效果,显著优于当前主流方法,能够有效去除高光谱图像中噪声,同时保留图像丰富的纹理信息。… …   相似文献
814.
在过去的几十年里,图像识别技术经历了迅速发展,并深刻地改变着人类社会的进程。发展图像识别技术的目的是通过减少人力劳动和增加便利来造福人类。然而,最近的研究和应用表明,图像识别系统可能会表现出偏见甚至歧视行为,从而对个人和社会产生潜在的负面影响。因此,图像识别的公平性研究受到广泛关… …   相似文献
815.
目的 多目标跟踪是计算机视觉一个重要的研究方向,为了解决多目标跟踪中错跟和漏跟导致跟踪精度低的问题,提出一种融合目标相似性和作用力的多目标跟踪算法。方法 首先将多目标跟踪问题转化为一个最大后验概率问题,其次将最大后验概率问题映射到网络流中,利用最小代价流寻找最优路径,这样获得的最优路径就是目标轨迹。为了计算网络流中目标节点之间的代价,从以下两方面考虑:1)将目标的外观、运动和位置信息三者结合,计算目标间的相似度;2)考虑目标与目标的相互影响,参考社会力模型中个体之间的吸引力来计算目标节点之间的作用力。结果 在 MOT15、MOT16 和 MOT17 共 3 个公开数据集进行实验评估并与 12 种方法进行比较,实验结果表明,本文算法在 MOTA(multiple object tracking accuracy)、MT(mostly tracked tracklets)、ML(mostly lost tracklets)、FP(false positives)、FN(false negatives)等指标上明显优于 OACDASM(online association by continuous-discreteappearance similarity measurement)、STURE (spatial-temporal mutual representation learning)、IQHMOT (identityquantity harmonic multi-object tracking)和 GCNNMatch(graph convolutional neural network match)等典 型算 法 。 在MOT15 数据集中选取 ETH-Bahnhof、TUD-Stadtmitte 与 PETS09-S2L1 3 个视频序列进行消融实验,验证增加目标作用力之后的数据关联结果,消融实验结果表明,增加目标作用力之后可以改善目标跟踪的精度和其他指标,尤其在遮挡不明显的视频序列中。结论 本文在目标多特征的基础之上增加目标节点间作用力,加强了目标间的数据关联,减少错跟的目标数量,有效地提高了目标跟踪的精度。… …   相似文献
816.
步态识别在身份识别领域具有重要的研究意义。随着技术的发展,步态识别的研究热点正从二维(2D)转向三维(3D)。与图像固有的2D信息相比,用视觉技术还原的3D信息能更有效地预测人员的身份。在2D视觉领域中,由于受到物体遮挡、视角变化等因素的影响,传统的步态识别方法在实际应用中难以取… …   相似文献
817.
818.
虽然以ChatGPT为代表的自然语言生成(NLG)大语言模型在自然语言处理中的大多数任务中取得了良好的表现, 但其在序列识别任务, 如命名实体识别任务中的表现暂且不如基于BERT的深度学习模型. 针对这一点, 本文探究性的通过将现有的中文命名实体识别问题改造成机器阅读理解问题, 提出并设计了基于情境学习和模型微调的新方法, 使NLG语言模型在识别命名实体达到了更好的效果, 并且该方法不同于其他方法需要改变基层模型的预训练参数. 同时, 由于命名实体是模型生成的结果而不是对原始数据的分类, 不存在边界问题. 为了验证新框架在命名实体识别任务上的有效性, 本文在多个中文命名实体识别数据集上进行了实验. 其中, 在Resume和Weibo数据集上的F1分数分别达到了96.04%和67.87%, 相较于SOTA模型分别提高了0.4和2.7个百分点, 从而验证了新框架能有效利用NLG语言模型在文本生成上的优势完成命名实体识别任务.… …   相似文献
819.
软件变更预测旨在识别出具有变更倾向的模块, 可以帮助软件管理者和开发人员有效地分配资源, 降低维护开销. 从代码中提取有效的特征在构建准确的预测模型中起着重要作用. 近年来, 研究人员从利用传统的手工特征进行预测转向具有强大表示能力的语义特征, 他们从抽象语法树(abstract… …   相似文献
杨馨悦  刘安  赵雷  陈林  章晓芳 《软件学报》2024,35(8):3824-3842
820.
网络拥塞控制方法是决定网络传输性能的关键因素. 近几年, 网络不断普及、网络带宽不断增长、用户对网络性能的需求不断提升, 为拥塞控制算法的设计带来挑战. 为适应不同的网络环境, 近期不少新颖的拥塞控制算法被研究者们提出来, 极大地提升网络的传输性能, 改善用户体验. 综述最新拥塞… …   相似文献
[首页] « 上一页 [36] [37] [38] [39] [40] 41 [42] [43] [44] [45] [46] 下一页 » 末  页»