Results 21 to 30 of about 631 (196)
Computer aided detection of special logical fuiction(计算机辅助特殊逻辑函数检测)
Zhejiang Daxue xuebao. Lixue ban, 2009 在代数法、图表法检测特殊逻辑函数的基础上,提出计算机辅助来实现逻辑函数中的线性函数、冗余函数、自反函数、自双反函数的检测算法,实例展示了应用该方法检测上述函数的过程.
LIXiao-hua(厉晓华)
doaj +1 more source
Graphical method of detecting linear functions and partial linear functions(线性函数和部分线性函数的图形检测方法)
Zhejiang Daxue xuebao. Lixue ban, 2007 线性函数是布尔代数中常用的特殊函数之一，本文根据线性函数、部分线性函数的定义与性质，提出了检测线性函数与部分线性函数六个定理.在此基础上，给出了基于K图与bj图的线性函数与部分线性函数的图形检测方法，并举例说明具体检测过程.
ZHAOMin-xiao(赵敏笑) +2 more
doaj +1 more source
New method of testing self-dual function and self negative function on bj-map(基于bj图检测自双反函数和自反函数的新方法)
Zhejiang Daxue xuebao. Lixue ban, 2007 自双反函数和自反函数为特殊布尔函数.本文讨论了自双反函数和自反函数的定义和性质，给出了基于bj图获得变量全部取反的逻辑函数的bj图的方法.在此基础上提出了基于bj图检测自双反函数和自反函数的新方法.该图形方法具有直观、简单以及可并行处理等优点.
ZHENGHui-qun(郑惠群) +1 more
doaj +1 more source
Detecting rotation symmetric function based on 0-1 coded spectral technique(基于0-1编码谱技术检测旋转对称函数)
Zhejiang Daxue xuebao. Lixue ban, 2012 分析了旋转对称函数的0-1编码Hadamard变换谱系数的特点，给出了变量数n为素数的旋转对称函数的必要条件，提出了基于0-1编码Hadamard变换检测旋转对称函数的方法，该方法具有可编程操作以及同时可检测其他特殊布尔函数等优点.
MARu-xing(马汝星“) +1 more
doaj +1 more source
Study on spectral representation and eigenexpansion based on eigen-operators [PDF]
, 2020 The spectral representation and expansion based on eigen-operators were deeply studied.The relations between Green’s function of characteristic differential equation and Hermitian differential and integral operators were given.The inverse relations ...
Hongyu WANG, Tianshuang QIU
core +1 more source
Zhejiang Daxue xuebao. Lixue ban, 2012 讨论了旋转对称函数在归一化Haar变换域中的谱特性，提出了基于归一化Haar变换检测旋转对称函数的新方法.该方法具有易于计算机编程操作以及可以同时检测多种其他特殊逻辑函数等优点.
QIUXiao-hua(邱晓华“) +1 more
doaj +1 more source
Zhejiang Daxue xuebao. Lixue ban, 2022 构造了一个带参数的Riemann-Liouville分数阶积分恒等式，得到几个关于h-预不变凸函数的带参数的分数阶积分不等式。当参数取特殊值时，分别得到了“中点型”“梯形型”和“Simpson型”积分不等式。利用构建的不等式得到了几个经典数值积分的误差估计式。
SUNWenbing(孙文兵) +1 more
doaj +1 more source
物質に即したクーゲル・コムスキーモデルの構築とその解析 [PDF]
, 2023 埼玉大学博士(理学)指導教員 : 星野 晋太郎 助教textapplication/pdfdoctoral ...
イワザキ, リュウタ +1 more
core +1 more source
Zhejiang Daxue xuebao. Lixue ban, 2010 推导了归一化Haar变换谱系数与自反函数和自双反函数的关系,在此基础上提出了基于归一化Haar变换检测自反函数和自双反函数的谱方法.该方法的主要优点在于可以同时检测多种特殊逻辑函数以及易于计算机编程操作.
QIUXiao-hua(邱晓华) +1 more
doaj +1 more source
q-Kummer’s equation and extensions of Rodrigues formula [PDF]
, 2017 我们知道，许多特殊函数，例如经典正交多项式(Jacobi，Laguerre，和Hermite多项式)，柱函数和超几何函数都是同样类型的二阶常微分方程的解.这种方程称为超几何型微分方程.随着更多特殊函数的不断被引入和研究，超几何型微分方程也衍生出三种离散化形式.本文主要研究Kummer方程的q-模拟和对三种离散化形式的超几何型方程的Rodrigues公式作推广.具体来说: 第一章概述了超几何型微分方程及其标准形式，随后引入了三种离散化形式的超几何型方程.
贾鲁昆
core