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

软件学报 2020年第2期31卷 544-563页

作者：吴晓慧贺也平马恒太周启明林少锋基础软件国家工程研究中心(中国科学院软件研究所) 北京100190 中国科学院大学北京100049 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190

现代处理器的优化技术,包括乱序执行和推测机制等,对性能至关重要.以Meltdown和Spectre为代表的侧信道攻击表明:由于异常延迟处理和推测错误而执行的指令结果虽然在架构级别上未显示,但仍可能在处理器微架构状态中留下痕迹.通过隐蔽信... 详细信息

现代处理器的优化技术,包括乱序执行和推测机制等,对性能至关重要.以Meltdown和Spectre为代表的侧信道攻击表明:由于异常延迟处理和推测错误而执行的指令结果虽然在架构级别上未显示,但仍可能在处理器微架构状态中留下痕迹.通过隐蔽信道可将微架构状态的变化传输到架构层,进而恢复出秘密数据,这种攻击方式称为瞬态执行攻击.该攻击有别于传统的缓存侧信道攻击,影响面更广,缓解难度更大.深入分析了瞬态执行攻击的机理和实现方式,对目前的研究现状与防御方法进行了总结.首先,介绍了处理器微架构采用的优化技术,并分析了其导致瞬态执行攻击的功能特征;然后,基于触发瞬态执行的原语对瞬态执行攻击进行系统化分析,揭示攻击面上的明显差异;最后,有侧重点地针对攻击模型中的关键步骤和关键组件总结了已有的防御方法,并展望了未来的研究方向.

关键词：处理器微架构优化技术瞬态执行攻击防御方法

来源：评论

学校读者我要写书评

暂无评论

缺陷理解研究:现状、问题与发展

引用

软件学报 2020年第1期31卷 20-46页

作者：李晓卓贺也平马恒太中国科学院软件研究所基础软件国家工程研究中心北京100190 中国科学院大学北京100049 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190

缺陷理解是针对缺陷本身及衍生产物建立完整认知过程的研究.由于调试的连贯性及完美缺陷理解假设不合理性,深入分析缺陷传播过程及缺陷间关系、研究关键信息检测及理解信息表达方式,提取及表达面向缺陷研究不同场景不同需求下的可理解... 详细信息

缺陷理解是针对缺陷本身及衍生产物建立完整认知过程的研究.由于调试的连贯性及完美缺陷理解假设不合理性,深入分析缺陷传播过程及缺陷间关系、研究关键信息检测及理解信息表达方式,提取及表达面向缺陷研究不同场景不同需求下的可理解性信息,最终达到优化缺陷分析结果及辅助调试各过程缺陷知识复用及积累的目的成为必然.由定位与修复之间存在的知识割裂问题出发,思考缺陷理解研究的本质,明确缺陷处理过程中缺乏知识挖掘及互用问题.通过工程实例分析及文献成果梳理,提炼总结缺陷理解领域的研究方向及技术方法,探讨缺陷理解研究中的特点及难点,思考缺陷理解研究中存在的问题及未来的研究方向,对缺陷理解的研究趋势进行了展望.

关键词：软件调试程序分析软件缺陷缺陷理解

来源：评论

学校读者我要写书评

暂无评论

面向操作系统可靠性保障的开源软件供应链

引用

软件学报 2020年第10期31卷 3056-3073页

作者：梁冠宇武延军吴敬征赵琛中国科学院软件研究所北京100190 中国科学院大学北京100190 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190

软件可靠性是软件工程领域中的研究热点之一,故障率分析是软件可靠性的典型研究方法.然而,软件构建模式已从单体模式演进到以开源软件为代表的规模化协作模式,操作系统作为代表性产物之一,所含开源软件之间通过组合关系和依赖关系,形成... 详细信息

软件可靠性是软件工程领域中的研究热点之一,故障率分析是软件可靠性的典型研究方法.然而,软件构建模式已从单体模式演进到以开源软件为代表的规模化协作模式,操作系统作为代表性产物之一,所含开源软件之间通过组合关系和依赖关系,形成了一个包含上万节点的供应关系网络.典型方法缺乏对供应关系的考量,无法准确识别和评估因此而引入的软件可靠性问题.把供应链概念体系拓展到开源软件领域,提出一种基于知识的面向开源协作模式下软件供应可靠性的管理方法:面向开源软件生态进行本体设计,构建开源软件知识图谱,实现知识的提取、存储和管理,以知识为驱动,结合传统的供应链管理方法,提出一组面向开源软件供应链的可靠性管理方法,构成一套开源软件供应链管理系统.实验以Linux操作系统发行版的构建为例,展示了开源软件供应链对操作系统可靠性的支撑能力.结果表明,开源软件供应链将有助于理清和评估大型复杂系统软件的可靠性风险.

