咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是91-100 订阅
排序:
异构复杂信息网络敏感数据流动态挖掘
收藏 引用
计算机工程与科学 2020年 第4期42卷 628-633页
作者: 熊菊霞 吴尽昭 中国科学院成都计算机应用研究所 四川成都610041 中国科学院大学 北京100049 广西民族大学广西混杂计算与集成电路设计分析重点实验室 广西南宁530006
针对异构复杂信息网络中存在高维冗余的敏感数据流,可挖掘数据特征形成概率较低,导致需要多次挖掘、挖掘内存占用高、挖掘精度低、时间长的问题,提出基于最大类间散度的网络敏感数据流动态挖掘方法。将敏感数据的差异最大化间隔作为分... 详细信息
来源: 评论
几何定理可读证明的并行化方法(英文)
收藏 引用
科学技术与工程 2007年 第18期7卷 4769-4773,4780页
作者: 潘斌 郭红霞 中国科学院成都计算机应用研究所自动推理实验室 成都610041 成都大学电子信息工程学院 成都610106
为了生成传统形式的几何定理可读证明,前推法必不可少。但是现有算法在实际应用中对复杂命题的解题效率还存在问题。文中尝试用并行计算方法来提高算法效率,分析了消息传递编程模型下的任务划分、通信组织、任务调度等问题,并在MPICH2... 详细信息
来源: 评论
基于行为博弈论的博弈进化算法
收藏 引用
华中科技大学学报(自然科学版) 2016年 第7期44卷 69-74页
作者: 杨观赐 王阳 李少波 谢庆生 贵州大学现代制造技术教育部重点实验室 贵州贵阳550025 俄克拉荷马州立大学电气和计算机工程学院 俄克拉荷马州斯蒂尔沃特74074 中国科学院成都计算机应用研究所 四川成都610041 贵州大学机械工程学院 贵州贵阳550025
为了获得真正意义上实现行为博弈机制的优化方法,在建立博弈进化模型的基础上,设计了基于行为博弈论的博弈进化算法(GameEA),并针对不同的决策境况设计了模仿学习与信念学习算子两种学习模型.GameEA通过得益期望决定执行的学习操作,... 详细信息
来源: 评论
基于HElib的并行多比特明文同态比较模型
收藏 引用
计算机应用 2015年 第A02期35卷 53-56,69页
作者: 孙爽 吴文渊 王会勇 中国科学院成都计算机应用研究所 成都610041 自动推理与认知重庆市重点实验室(中国科学院重庆绿色智能技术研究院) 重庆400714 桂林电子科技大学数学与计算科学学院 广西桂林541004
针对现有同态加密算法效率太低的问题,设计实现了一个并行多比特明文比较模型。首先基于BGV方案实现了单比特明文的同态比较运算;然后利用单指令多数据流(SIMD)技术实现了多比特明文的同态比较运算;最后,充分利用明文槽个数多的优势,设... 详细信息
来源: 评论
高维数据流异常节点动态跟踪仿真研究
收藏 引用
计算机仿真 2020年 第10期37卷 445-449页
作者: 熊菊霞 吴尽昭 中国科学院成都计算机应用研究所 四川成都610041 中国科学院大学 北京100049 广西民族大学广西混杂计算与集成电路设计分析重点实验室 广西南宁530006
针对传统方法难以对异常节点动态实时跟踪,且运行时间较长问题,提出一种基于高维数据流异常节点动态跟踪方法。首先,根据网络数据流的特性,通过时间系列中的平均距离和累计距离,实施高维数据流异常检测。然后建立传感器测量模型得到... 详细信息
来源: 评论
一种多核系统任务调度算法动态度量方法
收藏 引用
计算机应用研究 2019年 第1期36卷 132-135,13页
作者: 谢盈 吴尽昭 西南民族大学计算机科学与技术学院 成都610041 中国科学院成都计算机应用研究所 成都610041 中国科学院大学 北京100049 广西民族大学广西混杂计算与集成电路设计分析重点实验室 南宁530006
任务调度算法的优劣直接影响系统的功能和性能,对其进行功能验证和性能评价具有很强的现实意义。改进了IMC构建多核系统任务调度算法的功能模型,扩展aCSL从逻辑层次上刻画任务调度算法的性能指标,并基于改进的IMC和扩展的aCSL提出了一... 详细信息
来源: 评论
快速挖掘数据流中离群点
收藏 引用
小型微型计算机系统 2011年 第1期32卷 9-16页
作者: 唐向红 李国徽 杨观赐 华中科技大学计算机科学与技术学院 湖北武汉430074 贵州大学教育部现代制造技术重点实验室 贵州贵阳550003 中国科学院成都计算机应用研究所 四川成都610041
离群点检测是数据挖掘领域的一个重要分支,当前数据流的离群点检测研究越来越受到关注.为了快速准确地检测出数据流中离群点,提出一种在线数据流离群点检测算法ODDS(outlier detection in online data stream s).它利用数据与频繁模式... 详细信息
来源: 评论
软PLC中可变图元通用画图算法研究
收藏 引用
组合机床与自动化加工技术 2017年 第3期 117-120,124页
作者: 王阳 钟勇 崔梦天 杨观赐 中国科学院成都计算机应用研究所 成都610041 西南民族大学计算机科学与技术学院 成都610041 贵州大学现代制造技术教育部重点实验室 贵阳550003
为了实现软PLC(Programmable Logic Controller)系统中指令图元随关联内容的变化动态调整图元尺寸且使图元绘制算法具有更好的通用性,对目标图元进行特征分析和特征提取建立通用绘图模型,设计了专用于软PLC图元绘制的通用画图算法,并建... 详细信息
来源: 评论
成渝经济圈铁路客运网络结构特征演变及网络效应研究
收藏 引用
铁道标准设计 2024年 第6期68卷 12-19,30页
作者: 徐进 陈虎 曹炜威 西南交通大学经济管理学院 成都610031 综合交通大数据应用技术国家工程实验室 成都610031 服务科学与创新四川省重点实验室 成都610031 中国民用航空飞行学院民航飞行技术与飞行安全重点实验室 四川广汉618307 中国科学院成都计算机应用研究所 成都610029
分析成渝经济圈铁路客运网络的空间联系和结构特征演变对未来铁路网络建设和布局优化有着重要意义。基于46863617条铁路客运数据构建2015—2017年成渝经济圈铁路客运网络,采用GIS空间分析方法和网络分析方法对连续时序下铁路客运联系时... 详细信息
来源: 评论
基于向量空间的专利设计知识创新性评估算法
收藏 引用
组合机床与自动化加工技术 2017年 第7期 123-125,129页
作者: 于丽娅 王自勤 璩晶磊 姚雪梅 贵州大学现代制造技术教育部重点实验室 贵阳550025 贵州大学机械工程学院 贵阳550025 中国科学院成都计算机应用研究所 成都610041
为利用专利中的设计知识辅助创新设计,通过分析专利设计知识的特点,以专利文献中的动名词短语进行创新层次特征抽取。通过引入向量空间的余弦相似度原理,设计了基于向量空间的专利设计知识创新性评估算法,实现专利设计知识的量化评估辅... 详细信息
来源: 评论