检索结果-内蒙古大学图书馆

机械设计 2024年第S01期41卷 165-170页

作者：杨秦秦徐欢李林杜丽琼彭锦中广核工程有限公司全国重点实验室广东深圳518026 中国科学院软件研究所北京100084 深圳中广核工程设计有限公司常规岛与公用设施所广东深圳518026

核电厂设备数量巨大、种类繁多,并且根据不同的设备安全等级划分,执行不同要求的制造设计、抗震、质保与监督等规范性任务。随着国内三代核电技术的发展,针对核电复杂设备的精益化管理要求也逐渐提高。首先通过对核电设备管理现状进行分... 详细信息

核电厂设备数量巨大、种类繁多,并且根据不同的设备安全等级划分,执行不同要求的制造设计、抗震、质保与监督等规范性任务。随着国内三代核电技术的发展,针对核电复杂设备的精益化管理要求也逐渐提高。首先通过对核电设备管理现状进行分析,将设备构型的思路引入核电复杂设备管理以解决粗犷且分割的核电设备管理问题。在此基础上,基于设备结构树建立和统一数据规范,通过对设备相关的静态特征信息、动态特征信息、方法及参考信息等进行整合、梳理,形成最终的设备全景信息,核电复杂设备全生命周期内的多类信息都可以供核电运维人员快速获取,实现核电设备的集约化和精益化管理。最后,以核电汽轮机管理为典型业务场景验证所提框架和技术的有效性,并获得良好的应用效果,可以提高电厂运行效率和管理效率。

关键词：设备构型数据规范全景数据中心精益化管理

来源：评论

学校读者我要写书评

暂无评论

人在回路的在线手写数学公式识别方法

引用

计算机辅助设计与图形学学报 2021年第11期33卷 1773-1785,1794页

作者：康文惠黄进田丰范向民刘杰戴国忠中国科学院软件研究所人机交互北京市重点实验室北京100190 中国科学院大学计算机科学与技术学院北京100049

在线手写数学公式识别面临书写字符的不确定性、数学公式结构的复杂性,以及公式书写风格因人而异等问题,特别是在公式书写中出现偶然性错误和包含复杂结构的情况下,现有的仅依赖机器的识别算法的识别准确率较低.为了解决这一问题,提出... 详细信息

在线手写数学公式识别面临书写字符的不确定性、数学公式结构的复杂性,以及公式书写风格因人而异等问题,特别是在公式书写中出现偶然性错误和包含复杂结构的情况下,现有的仅依赖机器的识别算法的识别准确率较低.为了解决这一问题,提出了人在回路的手写公式识别方法,该方法主要在结构分析阶段引入了人的参与,借助人对结构中歧义笔画的修改和结构补笔操作,完善和界定结构笔画和结构内笔画信息.为了评估该方法的有效性,将其与不含用户参与信息的一个基线识别方法在结构识别率和表达式识别率方面进行了对比分析.结果表明,该方法能够有效地促进用户参与到手写识别过程,同时,针对实验收集的手写数学公式数据,引入用户参与的方法能够有效地提高手写数学公式的结构和表达式识别率,分别提高了9.26%和13.99%.

关键词：人在回路手写数学公式草图识别人机交互用户反馈

来源：评论

学校读者我要写书评

暂无评论

面向时空图建模的图小波卷积神经网络模型

引用

软件学报 2021年第3期32卷 726-741页

作者：姜山丁治明朱美玲严瑾徐馨润中国科学院大学北京100049 中国科学院软件研究所北京100190 大规模流数据集成与分析技术北京市重点实验室北京100190

时空图建模是分析图形结构系统中各要素空间关系与时间趋势的一个基础工作.传统的时空图建模方法主要基于图中节点与节点关系固定的显式结构进行空间关系挖掘,这严重限制了模型的灵活性.此外,未考虑节点间的时空依赖关系的传统建模方法... 详细信息

时空图建模是分析图形结构系统中各要素空间关系与时间趋势的一个基础工作.传统的时空图建模方法主要基于图中节点与节点关系固定的显式结构进行空间关系挖掘,这严重限制了模型的灵活性.此外,未考虑节点间的时空依赖关系的传统建模方法不能捕获节点间的长时时空趋势.为了克服这些缺陷,研究并提出了一种新的用于时空图建模的图神经网络模型,即面向时空图建模的图小波卷积神经网络模型(graph wavelet convolutional neural network for spatiotemporal graph modeling,简称GWNN-STGM).在GWNN-STGM中设计了一个图小波卷积神经网络层,并在该网络层中设计并引入了自适应邻接矩阵进行节点嵌入学习,使得模型能够在不需要结构先验知识的情况下,从数据集中自动发现隐藏的结构信息.此外,GWNN-STGM还包含了一个堆叠的扩张因果卷积网络层,使模型的感受野能够随着卷积网络层数的增加呈指数增长,从而能够处理长时序列.GWNN-STGM成功将图小波卷积神经网络层和扩张因果卷积网络层两个模块进行有效集成.通过在公共交通网络数据集上实验发现,提出的GWNNSTGM的性能优于其他的基准模型,这表明设计的图小波卷积神经网络模型在从输入数据集中探索时空结构方面具有很大的潜力.

