English translation for "判定算法"
|
- decision algorithm
Related Translations:
判定抽样: judgement asampling 问题判定: problem determination 判定验证: decision verification 判定系统: decision making systemdecision system
- Example Sentences:
| 1. | It is given in chapter three and four
这些，是本文提出的判定算法的petri网方面的理论依据。 | | 2. | The difficulties of the whole system design are the design of the pit judgment arithmetic , the writing of the hy6070 vxd , the design and operation about the database
所以整个系统设计的难点在于：缺陷判定算法的设计； hy6070虚拟驱动程序的编写；数据库的设计和操作。 | | 3. | The difficult part of the whole system is : the design of the interface circuit , the virtual device driver of the data collection card hy - 6070c , the design of the flaw determinant algorithm and the design and operation of the database
整个系统设计的关键在于：接口电路的设计、 hy - 6070c数据采集卡虚拟驱动程序的编写、缺陷判定算法的设计、数据库的设计和操作。 | | 4. | In this article , a algorithm ccn ( calculate crossing number ) is put forward to study the crossing number . it is a very important development in graph planarity issue after planarity - determinant algorithm and embedding algorithm
本文首次给出了较好的计算图的交叉数算法ccn ( calculatecrossingnumber ) ，这是继图平面性判定算法，二连通图的平面嵌入算法之后在图的平面性问题上的一个最重要的进展。 | | 5. | 14 gallo g , mishra b . efficient algorithms and bounds for wu - ritt characteristic sets . effective methods in algebraic geometry , progress in mathematics , 1991 , : 119 - 142 . 15 gao x s , chou s c . a zero structure theorem for differential parametric systems
本文简要介绍了代数方程组的特征列方法及其在几何定理机器证明发现与含参数代数方程求解中的应用，进一步给出了基于特征列方法代数闭域上的一阶逻辑公式的判定算法。 | | 6. | Using these algorithms , we can use computer mechanically to list truth value table of a group of propositional formulae , determine that if a given propositional formula is a tautology , a contradiction , or if the formula is satisfiable
给出了命题逻辑中任一命题公式的真值表的生成算法与命题公式类型的判定算法，实现了利用计算机对有限多个命题公式的真值表的直接计算和输出，以及对一个命题公式是重言式、矛盾式或可满足式的机械判定。 | | 7. | The difficulties of the whole system design are : design of the interface ; programming of the vxd for the hy - 6070c a / d card ; design of the pit judgment arithmetic ; design and operation about the database . all of the difficulties have been studied in detail in this thesis
所以整个系统设计的难点在于：接口电路的设计、 hy - 6070c数据采集卡虚拟驱动程序的编写、缺陷判定算法的设计、数据库的设计和操作，在本文中对于这几部分作了详细的讨论。 | | 8. | The effectively retiming determining algorithm is key of retiming , so it is the key of sequence adjust strategy . the effectively retiming determining algorithm can be mainly classified into two categories : one is based on minimal weight path algorithm , the other is based on simple retiming
在时序调整策略中，有效重定时的判定算法主要分为两类，一类是基于图中最小权路径算法的有效重定时的判定算法，另一类是基于简单重定时的有效重定时的判定算法。 | | 9. | According to the definitions of bottleneck bandwidth , available bandwidth and bulk transfer capacity , we analyzed the algorithms which named vps ( variable packet size ) , pptd ( packet pair / train dispersion ) , slops ( self - loading periodic streams ) and topp ( trains of packet pairs ) ; based on the principle of sub - path bottleneck measurement , we developed the bottleneck measurement algorithm using heterogenous packet - pair train ; after designing the three child algorithms ( demarcating bandwidth range , approaching bandwidth value and predicting the trendency of available bandwidth fluctuation ) , we performed the algorithm called self - loading binary search ; applying the multi - home properties of sctp ( stream controltransmission protocol ) and measurement algorithm of available bandwidth , we presented a scheme to adjust the sctp transport path when there are network congestions or faults ; by the library of winsock and winpcap , we developed a measurement program to look for bottleneck bandwidth . in ns2 experiments , the algorithm based on heterogenous packet - pair train fitted well , and the algorithm of self - loading binary search worked quickly , and the sctp scheme improved the throughput effectively
本文根据瓶颈带宽、可用带宽和btc ( bulktransfercapacity )三类网络带宽定义,分析了vps ( variablepacketsize )和pptd ( packetpair / traindispersion )瓶颈带宽测试算法, slops ( self - loadingperiodicstreams )和topp ( trainsofpacketpairs )可用带宽测试算法;基于子路径瓶颈测试原理,设计了异构包对序列的瓶颈测试算法;并结合三个子算法(界定带宽范围算法、接近带宽值算法和带宽变化趋势判定算法) ,设计了自载流折半查找的可用带宽测试算法;把上面的算法应用到sctp ( streamcontroltransmissionprotocal )的多宿性和可用带宽测试,提出了一个网络拥塞或故障时调整sctp传输路径的方案;结合winsock和winpcap两套网络开发工具,设计了一个瓶颈带宽测试程序;通过ns2仿真实验,验证了基于异构包对序列瓶颈测试算法的准确性、自载流折半查找算法的快速性,和sctp改进方案的有效性。 | | 10. | Based on the model , the thesis proposes the algorithm deciding the important manufacturing process , which can be used to decide the important parts of manufacturing process ; and proposes the algorithm affecting unqualified index of manufacturing quality , which can be used to find the process affecting the unqualified index
基于该模型,提出了重点工序确定算法,用于确定制造过程中需要重点控制的质量环节;提出了不合格指标相关工艺判定算法,用于快速找出质量检验中影响不合格指标的相关工序。 |
- Similar Words：
- "判定确认" English translation, "判定事实争议" English translation, "判定书" English translation, "判定树" English translation, "判定瞬间" English translation, "判定条件" English translation, "判定条件覆盖" English translation, "判定图" English translation, "判定图灵机" English translation, "判定网格表" English translation
|
|
|
