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

四川大学学报（工程科学版） 2016年第4期48卷 144-149页

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

为克服传统无线传感器网络数据聚合方案在数据保密计算、防止抵赖、抵御内部和外部攻击、追查并修复错误等方面的性能及安全性与效率上的不足,构造一个基于数字签名和同态加密技术的可验证隐私数据聚合方案。采用El Gamal加密方案作为... 详细信息

为克服传统无线传感器网络数据聚合方案在数据保密计算、防止抵赖、抵御内部和外部攻击、追查并修复错误等方面的性能及安全性与效率上的不足,构造一个基于数字签名和同态加密技术的可验证隐私数据聚合方案。采用El Gamal加密方案作为基础方案对隐私数据加密,并将传感器节点身份信息加入数字签名,使来自不同节点的数据具有可辨识性,从而使方案具备了验证数据及追查并修复错误的能力。采用保密干扰因子方法,使方案能够抵御内部攻击,并利用一类具有同态加性质的保密求和算法构造一种不需要可信第三方的保密干扰因子生成方法,从而避免了引入可信第三方及由此带来的安全性与效率问题。给出方案的安全性证明和效率分析,并与一些典型方案进行对比。分析结果表明,本文方案是安全的,且整体性能优于已有方案。

关键词：数据聚合同态加密数字签名可信第三方

来源：评论

学校读者我要写书评

暂无评论

基于范例推理的合同网模型

引用

小型微型计算机系统 2005年第9期26卷 1578-1581页

作者：万武南王晓京宋春雨刘旸中国科学院成都计算机应用研究所自动推理实验室四川成都610041

合同网是一类重要的基于竞争机制的协同问题求解模型,它一般不对竞争者范围进行限制,采用广播方式发布任务,消费了大量通讯负载,因此不能保证高的工作效率.为了减少Agent之间的通讯负载和协商时间,提高工作效率,本文在合同网模型中引入... 详细信息

合同网是一类重要的基于竞争机制的协同问题求解模型,它一般不对竞争者范围进行限制,采用广播方式发布任务,消费了大量通讯负载,因此不能保证高的工作效率.为了减少Agent之间的通讯负载和协商时间,提高工作效率,本文在合同网模型中引入范例推理,使用范例推理来确定合适的投标竞争者,缩小问题竞争者范围;同时本文在范例中加入了时间因子和遗忘系数等参数,以及一类特殊的范例,有助于改善合同网协作过程,使得系统具有较好的灵活性和适应性.

关键词：合同网任务分配范例推理多Agent

来源：评论

学校读者我要写书评

暂无评论

基于确定性退火的中文术语语义层次关联研究

引用

计算机应用研究 2011年第9期28卷 3235-3238页

作者：彭成季培培中国科学院成都计算机应用研究所自动推理实验室成都610041 中国科学院国家科学图书馆成都分馆成都610041

研究现有术语语义层次关联的主要方法,针对如何自动获取并且准确描述术语语义层次关系这一关键问题,提出构建的术语语义层次获取流程,主要基于确定性退火的多重聚类算法获取层次关系。最后选取了部分中文专利文本摘要数据集对流程的效... 详细信息

研究现有术语语义层次关联的主要方法,针对如何自动获取并且准确描述术语语义层次关系这一关键问题,提出构建的术语语义层次获取流程,主要基于确定性退火的多重聚类算法获取层次关系。最后选取了部分中文专利文本摘要数据集对流程的效果进行测试与评估,取得了不错的实验结果。

关键词：术语语义层次术语聚类确定性退火中文信息处理

来源：评论

学校读者我要写书评

暂无评论

基于改进自注意力机制和表示学习的分层文档分类方法

引用

计算机科学 2024年第2期51卷 238-244页

作者：廖兴滨钱杨舸王乾垒秦小林中国科学院成都计算机应用研究所自动推理实验室成都610213 中国科学院大学计算机科学与技术学院北京100080

文档分类的一项基本工作是研究如何高效地表示输入特征,句子和文档向量表示也可以辅助自然语言处理的下游任务,如文本情感分析和数据泄露预防等。特征表示也逐渐成为文档分类问题的性能瓶颈和模型可解释性的关键之一。针对现有分层模型... 详细信息