关键词：图小波卷积图卷积神经网络时空图建模时空结构图神经网络

来源：评论

学校读者我要写书评

暂无评论

交叉验证多路径匹配追踪水声矢量阵稀疏方位估计

引用

声学学报 2022年第5期47卷 557-567页

作者：谭鹏胡博张友文吴玉泉杨德森哈尔滨工程大学水声技术重点实验室哈尔滨150001 工业与信息化部海洋信息获取与安全工信部重点实验室(哈尔滨工程大学) 哈尔滨150001 哈尔滨工程大学水声工程学院哈尔滨150001 江苏科技大学电子信息学院镇江212100 中国科学院软件研究所天基综合信息系统重点实验室北京100190

水下运动目标的高分辨DOA估计和目标的左右舷分辨问题一直是水声阵列信号处理中的一个核心问题。矢量阵相比于声压阵具有天然的左右舷分辨能力和更高的处理增益,近年来得到了广泛关注。Capon等一些传统高分辨处理方法存在不能解相干源... 详细信息

水下运动目标的高分辨DOA估计和目标的左右舷分辨问题一直是水声阵列信号处理中的一个核心问题。矢量阵相比于声压阵具有天然的左右舷分辨能力和更高的处理增益,近年来得到了广泛关注。Capon等一些传统高分辨处理方法存在不能解相干源、需要多快拍处理以及对阵列流行误差敏感等多种问题。针对水声阵列信号处理领域面临的以上问题,利用声呐工作场景中空间目标的稀疏性,本文提出了一种基于交叉验证技术的多路径匹配追踪(Multiplepath Matching Pursuit with Cross Validation,CV-MMP)声矢量阵稀疏DOA估计算法。该算法采用交叉验证技术可以在未知场景中目标个数的条件下实现稀疏DOA的估计,相比于常规的声矢量阵Capon算法而言,可以在小快拍数甚至单快拍数条件下实现多目标的稀疏DOA估计以及高分辨能力。仿真和海试试验数据处理验证了提出的算法的有效性。

关键词：声矢量阵 DOA估计方位估计交叉验证匹配追踪处理增益多路径分辨能力

来源：评论

学校读者我要写书评

暂无评论

应用多星的空间目标跟踪定位算法

引用

航天器工程 2021年第5期30卷 9-15页

作者：乔鹏吕晓宁赵军锁夏玉立李济民周瑶中国科学院软件研究所天基综合信息系统重点实验室北京100190

单星激光测距空间目标定位算法受远距离激光测距机测频的限制,有效数据速率较低。文章构建天基探测系统空间目标观测模型,提出一种应用多星的空间目标跟踪定位算法。该算法基于三角交会原理,面向多星不同载荷平台,基于空间目标成像投影... 详细信息

单星激光测距空间目标定位算法受远距离激光测距机测频的限制,有效数据速率较低。文章构建天基探测系统空间目标观测模型,提出一种应用多星的空间目标跟踪定位算法。该算法基于三角交会原理,面向多星不同载荷平台,基于空间目标成像投影和坐标转换模型,计算空间目标的异面直线距离,采用最近邻算法最优匹配关联同一空间目标的星间像点,基于双星交会模型解算空间目标轨迹,进行空间目标跟踪。此外,针对空间目标的星间信息丢失、空间目标与卫星共面时多空间目标跟踪精度低的问题,引入空间目标的加速度参数分量,改进卡尔曼滤波算法,预测空间目标轨迹位置,从而有效提高多目标跟踪精度。实例验证结果表明:文章提出算法的空间目标跟踪与定位精度高,能有效解决星间信息丢失引起的精度下降问题。

关键词：天基探测系统空间目标跟踪定位坐标转换卡尔曼滤波算法

来源：评论

学校读者我要写书评

暂无评论

高可扩展三维大地电磁电阻率各向异性、磁导率正演

引用

地球物理学进展 2024年第5期39卷 1963-1978页

作者：程旭龚春叶王光杰肖调杰杨博刘杰王赟国防科技大学计算机学院长沙410073 高端装备数字化软件湖南省重点实验室长沙410073 中国科学院地质与地球物理研究所中国科学院地球科学研究院北京100029 中国科学院大学北京100049 中国地质大学(北京)地球物理与信息技术学院北京100083 国家超级计算天津中心天津300457 国防科技大学并行与分布计算全国重点实验室长沙410073

