1.
Compositional Reasoning in Intuitionistic Linear-Time μ-Calculus
直觉线性μ-演算中的合成推理(英文)
2.
Differential Evolution Algorithm for Two-stage Intuitionistic Fuzzy Nonlinear Programming
差分进化算法求解二阶段直觉模糊非线性规划
3.
Some Results on Games for Bisimulation and Modal μ-calculus;
博弈理论在互模拟和模态μ-演算上的一些应用
4.
Robust Repetitive Control for Permanent-magnet Linear Synchronous Motor Based on μ Theory
基于μ理论的永磁直线同步电机鲁棒重复控制
5.
Studies on Maximum of "D-->D"(μ)and Continuity under Linear Order;
“D-->D”（μ）的极大性和度量空间上的线性序研究
6.
A Model Checking Algorithm for Predicate Mu Calculus and Spatial Logic
基于谓词μ演算和空间逻辑的模型检测算法研究
7.
Hilbert s Type Intuitionistic Systems of First Order Sentential Calculus;
一阶命题演算的希尔伯特型直觉主义系统
8.
The Boundedness of Toeplita-Type Operator θ_α~b on L~(p,λ)(μ) Space
Toeplitz型算子θ_α~b在空间L~(p,λ)(μ)上的有界性
9.
Dynamic Quality Identification and Design of μ Synthesis Control for PMSLS
直线伺服系统动子质量辨识及μ综合控制器设计
10.
Linear and Non-linear Inversion Methods Research on Direct Current IP Measurements;
直流激电反演中的线性与非线性方法研究
11.
Properties of Temporal Logic Operators and Extended Operations on Intuitionistic Fuzzy Singular Rough Sets
直觉模糊S-粗集时态逻辑算子及扩展运算性质
12.
cosmic-ray muon spectrometer
宇宙射线μ介子能谱仪
13.
The Linear Unbiased Estimates Perfection for the Parameters of the Life Distribution F(t-μσ) Under Accelerated Constan-Stress Life Test;
恒加试验中F((t-μ/σ))型寿命分布参数线性无偏估计的改进
14.
Identification Algorithm for Linear System Based on Fractional-order PI~λD~μ Controller
基于PI~λD~μ控制器的一种线性系统辨识方法研究
15.
A QUICK ALGORITHM FOR DEDUCTIVE DATABASE LINEAR RECURSIVE QUERY
演绎数据库线性递归查询的快速算法
16.
Where Euclid unconsciously assumed the infinitude of straight lines.
欧几里得不自觉地假定了直线的无限性。
17.
Application And Research In Intuitionistic Fuzzy Attribute Decision Making Based On General Induce Ordered Weighted Averaging(GIOWA) Operator
GIOWA算子在直觉模糊多属性决策中的应用研究
18.
Intuitionistic Fuzzy-Valued Sugeno Integral Operator for Multi-Attribute Group Decision Making
基于直觉模糊值Sugeno积分算子的多属性群决策