代数系造句
例句与造句
- 本文在前人工作的基础上，在计算机代数系统maple上开发了一个基于吴方法的孤波自动求解软件包rath ，它完全实现了双曲正切方法的自动化。
- 李三代数又被称作广义李三系，是一类更广泛的代数系统，它可以退化成李代数和李三系，而且它与马力茨夫代数也有着密切的关系。
- 举例说明了与-或-非代数系统中规范中规范展开式与布尔减-异或、布尔除-符合代数系统中的规范展开式之间的转换。
- 本文通过对mpm中介逻辑命题演算系统进行代数抽象,建立了一个新的代数系统,讨论了该代数系统的性质,并利用该代数系统的代数性质构造了中介命题演算系统mpm上的一个公理完备集合,使用该公理集合可以方便的推导出mpm上的等值和互推公式,这对于处理不完全信息数据库的查询优化有着重要作用。
- 本文从7个方面阐述了结式的应用，包括判断2个多项式的公共零点，判定多项式是否有重根，计算多项式的判别式，寻找代数数满足的方程，平面有理曲线的隐式化，非线性代数方程组求解和不等式机器证明中半代数系统边界曲面的获得等。
- 用代数系造句挺难的，這是一个万能造句的方法
- 本部分的主要结论如下，利用双曲函数展开法，在行波条件下，对sawada - kotera方程， kaup - kupershmidt方程，五阶kdv方程， fisher - kolmogorov方程，等几类非线性波动方程求解，将其孤立波表示为双曲函数的多项式，从而将非线性波方程的求解问题转化为非线性代数方程组的求解问题，并借助于计算机代数系统求解非线性代数方程组，最终获得了这些非线性波动方程的若干精确孤立波解。
- 第二章：讨论了满足( * )式的剩余格的一些性质；找到了剩余格可嵌入于全序剩余格乘积的充要条件；利用这个结果，得到了几类重要代数系统像r _ 0代数、 mv代数、 bl代数、 wnm代数、蕴涵格等等具有可嵌入性；还讨论了lfi代数与剩余格的关系，给出了clfi代数成为剩余格的充要条件。
- 第二部分：在以bl逻辑为背景的bl代数的定义中去掉限制性较强的条件a b = a ( a b ) ，建立了一种新的代数系统rl ，并进一步研究了rl代数类的性质；以rl代数为赋值域建立了一种更为广泛的模糊命题演算的形式系统? ?剩余格值逻辑系统rl ，得到了一系列定理，同时研究了逻辑系统rl的(弱)完备性
- 讨论包括：快速实时仿真算法研究；实时组合算法与网络计算机上的实时并行算法；微分代数系统的实时算法与实时并行算法；实时间断处理；仿真模型信息传输误差估计；动力学系统仿真假解研究等一些新的思想和方法。
- 完成的工作和取得的创新性成果在于：经过对粗糙集理论的深入研究，作者找到了粗糙集与模态逻辑、模糊集、代数系统和区间集代数等抽象理论之间的关系，一是粗糙集可以为抽象理论提供语义解释，从而使我们能更好地理解掌握这些抽象理论；二是粗糙集建立了各个独立的抽象理论之间的内在关系，使彼此独立的抽象理论联系在了一起。
更多例句： 上一页