大地电磁测深(Magnetotelluric sounding,MT)是一种重要的地球物理方法,被广泛应用于矿产资源勘探、地球深部结构探测等领域.当前,MT进一步朝着精细化方向发展,电阻率和磁导率是影响MT响应特征的两个重要物性参数,且电阻率各向异性现象... 详细信息

大地电磁测深(Magnetotelluric sounding,MT)是一种重要的地球物理方法,被广泛应用于矿产资源勘探、地球深部结构探测等领域.当前,MT进一步朝着精细化方向发展,电阻率和磁导率是影响MT响应特征的两个重要物性参数,且电阻率各向异性现象客观存在,而目前成熟的MT三维资料解释技术通常仅考虑电阻率各向同性单一参数,且可扩展性较差.因此,本文同时考虑电阻率各向异性、磁导率双参数,基于C语言、MPI并行编程模型,实现了一种高效的频率间并行计算、阻抗矩阵并行填充、第一类边界条件并行添加和方程组并行求解的大规模多层级MT三维并行正演算法,并在此基础上研究了磁导率对MT响应的影响.结果表明电阻率各向异性、磁导率双参数使得MT响应变得更为复杂,当低阻异常体与围岩电阻率差异较小时,较大的磁导率甚至可以反转视电阻率和相位的形态.该算法具有较好的可扩展性,对于文中测试模型16个频率时,串行计算耗时117.58 h,而2048个进程计算耗时仅12.95 min,加速547.24倍.本文研究成果可为实际资料解释提供高效快速的正演方案,有助于进一步认识三维电阻率各向异性、磁导率异常体的MT响应特征.

关键词：大地电磁测深数值模拟电阻率各向异性磁导率并行计算

来源：评论

学校读者我要写书评

暂无评论

芯片设计形式验证

引用

前瞻科技 2023年第1期2卷 23-32页

作者：詹博华吴志林中国科学院软件研究所计算机科学国家重点实验室北京100190

芯片设计验证是对芯片设计是否正确与安全进行检查,在芯片设计流程中具有非常重要的地位,占其将近1/2的成本和时间。形式验证是保证计算机软硬件系统正确性与安全性的非常重要的手段,已经成功用于芯片设计验证。全世界三大电子设计自动... 详细信息

芯片设计验证是对芯片设计是否正确与安全进行检查,在芯片设计流程中具有非常重要的地位,占其将近1/2的成本和时间。形式验证是保证计算机软硬件系统正确性与安全性的非常重要的手段,已经成功用于芯片设计验证。全世界三大电子设计自动化(EDA)软件厂商Cadence、Synopsis、Siemens的EDA软件均包含成熟的芯片设计形式验证工具。文章总结了芯片设计形式验证发展现状,分析了面临的挑战,展望了发展趋势,并对其在中国的发展提出建议。

关键词：芯片设计正确性与安全性电子设计自动化等价性验证基于断言的形式验证命题逻辑可满足性(SAT)求解模型检测

来源：评论

学校读者我要写书评

暂无评论

自动驾驶接管绩效的影响因素、模型与评价方法综述

引用

中国公路学报 2023年第9期36卷 202-224页

作者：王文军李清坤曾超李国法张继亮李升波成波清华大学车辆与运载学院北京100084 中国科学院软件研究所人机交互北京市重点实验室北京100190 重庆中科汽车软件创新中心重庆401331 河南工业大学信息科学与工程学院河南郑州450001 石河子大学机械电气工程学院新疆石河子832003 重庆大学机械与运载工程学院重庆400044

有条件自动驾驶系统无法应对所有驾驶场景,因而需要驾驶人在必要情况下进行接管。驾驶人的接管绩效对于有条件自动驾驶车辆的安全性、驾乘体验与接受度具有重要意义。近年来,大量文献从不同视角对驾驶人接管绩效这一主题进行了广泛研究... 详细信息

有条件自动驾驶系统无法应对所有驾驶场景,因而需要驾驶人在必要情况下进行接管。驾驶人的接管绩效对于有条件自动驾驶车辆的安全性、驾乘体验与接受度具有重要意义。近年来,大量文献从不同视角对驾驶人接管绩效这一主题进行了广泛研究,但仍然存在一些问题亟待解决。从驾驶人接管绩效影响因素、接管绩效模型与接管绩效评价方法3个方面综述了驾驶人接管绩效的研究现状。首先,从驾驶人因素、交通环境因素和自动驾驶系统因素3个维度对驾驶人接管绩效影响因素的相关研究进行综述。其次,对现有驾驶人接管绩效模型,包括经典统计模型、机器学习模型与结构方程模型进行总结。最后,总结了现有原始接管绩效评价指标以及接管绩效综合评价方法。分析发现:现有接管绩效影响因素的量化指标仍不够全面,现有接管绩效模型的可解释性和预测精度难以兼顾,现有接管绩效评价方法尚需进一步完善。有鉴于此,未来研究首先需要基于驾驶人群体主观评价提出接管绩效的全面评价方法,然后以此为基础从人-机-环境维度全方面探索接管绩效影响因素的量化指标,最后考虑多种影响因素的复杂关联关系,建立高精度接管绩效预测模型,从而为提升驾驶人接管绩效提供理论支持,促进有条件自动驾驶的进一步发展。

