higher-order logic

精品项目网 2024-05-16 19:50:29

基本释义:

高阶逻辑

网络释义

1)higher-order logic,高阶逻辑

2)higher-order,高阶

3)high-order,高阶

4)high order,高阶

5)higher order,高阶

6)high-order perturbation,高阶微扰

用法和例句

Numerical dispersion analysis for 3-D ADI-FDTD method using higher-order spatial difference;

空间高阶差分近似对三维ADI-FDTD数值色散的影响

On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi;

高阶进程演算的互模拟理论和公理化的研究

Objective To measure and quantify the higher-order aberrations(HOA)induced by different types of senile cataracts.

目的对不同类型老年性白内障患者高阶像差进行量化,以探讨不同类型白内障高阶像差变化特点。

Oscillatory and asymptotic behaviors of high-order nonlinear ordinary differential equation with impulses;

带脉冲高阶非线性微分方程解的振动性和渐近性

A kind of new method -the circuit of characteristic equation, is provided to solve the response of high-order linear circuit in this paper.

提出一种求解高阶线性电路响应的新方法———特征方程电路法 ,它可以使求解高阶线性电路响应既避免繁琐的电路方程组的建立与化简 ,又无需进行拉普拉斯变换与逆变换 ,具有方便、实用的特

The wavelet and fuzzy theory were introduced into high-order BP Neural Network according to the frequency spectrum characteristics of voltage vibration signal and arrangement of working conditions.

针对铝电解槽电压波动信号的频谱特点和工作状态的层次性,将小波理论和模糊逻辑理论引入高阶BP神经网络中,提出了一种基于小波高阶模糊神经网络的铝电解槽工作状态诊断模型,此模型运用串联方式将小波包分析、模糊逻辑和神经网络融合在一起。

A quick design method provided for the high order Butterworth low pass electrical filter;

高阶Butterworth低通滤波电路的快速设计

Oscillation of a class of high order neutral partial functional differential equations;

一类高阶中立型偏泛函微分方程的振动性(英文)

A robust high order PD type iterative learning controller is presented for a class of repetitive nonlinear time varying systems with uncertainty and disturbance.

针对具有不确定项或干扰项的重复非线性时变系统 ,提出了一种鲁棒高阶PD型迭代学习控制器 ,给出了该控制器的收敛性条件 ,证明跟踪误差界是本次迭代学习与前次迭代学习初始值之差的界和系统输出干扰项界的线性函数 。

Existence of nonoscillatory solutions for forced higher order differential equations;

带强迫项的高阶微分方程非振动解的存在性

Oscillatory and asymptotic behavior of higher order functional differential equation with impulses;

高阶线性脉冲泛函微分方程解的振动性与渐近性研究

Oscillations of higher order nonlinear ordinary differential equation with impulses;

高阶非线性脉冲微分方程解的振动性

Zero-field splitting(ZFS) D,E and paramagnetic g-factor are calculated by complete diagonalization procedures(CDP) and high-order perturbation formulas.

利用能量矩阵完全对角化方法(CDP)和高阶微扰方法,统一解释NiF2晶体的局部结构、吸收光谱和电子顺磁共振谱(EPR)。

The local structure and electron paramagnetic resonance(EPR) spectra of CdCl_2:Ni~(2+) crystal are calculated based on a semi-SCF d-orbit wave functions model for free Ni~(2+) ions and the point-charge-dipole model by utilizing a complete diagonalization procedure(CDP) and high-order perturbation formulas.

利用完全对角化方法(CDP)和高阶微扰方法,统一解释了 CdCl_2:Ni~(2+)晶体的局部结构和电子顺磁共振谱(EPR),并对两种计算方法得到的结果作了比较。

下一篇:没有了
上一篇:nondecreasing
精彩图文
相关推荐
  1. non-measurable set

    精品项目网为您提供不可测集non-measurable set是什么意思,non-measurable set翻译,non-measurable set例句,non-measurable set用法等有关,non-measurable set单词知识大全供您查询使用!...

    0 条评论 59 2024-05-16 18:31

  2. recursively axiomatizable

    精品项目网为您提供递归可公理化recursively axiomatizable是什么意思,recursively axiomatizable翻译,recursively axiomatizable例句,recursively axiomatizable用法等有关,recursively axiomatizable单词知识大全供您查询使用!...

    0 条评论 59 2024-05-16 19:18

返回顶部小火箭