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

计算机科学 2021年第S02期48卷 22-29页

作者：高熙孙未未复旦大学计算机科学技术学院上海201203 上海市数据科学重点实验室(复旦大学) 上海201203 上海智能电子与系统研究院上海200433

岸桥调度问题是集装箱码头中最核心的调度问题之一。现有研究成果无法在可行时间内计算出对较大规模业务的最优调度,因此现有岸桥调度算法普遍采用启发式策略,以保障在可行时间内计算出一种调度。首先从理论角度证明了完工时间下界的正... 详细信息

岸桥调度问题是集装箱码头中最核心的调度问题之一。现有研究成果无法在可行时间内计算出对较大规模业务的最优调度,因此现有岸桥调度算法普遍采用启发式策略,以保障在可行时间内计算出一种调度。首先从理论角度证明了完工时间下界的正确性,设计了一种最优调度构造方法,完备了岸桥调度问题的理论体系;其次,在此理论工作基础上,设计了线性时间复杂度的算法求出最优调度;最后,用实验验证了所提方法在解的质量和效率上显著优于现有方法。

关键词：岸桥调度完工时间下界最优解线性算法

来源：评论

学校读者我要写书评

暂无评论

面向大数据分析的智能交互向导系统

引用

计算机科学 2021年第9期48卷 110-117页

作者：余乐章夏天宇荆一楠何震瀛王晓阳复旦大学计算机科学技术学院上海201203 上海市数据科学重点实验室(复旦大学) 上海200433 上海智能电子与系统研究院上海201203

传统的大数据工具一般为专业数据分析人员打造,具有难以上手、操作交互性差以及不够智能化等特点。而智能交互向导系统是针对大数据交互式分析系统目前存在的问题而研制的一套大数据分析辅助工具。系统既研发了用户意图理解、数据抽样... 详细信息

传统的大数据工具一般为专业数据分析人员打造,具有难以上手、操作交互性差以及不够智能化等特点。而智能交互向导系统是针对大数据交互式分析系统目前存在的问题而研制的一套大数据分析辅助工具。系统既研发了用户意图理解、数据抽样及列推荐、可视化推荐、分析方法推荐等核心关键技术,也拥有良好的图形化界面与人性化的智能交互体验。在满足用户多种交互式分析需求的同时,还具有极高的响应速度。不仅可以随时回溯到分析流程任意一步重新选择方法的执行流程,还可以通过接口与各种分析应用快速集成以部署应用于不同场景。经过实验测试,系统的平均交互时间均在3 s以内,且与传统分析方法相比系统交互的执行时效加快了3倍左右。通过用户用例测试,系统的满意度相比传统工具更加优秀。智能交互向导系统通过在易用性、时效性、可交互性和智能性等方面的探索,让不同基础的用户群体都可以使用此系统完成所需的大数据分析目标。

关键词：大数据系统智能交互数据分析方法推荐用户意图

来源：评论

学校读者我要写书评

暂无评论

融合深度主动学习的医学图像半自动标注系统

引用

计算机系统应用 2023年第2期32卷 75-82页

作者：王海林冯瑞张晓波复旦大学计算机科学技术学院上海市智能信息处理重点实验室上海200433 上海浦东复旦大学张江科技研究院上海200120 复旦大学附属儿科医院上海201102

目前深度学习在医学图像分析领域取得的良好表现大多取决于高质量带标注的数据集,但是医学图像由于其专业性和复杂性,数据集的标注工作往往需要耗费巨大的成本.本文针对这一问题设计了一种基于深度主动学习的半自动标注系统,该系统通过... 详细信息

目前深度学习在医学图像分析领域取得的良好表现大多取决于高质量带标注的数据集,但是医学图像由于其专业性和复杂性,数据集的标注工作往往需要耗费巨大的成本.本文针对这一问题设计了一种基于深度主动学习的半自动标注系统,该系统通过主动学习算法减少训练深度学习标注模型所需的标注样本数量,训练完成后的标注模型可以用于剩余数据集的标注工作.系统基于Web应用构建,无需安装且能跨平台访问,便于用户完成标注工作.

关键词：医学图像数据集深度学习主动学习半自动标注 Web应用

来源：评论

学校读者我要写书评

暂无评论

区块链:元宇宙的核心基础设施

引用

计算机工程 2022年第6期48卷 24-32,41页

