中国科学院重庆绿色智能技术研究院机构知识库

浏览/检索结果: 共12条，第1-10条

帮助

限定条件	收录类别：CSCD    专题：自动推理与认知研究中心    第一作者的第一单位    第一作者单位    通讯作者单位    语种：中文

已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择期刊影响因子升序期刊影响因子降序作者升序作者降序题名升序题名降序WOS被引频次升序WOS被引频次降序发表日期升序发表日期降序提交时间升序提交时间降序
	基于同态门限密码体制的投票协议 期刊论文 计算机应用, 2017, 页码: 1-7 作者:  代小康;  陈长波;  吴文渊 Adobe PDF(440Kb)  |  收藏  |  浏览/下载：158/0  |  提交时间：2018/03/16 投票协议  门限密码体制  同态加密  健壮性  无可信第三方
	基于HElib的安全电子投票方案 期刊论文 计算机应用研究, 2017, 卷号: 34, 期号: 7, 页码: 2167-2171 作者:  王永恒;  徐晨;  陈经纬;  吴文渊 Adobe PDF(307Kb)  |  收藏  |  浏览/下载：112/0  |  提交时间：2018/03/16
	有界闭连通域上的非线性循环终止性分析 期刊论文 软件学报, 2016, 卷号: 27, 期号: 3, 页码: 517-526 作者:  李轶;  冯勇 Adobe PDF(378Kb)  |  收藏  |  浏览/下载：79/0  |  提交时间：2018/03/16
	STL文件的法向量错误修复 期刊论文 计算机应用研究, 2015, 卷号: 32, 期号: 10, 页码: 3196-3200 作者:  李文康;  陈长波;  吴文渊 Adobe PDF(344Kb)  |  收藏  |  浏览/下载：81/0  |  提交时间：2018/03/16
	有效保留模型特征的自适应分层算法 期刊论文 计算机应用, 2015, 卷号: 35, 期号: 8, 页码: 2295-2300 作者:  李文康;  陈长波;  吴文渊 Adobe PDF(1277Kb)  |  收藏  |  浏览/下载：87/0  |  提交时间：2018/03/16
	有界闭域上的线性赋值循环终止性分析 期刊论文 软件学报, 2014, 卷号: 25, 期号: 6, 页码: 1133-1142 作者:  李轶;  吴文渊;  冯勇 Adobe PDF(738Kb)  |  收藏  |  浏览/下载：66/0  |  提交时间：2018/03/16
	一类带初始输入的线性循环终止性分析 期刊论文 四川大学学报. 工程科学版, 2014, 卷号: 46, 期号: 5, 页码: 81-87 作者:  李轶;  李传璨;  吴文渊 Adobe PDF(293Kb)  |  收藏  |  浏览/下载：59/0  |  提交时间：2018/03/16
	微分代数系统中分块快速指标约简的启发式算法 期刊论文 四川大学学报. 工程科学版, 2014, 卷号: 46, 期号: 4, 页码: 67-74 作者:  唐卷;  杨文强;  吴文渊;  冯勇 Adobe PDF(537Kb)  |  收藏  |  浏览/下载：74/0  |  提交时间：2018/03/16
	线性循环程序的终止性判定 期刊论文 系统科学与数学, 2013, 卷号: 33, 期号: 5, 页码: 626-638 作者:  李轶 Adobe PDF(983Kb)  |  收藏  |  浏览/下载：40/0  |  提交时间：2018/03/16
	一类非线性方程组奇异解的计算方法及其应用 期刊论文 计算机应用, 2013, 卷号: 33, 期号: 1, 页码: 230-233 作者:  季振义;  吴文渊;  冯勇 Adobe PDF(881Kb)  |  收藏  |  浏览/下载：65/0  |  提交时间：2018/03/16