判定算法 meaning in English
decision algorithm
Examples
- 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
给出了命题逻辑中任一命题公式的真值表的生成算法与命题公式类型的判定算法，实现了利用计算机对有限多个命题公式的真值表的直接计算和输出，以及对一个命题公式是重言式、矛盾式或可满足式的机械判定。 - 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数据采集卡虚拟驱动程序的编写、缺陷判定算法的设计、数据库的设计和操作，在本文中对于这几部分作了详细的讨论。 - 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
在时序调整策略中，有效重定时的判定算法主要分为两类，一类是基于图中最小权路径算法的有效重定时的判定算法，另一类是基于简单重定时的有效重定时的判定算法。 - 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改进方案的有效性。 - 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
基于该模型,提出了重点工序确定算法,用于确定制造过程中需要重点控制的质量环节;提出了不合格指标相关工艺判定算法,用于快速找出质量检验中影响不合格指标的相关工序。