检索结果-内蒙古大学图书馆

中国科协第五届青年学术年会

作者：刘旸王晓京万武南中国科学院成都计算机应用研究所自动推理室中国科学院成都计算机应用研究所自动推理室中国科学院成都计算机应用研究所自动推理室

数字水印按其功能可分为顽健性水印和易碎性水印和顽健性水印主要应用于媒体的知识产权保护,防止非法获取;易碎性水印主要应用于媒体的完整性验证。目前国内外关于文本数字水印的研究相对较少。Hartung认为目前关于文本水印

关键词：数字水印版权保护文本文档

来源：评论

学校读者我要写书评

暂无评论

基于多密钥同态技术的安全多方计算协议

引用

华南理工大学学报（自然科学版） 2017年第7期45卷 69-76页

作者：王会勇冯勇赵岭忠唐士杰中国科学院大学成都计算机应用研究所四川成都610041 桂林电子科技大学数学与计算科学学院广西桂林541004 中国科学院重庆绿色智能技术研究院自动推理与认知重庆市重点实验室重庆400714 桂林电子科技大学广西可信软件重点实验室广西桂林541004

为构造具有良好性能的多密钥安全多方计算(SMC)协议,对Gentry-Sahai-Waters(GSW13)全同态加密(FHE)方案的密钥同态性质进行了研究.在此基础上提出了一个基于GSW13方案的层次型多密钥SMC协议,该协议构造方式简单,只需要3轮通信,且在半诚... 详细信息

为构造具有良好性能的多密钥安全多方计算(SMC)协议,对Gentry-Sahai-Waters(GSW13)全同态加密(FHE)方案的密钥同态性质进行了研究.在此基础上提出了一个基于GSW13方案的层次型多密钥SMC协议,该协议构造方式简单,只需要3轮通信,且在半诚实与半恶意环境和公共随机串模型下,其安全性可以归结到容错学习问题(LWE)和它的一个变种问题;分析了该变种问题的困难性,并给出了半恶意模型下该协议的形式化安全证明.该协议自然构成一个相同环境下的层次型多密钥全同态加密方案.对比分析表明,文中协议在整体性能上优于已有方案.

关键词：安全多方计算多密钥全同态加密密钥同态门限解密 GSW13

来源：评论

学校读者我要写书评

暂无评论

基于复合离散混沌动力系统的伪随机数发生器

基于复合离散混沌动力系统的伪随机数发生器

引用

中国科协第五届青年学术年会

作者：万武南王晓京刘旸中国科学院成都计算机应用研究所自动推理室中国科学院成都计算机应用研究所自动推理室中国科学院成都计算机应用研究所自动推理室

目前,在混沌伪随机序列的研究中,大部分混沌伪随机数发生器(PRNG)采用单混沌映射迭代运算来产生伪随机序列,作为密码流掩盖密文。但是,由于实际计算中双精度实数的有限数字位数是有限的,混沌序列在迭代过程中必将退化为周期序列。周红... 详细信息

目前,在混沌伪随机序列的研究中,大部分混沌伪随机数发生器(PRNG)采用单混沌映射迭代运算来产生伪随机序列,作为密码流掩盖密文。但是,由于实际计算中双精度实数的有限数字位数是有限的,混沌序列在迭代过程中必将退化为周期序列。周红等人提出了利用扰动策略改善这

关键词：混沌伪随机数发生器有限精度

来源：评论

学校读者我要写书评

暂无评论

MPSoC核协调可靠性和性能的形式化验证

引用

四川大学学报（工程科学版） 2016年第3期48卷 107-114页

作者：张晖吴尽昭谢盈曹俊月中国科学院成都计算机应用研究所四川成都610041 中国科学院大学北京100049 贵州银行博士后科研工作站贵州贵阳550001 广西民族大学广西混杂计算与集成电路设计分析重点实验室广西南宁530006

为了在早期发现片上多核处理器(MPSoC)设计缺陷,提出一种对核协调进行结构建模和性质刻画的形式化方法。在标记变迁系统中引入多项式函数替代动作表达核协调过程中对数据的改变,加入物理元器件发生故障的概率属性,形成用以描述核协调可... 详细信息

为了在早期发现片上多核处理器(MPSoC)设计缺陷,提出一种对核协调进行结构建模和性质刻画的形式化方法。在标记变迁系统中引入多项式函数替代动作表达核协调过程中对数据的改变,加入物理元器件发生故障的概率属性,形成用以描述核协调可靠性和性能的混杂马尔科夫决策过程模型。采用随机时序逻辑刻画系统性质,通过模型检测工具验证分析,以银行数据脱敏MPSoC为例,分析系统可靠性和时间延迟与能耗等性能指标。这些验证结果对于早期MPSoC设计人员具有较强的指导作用。