关键词：操作系统软件可靠性开源软件供应链知识图谱

来源：评论

学校读者我要写书评

暂无评论

面向大数据分析作业的启发式云资源供给方法

引用

软件学报 2020年第6期31卷 1860-1874页

作者：吴悦文吴恒任杰张文博魏峻王焘钟华中国科学院软件研究所软件工程技术中心北京100190 天基综合信息系统重点实验室(中国科学院软件研究所) 北京100190 中国科学院大学北京100049

云计算已成为大数据分析作业的主流运行支撑环境,选择合适的云资源优化其性能面临巨大挑战.当前研究主要考虑大数据分析框架(如Hadoop,Spark等)的多样性,采用机器学习方法进行资源供给,但样本少容易陷入局部最优解.提出了大数据环境下... 详细信息

云计算已成为大数据分析作业的主流运行支撑环境,选择合适的云资源优化其性能面临巨大挑战.当前研究主要考虑大数据分析框架(如Hadoop,Spark等)的多样性,采用机器学习方法进行资源供给,但样本少容易陷入局部最优解.提出了大数据环境下基于负载分类的启发式云资源供给方法RP-CH,基于云资源共享特点,获取其他大数据分析作业的运行时监测和云资源配置信息,建立负载分类与优化云资源配置的启发式规则,并将该规则作用到贝叶斯优化算法的收益函数.基于HiBench,SparkBench测试基准的结果显示:RP-CH相对于已有方法CherryPick、大数据分析作业的性能平均提升了58%,成本平均减少了44%.

关键词：大数据分析云计算启发式云资源供给贝叶斯优化

来源：评论

学校读者我要写书评

暂无评论

蚓激酶同工酶降解乙型肝炎抗原并保护肝功能

引用

生物化学与生物物理进展 2022年第1期49卷 202-218页

作者：周园牟丽娴范士超王秀梅曹潇王学清张奉学赵静魏艳赫荣乔西南医科大学基础医学院泸州646000 中国科学院生物物理研究所北京100101 北京大学药学院分子药剂学与新释药系统北京市重点实验室北京100191 广州中医药大学基础医学院广州510099

目的蚓激酶同工酶(LKIs)作为肠溶胶囊的有效成分,用于治疗血栓性疾病已有30多年历史。近年来,LKIs在其他危重疾病中的研究时有报道。本文关注LKIs在乙型肝炎方面的作用。方法乙型肝炎表面抗原(HBs Ag)、核心抗原(HBcAg)和e抗原(HBeAg)... 详细信息

目的蚓激酶同工酶(LKIs)作为肠溶胶囊的有效成分,用于治疗血栓性疾病已有30多年历史。近年来,LKIs在其他危重疾病中的研究时有报道。本文关注LKIs在乙型肝炎方面的作用。方法乙型肝炎表面抗原(HBs Ag)、核心抗原(HBcAg)和e抗原(HBeAg)分别与不同浓度LKIs孵育,观察这些蛋白质的降解和估计肽链的切割位点。Hep G2.2.15细胞与LKIs孵育,采用酶联免疫吸附测定(ELISA)和蛋白质印迹(Western blotting)检测细胞分泌的HBsAg和HbeAg。LKIs灌胃Balb/c小鼠30天,采用ELISA和Western blotting检测其血清HBsAg和HBeAg,免疫组化染色检测肝组织中的HBcAg。采用苏木精-伊红染色分析乙肝病毒转基因小鼠肝组织的损害,并通过ELISA定量分析血清谷草转氨酶(GOT)和谷丙转氨酶(GPT)。腹腔注射后,取大鼠血清和肝组织,测定其中的LKIs含量,从而观察LKIs的吸收。采用LKIs给龙岩麻鸭灌胃30天,通过PCR检测其血清HBV DNA。结果蚓激酶肠溶胶囊的有效成分是含有6种LKIs的复方蛋白酶药物,可以降解HBV编码的蛋白质。LKIs降解HBsAg的位点为K141/P142及R160/F161;HBc Ag为R142/E143;HBeAg为R122/E123。LKIs可显著抑制Hep G2.2.15细胞分泌HBsAg和HBeAg。LKIs灌胃,HBV转基因小鼠血清HBsAg和HBeAg水平及肝组织的HBcAg水平均降低,提示病毒的组装和释放可能受到了抑制。在LKIs处理的转基因小鼠中,血清GPT和GOT水平降低,肝组织溶解数量减少,表明LKIs对小鼠肝细胞具有保护作用。LKIs灌胃龙岩麻鸭,血清中DHBV DNA水平明显下降,停药后出现反弹。结论LKIs通过降解HBs、HBc和HBe蛋白,可能干扰HBV的装配和释放,减少病毒在肝细胞之间的传递,从而对肝细胞起到保护作用。

