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

系统工程理论与实践 2004年第7期24卷 98-104页

作者：王新民高小山中国科学院数学与系统科学研究院数学机械化重点实验室北京100080

　使用改进后的Bareiss消去法,在求解具有符号系数的线性方程组时可以避免普通Gauss消去法在计算过程中出现所谓中间系数爆炸的问题,还可以求解系数矩阵不是方阵以及系数矩阵奇异的线性方程组的情况.并且以这一改进算法与syzygy算法为基... 详细信息

　使用改进后的Bareiss消去法,在求解具有符号系数的线性方程组时可以避免普通Gauss消去法在计算过程中出现所谓中间系数爆炸的问题,还可以求解系数矩阵不是方阵以及系数矩阵奇异的线性方程组的情况.并且以这一改进算法与syzygy算法为基础,给出了求解多项式系数线性方程组的多项式解的算法.已经在自行开发的自动推理平台软件MMP上实现了这个算法.

关键词： Bareiss消去法符号计算线性方程组合冲

来源：评论

学校读者我要写书评

暂无评论

线性多密钥共享体制

引用

中国科学（E辑） 2004年第10期34卷 1148-1158页

作者：肖亮亮刘木兰中国科学院数学与系统科学研究院北京100080 中国科学院数学机械化重点实验室北京100080

利用单调张成方案研究线性多密钥共享体制, 建立计算单调布尔函数的单调张成方案与实现多存取结构的线性多密钥共享体制之间的对应关系, 提出最优线性多密钥共享体制的概念, 并证明了几类线性多密钥共享体制是最优的.

关键词：多密密钥共享布尔函数线性最优方案对应关系存取

来源：评论

学校读者我要写书评

暂无评论

公开可验证的秘密重新分配门限方案(英文)

引用

中国科学院研究生院学报 2004年第2期21卷 210-217页

作者：谭作文刘卓军中国科学院数学与系统科学研究院数学机械化重点实验室北京100080

建立了一个公开可验证秘密重新分配模型 ,并提出了一个公开可验证秘密重新分配方案 .这个方案将秘密从 (t1,n1)接入结构分配到 (t2 ,n2 )接入结构 .在对旧的份额和子份额的有效性进行检验后 ,新的分享者能产生有效的新份额 .在此方案中 ... 详细信息

建立了一个公开可验证秘密重新分配模型 ,并提出了一个公开可验证秘密重新分配方案 .这个方案将秘密从 (t1,n1)接入结构分配到 (t2 ,n2 )接入结构 .在对旧的份额和子份额的有效性进行检验后 ,新的分享者能产生有效的新份额 .在此方案中 ,新的分享者能验证其他分享者的子份额的有效性 .

关键词：可验证秘密共享秘密重新分配门限方案接入结构

来源：评论

学校读者我要写书评

暂无评论

基于演化策略的方程组新解法

基于演化策略的方程组新解法

引用

第十四届中国神经网络学术会议

作者：赵新超林强中国科学院数学与系统科学研究院系统所数学机械化重点实验室北京100080

本文提出了一种改进的演化策略算法,为了验证其效果,用于求解两个方程组,一个是线性方程组,另一个是在计算"油层结垢"的过程中得到的一个非线性方程组,该方程组数量级差别很大。结果显示，BFGS方法对解线性方程组显出优势。... 详细信息

本文提出了一种改进的演化策略算法,为了验证其效果,用于求解两个方程组,一个是线性方程组,另一个是在计算"油层结垢"的过程中得到的一个非线性方程组,该方程组数量级差别很大。结果显示，BFGS方法对解线性方程组显出优势。对复杂的、非线性的、数量级差别很大的油层结垢方程组,改进的演化策略算法显出很好的优势和鲁棒性,说明BFGS方法对这些具有相对好的性质的问题非常有效,而基于改进的演化策略的方法对解决复杂问题时有很强的适用性。

关键词：计算机数学代数方程组方程组演化

来源：评论

学校读者我要写书评

暂无评论

非线性极大极小系统的镇定

非线性极大极小系统的镇定

引用

第二十三届中国控制会议

作者：陶跃钢陈文德刘国平中国科学院自动化研究所复杂系统与智能科学重点实验室中国科学院数学与系统科学研究院系统控制重点实验室

来源：评论

学校读者我要写书评

暂无评论

极大离散事件系统的优化