关键词：片上多核处理器核协调混杂变迁系统混杂马尔科夫决策过程随机时序逻辑 PRISM模型检测器数据脱敏

来源：评论

学校读者我要写书评

暂无评论

多尺度量子谐振子算法性能分析

引用

计算机应用 2015年第6期35卷 1600-1604页

作者：袁亚男王鹏刘峰中国科学院成都计算机应用研究所成都610041 中国科学院大学北京100049 成都信息工程学院并行计算实验室成都610225

多尺度量子谐振子算法(MQHOA)具有良好的全局收敛性以及自适应性。为分析研究MQHOA求解精度与速度具体性能,通过求解整数非线性规划问题,将MQHOA和采用量子行为模型且已被广泛使用的量子粒子群优化(QPSO)算法以及改进的随机平均最好位... 详细信息

多尺度量子谐振子算法(MQHOA)具有良好的全局收敛性以及自适应性。为分析研究MQHOA求解精度与速度具体性能,通过求解整数非线性规划问题,将MQHOA和采用量子行为模型且已被广泛使用的量子粒子群优化(QPSO)算法以及改进的随机平均最好位置量子粒子群(QPSO-RM)算法进行理论模型和实验对比,仿真实验中,MQHOA对7组无约束整数规划问题的求解均取得100%成功率且求解速度整体上略快于QPSO和QPSO-RM;对2组有约束整数规划问题的求解速度比QPSO、QPSO-RM稍慢,但MQHOA的求解成功率均为100%,高于后两者;通过和QPSO、QPSO-RM的收敛过程进行对比,MQHOA更快更早于对比算法收敛到全局最优解。实验结果表明:MQHOA能有效地适应整数规划求解问题,能够避免陷入局部最优解的情况从而获得全局最优解,并在求解精度和收敛速度上均优于对比算法。

关键词：多尺度量子谐振子算法全局收敛量子行为模型量子粒子群优化算法整数非线性规划

来源：评论

学校读者我要写书评

暂无评论

基于纠删码的数据消冗存储系统可靠性增强研究

引用

计算机研究与发展 2011年第S1期48卷 1-6页

作者：彭成王树鹏贾志凯中国科学院成都计算机应用研究所自动推理实验室成都610041 中国科学院计算技术研究所信息安全研究中心北京100190 电子装备结构设计教育部重点实验室(西安电子科技大学) 西安710071

针对如何使用纠删码技术增强数据消冗存储系统可靠性的问题进行了研究,首先研究了纠删编码中关键参数对存储可靠性的影响,通过数学推导证明了使用纠删码技术并不总是会比冗余复制技术更有效的增强存储可靠性,同时分析了使用纠删码技术... 详细信息

针对如何使用纠删码技术增强数据消冗存储系统可靠性的问题进行了研究,首先研究了纠删编码中关键参数对存储可靠性的影响,通过数学推导证明了使用纠删码技术并不总是会比冗余复制技术更有效的增强存储可靠性,同时分析了使用纠删码技术增强存储可靠性的条件,并结合数据消冗存储系统的特点给出一种纠删编码关键参数的选取算法,经过实验证明,该算法能够利用更少的存储空间获得比冗余复制技术更高的存储可靠性.

关键词：数据消冗存储系统重复数据删除纠删码

来源：评论

学校读者我要写书评

暂无评论

面向时间序列有序分类的Shapelet抽取算法

引用

电子科技大学学报 2023年第6期52卷 887-896页

作者：杨骏敬思远钟勇中国科学院成都计算机应用研究所成都610041 乐山师范学院电子信息与人工智能学院四川乐山614000 中国科学院大学计算机科学与技术学院北京石景山区100049 厅市共建智能终端四川省重点实验室四川宜宾644000

当前面向时间序列有序分类的Shapelet抽取算法,首先计算Shapelet与时间序列之间的欧式距离及其类别标签之间的距离,然后根据两种距离的皮尔逊相关系数或斯皮尔曼相关系数来对Shapelet进行评价,效率较低。针对该问题,提出一种基于SAX表... 详细信息

