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

密码学报 2014年第6期1卷 602-616页

作者：李哲董晓蕾曹珍富上海交通大学计算机科学与技术系上海200240 华东师范大学上海市高可信计算重点实验室上海200062

有限域上方程求解在一些著名的公钥密码算法、二次筛法分解整数算法、椭圆曲线上点的计数及椭圆曲线素性检测中都有重要应用.在这篇文章中我们对Berlekamp在Fp上求解x2=a的随机算法进行了扩展,以用来对x3=a这样的代数方程来求解,同时利... 详细信息

有限域上方程求解在一些著名的公钥密码算法、二次筛法分解整数算法、椭圆曲线上点的计数及椭圆曲线素性检测中都有重要应用.在这篇文章中我们对Berlekamp在Fp上求解x2=a的随机算法进行了扩展,以用来对x3=a这样的代数方程来求解,同时利用分圆理论给出了其期望运行时间的分析.与以往的算法不同的是,我们使用二次剩余理论来对三次方程进行求解,计算的过程中并不需要寻找三次非剩余,该算法的期望运行时间为O(log2p(loglogp))次位操作.同时我们也将这一方法扩展到对Fp上任意的三次方程即x3+ax2+bx+c=0的求解,给出对于该方程解的个数并求得x3+ax2+bx+c=0的所有解.另外,我们将Cipolla-Lehmer方法通过计算有限域上元素范数的方法扩展到Fp上方程xr=a的求解,其中r为素数幂,该算法也是随机算法.我们通过构造Fq[x]上的不可约多项式f(x),来构造我们的算法,其中deg(f)=r且f(x)的常数项为(-1)ra.同时我们利用Davenport-Hasse关系和Double Counting技术,给出对我们的算法分析,其期望运行时间为O(logq)次Fq上的运算.对于满足r4=q的r,我们的算法是非常有效的.

关键词：三次根有限域 Cipolla-Lehmer算法分圆理论

来源：评论

学校读者我要写书评

暂无评论

SERA:股票历史交易重现和分析系统

引用

计算机研究与发展 2011年第S3期48卷 485-490页

作者：周遥冯亮张俍翁念龙张蓉华东师范大学软件学院上海市高可信计算重点实验室上海200062 复旦大学计算机科学与技术学院上海200433

当前股票市场正在对国民经济发挥着越来越重要的影响,同时也作为一个窗口反映国家的经济状况.分析历史交易和重现历史交易过程能够给人们带来很多启发和新信息.但是,考虑到现有股票交易系统安全性、可靠性和价格因素,无法在原有系统上... 详细信息

当前股票市场正在对国民经济发挥着越来越重要的影响,同时也作为一个窗口反映国家的经济状况.分析历史交易和重现历史交易过程能够给人们带来很多启发和新信息.但是,考虑到现有股票交易系统安全性、可靠性和价格因素,无法在原有系统上进行修改或二次开发.这就需要一个全新的系统对历史数据进行管理.提出的原型系统是利用廉价PC构成的分布式系统实现了对股票历史交易重现和对股票交易数据进行统计分析的功能.详细介绍了该系统的整体架构和各模块的实现方法,并提出了完整的测试方案.该原型系统为进一步进行股票交易系统的开发和股票交易数据的分析研究奠定了基础.

关键词：股票历史交易重现股票交易分析分布式系统原型系统

来源：评论

学校读者我要写书评

暂无评论

SERA:股票历史交易重现和分析系统

引用

计算机研究与发展 2011年第S2期48卷 863-868页

作者：周遥冯亮张俍翁念龙张蓉华东师范大学软件学院上海市高可信计算重点实验室上海200062 复旦大学计算机科学与技术学院上海200433

关键词：股票历史交易重现股票交易分析分布式系统原型系统

来源：评论

学校读者我要写书评

暂无评论

基于时空I/O混成自动机的物联网服务验证

引用

科技通报 2014年第5期30卷 95-101页

