咨询与建议

限定检索结果

文献类型

  • 37 篇 期刊文献
  • 2 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 28 篇 工学
    • 27 篇 计算机科学与技术...
    • 13 篇 软件工程
    • 10 篇 网络空间安全
    • 4 篇 控制科学与工程
    • 1 篇 水利工程
    • 1 篇 环境科学与工程(可...
  • 9 篇 理学
    • 6 篇 数学
    • 1 篇 物理学
    • 1 篇 天文学
    • 1 篇 生态学
  • 7 篇 管理学
    • 7 篇 管理科学与工程(可...

主题

  • 4 篇 同态加密
  • 4 篇 终止性分析
  • 4 篇 机器学习
  • 3 篇 格密码
  • 3 篇 可信计算
  • 2 篇 程序终止性
  • 2 篇 变元序
  • 2 篇 柱形代数分解
  • 2 篇 安全多方计算
  • 2 篇 公钥加密
  • 2 篇 dixon结式
  • 2 篇 可否认加密
  • 2 篇 mlwe
  • 2 篇 非线性循环
  • 2 篇 数字签名
  • 2 篇 lll算法
  • 2 篇 helib
  • 2 篇 模糊集
  • 2 篇 秩函数
  • 2 篇 抗量子攻击

机构

  • 25 篇 中国科学院重庆绿...
  • 19 篇 中国科学院大学
  • 10 篇 重庆邮电大学
  • 7 篇 中国科学院重庆绿...
  • 7 篇 自动推理与认知重...
  • 3 篇 桂林电子科技大学
  • 3 篇 中国科学院成都计...
  • 1 篇 重庆交通大学
  • 1 篇 萨基姆通讯有限公...
  • 1 篇 中国科学院重庆绿...
  • 1 篇 江苏大学
  • 1 篇 中国科学院重庆绿...
  • 1 篇 四川农业大学
  • 1 篇 中国科学院成都计...
  • 1 篇 重庆市公共交通控...
  • 1 篇 中国人民大学
  • 1 篇 中国科学院成都计...
  • 1 篇 重庆市凤筑科技有...
  • 1 篇 重庆文理学院
  • 1 篇 广西师范大学

作者

  • 26 篇 吴文渊
  • 17 篇 冯勇
  • 14 篇 feng yong
  • 12 篇 wu wen-yuan
  • 12 篇 wu wenyuan
  • 11 篇 li yi
  • 11 篇 李轶
  • 6 篇 陈长波
  • 4 篇 chen changbo
  • 4 篇 周双
  • 4 篇 zhou shuang
  • 3 篇 王会勇
  • 3 篇 陈经纬
  • 2 篇 ke cheng-song
  • 2 篇 wang huiyong
  • 2 篇 秦小林
  • 2 篇 唐卷
  • 2 篇 王正江
  • 2 篇 汪维华
  • 2 篇 杨文强

语言

  • 39 篇 中文
检索条件"机构=中国科学院重庆绿色智能技术研究院自动推理与认知重庆市重点实验室"
39 条 记 录,以下是1-10 订阅
排序:
有界闭连通域上的非线性循环终止性分析
收藏 引用
软件学报 2016年 第3期27卷 517-526页
作者: 李轶 冯勇 自动推理与认知重庆市重点实验室(中国科学院重庆绿色智能技术研究院) 重庆401120
运用计算机代数中的Groebner基理论,对有界闭连通域上的单重非线性循环程序的终止性问题进行研究,建立了可计算的终止性判定算法.该算法将这类循环的终止性判定问题归约为有无不动点的判定问题.
来源: 评论
有界闭域上的线性赋值循环终止性分析
收藏 引用
软件学报 2014年 第6期25卷 1133-1142页
作者: 李轶 吴文渊 冯勇 中国科学院重庆绿色智能技术研究院自动推理与认知重庆市重点实验室 重庆401120
对有界闭域上的线性赋值循环程序终止性问题进行研究.利用Jordan标准型技术将原循环程序的终止性问题约减为终止性等价的具有简单结构的循环程序的终止性问题.证明了当线性迭代映射满足一定条件时,该类循环程序不可终止的充分必要条件是... 详细信息
来源: 评论
太阳高纬和低纬活动现象的混沌与分形特征
收藏 引用
物理学报 2015年 第24期64卷 435-444页
作者: 周双 冯勇 吴文渊 中国科学院重庆绿色智能技术研究院 自动推理与认知重庆市重点实验室重庆400714 中国科学院大学 北京100049
为了研究太阳高纬度和低纬度活动现象在南北半球的混沌与分形特征,结合递归分析方法与Grassberger-Procaccia算法两种技术对1952年2月至1998年6月的极区光斑和黑子数目两种太阳磁活动指标进行了详细分析和比较.主要结论如下:1)由于太阳... 详细信息
来源: 评论
一种基于模糊C均值聚类小数据量计算最大Lyapunov指数的新方法
收藏 引用
物理学报 2016年 第2期65卷 42-48页
作者: 周双 冯勇 吴文渊 汪维华 中国科学院重庆绿色智能技术研究院 自动推理与认知重庆市重点实验室重庆400714 中国科学院大学 北京100049
在小数据量计算最大Lyapunov指数的过程中,为了减少人为因素识别线性区域带来的误差,提出一种基于模糊C均值聚类的新方法.该方法根据平均发散程度指数曲线的变化特征,利用分类算法进行识别.首先,利用小数据量算法对混沌时间序列进行计... 详细信息
来源: 评论
一种识别关联维数无标度区间的新方法
收藏 引用
物理学报 2015年 第13期64卷 28-33页
作者: 周双 冯勇 吴文渊 中国科学院重庆绿色智能技术研究院 自动推理与认知重庆市重点实验室重庆400714 中国科学院大学 北京100049
在计算关联维数过程中,为了减少人为因素识别无标度区间带来的误差,提出一种基于模拟退火遗传模糊C均值聚类识别无标度区间的新方法.该方法根据无标度区间对应曲线的二阶导数在零附近波动的变化特征,利用分类算法进行识别.首先对双对数... 详细信息
来源: 评论
零误差计算
收藏 引用
中国科学:数学 2021年 第1期51卷 3-16页
作者: 冯勇 陈经纬 中国科学院重庆绿色智能技术研究院 重庆400714 自动推理与认知重庆市重点实验室 重庆400714
研究采用有误差的数值计算来获得无误差的准确值具有重要的理论价值和应用价值.这种通过近似的数值方法获得准确结果的计算被称为零误差计算.本文首先指出,只有一致离散集合中的数才能够开展零误差计算,即有非零隔离界的数集,这也是&qu... 详细信息
来源: 评论
基于LWE问题的发送方可否认公钥加密方案
收藏 引用
工程科学技术 2020年 第2期52卷 192-199页
作者: 吴文渊 郑嘉彤 冯勇 自动推理与认知重庆市重点实验室 重庆400714 中国科学院重庆绿色智能技术研究院 重庆400714 中国科学院大学 北京101408
采用可否认加密方案可以有效解决因敌手胁迫导致的信息泄露问题。目前,国内外学者提出的可否认加密方案,大多不能抵御量子计算机的攻击,且没有对方案的性能进行分析和实现。针对该问题,本文提出并实现一种基于容错学习困难问题(LWE)构... 详细信息
来源: 评论
改进的保群算法及其在混沌系统中的应用
收藏 引用
物理学报 2016年 第11期65卷 11-19页
作者: 陆见光 唐卷 秦小林 冯勇 中国科学院成都计算机应用研究所 成都610041 中国科学院大学 北京100049 中国科学院重庆绿色智能技术研究院自动推理与认知重庆市重点实验室 重庆400714
混沌系统的跟踪控制是近年来非线性控制领域研究的热点之一.本文提出了一种基于快速下降控制方法的保群算法,此方法使受控混沌系统能够快速稳定到相空间的一个不动点;另外提出一种基于滑模控制方法的保群算法,此方法使受控混沌系统能够... 详细信息
来源: 评论
线性常微分方程的全局误差估计和优化求解方法
收藏 引用
中国科学:数学 2021年 第1期51卷 239-256页
作者: 杨文强 吴文渊 中国科学院重庆绿色智能技术研究院自动推理与认知重庆市重点实验室 重庆400714 中国科学院大学重庆学院 重庆400714
线性常微分方程初值问题求解在许多应用中起着重要作用.目前,已存在很多的数值方法和求解器用于计算离散网格点上的近似解,但很少有对全局误差(global error)进行估计和优化的方法.本文首先通过将离散数值解插值成为可微函数用来定义方... 详细信息
来源: 评论
多分支单变量循环程序的终止性分析
收藏 引用
软件学报 2015年 第2期26卷 297-304页
作者: 李轶 李传璨 吴文渊 自动推理与认知重庆市重点实验室(中国科学院重庆绿色智能技术研究院) 重庆401120 重庆邮电大学计算机科学与技术学院 重庆400065
对多分支单变量循环程序的终止性问题进行了研究.证明了在适定的条件下,该类循环程序不可终止性的充分必要条件是迭代映射在循环条件形成的区域中有不动点.特别地,当这类循环程序是多项式循环程序时,在给定条件下,其在实数域上的终止性... 详细信息
来源: 评论