In this paper, a mechanical theorem proving algorithm is proposed, which is based on the exterior differential calculation, vector formulation and the integration of the moving frames of the surfaces, geodesic frames and Frenet frames of the curves on the surfaces.
作者提出了一种以外微分运算和向量计算为主要工具,可以进行有关曲面上曲线局部性质的定理机器证明的算法。
Vector Model for the Computation of Individual Human Resource;
个人人力资源(HR)向量计算模型
The New Method of Calculating the State Feedback Gain Vector of Vibration Control System;
振动控制系统状态反馈增益向量计算的新方法
high-level vector language computer
高级向量语言计算机
Some Vector-valued Estimates for Imaginary Powers of Laplace Operators;
虚数阶Laplace算子的向量值估计
ESPRIT algorithm for DOA estimation using a single vector hydrophone
单矢量水听器ESPRIT波达方向估计算法
Feedback scheduling of computing resources based on support vector machines
基于支持向量机的计算资源反馈调度
A Load-Balancing Algorithm for Sparse Matrix-Vector Multiplication on Parallel Computers
并行计算稀疏矩阵乘以向量的负载平衡算法
Data Quality Problems in Data-Oriented Computer Audit;
面向数据的计算机审计中数据质量问题的探讨
Research on Aggregation Computation for Flow Statistics of Backbone Network
面向骨干网络流量统计的聚集计算研究
double or reverse calculation
两次计算或反向计算
On the Backward State Transition Based Distance Spectrum Computation Algorithm for Turbo Codes
基于后向状态转移算法的Turbo码重量谱计算算法研究
Computers have recently churned out statistics revealing this tendency.
计算机最近算出的大量统计数字显示了这一趋向。
Parameter Design of Hybrid Axial-radial Magnetic Bearing Based on Magnetic Flux Calculation
基于磁通量计算的混合型轴向–径向磁悬浮轴承参数设计
A New Method on Calculating Weighting Vector with Indeterminate Form AHP
不确定型AHP计算权重向量的一种新方法
Study on Word Similarity based on Contextual Word Co-occurrence Vector
基于上下文词语同现向量的词语相似度计算
Firstly, the algorithm of SVM in regression approximation is introduced.
首先，介绍了支持向量回归估计的学习算法。
Study of Support Vector Machines Algorithm Based on Statistical Learning Theory;
基于统计学习理论的支持向量机算法研究
The Calculation of Energy Loss in Distribution Systems Based on Improved Support Vector Machines;
基于改进支持向量机的配电网线损计算