作者：赵文明张敏杭州职业技术学院信息电子系杭州310018 华东师范大学上海市高可信计算重点实验室上海200062

物联网服务的建模和验证是物联网研究中的重要问题。文中对混成自动机进行了扩展,提出了具有位置驱动特点的时空I/O混成自动机。文中提出了基于时空I/O混成自动机的物联网服务建模与验证框架。在框架中,首先对物联网服务进行了描述,并... 详细信息

物联网服务的建模和验证是物联网研究中的重要问题。文中对混成自动机进行了扩展,提出了具有位置驱动特点的时空I/O混成自动机。文中提出了基于时空I/O混成自动机的物联网服务建模与验证框架。在框架中,首先对物联网服务进行了描述,并使用时空I/O混成自动机对物联网服务进行建模。这些时空I/O混成自动机形成一个网络,刻画完整的物联网服务的通信并行过程。文中采用的形式化验证方法为微分动态逻辑(Differential Dynamic Logic,DL),其操作模型为HP(Hybrid Program)。利用DL可以将所建模型转换为对应的HP。结合得到的HP对验证的物联网服务性质进行规约,最后使用定理证明器KeYmaera验证物联网服务的正确性。

关键词：物联网服务时空I O混成自动机微分动态逻辑时空一致性形式化验证 KeYmaera

来源：评论

学校读者我要写书评

暂无评论

求解特定消谐变换器开关角度的并行完备算法

引用

电力系统自动化 2015年第13期39卷 87-93页

作者：杨克虎陈良育袁志宝郁文生曾振柄中国矿业大学(北京)机电与信息工程学院北京市100083 华东师范大学上海市高可信计算重点实验室上海市200062 北京邮电大学电子工程学院北京市100876 上海大学理学院数学系上海市200444

结式消元法在求解特定谐波消除脉宽调制变换器的开关角度时会遇到中间表达式膨胀耗尽内存的问题,为此文中提出基于多项式插值的方法,将结式行列式的展开转化为插值点计算和线性方程组求解2个步骤,并给出了该方法并行实现的主要流程。计... 详细信息

结式消元法在求解特定谐波消除脉宽调制变换器的开关角度时会遇到中间表达式膨胀耗尽内存的问题,为此文中提出基于多项式插值的方法,将结式行列式的展开转化为插值点计算和线性方程组求解2个步骤,并给出了该方法并行实现的主要流程。计算结果显示此方法能够有效避免中间表达式膨胀的问题,所能求解的开关点数大幅提升。针对开关点数为6的变换器,给出了全调制比范围内的开关角度,实验结果验证了所求开关角度的正确性。

关键词：特定谐波消除变换器多项式插值结式消元并行计算

来源：评论

学校读者我要写书评

暂无评论

联邦学习安全与隐私保护研究综述

引用

西华大学学报（自然科学版） 2020年第4期39卷 9-17页

作者：周俊方国英吴楠华东师范大学上海市高可信计算重点实验室上海200062

数据孤岛以及模型训练和应用过程中的隐私泄露是当下阻碍人工智能技术发展的主要难题。联邦学习作为一种高效的隐私保护手段应运而生。联邦学习是一种分布式的机器学习方法,以在不直接获取数据源的基础上,通过参与方的本地训练与参数传... 详细信息

数据孤岛以及模型训练和应用过程中的隐私泄露是当下阻碍人工智能技术发展的主要难题。联邦学习作为一种高效的隐私保护手段应运而生。联邦学习是一种分布式的机器学习方法,以在不直接获取数据源的基础上,通过参与方的本地训练与参数传递,训练出一个无损的学习模型。但联邦学习中也存在较多的安全隐患。本文着重分析了联邦学习中的投毒攻击、对抗攻击以及隐私泄露三种主要的安全威胁,针对性地总结了最新的防御措施,并提出了相应的解决思路。

关键词：联邦学习投毒攻击对抗攻击隐私泄露