作者：李鸣张亮宋文鹏吴美玉复旦大学计算机科学技术学院上海市智能信息处理重点实验室上海200433 上海区块链工程技术研究中心上海200433 中国电子技术标准化研究院北京100007 北京航空航天大学经济管理学院北京100191 城市运行应急保障模拟技术北京市重点实验室北京100191

当前,元宇宙产业热度极高,或将形成庞大的信息消费生态,成为数字经济的重要组成部分,然而业界对于元宇宙概念的定义多为叙事性描述,缺乏体系化研究和工程化应用。元宇宙产业发展的基础是厘清其本质和内涵,明确元宇宙的基础设施和技术体... 详细信息

当前,元宇宙产业热度极高,或将形成庞大的信息消费生态,成为数字经济的重要组成部分,然而业界对于元宇宙概念的定义多为叙事性描述,缺乏体系化研究和工程化应用。元宇宙产业发展的基础是厘清其本质和内涵,明确元宇宙的基础设施和技术体系,以对元宇宙产业的工程应用提供实际帮助。通过分析元宇宙的背景和产业情况,研究元宇宙内涵和外延,提出区块链是元宇宙的核心基础设施,可从技术平台、应用场景、协作机制等方面对元宇宙提供关键支持。元宇宙的技术参考模型包括元网络、元系统、元服务、元应用、元空间等5层,而区块链的关键技术组件覆盖了元宇宙技术参考模型的核心部分,密码学和分布式身份认证体系可支撑元宇宙的组织、身份、资产、活动等4个关键要素以建立元宇宙的身份价值网络,金融资产协议、加密货币体系和数字资产凭证也将辅助构建元宇宙经济金融体系。同时,对基于区块链的元宇宙概念和术语体系、技术体系的集成方法、分布式商业应用场景等未来发展方向进行展望。

关键词：元宇宙区块链第三代互联网数字新生态价值交互网络核心基础设施

来源：评论

学校读者我要写书评

暂无评论

眼底图像半自动标注系统

引用

计算机系统应用 2023年第7期32卷 65-74页

作者：章慧丰侯君临邹海东陆丽娜冯瑞复旦大学计算机科学技术学院上海市智能信息处理重点实验室上海200433 上海浦东复旦大学张江科技研究院上海200120 上海交通大学附属第一人民医院上海200080 上海市眼病防治中心上海200041 上海市眼科疾病精准诊疗工程技术研究中心上海200080

近年来,由于人工智能在医疗领域的高速发展,科研人员对医学图像的需求量与日俱增.这些医学图像往往需要经过精细地标注之后才能够被投入使用.与自然图像相比,医学图像的数据标注工作更具专业性、复杂性.因此,医学图像面临着标注速率低... 详细信息

近年来,由于人工智能在医疗领域的高速发展,科研人员对医学图像的需求量与日俱增.这些医学图像往往需要经过精细地标注之后才能够被投入使用.与自然图像相比,医学图像的数据标注工作更具专业性、复杂性.因此,医学图像面临着标注速率低、标注成本高等问题,从而导致带标签样本稀缺的困境.眼底图像作为一种重要的医学图像,能够实现绝大多数的眼科疾病筛查与初诊工作,如糖尿病视网膜病变、青光眼等,但也同样面临着标注困难的问题.针对这样的现状,本文设计并开发了一种高效的眼底图像半自动标注系统,该系统的创新点是能够对多种眼病进行半自动标注.针对眼底图像进行多种疾病的预测,预测结果的类型包括疾病分级和病灶分割,标注人员只需对生成的预测结果进行审核并修改,这一过程可以大大降低标注人员的工作量.此外,该系统包括用户管理、项目管理、图像管理、算法模型管理4个模块.通过这4个模块可以实现团队标注中的任务分配,标注进度数据可视化,标注结果快速导出等人性化功能.该系统极大提升了标注人员的标注效率和标注体验.

关键词：眼底图像标注系统算法多疾病半自动标注

来源：评论

学校读者我要写书评

暂无评论

几种激光诱导击穿光谱技术的改进方法

引用

实验技术与管理 2022年第7期39卷 24-29页

作者：施沈城胡梦云曾和平华东师范大学精密光谱科学与技术国家重点实验室上海200062 华东师范大学重庆研究院精密光学重庆市重点实验室重庆401120 上海理工大学光电信息与计算机工程学院教育部光学仪器与系统工程研究中心上海市现代光学系统重点实验室上海200093

