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

数学的实践与认识 2015年第11期45卷 213-220页

作者：季振义冯勇秦小林四川农业大学四川省都江堰市611830 中国科学院重庆绿色智能技术研究院自动推理与认知实验室重庆市401120 中国科学院成都计算机应用研究所自动推理实验室四川省成都市610041

研究了多元多项式系统的Sylvester结式、Dixon结式以及混合CayleySylvester结式之间是否存在特定关系的问题,利用构造混合结式矩阵的方法证明了在满足一定的条件下,多元多项式系统的这些结式的绝对值都相等.而对于一般的多元多项式系统... 详细信息

研究了多元多项式系统的Sylvester结式、Dixon结式以及混合CayleySylvester结式之间是否存在特定关系的问题,利用构造混合结式矩阵的方法证明了在满足一定的条件下,多元多项式系统的这些结式的绝对值都相等.而对于一般的多元多项式系统,也证实了上述这些结式之间仅仅相差一个因子,推广了两变元多项式系统的结论.

关键词： Sylvester结式 Dixon结式混合Cayley-Sylvester结式

来源：评论

学校读者我要写书评

暂无评论

基于机器学习的脓毒症预测与干预决策研究综述

引用

计算机应用 2024年第S2期44卷 357-363页

作者：钟坤华陈芋文秦小林孙启龙易斌中国科学院重庆绿色智能技术研究院重庆400714 中国科学院成都计算机应用研究所自动推理实验室成都610213 陆军军医大学第一附属医院麻醉科重庆400038

脓毒症是一种由细菌等病原微生物引发的医疗紧急状况,严重时可危及生命,因此早期诊断和及时治疗至关重要。近年来,机器学习技术在脓毒症的早期预测和治疗策略方面展现出巨大的潜力。通过综合多源数据,机器学习模型能精确评估患者的风险... 详细信息

脓毒症是一种由细菌等病原微生物引发的医疗紧急状况,严重时可危及生命,因此早期诊断和及时治疗至关重要。近年来,机器学习技术在脓毒症的早期预测和治疗策略方面展现出巨大的潜力。通过综合多源数据,机器学习模型能精确评估患者的风险并自动识别高风险的个体,从而实现对脓毒症的早期诊断。此外,机器学习还能辅助医生制定个性化治疗方案。然而,基于机器学习方法的临床应用目前仍面临一系列挑战,如数据标准化、模型可解释性以及医疗人员的接受度等。因此,针对基于机器学习的脓毒症预测与干预决策方法进行了系统综述。首先,介绍了脓毒症预测与干预决策的基础流程和框架;接着,系统性地概括了基于机器学习的脓毒症预测与干预决策的方法、相关数据及评价指标;然后,详细总结了机器学习方法在脓毒症相关临床方面的具体应用;最后,总结了目前该领域面临的主要挑战,并展望了未来的发展趋势。

关键词：脓毒症机器学习早期预测治疗策略

来源：评论

学校读者我要写书评

暂无评论

基于深度高斯过程回归的术中失血量和血红蛋白损失量估计

引用

计算机应用 2023年第S2期43卷 306-311页

作者：钟坤华陈芋文秦小林张力戈李雨捷胡小艳易斌中国科学院重庆绿色智能技术研究院重庆400714 中国科学院成都计算机应用研究所自动推理实验室成都610299 陆军军医大学第一附属医院麻醉科重庆400038

