搜索到798篇“ 代数系统“的相关文章
- 伊辛感知计算机布尔代数系统构建方法及伊辛机编程接口
- 本发明提出伊辛感知计算机布尔代数系统构建方法及伊辛机编程接口，涉及一种面向约束优化问题求解的伊辛感知计算机布尔代数量子电路综合系统，同时也涉及相应实施量子绝热计算的量子伊辛机与其他通用伊辛机的编程接口，属于约束优化与量子...
- 罗剑文哈亚军
- 一种计算机代数系统的设计与实现
- 2023年
- 为利用计算机对数学表达式进行自动推理,实现自主可控的计算机代数系统,提出了基于抽象语法树模式匹配的计算机代数系统设计方法。在对计算机代数系统设计过程进行认知与分解的基础上建立了总体设计模型,并利用F#强大的函数式编程语言能力,快速实现解析器和表达式模式匹配,从而提高开发效率。通过设计一个可实现表达式化简、展开、求导、极限、泰勒级数和积分等功能的计算机代数系统,验证了该设计的准确性和有效性。
- 汪明
- 关键词：计算机代数系统解析器
- 部分t--模及相关部分代数系统
- t-模是定义在[0,1]上的二元运算，在模糊逻辑形式系统的研究中发挥着重要作用.2018年，Borzooei提出了部分t-模的概念，将t-模中的二元运算推广为部分二元运算，从而提供了一种研究模糊逻辑的新视角.部分t-模一...
- 盛南
- 关键词：模糊逻辑
- 基于Coq的点几何代数系统的形式化
- 随着科学技术的不断发展,人工智能已成为社会生活中不可或缺的一部分。定理机器证明作为人工智能基础理论研究中的一个重要分支,涉及数学、计算机科学、逻辑学等多个学科。其在数学领域中主要利用计算机完成对数学定理的形式化描述及机器...
- 赵佩硕
- 关键词：定理机器证明COQ
- 计算机代数系统Maple在求解影响线中的应用
- 基于机动法求解影响线的思想,建立了静定和超静定结构求影响线的位移微分方程,利用计算机代数系统Maple软件获得位移的通解,根据边界条件获得精确的影响线方程并绘制影响线图形。通过算例介绍了Maple分析求解影响线的过程,同...
- 万泽青陶阳孙云
- 关键词：计算机代数系统MAPLE影响线机动法
- 代数系统求解4轮Keccak-256原像攻击的完善
- 2022年
- Keccak哈希函数是第三代安全哈希函数,具有可证明的安全性与良好的实现性能。讨论基于代数系统求解的4轮Keccak-256原像攻击,对已有的4轮原像攻击方法进行了完善,有效降低了理论复杂度。目前,4轮Keccak-256原像攻击的理论复杂度最低为2^(239),通过充分利用二次比特的因式之间的关系,在自由度相同的情况下,线性化更多的二次比特,将理论复杂度降低至2^(216)。
- 裴君翎陈鲁生
- 关键词：密码分析代数系统
- 一类代数系统的多重正解的存在性与特征区间
- 2022年
- 运用Leggett-Williams不动点定理研究了一类非线性代数系统多重正解的存在性,并且刻画了它的特征区间.
- 赵进丁伯伦李文娟
- 关键词：代数系统正解LEGGETT-WILLIAMS不动点定理
- 不确定微分代数系统的多指标非线性鲁棒自适应控制方法被引量：1
- 2022年
- 针对含不确定因素的多输入多输出微分代数系统,提出一种多指标非线性鲁棒自适应控制方法(multi-index nonlinear robust adaptive control,MINRAC),并将其应用于汽门开度与发电机励磁的协调控制上。数字仿真表明:在系统参数不确定和存在外部扰动的情况下,该方法能够使得系统的多个指标都运行在期望的工作点上而不发生静态偏移。对于不同类型的扰动,如有功功率阶跃,三相短路,该控制方法都能很好地镇定系统,并且能够消除机端电压偏差。与多指标非线性控制(multi-index nonlinear control,MINC)和多指标非线性鲁棒控制(multi-index nonlinear robust control,MINRC)相比,该文提出的方法能更好地兼顾系统的动静态性能。
- 李啸骢苏浩
- 关键词：综合控制
- 病态代数系统求解的可信验证
- 现在是数据发展的信息时代,在数学研究中,病态的代数系统较为常见.病态系统的解存在但不唯一,其特定解求解的可信计算是较为困难的问题.因此,对病态代数系统的探索与研究具有非常重要的意义.本文将符号数值混合计算和区间计算相结合...
- 于茜
- 关键词：可信计算误差界
- 实正则方形代数系统
- 2021年
- 变元个数与方程个数相同的代数系统称为方形代数系统.这是一类在实际应用中最常遇到的代数系统,我们将建立一个算法去隔离方形代数系统的实正则零点.方法分两步,首先使用Dixon结式计算单个变元所需要满足的方程,并进行单变元的实根隔离,以获得一系列Box.第二步用伴随多项式方法检查这些Box是否包含原代数系统的实正则零点.利用Maple平台,我们实现了这个算法.大量的计算实例显示了这个方法的有效性.
- 徐嘉
- 关键词：伴随多项式
相关作者
- 姚茂群
- 作品数：91被引量：149H指数：7
- 供职机构：杭州师范大学
- 研究主题：电路设计 电流型CMOS 功耗 预充电 多值逻辑
- 陈偕雄
- 作品数：209被引量：392H指数：10
- 供职机构：浙江大学信息与电子工程学系
- 研究主题：逻辑函数 对称函数 多值逻辑 逻辑设计 K图
- 侯维民
- 作品数：27被引量：114H指数：4
- 供职机构：天水师范学院数学与统计学院
- 研究主题：八卦图 高等代数 素质教育 代数系统 布尔代数
- 肖林荣
- 作品数：44被引量：91H指数：6
- 供职机构：嘉兴学院
- 研究主题：逻辑函数 通用阈值逻辑门 DJ图 故障检测 逻辑综合
- 臧强
- 作品数：66被引量：97H指数：5
- 供职机构：南京信息工程大学
- 研究主题：子系统 电力系统 非线性 逆系统 非线性系统
