linear operator model

用法例句

Oriented to linear μ-calculus, its decidability and complexity is discussed.

讨论了线性μ-演算交换深度的可判定性以及求解复杂度。

Compositional Reasoning in Intuitionistic Linear-Time μ-Calculus

直觉线性μ-演算中的合成推理(英文)

Some Results on Games for Bisimulation and Modal μ-calculus;

博弈理论在互模拟和模态μ-演算上的一些应用

Studies on Maximum of "D-->D"(μ)and Continuity under Linear Order;

“D-->D”（μ）的极大性和度量空间上的线性序研究

A Model Checking Algorithm for Predicate Mu Calculus and Spatial Logic

基于谓词μ演算和空间逻辑的模型检测算法研究

The Boundedness of Toeplita-Type Operator θ_α~b on L~(p,λ)(μ) Space

Toeplitz型算子θ_α~b在空间L~(p,λ)(μ)上的有界性

cosmic-ray muon spectrometer

宇宙射线μ介子能谱仪

The Linear Unbiased Estimates Perfection for the Parameters of the Life Distribution F(t-μσ) Under Accelerated Constan-Stress Life Test;

恒加试验中F((t-μ/σ))型寿命分布参数线性无偏估计的改进

Identification Algorithm for Linear System Based on Fractional-order PI~λD~μ Controller

基于PI~λD~μ控制器的一种线性系统辨识方法研究

A QUICK ALGORITHM FOR DEDUCTIVE DATABASE LINEAR RECURSIVE QUERY

演绎数据库线性递归查询的快速算法

Application of Modern Nonlinear Optimization Algorithms on Geodetic Inversion;

现代非线性优化算法在大地测量反演中的应用

Lecture on Non-Linear Inverse Methods in Geophysical Data(9)--Ant Colony Optimization

地球物理资料非线性反演方法讲座(九)——蚁群算法

cosmic-ray neutron and muon monitor

宇宙射线中子与μ介子监测仪

Pattern Search Algorithms for Nonlinear Inversion of High-frequency Rayleigh Wave Dispersion Curves;

基于模式识别算法的高频瑞雷波频散曲线非线性反演研究

Composition Operators on μ-Bergman Spaces in the Unit Ball

单位球上μ-Bergman之间的复合算子

Study on Exact Solution and Integrability of Nonlinear Evolution Equation with Symbolic Computation;

非线性演化方程的精确解与可积性及其符号计算研究

The Investigation of Control Performance of Fractional-order PI~λD~μ Controller

分数阶PI~λD~μ控制器控制性能的研究

Back Analysis of the Loess s Nonlinear Model and the Application of Cellular Automata Theory on It;

黄土非线性本构模型参数反演及其元胞自动机计算理论

Nonlinear Finite Element Method and Genetic Algorithms Material Parameter Back-Analysis Research in Soft Soil;

软土非线性有限元及遗传算法材料参数反演技术研究