极大离散事件系统的优化

引用

中国运筹学会第七届学术交流会

作者：陶跃钢陈文德刘国平中国科学院自动化研究所复杂系统与智能科学重点实验室(北京) 中国科学院数学与系统科学研究院系统控制重点实验室(北京)

本文讨论极大离散事件系统的优化问题,得到了优化解的存在性和唯一性的充分必要条件,给出了求优化解的算法.

关键词：极大离散事件系统极大代数优化非线性对偶系统

来源：评论

学校读者我要写书评

暂无评论

参数化CAD中参数的有效范围

引用

计算机辅助设计与图形学学报 2003年第8期15卷 1016-1020页

作者：蒋鲲朱长才高小山中国科学院数学与系统科学研究院数学机械化重点实验室清华大学软件学院北京100084

在参数化CAD设计中 ,当重新生成一个几何实体时 ,常常由于所给的参数值不合理而导致重新生成的几何实体的拓扑形状发生改变 ,有时甚至无法重新生成几何实体提出确定某类二维参数化CAD模型中参数的有效范围的代数算法该算法的复杂度... 详细信息

在参数化CAD设计中 ,当重新生成一个几何实体时 ,常常由于所给的参数值不合理而导致重新生成的几何实体的拓扑形状发生改变 ,有时甚至无法重新生成几何实体提出确定某类二维参数化CAD模型中参数的有效范围的代数算法该算法的复杂度是O(n2 logn)

关键词：参数化 CAD 几何实体几何元素计算机辅助设计

来源：评论

学校读者我要写书评

暂无评论

几何约束求解与复杂连杆机构的模拟

引用

计算机辅助设计与图形学学报 2003年第5期15卷 517-522页

作者：高小山张桂芳杨伟强中国科学院数学与系统科学研究院数学机械化重点实验室北京100080 美国普渡大学计算机系 indiana47907

提出几何约束求解的轨迹相交法该方法理论上可以给出约束问题的所有数值解 ,实际测试效率也相当高 ,并将该方法用于复杂连杆机构的动态模拟首先用图论中的最大b 匹配算法将一个连杆机构分解为广义构造序列 ,然后用轨迹相交法求解

关键词：复杂连杆机构动态模拟图论几何约束求解 CAD

来源：评论

学校读者我要写书评

暂无评论

基于离散对数的代理盲签名(英文)

引用

软件学报 2003年第11期14卷 1931-1935页

作者：谭作文刘卓军唐春明中国科学院数学与系统科学研究院系统科学研究所数学机械化重点实验室北京100080

代理签名是一种非常有用的密码学工具.使用它,原始签名人能将其数字签名权力委托给代理签名人.在盲签名方案中,消息的内容对签名者是不可见的.签名被接收者泄露后,签名者不能追踪签名.代理签名和盲签名在实际中分别有着广泛的应用.结合... 详细信息

代理签名是一种非常有用的密码学工具.使用它,原始签名人能将其数字签名权力委托给代理签名人.在盲签名方案中,消息的内容对签名者是不可见的.签名被接收者泄露后,签名者不能追踪签名.代理签名和盲签名在实际中分别有着广泛的应用.结合两者的优点,在Schnorr签名的基础上,提出了一个代理盲签名方案.

关键词：离散对数代理签名盲签名电子商务

来源：评论

学校读者我要写书评

暂无评论

对小额电子支付方案的改进

对小额电子支付方案的改进

引用

2003中国计算机大会

作者：唐春明刘卓军数学机械化重点实验室数学与系统科学研究院中国科学院

Rivest和Shamir在1996年提出了一个基于贷记、采用一些hash值(称为Payword链)来表示电子货币的小额支付方案.它是一种公正的、离线的、且目前应用最广泛的电子现金方案,但是,它也有一些缺点.在本文我们针对它的不足,提出了两条改进,其... 详细信息

Rivest和Shamir在1996年提出了一个基于贷记、采用一些hash值(称为Payword链)来表示电子货币的小额支付方案.它是一种公正的、离线的、且目前应用最广泛的电子现金方案,但是,它也有一些缺点.在本文我们针对它的不足,提出了两条改进,其结果是1)预防了用户的超额支付,2)降低了商家的存储量,提高了他们的效率,而且,我们保持了原有支付方案计算量少、速度快的优点.

关键词：小额电子支付 Payword 电子商务电子货币安全性

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：