1.
A Symbolic Algorithm for Computing Critical Values of Algebraic Functions under SAS Restrictions;
求代数函数在半代数系统约束下的临界值的符号算法
2.
Some Equivalent Axiom System of P-Semi-simple BCI-Algebras;
P-半单BCI-代数的几组等价公理系
3.
Relation between Three Classes of BCI-algebras and Group and Semigroup
三类BCI-代数与群和半群的关系
4.
The Research of Cutter Radius Compensation of Five-Axis CNC System;
五轴联动数控系统刀具半径补偿研究
5.
The Development of Hardware-In-the-Loop Simulation System for Digital Missile;
数字化导弹通用半实物仿真系统研制
6.
Statistical Inference Theory and Application of Semi-varying Coefficient Models
半变系数模型的统计推断理论及应用
7.
RESEACH ON APPLICATION OF SEMIPARAMETRIC MODEL IN SYSTEMATIC ERROR
半参数模型在系统误差处理中的应用
8.
Development of Semi-physical Simulation and Training System for CNC Machining
数控机床半实物仿真培训系统的研究
9.
Application Skills to FANUC NC System’s Tool Radius Compensation
FANUC数控系统刀具半径补偿的应用
10.
IMTL System and IMTL-algebra;
IMTL逻辑系统及IMTL-代数
11.
Probing into Realization of NC System of Semi-Automatic Angle Bar Production Line
半自动角钢数控生产线数控系统实现方法探讨
12.
Study and comparison of semi-regression model of additional system parameters
附加系统参数的半参数回归模型研究与比较
13.
Differential-Algebraic Algorithm and Sequential Penalty Algorithm for Semidefinite Programming;
半定规划的微分代数算法和系列惩罚算法
14.
Kevews of an Eguiavlent Axiom System of p-semisimple BCI_algebras;
关于p-半单BCI-代数的一组等价公理系的讨论
15.
Petrinet-Based Modeling for Foundry Manufacturing System;
基于Petrinet的半导体代工系统建模及案例研究
16.
IDEMPTENTS OF ENVELOPING SEMIGROUP IN A KIND OF SUBSTITUTION MINIMAL SYSTEM
一类代换极小系统中包络半群的幂等元
17.
A Mathematical Model Used in the Emulation System for Bridgman Growth of Semiconductor Crystal in Space
用于空间半导体区熔生长仿真系统的数学模型
18.
Improved c-k Estimators of the Parameters in Seemingly Unrelated Regression System;
半相依回归系统参数的c-k型改进估计