1.
Some Results on Games for Bisimulation and Modal μ-calculus;
博弈理论在互模拟和模态μ-演算上的一些应用
2.
A Model Checking Algorithm for Predicate Mu Calculus and Spatial Logic
基于谓词μ演算和空间逻辑的模型检测算法研究
3.
Compositional Reasoning in Intuitionistic Linear-Time μ-Calculus
直觉线性μ-演算中的合成推理(英文)
4.
Analytically Calculate the Cross Section of e～+e～-→μ～+μ～- by Mixed Loop-Chain Propagator in Electroweak Unification Standard Model;
电弱统一标准模型中混合圈链图传播下e～+e～-→μ～+μ～-反应截面的解析计算
5.
Analysis of Calculus Rules on Fuzzy Temporal Relational Algebra
模糊时态数据库关系代数演算规则分析
6.
(λ,μ]-fuzzy Mappings and HX-fuzzy Mappings
(λ,μ]-模糊映射与HX-模糊映射
7.
Composition Operators on μ-Bergman Spaces in the Unit Ball
单位球上μ-Bergman之间的复合算子
8.
μ-Invariant Measures of Jump Process--Containing Absorbing States
跳过程的μ-不变测度——含吸收态情形
9.
(λ,μ)-fuzzy Ideals in Semigroups
半群中的(λ,μ)-模糊理想(英文)
10.
The Production of Computer Analogy Dynamic Demo for Basic Circuit Test in Hydraulic Transmission
计算机模拟动态演示液压传动基本回路实验的制作
11.
The Boundedness of Toeplita-Type Operator θ_α~b on L~(p,λ)(μ) Space
Toeplitz型算子θ_α~b在空间L~(p,λ)(μ)上的有界性
12.
Single-gene-mutation-based evolution strategies(μ+λ+κ)-ES
基于单基因变异算子的进化策略(μ+λ+κ)-ES
13.
Weighted Composition Operators Between μ-Bloch Spaces on the Unit Ball of C~n
C~n中单位球上μ-Bloch空间之间的加权复合算子
14.
It overcomes the difficulty of ?μ? factor selecting in LMS and ELMS algorithms because of using the fuzzy rules.
采用模糊技术来确定μ因子 ,克服了其困难 .
15.
(∈,∈∨q_(λ,μ))-fuzzy n-pseudo Ideals of Semigroups and the Characterization of Drazin Semigroups
半群的(∈,∈∨q_(λ,μ))-模糊n伪理想与Drazin半群的刻画
16.
Enterprise Boundary: The Decision of Static Quiet Model with Development Vague Trend;
企业边界:静态决定模型及动态演变
17.
Study On The Dynamic Advanced Model Of The Pattern Of Trade & Experimental Analyses
贸易模式的动态演进模型与实证检验
18.
By using computer graphic simulation, the concise mathematical model is applied to demonstrate the hobbing process and result dynamically.
根据最简数学模型，利用计算机图形仿真的方法，动态地演示出齿形的形成过程及结果。