关键词： HBeAg HBcAg HBsAg 蚓激酶同工酶乙肝病毒同工酶

来源：评论

学校读者我要写书评

暂无评论

面向开放文本的逻辑推理知识抽取与事件影响推理探索

引用

中文信息学报 2021年第10期35卷 56-63页

作者：刘焕勇薛云志李瑞任红萍陈贺张鹏中国科学院软件研究所智能软件研究中心北京100190 中国科学院软件研究所计算机国家重点实验室北京100190 数据地平线(广州)科技有限公司广东广州511458

开放文本中蕴含着大量的逻辑性知识,以刻画事物之间逻辑传导关系的逻辑类知识库是推动知识推理发展的重要基础,研发大规模逻辑推理知识库有助于支持由实体或事件等传导驱动的决策任务。该文围绕逻辑推理知识库,论述了知识库的概念、类... 详细信息

开放文本中蕴含着大量的逻辑性知识,以刻画事物之间逻辑传导关系的逻辑类知识库是推动知识推理发展的重要基础,研发大规模逻辑推理知识库有助于支持由实体或事件等传导驱动的决策任务。该文围绕逻辑推理知识库,论述了知识库的概念、类别和基本构成,提出了一种面向大规模开放文本的实体描述、事件因果逻辑知识快速抽取方法;面向金融领域,探索了一套基于逻辑推理知识库的可解释性路径推理方法和金融实体影响生成系统。算法模型和系统均取得了不错的效果。

关键词：逻辑推理描述性知识推理系统知识抽取

来源：评论

学校读者我要写书评

暂无评论

一种结合图像复原技术的自适应光学系统控制方法

引用

物理学报 2020年第6期69卷 247-256页

作者：雍佳伟田雨许克峰饶长辉中国科学院自适应光学重点实验室成都610209 中国科学院光电技术研究所成都610209 中国科学院软件研究所北京100190 中国科学院大学北京100049

在天文高分辨成像领域,自适应光学校正和事后图像复原都必不可少,但传统的自适应光学系统控制方法以提升光学成像质量为目的,并未考虑图像复原环节,因此,研究一种结合两者以获得高质量复原图像为目标的控制方法具有重要意义.本文对传统... 详细信息

在天文高分辨成像领域,自适应光学校正和事后图像复原都必不可少,但传统的自适应光学系统控制方法以提升光学成像质量为目的,并未考虑图像复原环节,因此,研究一种结合两者以获得高质量复原图像为目标的控制方法具有重要意义.本文对传统自适应光学技术结合事后图像解卷积的方法进行了分析,阐述了其存在的缺陷.首次提出了将自适应光学技术和图像复原技术相结合进行系统分析的思想,并提出了变形镜校正度(变形镜控制电压相对于传统方法控制电压的缩放比例)的概念,通过改变校正度可实现变形镜校正残差和波前传感器探测误差的调整,同时证明了复原图像质量在校正度下降的方向存在一个最优值,用最优校正度来修正变形镜控制电压,就得到了一种新的控制方法.针对点源目标成像,仿真表明该方法相比于传统方法,能够得到质量更好的复原图像.

关键词：自适应光学技术图像复原技术优化控制方法

来源：评论

学校读者我要写书评

暂无评论

社会大数据跨尺度系统学习理论与方法

引用

中国科学：信息科学 2024年第9期54卷 2083-2097页

作者：郑志明吕金虎王亮鲁仁全崔鹏王鑫韦卫北京航空航天大学人工智能研究院北京100191 复杂关键软件环境全国重点实验室北京100191 数学、信息与行为教育部重点实验室北京100191 未来区块链与隐私计算北京市高精尖创新中心北京100191 北京航空航天大学自动化科学与电气工程学院北京100191 北京航空航天大学数学科学学院北京100191 中关村实验室北京100191 中国科学院自动化研究所北京100190 多模态人工智能系统全国重点实验室北京100190 广东工业大学自动化学院广州510006 清华大学计算机系北京100083

以GPT-4为代表的AI大模型时代正加速而至,深刻改变着社会生活的方方面面.大模型巨参数深度学习是破解复杂大数据智能学习瓶颈的一种有效途径.大模型在展现出强大学习能力的同时也面临着高能耗、大算力挑战.研究表明,平均一个AI大模型训... 详细信息