激光诱导击穿光谱(laser-induced breakdown spectroscopy,LIBS)技术是一种基于原子发射光谱对物质成分进行快速分析的技术,由于具有简单、快速、可实时原位分析等多个优点而成为光谱学领域的研究热点,但同时也存在重复性差、等离子屏... 详细信息

激光诱导击穿光谱(laser-induced breakdown spectroscopy,LIBS)技术是一种基于原子发射光谱对物质成分进行快速分析的技术,由于具有简单、快速、可实时原位分析等多个优点而成为光谱学领域的研究热点,但同时也存在重复性差、等离子屏蔽效应以及基体效应等问题。随着对LIBS技术研究的深入以及激光技术的发展,出现了诸如纳米颗粒辅助增强、金属基底辅助、等离子体约束、光丝诱导技术光谱(filament-induced breakdown spectroscopy,FIBS)以及等离子体光栅诱导技术光谱(plasma-grating-induced breakdown spectroscopy,GIBS)等多种改进方法,这些方法的实际应用也有报道。该文从LIBS技术的原理出发讨论相关问题出现的原因,并对其中几种改进方法进行介绍,最后展望了该技术未来发展的趋势。

关键词：激光诱导击穿光谱技术光丝等离子体光栅探测灵敏度基体效应

来源：评论

学校读者我要写书评

暂无评论

一种基于Bottleneck Transformer的轻量级微表情识别架构

引用

计算机科学 2022年第S01期49卷 370-377页

作者：张嘉淏刘峰齐佳音华东师范大学计算机科学与技术学院上海200062 华东师范大学上海智能教育研究院上海201620 华东师范大学心理与认知科学学院上海市心理健康与危机干预重点实验室上海200062 上海对外经贸大学人工智能与变革管理研究院上海201620

微表情是一种能够体现人真实情感的自发面部动作,其持续时间较短,动作幅度轻微,识别难度较大,但是有重要的研究价值。为解决微表情情感识别问题,提出了一种新型的轻量级微表情识别网络mini-AORCNN。该神经网络以顶点-起始点光流特征为输... 详细信息

微表情是一种能够体现人真实情感的自发面部动作,其持续时间较短,动作幅度轻微,识别难度较大,但是有重要的研究价值。为解决微表情情感识别问题,提出了一种新型的轻量级微表情识别网络mini-AORCNN。该神经网络以顶点-起始点光流特征为输入,结合残差卷积神经网络与视觉Transformer的相关架构,可以有效完成微表情识别任务。这一网络包含一种参数量更小的新型残差模块,并用自注意力算子替换了最后一个残差块中的卷积算子,从而实现了Bottleneck Transformer架构。这一新型微表情识别网络在中科院CASMe系列数据集上经过“留一被试交叉验证”(LOSO)的检验,确定其在情感分类任务上取得了73.09%的平均召回率(UAR)以及72.25%的平均F1-Score(UF1),上述准确率评价指标与极低的参数量(39185)在与微表情领域的多种主流模型的比较中体现出了明显的优势。文中还包含了一组消融实验,确保了光学应变强度、自注意力机制和相对位置编码等设计的优越性。

关键词：微表情识别视觉Transformer 自注意力机制残差卷积神经网络可计算情感

来源：评论

学校读者我要写书评

暂无评论

基于异质网络层次注意力机制的基因功能预测

引用

计算机工程 2020年第7期46卷 43-49页

作者：万美含熊贇朱扬勇复旦大学计算机科学技术学院上海200433 上海市数据科学重点实验室上海200433 上海先进通信与数据科学研究院上海200433

基因组测序技术的快速发展使得生物数据库中的基因和基因组序列数据数量迅速增加,但其中仍有大量基因功能是未知的。为此,提出基于异质网络层次注意力机制的基因节点表示学习方法HAGe,用以预测基因功能。结合多种来源的数据集,构建一个... 详细信息

基因组测序技术的快速发展使得生物数据库中的基因和基因组序列数据数量迅速增加,但其中仍有大量基因功能是未知的。为此,提出基于异质网络层次注意力机制的基因节点表示学习方法HAGe,用以预测基因功能。结合多种来源的数据集,构建一个具有节点属性的基因功能相关异质网络,在网络中使用层次注意力机制为每一个基因节点学习一个节点嵌入向量,该向量可用于后续的基因功能预测等任务。实验结果表明,与GraphSAGe和GAT等方法相比,HAGe具有更好的预测性能。

