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;
软土非线性有限元及遗传算法材料参数反演技术研究