以GPT-4为代表的AI大模型时代正加速而至,深刻改变着社会生活的方方面面.大模型巨参数深度学习是破解复杂大数据智能学习瓶颈的一种有效途径.大模型在展现出强大学习能力的同时也面临着高能耗、大算力挑战.研究表明,平均一个AI大模型训练产生的能耗约等于五辆汽车一生排放的碳总量,驱动AI大模型所需算力每3.5个月翻一番.作为一种有益的补充,内嵌规律的跨尺度系统学习是破解复杂大数据智能学习瓶颈的另一种有效途径.跨尺度系统学习已经在某些专业领域展现出了巨大的成功,如2021年诺贝尔物理学奖授予复杂物理系统跨尺度建模及其在全球气候变暖中的应用.事实上,我国科学家甚至更早开拓了复杂系统跨尺度学习研究,如北京航空航天大学暗物质大数据分析团队利用跨尺度系统学习方法实现了在PB级数据中实时学习KB级关键数据,精度达到万分之一.本文从微观尺度、介观尺度和宏观尺度上分析了跨尺度系统学习的基本原理,构建了内嵌规律跨尺度系统学习的普适方法,并以社会大数据为例开展了典型应用示范.社会大数据跨尺度系统学习应用于疫情防控、舆情分析等领域,并取得显著成效,为我国社会治理数字化、网络化、智能化发展提供了新的成功样本.

关键词：人工智能大模型跨尺度系统学习社会大数据可解释性

来源：评论

学校读者我要写书评

暂无评论

基于LoRa信号的行走距离和方向估计

引用

计算机学报 2021年第5期44卷 999-1012页

作者：常兆心张扶桑牛凯张大庆北京大学信息科学技术学院高可信软件技术教育部重点实验室北京100871 中国科学院软件研究所计算机科学国家重点实验室软件工程技术研发中心北京100190 北京大学(天津滨海)新一代信息技术研究院天津300450

行走追踪在真实场景中具有广泛应用,可以用于安防监控、老人看护、室内导航等场景.近年来,基于无线射频信号的非接触式行走追踪受到了研究人员的广泛关注,包括基于Wi-Fi信号、RFID信号等的行走追踪系统.然而,现有的行走追踪系统依然面... 详细信息

行走追踪在真实场景中具有广泛应用,可以用于安防监控、老人看护、室内导航等场景.近年来,基于无线射频信号的非接触式行走追踪受到了研究人员的广泛关注,包括基于Wi-Fi信号、RFID信号等的行走追踪系统.然而,现有的行走追踪系统依然面临感知范围小、感知设备部署稠密等问题.在本文中,我们首次将用于物联网低功耗、远距离通信的LoRa技术应用到非接触式的大范围行走追踪中,显著地增加了行走追踪系统的感知距离.特别地,通过利用LoRa网关上配置的多天线,利用两根天线上接收信号的比,可以有效地消除噪声干扰以及收发不同步带来的误差,从而进一步提升了感知范围,然后利用计算切线向量相位变化的方法准确计算原始信号中动态分量的相位变化来在估计行走距离和方向.基于此,本文提出基于LoRa的非接触感知系统,可以在一段自然连续的行走活动中准确地判断人的动静状态并切割出行走片段,进而计算出行走的距离和方向,实现人的行走追踪.实验验证了系统计算行走距离和方向的准确性和实时性,其中距离计算的平均误差为3.8%,准确判断行走方向所需时间为0.7 s.

关键词：行走追踪远距离感知穿墙感知 LoRa 非接触感知

来源：评论

学校读者我要写书评

暂无评论

物联网应用中访问控制智能合约的形式化验证

引用

计算机应用 2021年第4期41卷 930-938页

作者：包玉龙朱雪阳张文辉孙鹏飞赵颖琪计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院大学北京100049

蓝牙、WiFi等网络技术的进步推动物联网(IoT)的发展,然而IoT在方便了人们生活的同时也存在严重的个可信任的中心节点,不适合节点分散的IoT环境。区块链及智能合约的出现为IoT应用的访问控制提供了更有效的解决方案,但用一般测试方法难... 详细信息

蓝牙、WiFi等网络技术的进步推动物联网(IoT)的发展,然而IoT在方便了人们生活的同时也存在严重的个可信任的中心节点,不适合节点分散的IoT环境。区块链及智能合约的出现为IoT应用的访问控制提供了更有效的解决方案,但用一般测试方法难以保证实现IoT应用的访问控制智能合约的正确性。针对这个问题,提出一种利用模型检测工具Verds对访问控制智能合约进行形式化验证从而保障合约正确性的方法。该方法利用状态迁移系统定义从而形成Verds的输入模型及所要验证性质,然后利用Verds验证待测性质的正确性。方法核心是Solidity合约子集到Verds输入模型的转换。对两个IoT资源访问控制智能合约的实验结果表明,该方法可以对访问控制合约的典型场景及期望性质进行验证,提升了智能合约的可靠性。

关键词：物联网访问控制智能合约形式化验证模型检测

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：