1.
The Research and Application of B Language and Method in Algorithm Formalization;
B语言与方法在算法形式化中的应用研究
2.
General Discussion about the True Property of Rules and Formalized Algorithm for True Rules
规则“真”的一般概念和“真”规则形式算法
3.
Research on Flexible Object Simulation Algorithm Based on Trapezium Formula
基于梯形公式的柔体仿真算法的研究
4.
Research on Heuristic Algorithms for Two Types of Rectangle-packing Problem;
两类矩形布局问题的启发式算法研究
5.
The Research of Context Isomorphism Detection Algorithms and Their Application;
形式背景同构判定算法研究及其应用
6.
The Finite Study and the Algorithms Implement of Formal Context Kernel;
形式背景核的有限性研究与算法实现
7.
Cutting and Punching Layout Algorithm for Circular Blanks Based on Three Blocks Pattern
基于3块方式的圆形片剪冲排样算法
8.
Algorithm of predicate abstraction for intermediate form of Java program
针对Java语言中间形式的谓词抽象算法
9.
Fully Distributed Clustering Algorithm Based on Fractal Dimension
基于分形维度的完全分布式聚类算法
10.
Active XML Rewriting Algorithm Based on Formal Language Theory
基于形式语言理论的Active XML重写算法
11.
Algorithm modeling goals precedence relations based on transferability closure
目标时序关系的形式定义和建模算法
12.
Research on Algorithm for Picking up Graph in Interactive Graphics Systems;
交互式图形系统中图形拾取算法的研究与应用
13.
FAST CALCULATION USING POLYNOMES FORTOPOGRAPHIC CORRECTION INRESISTIVITY METHOD
电阻率法地形改正的多项式快速计算方法
14.
stage of formal operation
形式运算阶段 形式运算阶段
15.
form of enterprise and method of accounting;
企业形式、核算方式；
16.
A NEW EXPRESSION OF THE LAGRANGE FORMULATION INROBOT DYNAMICS AND ITS ALGORITHM INVESTIGATION
机器人动力学Lagrange方程的新形式及其算法研究
17.
Calculation Method and Testing Study of Shafting Center Distance of Silent Chain with Round-pin Joint;
圆销式齿形链中心距计算方法与测试研究
18.
Study on Calculation Methods of Landslide Thrust and Their Distribution;
滑坡推力计算方法及其分布形式的研究