文档分类的一项基本工作是研究如何高效地表示输入特征,句子和文档向量表示也可以辅助自然语言处理的下游任务,如文本情感分析和数据泄露预防等。特征表示也逐渐成为文档分类问题的性能瓶颈和模型可解释性的关键之一。针对现有分层模型面临的大量重复计算以及可解释性缺乏的问题,提出了一种分层文档分类模型,并研究了句子和文档表示方法对文档分类问题的性能影响。所提模型集成了使用改进自注意力机制融合输入特征向量的句子编码器和文档编码器,形成了一个层次结构,以实现对文档级数据的分层处理,在简化计算的同时增强了模型的可解释性。与仅使用预训练语言模型的特殊标记向量作为句子表示的模型相比,所提模型在5个公开文档分类数据集上实现了平均4%的性能提升,比使用词向量矩阵的注意力输出均值的模型提高了2%。

关键词：句子表示文档表示注意力机制文档分类模型可解释性

来源：评论

学校读者我要写书评

暂无评论

基于矩形区域剖分的不等式机器证明方法—以Zirakzadeh的一个几何不等式为例

引用

系统科学与数学 2010年第11期30卷 1430-1458页

作者：曾振柄张景中华东师范大学上海高可信计算重点实验室上海200062 中国科学院成都计算机应用研究所自动推理实验室成都610041

1988年,张景中,陶懋颀用细致的人工估计,用BASIC语言程序在PB700微型计算机上证明了Zirakzadeh于1964年证明的一个几何不等式,其方法是把不等式涉及的变量所在之区域剖分为一系列充分小的矩形,在每个小矩形上用数值方法验证若干三角函... 详细信息

1988年,张景中,陶懋颀用细致的人工估计,用BASIC语言程序在PB700微型计算机上证明了Zirakzadeh于1964年证明的一个几何不等式,其方法是把不等式涉及的变量所在之区域剖分为一系列充分小的矩形,在每个小矩形上用数值方法验证若干三角函数不等式的正确性.这个工作后来没有发表,将Zirskzadeh不等式转化为一个有3个变元的根式不等式,形如m_1^(/2)+m_2^(/2)+m_3^(/2)≥3m_4^(/2),其变量所在区域为一由6个线性不等式限制形成的多面体P(有14个顶点,21个棱和9个面),先用幂级数展开方法证明讨论的根式不等式在小长方体邻域[-0.1,0.1]~3C P成立,次将这个邻域以外的集合分割成有限多个边长不小于1/1280的小长方体或多面体,在每个小凸体上通过计算函数在顶点的取值和函数偏导数范围证明根式不等式的正确性.文章给出的验证数引理,可根据连续可微函数在长方体或一般凸多面体V的顶点的值,及函数偏导数的绝对值在集合V的上界,证明函数在V上的正定性.文章给出计算多项式在三维空间凸多面体上的最大值和最小值,以及估计根式函数的验证数的机械化方法.

关键词：数学机械化机器证明 Zirakzadeh不等式矩形剖分误差分析

来源：评论

学校读者我要写书评

暂无评论

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

引用

华南理工大学学报（自然科学版） 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

来源：评论

学校读者我要写书评

暂无评论

一种并行层次化的重复数据删除技术

引用

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

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

重复数据删除技术对缩减数据占用空间、提高存储设备利用率、消减存储成本具有重要的意义,该技术逐渐发展为存储领域的一项关键技术.分析比较了几项主流的重复数据删除技术的优缺点,并提出一种并行层次化的重复数据删除算法PHD(parallel... 详细信息

重复数据删除技术对缩减数据占用空间、提高存储设备利用率、消减存储成本具有重要的意义,该技术逐渐发展为存储领域的一项关键技术.分析比较了几项主流的重复数据删除技术的优缺点,并提出一种并行层次化的重复数据删除算法PHD(parallel-hierarchical deduplication),通过由粗粒度到细粒度的层次化数据消冗来提高数据去重率,并在此基础上引入并行处理以充分利用多核计算机资源解决重复数据删除速率低的问题.实验结果表明,该策略在保证重复数据删除率的同时,有效地提高了重复数据删除速率.

关键词：重复数据删除层次化并行

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

中国科学：信息科学 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年,几何定理机器证明的研究和实践有了很大的进展.对无序几何命题而言,代数方法、数值方法均能有效地判定其真假,面积法(消点法)、搜索法更能生成其可读的证明.几何不等式机器证明的研究,由于多项式完全判别系统的建立,也有了突破.研究领域已由机器证明扩展为包括几何作图在内的一般几何问题的机器求解,并有了实际的应用.

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：