关键词：基因功能预测异质信息网络注意力机制网络表示学习网络嵌入

来源：评论

学校读者我要写书评

暂无评论

TLP:一个动态网络中的时序链路预测算法

引用

计算机工程 2020年第1期46卷 67-73页

作者：符汉杰熊赟朱扬勇复旦大学计算机科学技术学院上海200433 上海市数据科学重点实验室上海200433 上海先进通信与数据科学研究院上海200433

链路预测是网络分析的一个重要应用,网络结构在真实场景中随时间发生演变,节点间会产生新的联系或者终止连接,从而导致网络结构变化以及节点中内在的偏向发生偏移。为提升链路预测能力,提出一种基于时序特征的动态网络节点表示的链路预... 详细信息

链路预测是网络分析的一个重要应用,网络结构在真实场景中随时间发生演变,节点间会产生新的联系或者终止连接,从而导致网络结构变化以及节点中内在的偏向发生偏移。为提升链路预测能力,提出一种基于时序特征的动态网络节点表示的链路预测算法,即每一时刻的节点表示向量由历史的表示向量计算得到,以反映节点在向量空间中的变化规律,同时结合节点间的高阶邻近特性,生成具有鲁棒性的节点向量来维护网络结构。在真实数据集上的实验结果表明,与TNe、DHPe等算法相比,该算法在链路预测任务上的预测性能具有明显提升,适用于大规模的动态网络。

关键词：链路预测动态网络随机游走时序演变高阶邻近

来源：评论

学校读者我要写书评

暂无评论

面向轨交控制软件需求模型的量纲分析方法

引用

计算机学报 2020年第11期43卷 2152-2165页

作者：王尚冯劲草诸嘉逸黄怿豪郑寒月徐想容缪炜恺张翔蒲戈光上海市高可信计算重点实验室上海200062 军事科学院国防科技创新研究院北京100000 上海工业控制系统安全功能型平台上海200062

嵌入式控制软件是当前诸多控制系统的核心部件.各类安全攸关系统,例如轨道交通系统、航空航天系统和核电控制系统等,其内嵌的控制软件的功能是否正确、安全直接关系到人们的生命与财产安全.经过长期的研究和实践,学术界和工业界都意识... 详细信息

嵌入式控制软件是当前诸多控制系统的核心部件.各类安全攸关系统,例如轨道交通系统、航空航天系统和核电控制系统等,其内嵌的控制软件的功能是否正确、安全直接关系到人们的生命与财产安全.经过长期的研究和实践,学术界和工业界都意识到系统需求作为软件工程生命周期的起始点,是确保软件质量的根本途径.因此,如何从源头上保障软件开发流程的正确性一直以来是软件工程领域重要的研究课题.然而,在工业界的软件开发中,系统需求的正确性只能靠人工审查来保证,人工审查自然语言系统需求的方法不但低效,而且无法确认需求的正确性,仍缺少一种对需求进行确认的形式化建模分析方法.需求确认是保障所构建的形式化规约质量的重要工程活动,而量纲分析作为需求确认中的一个重要手段,可以检查出因量纲的错误定义而产生的潜在缺陷,减少因量纲使用不当所造成的错误.基于此,我们针对轨道交通领域的特点,提出了一种基于形式化工程方法的需求建模与量纲分析研究,结合软件需求工程的基本原理,从原始需求出发逐步完成需求规约的构建,并给出了需求规约确认的其中一种方法,以确认软件需求规约准确、充分地描述人们对软件期望的功能,为该领域的需求分析提供保障.本文的主要贡献是:(1)提出了一种嵌入式控制软件需求建模的形式化工程方法;(2)提出了一种列车控制领域专用的需求描述语言ATPRDL(Automatic Train Protection Requirement Description Language),并对相应的需求文档进行建模;(3)针对嵌入式控制软件的特点,提出了一种领域专用的面向需求层的量纲分析方法,并构建了领域适用的量纲系统;(4)开发了一款工具用于支撑该方法的实际应用,使工程师可以快捷地进行量纲分析.通过应用本文提出的方法,我们对真实的轨道交通列车控制软件的需求进行了实验,实验结果表明此方法具有良好的可用性,并在实际的列车控制软件开发项目中,展现了优于工业界传统手工审查方法的缺陷发现能力和时间效率.

关键词：软件工程嵌入式软件形式化方法需求建模量纲分析需求确认

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：