咨询与建议

限定检索结果

文献类型

  • 122 篇 期刊文献
  • 12 篇 会议

馆藏范围

  • 134 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 118 篇 工学
    • 85 篇 计算机科学与技术...
    • 50 篇 软件工程
    • 19 篇 机械工程
    • 15 篇 控制科学与工程
    • 9 篇 网络空间安全
    • 3 篇 仪器科学与技术
    • 3 篇 材料科学与工程(可...
    • 3 篇 信息与通信工程
    • 2 篇 电子科学与技术(可...
    • 2 篇 交通运输工程
    • 2 篇 公安技术
    • 1 篇 光学工程
    • 1 篇 动力工程及工程热...
    • 1 篇 电气工程
    • 1 篇 测绘科学与技术
    • 1 篇 地质资源与地质工...
    • 1 篇 核科学与技术
    • 1 篇 农业工程
    • 1 篇 生物医学工程(可授...
    • 1 篇 生物工程
  • 28 篇 管理学
    • 27 篇 管理科学与工程(可...
    • 2 篇 工商管理
  • 15 篇 理学
    • 12 篇 数学
    • 2 篇 物理学
    • 1 篇 地理学
    • 1 篇 统计学(可授理学、...
  • 3 篇 军事学
    • 3 篇 军队指挥学
  • 2 篇 经济学
    • 2 篇 应用经济学
  • 1 篇 法学
    • 1 篇 公安学
  • 1 篇 教育学
    • 1 篇 教育学
  • 1 篇 农学
  • 1 篇 医学

主题

  • 6 篇 重复数据删除
  • 5 篇 云计算
  • 4 篇 遗传算法
  • 4 篇 优化算法
  • 4 篇 真值发现
  • 3 篇 纠删码
  • 3 篇 函数优化
  • 3 篇 应用程序
  • 3 篇 数据消冗存储系统
  • 3 篇 量子谐振子
  • 3 篇 多尺度量子谐振子...
  • 3 篇 层次化
  • 3 篇 任务调度
  • 3 篇 多项式
  • 3 篇 数据集成
  • 3 篇 并行
  • 2 篇 迭代
  • 2 篇 可满足性问题
  • 2 篇 同态加密
  • 2 篇 证据理论

机构

  • 86 篇 中国科学院成都计...
  • 31 篇 中国科学院大学
  • 24 篇 中国科学院成都计...
  • 22 篇 贵州大学
  • 16 篇 成都信息工程学院
  • 12 篇 电子科技大学
  • 11 篇 中国科学院成都计...
  • 8 篇 中国科学院研究生...
  • 7 篇 西南民族大学
  • 7 篇 广西民族大学
  • 6 篇 广西混杂计算与集...
  • 6 篇 电子装备结构设计...
  • 5 篇 中国科学院成都计...
  • 4 篇 桂林电子科技大学
  • 4 篇 四川师范大学
  • 4 篇 现代制造技术教育...
  • 4 篇 华东师范大学
  • 4 篇 中国科学院重庆绿...
  • 4 篇 成都信息工程大学
  • 3 篇 北京交通大学

作者

  • 20 篇 王鹏
  • 19 篇 wang peng
  • 16 篇 李少波
  • 14 篇 杨观赐
  • 12 篇 吴尽昭
  • 11 篇 huang yan
  • 11 篇 黄焱
  • 10 篇 冯勇
  • 9 篇 钟勇
  • 9 篇 yang guanci
  • 8 篇 王阳
  • 8 篇 符红光
  • 8 篇 秦小林
  • 8 篇 zhong yong
  • 8 篇 wu jinzhao
  • 7 篇 王晓京
  • 7 篇 彭成
  • 7 篇 feng yong
  • 7 篇 璩晶磊
  • 7 篇 wang yang

语言

  • 134 篇 中文
检索条件"机构=中国科学院成都计算机应用研究所自动推理实验室"
134 条 记 录,以下是71-80 订阅
排序:
基于机器学习的脓毒症预测与干预决策研究综述
收藏 引用
计算机应用 2024年 第S2期44卷 357-363页
作者: 钟坤华 陈芋文 秦小林 孙启龙 易斌 中国科学院重庆绿色智能技术研究院 重庆400714 中国科学院成都计算机应用研究所自动推理实验室 成都610213 陆军军医大学第一附属医院麻醉科 重庆400038
脓毒症是一种由细菌等病原微生物引发的医疗紧急状况,严重时可危及生命,因此早期诊断和及时治疗至关重要。近年来,机器学习技术在脓毒症的早期预测和治疗策略方面展现出巨大的潜力。通过综合多源数据,机器学习模型能精确评估患者的风险... 详细信息
来源: 评论
基于深度高斯过程回归的术中失血量和血红蛋白损失量估计
收藏 引用
计算机应用 2023年 第S2期43卷 306-311页
作者: 钟坤华 陈芋文 秦小林 张力戈 李雨捷 胡小艳 易斌 中国科学院重庆绿色智能技术研究院 重庆400714 中国科学院成都计算机应用研究所自动推理实验室 成都610299 陆军军医大学第一附属医院麻醉科 重庆400038
动态、准确地估计失血量对围手术期管理非常重要,但测量术中失血量是一项困难的任务,特别是当血液被医用纱布吸收时。针对上述情况,以浸血医用纱布图像为研究对象,提出一种基于密集连接卷积网络(DenseNet)的深度多任务高斯过程回归(DMG... 详细信息
来源: 评论
求合取范式可满足性问题全部解的一个算法
求合取范式可满足性问题全部解的一个算法
收藏 引用
2002年全国理论计算机科学学术年会
作者: 曾振柄 中国科学院成都计算机应用研究所自动推理实验室(成都)
本文提出了把SAT问题转化为多项式问题,求解SAT问题的全部解集合的方法,通过执行Maple程序来实现.该方法能够得到SAT问题的全部解集合.
来源: 评论
安全性电子投票方案研究综述
收藏 引用
计算机科学 2020年 第9期47卷 275-282页
作者: 蒲泓全 崔喆 刘霆 饶金涛 中国科学院成都计算机应用研究所 成都610041 中国科学院大学 北京100049 广西混杂计算与集成电路设计分析重点实验室 南宁530006
近年来,电子投票因可以大幅度提高投票活动的效率和结果的准确性而得到高度关注。安全性问题一直是制约电子投票发展的瓶颈,许多研究者针对某一应用功能场景提出了相关的电子投票方案。结合电子投票的学术研究现状,详细分析了电子投票... 详细信息
来源: 评论
基于行为博弈进化算法的并联混合动力汽车控制策略参数优化
收藏 引用
科学技术与工程 2017年 第13期17卷 70-76页
作者: 杨观赐 张钧星 李少波 王阳 马良君 贵州大学现代制造技术教育部重点实验室 贵阳550003 中国科学院成都计算机应用研究所 成都610041
控制策略是影响并联混合动力汽车(PHEV)性能的重要组成部分。针对混合动力汽车控制策略优化问题,设计了基于行为博弈进化算法的并联混合动力汽车控制策略参数优化方法(PGEA);该方法以行为博弈进化算法为优化工具,以混合动力汽车的加速... 详细信息
来源: 评论
谈信息化时代我国的身份认证技术
谈信息化时代我国的身份认证技术
收藏 引用
2004年四川省博士专家论坛——信息化与新跨越
作者: 万武南 王晓京 刘旸 中国科学院 成都计算机应用研究所 自动推理实验室610041
在信息安全体系中,身份认证是安全系统中的第一道关卡,用户在访问安全系统之前,首先经过身份认证系统识别身份,然后访问监控器根据用户的身份和授权数据库决定用户是否能够访问某个资源。本文首先论述了传统的身份鉴别方法存在明显... 详细信息
来源: 评论
一种面向GIS整体开发思想和CASE工具设计
一种面向GIS整体开发思想和CASE工具设计
收藏 引用
中国科协第五届青年学术年会
作者: 陈澎 中国科学院成都计算机应用研究所自动推理室
GIS软件应用于从公共事务管理到环境控制等各个领域。随着应用广度和深度的不断扩展,如何高效地开发和维护GIS系统,显得更加重要。
来源: 评论
Dixon结式的三类多余因子
收藏 引用
中国科学(A辑) 2008年 第8期38卷 949-960页
作者: 赵世忠 符红光 上海市高可信计算重点实验室 华东师范大学上海200062 电子科技大学计算机科学与工程学院 成都610054 中国科学院成都计算机应用研究所 成都610041
Dixon结式是一种基本消元方法,它在自动控制、机器人等高技术领域中有着重要应用.但是由于结式方法可能产生多余因子,因此多余因子的产生机理一直是一大难题.本文通过将Dixon结式表示成原多项式系统的线性组合,发现了Dixon结式的部分多... 详细信息
来源: 评论
多变元Sylvester结式与多余因子
收藏 引用
中国科学:数学 2010年 第7期40卷 649-660页
作者: 赵世忠 符红光 华东师范大学上海市高可信计算重点实验室 上海200062 电子科技大学计算机科学与工程学院 成都610054 中国科学院成都计算机应用研究所 成都610041
经典的Sylvester结式方法是代数几何的一种基本消元方法,但它一次只能处理1个变元2个方程的多项式系统.本文将Sylvester结式扩展到n个变元n+1个方程的多项式系统,并且证明了新的多变元的Sylvester结式包含在原多项式系统的理想中.同时,... 详细信息
来源: 评论
基于相空间的云计算专用监控系统
收藏 引用
计算机工程 2013年 第7期39卷 40-44页
作者: 郭又铭 王鹏 唐华 陈磊 肖黎彬 中国科学院成都计算机应用研究所 成都610041 中国科学院研究生院 北京100049 成都信息工程学院并行计算实验室 成都610225
现有的集群监控系统不能反映云计算集群具有海量节点且高耦合的特性。针对该问题,设计一种基于热力学相空间理论的云计算专用监控系统。采用将节点运行参数向相空间映射的方式,使节点参数的变化转换为相空间中投影点的运动,从而对相空... 详细信息
来源: 评论