当前面向时间序列有序分类的Shapelet抽取算法,首先计算Shapelet与时间序列之间的欧式距离及其类别标签之间的距离,然后根据两种距离的皮尔逊相关系数或斯皮尔曼相关系数来对Shapelet进行评价,效率较低。针对该问题,提出一种基于SAX表示时间序列的Shapelet评价指标CD-Cover,该指标同时考虑Shapelet对时间序列数据集的覆盖集中度和覆盖优势度。其次,提出一种基于随机采样的Shapelet抽取算法,该算法采用布隆过滤器对候选Shapelet进行预剪枝,采用移除自相似策略对抽取结果进行后剪枝。在11个时间序列公开数据集上的实验结果表明,相比现有方法,该算法抽取的Shapelet具有更好的有序分类能力,且算法的计算效率也更高。

关键词：特征评价有序分类 Shapelet 时间序列

来源：评论

学校读者我要写书评

暂无评论

一类积分不等式的机器判定

引用

中国科学：信息科学 2011年第1期41卷 48-65页

作者：杨路郁文生袁如意华东师范大学软件学院上海高可信计算重点实验室上海200062 中国科学院成都计算机应用研究所自动推理实验室成都610041 中国科学院自动化研究所综合信息系统研究中心北京100190

将一类积分不等式转化为Tarski模型外的齐次对称多项式不等式,该类齐次对称多项式的次数是给定的,变元个数可以是任意多个,并且多项式的系数是与变元个数相关的变系数.这些特点与杨路等人最近提出的几个公开问题密切相关,是比较有代表... 详细信息

将一类积分不等式转化为Tarski模型外的齐次对称多项式不等式,该类齐次对称多项式的次数是给定的,变元个数可以是任意多个,并且多项式的系数是与变元个数相关的变系数.这些特点与杨路等人最近提出的几个公开问题密切相关,是比较有代表性的一类齐次对称多项式.然后利用Timofte关于对称多项式不等式判定的降维方法,结合不等式证明软件BOTTEMA及差分代换方法,给出对应的一类Tarski模型外的齐次对称多项式不等式的机器判定算法,从而实现原积分不等式的机器判定.当给定的积分不等式及齐次对称多项式不等式不成立时,可给出具体不成立的数值反例.应用例子表明问题的广泛性及算法的有效性.

关键词：积分不等式对称多项式不等式 Timofte降维法差分代换机器判定不等式证明软件-BOTTEMA

来源：评论

学校读者我要写书评

暂无评论

几何定理机器证明三十年

引用

系统科学与数学 2009年第9期29卷 1155-1168页

作者：张景中李永彬电子科技大学与中科院成都计算所自动推理联合实验室成都610054 中国科学院成都计算机应用研究所成都610041 广州大学计算机与教育软件学院广州510006 电子科技大学应用数学学院成都610054

由于传统的兴趣和多种原因,几何定理的机器证明在自动推理的研究中占有重要的地位.自吴法发表至今30年,几何定理机器证明的研究和实践有了很大的进展.对无序几何命题而言,代数方法、数值方法均能有效地判定其真假,面积法(消点法)、搜索... 详细信息

由于传统的兴趣和多种原因,几何定理的机器证明在自动推理的研究中占有重要的地位.自吴法发表至今30年,几何定理机器证明的研究和实践有了很大的进展.对无序几何命题而言,代数方法、数值方法均能有效地判定其真假,面积法(消点法)、搜索法更能生成其可读的证明.几何不等式机器证明的研究,由于多项式完全判别系统的建立,也有了突破.研究领域已由机器证明扩展为包括几何作图在内的一般几何问题的机器求解,并有了实际的应用.

关键词：几何定理机器证明可读证明代数方法面积法基于数据库的搜索法.

来源：评论

学校读者我要写书评

暂无评论

基于吴方法的多值模型检验

引用

系统科学与数学 2008年第8期28卷 1020-1029页

作者：赵林吴尽昭北京交通大学轨道交通控制与安全国家重点实验室北京100044 中国科学院成都计算机应用研究所成都610041

大型复杂系统的开发过程中不可避免的涉及到非确定或不一致信息的处理,而多值模型检验作为经典模型检验的一种扩展,是处理和分析包含此类信息模型的一种有效手段.提出了一种系统化的多值逻辑(涵盖经典逻辑)的代数表示方法,使用吴方法的... 详细信息

大型复杂系统的开发过程中不可避免的涉及到非确定或不一致信息的处理,而多值模型检验作为经典模型检验的一种扩展,是处理和分析包含此类信息模型的一种有效手段.提出了一种系统化的多值逻辑(涵盖经典逻辑)的代数表示方法,使用吴方法的基本思想和框架实现复杂系统形式验证中基于多值逻辑的模型检验的代数化,建立了通过吴方法实现多值模型检验技术的整体框架.这种代数化的多值模型检验方法可以作为现有方法的有力补充.

关键词：多值模型检验拟布尔逻辑多项式吴方法.

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：