位置：成果数据库 > 期刊 > 期刊详情页
On Implementing the Symbolic Preprocessing Function over Boolean Polynomial Rings in GrSbner Basis Algorithms Using Linear Algebra
  • ISSN号：1009-6124
  • 期刊名称：《系统科学与复杂性学报：英文版》
  • 时间：0
  • 分类：N[自然科学总论]
  • 作者机构：Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100190, China.
  • 相关基金：This research was supported by the National Nature Science Foundation of China under Grant Nos. 11371356 and 61121062.
作者： SUN Yao[1], HUANG Zhenyu[1], LIN Dongdai[1], WANG Dingkang[2]
关键词： 全面, Gr, ?, bner, 系统, 参量的多项式, perspective-three-point, 问题, 真实答案, Comprehensive GrSbner system, parametric polynomials, perspective-three-point prob-lem, real solutions.
中文摘要：

perspective-three-point (P3P ) 的一个完全的答案分类问题被使用 Gr 给 ? bner 基础方法。P3P 问题推出的多项式系统的解决方案空格的结构能被计算全面 Gr 获得 ? bner 系统。与概括判别式的性质结合定序，作者给明确的条件决定 P3P 问题的不同真实积极答案的数字。几个例子被提供说明建议条件的有效性。

英文摘要：

A complete solution classification of the perspective-three-point （P3P） problem is given by using the GrSbner basis method. The structure of the solution space of the polynomial system deduced by the P3P problem can be obtained by computing a comprehensive Grobner system. Combining with properties of the generalized discriminant sequences, the authors give the explicit conditions to determine the number of distinct real positive solutions of the P3P problem. Several examples are provided to illustrate the effectiveness of the proposed conditions.