关键词：汽车工程有条件自动驾驶综述接管绩效驾驶行为驾驶人人因

来源：评论

学校读者我要写书评

暂无评论

基于深度强化学习的无人机三维场景导航方法研究

引用

图学学报 2025年

作者：刘伯凯殷雪峰孙传昱葛慧林魏子麒姜雨彤朴海音周东生杨鑫大连理工大学计算机学院社会计算与认知智能教育部重点实验室江苏科技大学自动化学院中国科学院自动化研究所中国北方车辆研究所先进越野系统技术全国重点实验室中国航空工业集团公司沈阳飞机设计研究所大连大学软件工程学院

近年来，无人机产业规模与应用需求不断扩大，实现无人机的自主化和智能化成为了行业内亟待解决的核心问题。无人机导航作为无人机自主控制领域的基础技术，已然成为无人机应用研究的重中之重。目前大多数无人机导航方法依赖于环境信息... 详细信息

近年来，无人机产业规模与应用需求不断扩大，实现无人机的自主化和智能化成为了行业内亟待解决的核心问题。无人机导航作为无人机自主控制领域的基础技术，已然成为无人机应用研究的重中之重。目前大多数无人机导航方法依赖于环境信息的重建，消耗过多的计算和内存，无法满足日益复杂的场景与实时性要求。因此，基于深度学习卓越的表征学习能力与强化学习的自主学习决策能力，提出无人机自主导航方法，通过不断自主学习优化决策策略，更好的完成导航任务。该方法首先构造连续性动作空间以及非稀疏性奖励函数，用来引导无人机的学习过程；并设计特征提取模块与决策模块来提高无人机感知能力和决策能力。实验结果表明，在仿真三维场景下，该算法表现出最优的导航避障性能，在所设计的三维场景下导航成功率可达到87%，平均累计奖励收敛的值较同期方法高33%，同时缩短训练时长，提高训练稳定性。

关键词：深度强化学习注意力机制无人机导航避障三维场景

来源：评论

学校读者我要写书评

暂无评论

基于性别差异的化生型慢性萎缩性胃炎患者色诊特征研究

引用

世界科学技术-中医药现代化 2024年第1期26卷 129-136页

作者：陈佳萍杜正光关贝吉星宇陈龙畅王永吉马赟首都医科大学中医药临床学院北京100013 首都医科大学附属北京中医医院北京100010 中国科学院软件研究所集成创新中心北京100190 首都医科大学中医药学院北京100069 中国科学院大学计算机科学与技术学院北京100049 中国科学院软件研究所计算机科学国家重点实验室北京100190

目的基于性别差异,分别探讨男性与女性化生型慢性萎缩性胃炎(Chronic atrophic gastritis,CAG)患者颜面色诊特征,从中医发病学角度出发探究不同性别患者的病变机理,为中医药防治化生型CAG提供个性化参考。方法本研究应用MT-BX-01四诊仪... 详细信息

目的基于性别差异,分别探讨男性与女性化生型慢性萎缩性胃炎(Chronic atrophic gastritis,CAG)患者颜面色诊特征,从中医发病学角度出发探究不同性别患者的病变机理,为中医药防治化生型CAG提供个性化参考。方法本研究应用MT-BX-01四诊仪采集慢性非萎缩性胃炎(Chronic non atrophic gastritis,CNG)与CAG患者的面色信息,采用病例对照研究方法,分别从男性与女性化生型CAG患者及CNG患者的面色色度学特征进行分析。结果在女性患者中,CAG伴轻度和中、重度肠化(Intestinal metaplasia,IM)组面部肝区位点L值、a值均显著低于CNG组(P<0.05)。在男性患者中,CAG伴中、重度IM组脾区位点b值显著高于CNG组(P<0.05)。结论化生型CAG患者的面色特征存在一定的性别差异,化生型CAG女性患者面部色度值在肝区变化最显著,男性患者则主要表现于脾区。提示女性化生型CAG发病多与肝相关,男性发病则多与脾相关,为临床针对不同性别化生型CAG患者进行中医临床诊疗与防治提供了个性化思路。

关键词：慢性萎缩性胃炎肠上皮化生色诊客观化色度值

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：