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

东南大学学报（自然科学版） 2010年第6期40卷 1180-1184页

作者：李俊戴先中孟正大东南大学自动化学院南京210096

针对现有的多数规则置换式与代数运算式网变换方法存在内容依赖、执行效率低与通用性差的不足,以代数结构理论为基础提出一种用于更一般性网变换的新型接口依赖的网运算代数系统,包括Petri网的基本节点与块的融合与衍生运算,扩展的库所... 详细信息

针对现有的多数规则置换式与代数运算式网变换方法存在内容依赖、执行效率低与通用性差的不足,以代数结构理论为基础提出一种用于更一般性网变换的新型接口依赖的网运算代数系统,包括Petri网的基本节点与块的融合与衍生运算,扩展的库所与变迁接口网的并加、串加、减运算以及块接口网的合成与分解运算.并分析了网代数运算的封闭性、可结合性、可交换性等代数性质,然后将网代数应用于解决包含置换与分解过程的复合网变换中,显示了网代数的有效性.最后,分析总结了Petri网代数相对于现有的置换式与代数运算式网变换途径的优势.

关键词： Petri网代数系统网变换离散事件系统

来源：评论

学校读者我要写书评

暂无评论

代数系统求解4轮Keccak-256原像攻击的完善

引用

计算机工程与应用 2022年第5期58卷 119-123页

作者：裴君翎陈鲁生南开大学数学科学学院天津300071

Keccak哈希函数是第三代安全哈希函数,具有可证明的安全性与良好的实现性能。讨论基于代数系统求解的4轮Keccak-256原像攻击,对已有的4轮原像攻击方法进行了完善,有效降低了理论复杂度。目前,4轮Keccak-256原像攻击的理论复杂度最低为2^... 详细信息

Keccak哈希函数是第三代安全哈希函数,具有可证明的安全性与良好的实现性能。讨论基于代数系统求解的4轮Keccak-256原像攻击,对已有的4轮原像攻击方法进行了完善,有效降低了理论复杂度。目前,4轮Keccak-256原像攻击的理论复杂度最低为2^(239),通过充分利用二次比特的因式之间的关系,在自由度相同的情况下,线性化更多的二次比特,将理论复杂度降低至2^(216)。

关键词：密码分析 Keccak哈希函数原像攻击代数系统

来源：评论

学校读者我要写书评

暂无评论

中介命题演算系统MP^M的代数系统

引用

Journal of Mathematical Research and Exposition 2006年第4期26卷 846-850页

作者：曹汝鸣毛宇光陈文彬南京航空航天大学信息科学与技术学院江苏南京210016

MP^M系统是在中介逻辑系统的基础上建立起来的,用于处理数据库中不完全信息的三值逻辑命题演算系统．本文通过在MP^M系统上建立一个代数系统,对MP^M系统进行了代数抽象,讨论了MP^M系统的代数性质．本文还研究了该代数系统的次直积,以及... 详细信息

MP^M系统是在中介逻辑系统的基础上建立起来的,用于处理数据库中不完全信息的三值逻辑命题演算系统．本文通过在MP^M系统上建立一个代数系统,对MP^M系统进行了代数抽象,讨论了MP^M系统的代数性质．本文还研究了该代数系统的次直积,以及与其它一些代数系统之间的关系．

关键词：中介逻辑命题演算系统代数系统次直不可约

来源：评论

学校读者我要写书评

暂无评论

一种新的模糊逻辑代数系统

引用

西南交通大学学报 2000年第5期35卷 564-568页

作者：裴道武王国俊四川大学数学学院四川成都610064 西南交通大学应用数学系四川成都610031

基于对模糊逻辑和模糊推理的系统研究 ,一种新的模糊逻辑代数系统———R0 代数已于近期被建立 ,这为模糊逻辑提供了一种新的代数框架。文中对R0 代数作进一步研究 ,给出R0 代数的一系列代数性质 ,并澄清R0 代数与其它模糊逻辑代数系统... 详细信息

基于对模糊逻辑和模糊推理的系统研究 ,一种新的模糊逻辑代数系统———R0 代数已于近期被建立 ,这为模糊逻辑提供了一种新的代数框架。文中对R0 代数作进一步研究 ,给出R0 代数的一系列代数性质 ,并澄清R0 代数与其它模糊逻辑代数系统之间的关系。

关键词：模糊逻辑代数系统数理逻辑

来源：评论

学校读者我要写书评

暂无评论

本体内代数系统之研究

引用

计算机工程与应用 2001年第23期37卷 7-8,40页

作者：邓志鸿唐世渭杨冬青张铭北京大学计算机科学与技术系北京100871 北京大学视觉与听觉处理国家重点实验室北京100871

信息检索中的语义问题一直是研究的热点。本体作为能描述语义能力的建模方法,在信息系统领域得到广泛的关注和应用。文献犤1犦犤2犦研究了在不同本体之间构建代数系统来解决分布式系统之间的语义异构。文章研究单个本体内的代数系统,给... 详细信息

信息检索中的语义问题一直是研究的热点。本体作为能描述语义能力的建模方法,在信息系统领域得到广泛的关注和应用。文献犤1犦犤2犦研究了在不同本体之间构建代数系统来解决分布式系统之间的语义异构。文章研究单个本体内的代数系统,给出了该代数的定义和相关概念,并结合实例指出该代数系统有利于提高信息检索的质量。