动态、准确地估计失血量对围手术期管理非常重要,但测量术中失血量是一项困难的任务,特别是当血液被医用纱布吸收时。针对上述情况,以浸血医用纱布图像为研究对象,提出一种基于密集连接卷积网络(DenseNet)的深度多任务高斯过程回归(DMG... 详细信息

动态、准确地估计失血量对围手术期管理非常重要,但测量术中失血量是一项困难的任务,特别是当血液被医用纱布吸收时。针对上述情况,以浸血医用纱布图像为研究对象,提出一种基于密集连接卷积网络(DenseNet)的深度多任务高斯过程回归(DMGPR)方法,以估计术中失血量和血红蛋白(Hb)损失量。DMGPR方法包括两部分:用于自动特征提取的密集连接卷积网络(DenseNet)和用于失血量及Hb损失量估计的多任务高斯回归过程(MGPR)。在手术室正常光照条件下,采集了569张浸血纱布图像,并对这些图像进行在线扩充,构建实验数据集。以决定系数(R2)、均方误差(MSE)和平均绝对误差(MAE)为性能指标,对DMGPR方法进行评估和对比。在失血量估计方面,DMGPR方法的R2、MSE和MAE分别为0.971、0.080和0.151;而在Hb损失量估计方面,DMGPR方法的相应结果分别为0.950、0.217和0.292。实验结果表明,DMGPR可以动态、准确地估计术中失血量和Hb损失量,并且比其他对比方法具有更好的性能,更适合于主要使用医用纱布和小到中度失血的手术。

关键词：术中失血量密集连接卷积网络深度高斯过程回归特征提取血红蛋白

来源：评论

学校读者我要写书评

暂无评论

求合取范式可满足性问题全部解的一个算法

求合取范式可满足性问题全部解的一个算法

引用

2002年全国理论计算机科学学术年会

作者：曾振柄中国科学院成都计算机应用研究所自动推理实验室(成都)

本文提出了把SAT问题转化为多项式问题,求解SAT问题的全部解集合的方法,通过执行Maple程序来实现.该方法能够得到SAT问题的全部解集合.

关键词：合取范式可满足性问题多项式

来源：评论

学校读者我要写书评

暂无评论

谈信息化时代我国的身份认证技术

谈信息化时代我国的身份认证技术

引用

2004年四川省博士专家论坛——信息化与新跨越

作者：万武南王晓京刘旸中国科学院成都计算机应用研究所自动推理实验室610041

在信息安全体系中，身份认证是安全系统中的第一道关卡，用户在访问安全系统之前，首先经过身份认证系统识别身份，然后访问监控器根据用户的身份和授权数据库决定用户是否能够访问某个资源。本文首先论述了传统的身份鉴别方法存在明显... 详细信息

在信息安全体系中，身份认证是安全系统中的第一道关卡，用户在访问安全系统之前，首先经过身份认证系统识别身份，然后访问监控器根据用户的身份和授权数据库决定用户是否能够访问某个资源。本文首先论述了传统的身份鉴别方法存在明显的缺点;指出在信息化时代，有效地鉴定个人的身份有着重大的社会和经济意义，它可以有效地防止犯罪和诈骗、提高办公效率、节约资源，因此给我国身份认证技术的发展带来了新的机遇和挑战;然后分析了身份认证技术发展的现状，为加强我国身份认证技术建设，保障我国经济的安全运行和国家的根本利益，指出发展生物认证技术，成立身份认证评测中心，制定统一的标准和规范，以及身份认证技术的产业化几点对策建议。

关键词：身份认证生物认证技术信息安全信息产业

来源：评论

学校读者我要写书评

暂无评论

基于HElib的并行多比特明文同态比较模型

引用

计算机应用 2015年第A2期35卷 53-56,69页

作者：孙爽吴文渊王会勇中国科学院成都计算机应用研究所成都610041 自动推理与认知重庆市重点实验室(中国科学院重庆绿色智能技术研究院) 重庆400714 桂林电子科技大学数学与计算科学学院广西桂林541004

针对现有同态加密算法效率太低的问题,设计实现了一个并行多比特明文比较模型。首先基于BGV方案实现了单比特明文的同态比较运算;然后利用单指令多数据流(SIMD)技术实现了多比特明文的同态比较运算;最后,充分利用明文槽个数多的优势,设... 详细信息

针对现有同态加密算法效率太低的问题,设计实现了一个并行多比特明文比较模型。首先基于BGV方案实现了单比特明文的同态比较运算;然后利用单指令多数据流(SIMD)技术实现了多比特明文的同态比较运算;最后,充分利用明文槽个数多的优势,设计实现了一次运算可并行比较多个多比特明文的同态运算模型。通过调用HElib同态算法库中的同态加法及同态乘法操作,编写了同态比较运算操作函数并进行数值实验。结果表明该模型极大地提高了同态比较运算的效率,证明了该模型的有效性。

关键词：同态加密 BGV 单指令多数据流明文槽 HElib

来源：评论

学校读者我要写书评

暂无评论

几何定理可读证明的并行化方法(英文)

引用

科学技术与工程 2007年第18期7卷 4769-4773,4780页

作者：潘斌郭红霞中国科学院成都计算机应用研究所自动推理实验室成都610041 成都大学电子信息工程学院成都610106

为了生成传统形式的几何定理可读证明,前推法必不可少。但是现有算法在实际应用中对复杂命题的解题效率还存在问题。文中尝试用并行计算方法来提高算法效率,分析了消息传递编程模型下的任务划分、通信组织、任务调度等问题,并在MPICH2... 详细信息

为了生成传统形式的几何定理可读证明,前推法必不可少。但是现有算法在实际应用中对复杂命题的解题效率还存在问题。文中尝试用并行计算方法来提高算法效率,分析了消息传递编程模型下的任务划分、通信组织、任务调度等问题,并在MPICH2下实现了并行前向推理算法,对算法的并行性能指标进行了测试。

关键词：几何定理可读证明并行前向推理并行性能量度流水线

来源：评论

学校读者我要写书评

暂无评论

一个基于整数的全同态加密改进方案

引用

密码学报 2016年第1期3卷 67-78页

作者：熊婉君韦永壮王会勇桂林电子科技大学认知无线电与信息处理省部共建教育部重点实验室桂林541004 中国科学院信息工程研究所信息安全国家重点实验室北京100190 桂林电子科技大学广西信息科学实验中心桂林541004 中国科学院成都计算机应用研究所成都610041

目前基于整数的全同态加密方案的效率较低,与实际应用仍有一定的距离.如何提高方案的效率和安全性是全同态加密技术研究的难点.本文首先分析了全同态加密方案的构造思想,总结了基于整数的全同态加密的研究现状以及相关技术.为了进一步... 详细信息

目前基于整数的全同态加密方案的效率较低,与实际应用仍有一定的距离.如何提高方案的效率和安全性是全同态加密技术研究的难点.本文首先分析了全同态加密方案的构造思想,总结了基于整数的全同态加密的研究现状以及相关技术.为了进一步提高方案的效率,本文在Dijk等人DGHV方案的基础上,通过利用Gentry的全同态加密构造基本思路,提出了一个具有较小公钥尺寸和更高效率的全同态加密新方案.新方案将明文空间由{0,1}扩展到{0,1}~l,并结合公钥元素的二次形式和密文压缩技术,有效地实现了DGHV方案的批量处理功能.再利用压缩解密电路的思路,引入SSSP假设,与加法或乘法门电路构造增强(扩展)解密电路,从而实现方案的全同态.本文对方案基于无错近似最大公约数问题(error-free GCD)的安全性规约做了较详细地分析,并从公、私钥尺寸等方面与DGHV、BDGHV方案进行了比较,新方案具有更短公钥尺寸等优点.

关键词：全同态加密效率公钥尺寸批量处理

来源：评论

学校读者我要写书评

暂无评论

一种新的外网访问内网的混合方法

一种新的外网访问内网的混合方法

引用

作者：蒙艳琳聂俊符红光电子科技大学计算机科学与工程学院中国科学院成都计算机应用研究所自动推理实验室

比较和分析了现有三种外网访问内网的主要方式。提出一种新的基于DDNS(动态域名解析)、UPnP(通用即插即用)和Squid的外网访问内网的方法,详细论述了该方法的实现原理。当系统中路由器开通UPnP功能时,路由器将内网服务器映射到公网,外网... 详细信息

比较和分析了现有三种外网访问内网的主要方式。提出一种新的基于DDNS(动态域名解析)、UPnP(通用即插即用)和Squid的外网访问内网的方法,详细论述了该方法的实现原理。当系统中路由器开通UPnP功能时,路由器将内网服务器映射到公网,外网可直接访问内网服务器;当系统中UPnP功能没有开启时,外网对内网的访问请求将转发到中转服务器,然后从中转服务器获取访问结果。给出了利用此种方法实现外网对内网的WEB访问的关键技术。最后,分析和总结了该方法的优点。

关键词： DDNS UPnP Squid 端口映射

来源：评论

学校读者我要写书评

暂无评论

一种并行层次化的重复数据删除技术

一种并行层次化的重复数据删除技术

引用

2010年第16届全国信息存储技术大会（IST2010）

作者：贾志凯王树鹏陈光达彭成中国科学院计算技术研究所电子装备结构设计教育部重点实验室(西安电子科技大学) 中国科学院成都计算机应用研究所自动推理实验室

重复数据删除技术对缩减数据占用空间、提高存储设备利用率、消减存储成本具有重要的意义,该技术逐渐发展为存储领域的一项关键技术.分析比较了几项主流的重复数据删除技术的优缺点,并提出一种并行层次化的重复数据删除算法PHD(parallel... 详细信息

重复数据删除技术对缩减数据占用空间、提高存储设备利用率、消减存储成本具有重要的意义,该技术逐渐发展为存储领域的一项关键技术.分析比较了几项主流的重复数据删除技术的优缺点,并提出一种并行层次化的重复数据删除算法PHD(parallel-hierarchical deduplication),通过由粗粒度到细粒度的层次化数据消冗来提高数据去重率,并在此基础上引入并行处理以充分利用多核计算机资源解决重复数据删除速率低的问题.实验结果表明,该策略在保证重复数据删除率的同时,有效地提高了重复数据删除速率.

关键词：重复数据删除层次化并行

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：