Verifying new network protocol and algorithm through extension of NS2 can improve efficiency, reduce cost, and be more flexible.
通过扩展NS2来验证新的网络协议和算法，大大提高了效率、降低了成本，并更具灵活性。
In addition, we propose a new verification method combining graph reduction and graph spread, also the algorithm of verifying process models.
另外了提出了一种新型的图形归约和图形展开相结合的验证方法及过程模型验证算法。
In order to make the experiments environment close to the real network, in the experiments of verifying fairness of algorithm we use self-similar flow as the background flows.
为了使实验环境更接近现实网络，在验证算法的公平性的试验中使用了自相似的背景流来模拟网络的状态变化。
Therefore, the paper firstly pays attention to the research on aircraft target recognition of two-dimensional, after verifying its feasibility, it extend the algorithm to three-dimensional condition.
三维目标的识别可以转化为二维问题，所以本文先研究二维飞机目标的识别，以验证可行性，然后将其推广到三维飞机目标识别。
This paper use simulated annealing (SA) to solve. The optimization effect is obvious by verifying the model and algorithm with an example.
文中用模拟退火算法(SA)设计求解方案，并用实例对模型和算法进行验证，生成到发线使用方案，说明其优化效果明显。
The efficiency of verifying validity of the numerical algorithm is more superior than the standard limited memory BFGS algorithm.
进行数值实验验证算法的有效性，比标准有限记忆BFGS算法更优越。
Then we present an implicit algorithm for verifying the partial implementation with black boxes, the experimental result demonstrates its effective-ness …
然后给出了一种关于带黑匣子的部分实现的隐式等价性检验方法，实验结果表明了该方法的有效性。
Then we present an implicit algorithm for verifying the partial implementation with black boxes, the experimental result demonstrates its effective-ness …
然后给出了一种关于带黑匣子的部分实现的隐式等价性检验方法，实验结果表明了该方法的有效性。
应用推荐