来源：评论

学校读者我要写书评

暂无评论

常用基本不等式的机器证明

引用

智能系统学报 2011年第5期6卷 377-390页

作者：杨路郁文生华东师范大学上海高可信计算重点实验室

不等式机器证明问题是智能系统领域的难点和热点问题.借助不等式证明软件BOTTEMA,对若干常用的基本不等式成功地实现了机器证明,包括算术、几何与调和平均不等式、排序不等式、Chebyshev不等式、Bernoulli不等式、三角形不等式及Jensen... 详细信息

不等式机器证明问题是智能系统领域的难点和热点问题.借助不等式证明软件BOTTEMA,对若干常用的基本不等式成功地实现了机器证明,包括算术、几何与调和平均不等式、排序不等式、Chebyshev不等式、Bernoulli不等式、三角形不等式及Jensen不等式等.所论不等式含有的变元个数是一个不确定的变量,属于Tarski模型外的不等式类型.机器证明得出的结论有时可能是已知结果的推广,其方法本身对同类不等式有示范性,更多的例子表明了该算法和软件的有效性.

关键词：基本不等式机器证明不等式证明软件BOTTEMA Tarski模型

来源：评论

学校读者我要写书评

暂无评论

命题逻辑系统中理论的真度概念及其应用

引用

陕西师范大学学报（自然科学版） 2009年第5期37卷 1-6页

作者：王国俊高香妮陕西师范大学数学与信息科学学院陕西西安710062 上海市高可信计算重点实验室华东师范大学上海200062

首次在命题逻辑系统中引入理论的真度概念,将公式的真度推广为公式集的真度,从而简化了发散度的概念;进一步得出:当理论Γ相容时,理论的真度与相容度之间的关系为η(Γ)=(1+τ(Γ))/2;在命题逻辑系统C2中,将理论Γ1和Γ2分为六类,分别... 详细信息

首次在命题逻辑系统中引入理论的真度概念,将公式的真度推广为公式集的真度,从而简化了发散度的概念;进一步得出:当理论Γ相容时,理论的真度与相容度之间的关系为η(Γ)=(1+τ(Γ))/2;在命题逻辑系统C2中,将理论Γ1和Γ2分为六类,分别讨论了各类中理论Γ1、Γ2与Γ1∪Γ2的真度之间的关系.

关键词：理论的真度相容度发散度有限可数

来源：评论

学校读者我要写书评

暂无评论

n值逻辑系统L_n~*中广义重言式的计量化研究

引用

陕西师范大学学报（自然科学版） 2009年第2期37卷 1-5,12页

作者：王国俊时慧娴陕西师范大学数学与信息科学学院陕西西安710062 上海市高可信计算重点实验室华东师范大学上海200062

基于均匀概率空间的无穷乘积,通过考虑使某一公式的赋值不小于(或大于)ζ(ζ∈[0,1])的那些赋值映射之集在总赋值集合中所占的份额,在n值R0-命题逻辑系统L*n中引入公式的ζ-真度及ζ+-真度概念,从而将重言式的概念进行双重程度化;提出了... 详细信息

基于均匀概率空间的无穷乘积,通过考虑使某一公式的赋值不小于(或大于)ζ(ζ∈[0,1])的那些赋值映射之集在总赋值集合中所占的份额,在n值R0-命题逻辑系统L*n中引入公式的ζ-真度及ζ+-真度概念,从而将重言式的概念进行双重程度化;提出了σ-(ζ-重言式)和σ-(ζ+-重言式)理论;研究了ζ-真度(ζ+-真度)与广义重言式及程度化的广义重言式之间的关系,给出了广义真度推理规则.

关键词：广义重言式 ζ-真度 σ-(ζ-重言式) 广义真度推理规则

来源：评论

学校读者我要写书评

暂无评论

基于矩形区域剖分的不等式机器证明方法—以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不等式矩形剖分误差分析

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：