咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是1-10 订阅
排序:
基于上下文通道注意力机制的人脸属性估计与表情识别
收藏 引用
计算机应用 2025年 第1期45卷 253-260页
作者: 徐杰 钟勇 王阳 张昌福 杨观赐 现代制造技术教育部重点实验室(贵州大学) 贵阳550025 中国科学院成都计算机应用研究所 成都610213 省部共建公共大数据国家重点实验室(贵州大学) 贵阳550025 贵州大学机械工程学院 贵阳550025
人脸特征蕴含诸多信息,在面部属性和情感分析任务中具有重要价值,而面部特征的多样性和复杂性使人脸分析任务变得困难。针对上述难题,从面部细粒度特征角度出发,提出基于上下文通道注意力机制的人脸属性估计和表情识别(FAER)模型。首先... 详细信息
来源: 评论
协同设计环境下的任务分配方法的研究
收藏 引用
计算机工程 2005年 第8期31卷 151-152,208页
作者: 万武南 王晓京 宋春雨 刘旸 中国科学院成都计算机应用研究所自动推理实验室 成都610041
介绍一种基于辅助Agent的合同网模型的任务分配方法,并给出了协作过程中的任务选择策略和Agent选择策略,改进基本合同网模型的缺点和不足,以解决多Agent的协同设计系统中分布合作求解问题和任务分配,达到全局最优化,产生高质量的设计及... 详细信息
来源: 评论
淋巴液形成的一个生物力学模型
收藏 引用
生物医学工程学杂志 2000年 第3期17卷 273-276页
作者: 郭仲三 中国科学院成都计算机应用研究所自动推理实验室 成都610041
分析了初始淋巴管与间质的相互作用 ,考察了淋巴液形成过程 ,提出了淋巴液形成的相互作用理论 ,说明了不仅要考虑间质流体压力 ,还要考虑间质固相法应力及总应力 ,才能了解淋巴液的形成机理 ,间质孔隙度则直接影响着淋巴流量。
来源: 评论
教育软件层次三角质量建模与分析
收藏 引用
计算机工程 2005年 第13期31卷 65-66,117页
作者: 方海光 中国科学院成都计算机应用研究所自动推理室 成都610041
教育软件的质量评估因为缺乏统一认识显得很不清晰。该文对教育软件进行分类和定义了质量评估的粒度。根据几种主要的软件质量模型,建立了教育软件层次三角质量模型,分析其要素的含义和相关性。对该模型进行了形式化的初步分析。
来源: 评论
Dixon结式在密码学中的应用
收藏 引用
软件学报 2007年 第7期18卷 1738-1745页
作者: 唐樨瑾 冯勇 中国科学院成都计算机应用研究所自动推理实验室 四川成都610041
针对密码学中的多变元多项式二次方程系统求解问题,基于扩展Dixon结式提出了一种求解算法DR(Dixon resultants).基本思想为对于MQ(multivariate quadratic)问题,把x1,x2,…,xn?1当作变元,而把xn当作参数,然后利用和改进扩展Dixon结式方... 详细信息
来源: 评论
改进的保群算法及其在混沌系统中的应用
收藏 引用
物理学报 2016年 第11期65卷 11-19页
作者: 陆见光 唐卷 秦小林 冯勇 中国科学院成都计算机应用研究所 成都610041 中国科学院大学 北京100049 中国科学院重庆绿色智能技术研究院自动推理与认知重庆市重点实验室 重庆400714
混沌系统的跟踪控制是近年来非线性控制领域研究的热点之一.本文提出了一种基于快速下降控制方法的保群算法,此方法使受控混沌系统能够快速稳定到相空间的一个不动点;另外提出一种基于滑模控制方法的保群算法,此方法使受控混沌系统能够... 详细信息
来源: 评论
求合取范式可满足性问题全部解的一个算法
收藏 引用
计算机科学 2002年 第z1期29卷 152-154页
作者: 曾振柄 中国科学院成都计算机应用研究所自动推理实验室 成都610041
  设p1,p2,…,pn是一些命题符,--pi是pi的否定.考虑由pi,--pi(i=1,2,…,n)构成的文字符集合Q,其中的若干个文字符q1,q2,…,q1通过"或者关系"V构成一个子句:……
来源: 评论
微循环系统局部控制过程的生物力学模型
收藏 引用
生物医学工程学杂志 2000年 第2期17卷 129-132,138页
作者: 郭仲三 中国科学院成都计算机应用研究所自动推理实验室 成都610041
分析了间质内血管代谢物质的产生和运动、毛细血管前括约肌的开闭过程、微动脉平均半径的影响因素及微动脉自律运动振幅的变化情况,建立了微循环系统局部控制过程的生物力学模型,有助于对该过程进行定量分析。
来源: 评论
线性程序的Ranking函数自动合成
收藏 引用
四川大学学报(工程科学版) 2009年 第5期41卷 176-181页
作者: 李骏 李轶 冯勇 秦小林 中国科学院成都计算机应用研究所 四川成都610041 电子科技大学计算机推理与可信计算实验室 四川成都610054
针对判定一个程序终止性的经典方法Ranking函数法,运用半代数系统的概念,把程序终止性问题转换为求半代数系统的Ranking函数。然后运用符号计算工具DISCOV-ERER和Farkas引理,求出函数参数存在的充分必要条件,并根据符号计算理论的方法... 详细信息
来源: 评论
基于范例库推理的软件成本估算模型研究
收藏 引用
计算机工程 2006年 第19期32卷 191-192,220页
作者: 方海光 陈澎 佘莉 四川师范大学计算机软件实验室 成都610068 中国科学院成都计算机应用研究所
用传统的经验函数估算软件成本有很多局限性,采用基于范例库推理的估算方法可以很好地弥补其中的问题。讨论了软件成本估算和基于CBR推理研究的特点,从总体上阐述了COSCBR系统结构,描述了系统重要的研究方面:影响软件成本因素;层次推理;... 详细信息
来源: 评论