同期刊论文项目
基于Groebner基方法的布尔多项式方程组求解算法的研究与实现
期刊论文 1
基于签名的Groebner基算法及其应用
期刊论文 1
　数学机械化方法及其在数字化设计制造中的应用
期刊论文 90
数学机械化方法及其在信息技术中的应用
期刊论文 98 会议论文 28
同项目期刊论文
Residues and Telescopers for Bivariate RationalFunctions
An Efficient Method for Computing Comprehensive Gröbner Bases
An Efficient Algorithm for Computing Comprehensive Gröbner System of a Parametric Polynomia
Computing Polynomial Univariate Representations of Zero-dimensional Ideals by Groebner Basis
A Generic Position Based Method for Real Root Isolation of Zero-Dimensional Polynomial Systems
Hochschild homology and truncated cycles
An improved method to measure all rate constants inthe simplest enzyme kinetics model
Nonautonomous discrete rogue wave solutions and interactionsin an inhomogeneous lattice with varying
A new iso-scallop height tool path planning method inthree- dimensional space
Quasi-Steady-State Laws in reversible model of enzyme kinetics
Using a Bivariate Sparse Resultant to Find the Singularities of Rational Space Curves.
Differential Chow Form for Projective Differential Variety
Characteristic Set Algorithms for Equation Solving in Finite Fields
On Functional Decompisition of Multivariate Polynomials with Differentiation and Homogenization
Matrix formulae of differential resultant for first order generic ordinary differential polynomials
On the Construction of Finite Oscillator Dictionary
Role of Moving Planes and Moving Spheres of Cyclides
Young measures as probability distributions of Loebspaces
Trading Order for Degree in Creative Telescoping
Geometric Error Control in the Parabola-BlendingLinear Interpolator
Pre-compensation of contour errors in Five-Axis CNCmachine tools
Smooth trajectory generation for five-axis machinetools
On the Summability of Bivariate Rational Functions
Multiplicity-preserving triangular set decompositionof two polynomials
微分周形式与稀疏微分结式
一类Riemann 张量指标表达式的标准型完全分类及其在微分几何中的应用
Stratified bundles and étale fundamental group
Results on permutation symmetric Boolean functions.
Computing Isolated Singular Solutions of Polynomial Systems: Case of Breadth One
Subconstituents of unitary graphs over finite fields
Time-optimal interpolation for five-axis CNC machining along parametric tool path based on linear pr
Computing perspective projections in 3-dimensionsusing rotors in the homogeneous and conformal model
Sparse Difference Resultant
Verified Error Bounds forIsolated Singular Solutions of Polynomial Systems
Efficient Time Optimal Feedrate Planning under Dynamic Constraints for High-order CNC Servo System
Topological Classifications of the Intersection Curves of Two Ring Tori.
A Note on the Diagonal Theorem of Bivariate Rational Formal Power Series (in Chinese)
Two Proofs on Max-Min-Max Principle of Jerk Control inTime-Optimal Rectilinear Motion
Subconstituents of orthogonal graphs of oddcharacteristic continued
A New Proof for the Correctness of the F5 Algorithm
Efficient algorithm for time-optimal feedrate planning and smoothing with confined chord error and a
Cubic Spline Trajectory Generation with Axis Jerk and Tracking Error Constraints
Tracking Error Reduction in CNC Machining by Reshaping the Kinematic Trajectory
The compositional inverse of a class of bilinear permutation polynomials over finite fields of chara
Determining singularsolutions of polynomial systems via symbolic-numeric reduction to geometricinvol
A New Proof for the Correctness of F5 Algorithm
The reason of Hopf’s and Oleinik’s proofs forcountability of shocks being wrong
<strong>Exact certification in global polynomial optimization via sums-of-squares of rational
Using Smith Forms to Compute All the Singularities of Rational Planar Curves
A Note on Two Classes of Boolean Functions With Optimal Algebraic Immunity
Efficient time-optimal feedrate planning under dynamic constraints for a high-order CNC servo system
Complex PI-symmetric nonlinear Schr&ouml;dinger equation and Burgers equation
Localized Analytical Solutions and Parameters Analysis in the Nonlinear Dispersive Gross–Pitaevskii
Time-optimal interpolation for CNC machining along curved tool pathes with confined chord error
Linearized Polynomials over Finite fields revisited
Verified Error Bounds for Isolated Singular Solutions of Polynomial Systems: Case of Breadth One
Results on permutation symmetric Boolean functions
复杂曲面五轴数控加工刀轴矢量优化方法研究
基于参数曲面映射的五轴数控螺旋加工轨迹计算方法
基于逐点比较法的特殊曲线磨削算法研究
基于永磁同步电动机中混沌运动状态观测器的同步控制
基于正交GF系统的散乱数据拟合及分析
对Bivium流密码的变元猜测代数攻击
A Note on Two Classes of Boolean Functions With Optimal Algebraic Immunity
基于自适应网格变形的图像编辑算法
保持纹理细节的无缝图像合成
Multiplicity-preserving triangular set decomposition of two polynomials
Generation method for five-axis NC spiral tool path based on parametric surface mapping
一种显式Hermite曲线插值方法
层次多结点样条曲线逼近
复数基下的图像伪装算法
基于模拟退火和遗传算法的神经网络在精确施肥中的研究
尺度不变V变换信号消噪
The F5 algorithm in buchberger's style
Effective algorithms for computing triangular operator in Schubert calculus
Time-optimal interpolation for CNC machining along curved tool pathes with confined chord error
曲面隐式化新进展
Time Optimal Feedrate Generation with Confined Tracking Error based on Linear Programming
Exact bivariate polynomial factorization over Q by approximation of roots
On functional decomposition of multivariate polynomials with differentiation and homogenization
一种自适应的T型结构掌纹分区算法
基于多类在线Boosting的图像识别算法
基于最小扭曲变换的正面人脸图像合成
基于Gabor相位的指纹图像细化算法
3D打印中的几何计算研究进展
基于无网格的软组织物理建模及模型验证
基于HElib的并行多比特明文同态比较模型
使用Kinect快速重建三维人体
重型数控机床热误差建模及预测方法的研究
平头铣刀圆形铣削的切削力预测
六自由度气浮仿真平台位姿最优滑模控制方法
基于力控制的机器人研抛工艺研究
一类新的正交矩-Franklin矩及其图像表达
基于旋转不变U变换的纹理图像分类
工程仿真精度可信的CAD模型简化
面向等几何分析的几何计算
一种布尔多项式的高效计算机表示
Dark Solitons for the Defocusing Cubic Nonlinear Schr?dinger Equation with the Spatially Periodic Potential and Nonlinearity
V-系统在3D模型数字水印中的应用
V-系统在形状相似检索中的应用
V-系统与Radon变换相结合的纹理分类算法
分形的正交频谱分析
基于学习的高分辨率掌纹细节点质量评价方法
基于永磁同步电机反推方法混沌运动的同步控制
基于现场总线的双轴同步协调控制方法研究
平底刀五轴端铣3D刀补中运动突变的检测算法
三次多项式位移增量微段前瞻插补算法研究
基于谱特征和深度信任网络的三维模型分类
PLC源程序编码方法与解释执行算法设计
基于弧长的渐开线插补新算法
CA摆头五轴机床校验与优化
基于陷波器的伺服系统共振抑制的研究
数控系统网络通信平台的设计与实现
基于多传感器信息融合的机器人姿态测量系统
只需异或运算的秘密分享方案
伺服电动机的振动抑制
反向插补的NURBS曲线前瞻插补算法
特征点的B样条曲线逼近技术
面向高速加工的等残余螺旋轨迹生成方法
基于鲁棒主成分分析的人脸子空间重构方法
基于Franklin函数的数字曲线多边形逼近
五轴联动刀轴矢量平滑插补算法
五轴加工奇异区域内的刀具路径优化
面向数控系统的数据流反馈调度框架
适用于自由曲面高速高精加工的旋转轴位置优化算法
一类带冗余支链并联机器的运动学自标定
五轴端铣3D刀补中运动突变的处理
五轴数控系统旋转轴快速平滑插补控制策略
一种基于细节点全局置信度的指纹匹配算法
基于反演滑模变的电力系统混沌振荡控制
Hopf Bifurcation in a New Four-Dimensional Hyperchaotic System
基于状态负反馈的电力系统混沌控制
具有良好密码学性质的布尔函数的级联构造
PROPER REPARAMETRIZATION FOR INHERENTLY IMPROPER UNIRATIONAL VARIETIES
基于PLC的PID控制系统
PARAMETRIC EQUATION SOLVING AND QUANTIFIER ELIMINATION IN FINITE FIELDS WITH THE CHARACTERISTIC SET METHOD
有界闭区间并上的非线性循环程序的终止性验证
基于圆锥直纹面刀具姿态控制的曲线插补算法
用于视觉词语生成的概率预测器
A CONTROL ALGORITHM FOR RAPID MOVEMENTS NEAR THE RADIUS COMPENSATION SINGULARITY IN FIVE-AXIS END MILLING
A TOOL PATH CORRECTION AND COMPRESSION ALGORITHM FOR FIVE-AXIS CNC MACHINING
基于滑模变结构永磁同步电机混沌跟踪控制
基于带补偿字典的松弛稀疏表示的小样本人脸识别
A Combinatorial Condition and Boolean Functions with Optimal Algebraic Immunity
Dembowski-Ostrom Polynomials from Reversed Dickson Polynomials
Active Disturbance Rejection Control for PMLM Servo System in CNC Machining
期刊信息
  • 《系统科学与复杂性学报：英文版》
  • 主管单位:中国科学院
  • 主办单位:中国科学院系统科学研究所
  • 主编：
  • 地址：北京东黄城根北街16号
  • 邮编：100080
  • 邮箱：
  • 电话：010-62541831 62541834
  • 国际标准刊号：ISSN：1009-6124
  • 国内统一刊号：ISSN：11-4543/O1
  • 邮发代号:82-545
  • 获奖情况:
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国数学评论（网络版）,德国数学文摘,荷兰文摘与引文数据库,美国工程索引,美国科学引文索引（扩展库）,英国科学文摘数据库
  • 被引量:125