所给结论是实用的，证明是构造性的。
The conclusion given is practical and the proof is constructive.
所以《测圆海镜》的内容是构造性的。
一类构造性几何定理的数值并行法证明器。
A prover for parallel numerical verification of a class of constructive geometry theorems.
构造性成本模型是软件估算中最主要的部门。
构造性实体是虚拟环境中的一类重要的实体。
Constructive entity is an important kind of entity in the virtual environment.
它通常是非构造性的，不优美的，难于一般化的。
It is usually nonconstructive, inelegant, hard to generalize.
本文给出了一类大龙虾树为幸福树的构造性证明。
It is constructively proved that the two classes of felicitous big lobster trees are felicitous tree.
表征的本体性和构造性对于认识表征具有重要意义。
Its ontological and constructive qualities are significant for understanding it.
本文给出互补问题解的存在性的一个充分条件，其证明是构造性的。
A sufficient condition that the complementarity problem has solution is given in this paper, the proof of existence is constructive.
给出了RSA系统中脱密密钥的三个性质：无穷性，构造性，同奇。
Gave three properties of decryption key in RSA system: infinite property, constructive property, same odd type property.
证明是检验方案的一种类型，证明有构造性证明与非构造性证明之分。
We noted that only one type of verification scheme that was usually called "proof" was in the current curriculum for secondary school mathematics.
给出了图象分形压缩映射存在性的一个构造性证明，并应用在图象编码中。
This paper presents an existent and constructive proof of image fractal compression mappings and application in fractal image coding.
本文给出有限域上多项式周期存在的构造性证明，利用它可求出多项式的周期。
This paper gives a constructive proof of existence of period of polynomials infinite field. Using it we can also find the period of polynomials.
摘要：介绍了构造性机器学习方法——覆盖算法在蛋白质二级结构预测中的应用。
Absrtact: Mainly introduces protein secondary structure prediction based on structural machine learning-covering algorithm.
本文主要就是利用这种非构造性概率方法来解决混合超图染色理论中的一些问题。
This paper will use such non-constructive probabilistic method to solve the problems in coloring theory of mixed-hypergraphs.
从数学方法的角度，通过若干实例的分析，阐明了“数学构造性方法”的具体应用。
From the Angle of mathematical methodology, by analyzing some typical examples, the forth application are set on constructivity method of mathematics.
以最佳多项式逼近为度量，用构造性方法估计单隐层神经网络逼近连续函数的速度。
With the best polynomial approximation as a metric, the rate of approximation of the neural networks with single hidden layer to a continuous function is estimated by using a constructive approach.
概率分析进化算法是将构造性模型引入进化算法进行研究而形成的一类新型进化算法。
Probabilistic modeling evolutionary algorithms (PMEAs) that incorporate building models into evolutionary algorithms have become a new class of evolutionary algorithms.
基于上述理论分析，给出了DFA最小化算法的一个容易实现的构造性描述及示例。
A constructive minimization algorithm of DFA easy to be implemented is presented based on the above discussion.
描述了有向无回路图的构造性定义，指出问题一定有不超过所有任务执行时间总和的解。
A constructible definition of the directed acyclic graph was described, and the reason why exists a solution that does not exceed the total execution time of all tasks was explained.
以离散数学和组合数学为代表的可构造性数学是计算机科学与技术学科的最重要的数学基础。
Combinatorics and discrete mathematics are the most important mathematics foundation in science and technology of computer.
通过归纳类比方法和构造性方法，确定了这两种基本方法是解决这一类解析不等式的有效手段。
It is concluded that the induction analogy and constructive methods are good methods for solving the analytic inequality.
应用母函数法研究问题，可以得到系列结果，这是一种辩证性、总括性以及构造性的思维方式。
That the study problem applying on the parent function method can get a series of results. This is a king of thinking with dialectical, sum up, and structural.
文学形象感性形态的不完整、确定与支离破碎是构造性“空白”在文学形象中所体现的不同形式。
The incompleteness, uncertainty and fragment of literary images' perceptive form are varied forms which from the embodiment of constructional "blankness" in literary images.
本文还给出一种基于迭代序列的构造性算法，该算法调用了基本计算过程但不需要确定参数对入和。
A constructive algorithm, based on the iterative sequence of parameters and the procedure of fundamental calculation, is presented in this thesis.
该文研究了G神经网络的函数映射能力，给出了前馈g神经网络映射任意G型多项式的构造性证明。
In this paper, the function approximation of Gelenbe Neural Network (GNN) is discussed and it is proved that GNN can approximate any G-type polynomial by using constructional method.
文章构造性的证明了改进提升系数能增加小波函数的消失矩，而消失矩的增加意味着能获得更好的能量集中特性。
It proves that the improved lifting coefficient can add to the vanishing moment of the wavelet function in a constructed way, and the adding means to a more centralized energy property.
构造性解题方法没有固定的模式，在运用时需要有敏锐的观察力，丰富的联想，灵活的构思，创造性的思维等能力。
Constructive solutions have not fixed modes. To use the means, we need acute observation, abundant association, flexible conceive and creative thinking.
而且对于非正规世界，我们一方面可以把它们理解成死点，但另一方面我们也可以通过构造性的方法证明其不是死点。
We can regard abnormal worlds as dead points but on the other hand we can use a constructive way to prove that they're not dead points.
而且对于非正规世界，我们一方面可以把它们理解成死点，但另一方面我们也可以通过构造性的方法证明其不是死点。
We can regard abnormal worlds as dead points but on the other hand we can use a constructive way to prove that they're not dead points.
应用推荐