关键词：代数系统本体信息检索 Web Internet

来源：评论

学校读者我要写书评

暂无评论

地图代数系统在1:400万中国电子地图制作中的应用

引用

测绘学报 1997年第1期26卷 88-91页

作者：王建华胡毓钜胡鹏祝国瑞武汉测绘科技大学土地科学学院

地图代数系统在１４００万中国电子地图制作中的应用王建华胡毓钜胡鹏祝国瑞（武汉测绘科技大学土地科学学院，４３００７０）１地图代数的基本原理地图代数是基于代数学的基本原理，用代数的观点全面阐述地图的本质和地图制作过程的... 详细信息

地图代数系统在１４００万中国电子地图制作中的应用王建华胡毓钜胡鹏祝国瑞（武汉测绘科技大学土地科学学院，４３００７０）１地图代数的基本原理地图代数是基于代数学的基本原理，用代数的观点全面阐述地图的本质和地图制作过程的一种新型的地图学理论和方法。根据这...

关键词：地图代数系统制图电子计算机

来源：评论

学校读者我要写书评

暂无评论

高斯投影复变换与Maple计算机代数系统的实现方法

引用

测绘科学 2011年第3期36卷 136-138页

作者：刘大海深圳市地质局深圳518023

高斯投影的复变换与实变换相比具有独特的优势。使用Maple计算机代数系统,高斯投影正算及反算变换的核心就是方程求解及复积分计算。本文对高斯投影复变换进行了改进,只需建立正算变换计算式而不需要针对反算变换再建立一套变换计算式,... 详细信息

高斯投影的复变换与实变换相比具有独特的优势。使用Maple计算机代数系统,高斯投影正算及反算变换的核心就是方程求解及复积分计算。本文对高斯投影复变换进行了改进,只需建立正算变换计算式而不需要针对反算变换再建立一套变换计算式,给出了Maple系统方程求解的求根函数法以及复积分计算的积分级数分析法、椭圆积分函数法及直接积分法。

关键词：高斯投影复变函数代数系统变换映射 Maple

来源：评论

学校读者我要写书评

暂无评论

计算机代数系统REDUCE的过程段的调用问题

引用

小型微型计算机系统 1989年第7期10卷 22-26页

作者：朱龙根国防科技大学

本文研完计算机代数系统REDUCE的一个较为复杂的问题——过程段的调用问题。在简单介绍过程段的基础上,本文讨论了REDUCE的“按值调用”问题,提出了越过这种保护实参量的三种方法,最后还指出了用LET语句定义过程段和用PRODUCE DURE定义... 详细信息

本文研完计算机代数系统REDUCE的一个较为复杂的问题——过程段的调用问题。在简单介绍过程段的基础上,本文讨论了REDUCE的“按值调用”问题,提出了越过这种保护实参量的三种方法,最后还指出了用LET语句定义过程段和用PRODUCE DURE定义这两者之间的区别。

关键词：计算机代数过程段代数系统

来源：评论

学校读者我要写书评

暂无评论

基于与—异或代数系统的对称函数的研究

引用

杭州大学学报（自然科学版） 1994年第3期21卷 291-297页

作者：陈偕雄张文权杭州大学电子工程系

本文在分析与—或—非代数系统的基础上研究了基于与—异或代数系统的对称函数,讨论了RM型基本对称函数的定义和性质,在此基础上提出了二种基于RM型对称型函数的任意对称函数的综合方法:基于RM型通用逻辑组件ULM3的逻辑综合及基于全加器... 详细信息

本文在分析与—或—非代数系统的基础上研究了基于与—异或代数系统的对称函数,讨论了RM型基本对称函数的定义和性质,在此基础上提出了二种基于RM型对称型函数的任意对称函数的综合方法:基于RM型通用逻辑组件ULM3的逻辑综合及基于全加器与RM型PLA的逻辑综合。

关键词：对称函数 RM型布尔函数代数系统

来源：评论

学校读者我要写书评

暂无评论

基于概念格模型的代数系统应用分析

引用

计算机应用研究 2015年第1期32卷 93-97页

作者：徐旭光欧毓毅凌捷广东工业大学计算机学院广州510006

针对现阶段模式识别与人工智能领域形式化概念分析理论的多样性、复杂性、分类不均衡等各种不足点,对概念格结构以及其代数系统进行了深入分析与比较。依次对认知信息学代数系统、N代数系统以及W代数系统进行了阐述与剖析,对比了各个不... 详细信息

针对现阶段模式识别与人工智能领域形式化概念分析理论的多样性、复杂性、分类不均衡等各种不足点,对概念格结构以及其代数系统进行了深入分析与比较。依次对认知信息学代数系统、N代数系统以及W代数系统进行了阐述与剖析,对比了各个不同形态概念代数的系统思想与方法特征,并对N代数系统进行了广义概念代数理论形式化证明,为不同领域内概念表达、应用与分析模型的有效构建提供了强有力的知识支撑。

关键词：模式识别概念格代数系统认知信息学形式化概念分析

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：