试验回路的等价性还表现在电流零点附近的物理过程和恢复电压的初始部分。
Nice equivalence of test circuit manifests in the initial part of recovery voltage and the physical process near current zero as well.
本文对仿真的算法和过程进行了阐述,以混合仿真和等价性验证为基础,提出了加快仿真和验证速度的措施。
This paper expands the algorithm and process of simulation, and then put forward new measures to accelerate it using cc simulation method and equivalence checker.
分配规则的正当性、分配过程的秩序性和分配结果的公平性等价值目标的实现,离不开法律的确认、维护与矫正功能的发挥。
The realization of distributive value goal of course justice and result fairness cannot go without the legal function of affirmation and maintenance and recovery.
讨论了基于二叉判决图(BDD)的组合电路等价性检验方法,并分析了等价性检验过程中的误判问题及其消除方法;
The combinational equivalence checking methods based on binary decision diagram(BDD)are dis-cussed, the false negative problem during equivalence checking and its eliminating methods are analyzed.
本文通过对并行环境下非确定有限自动机和确定有限自动机的等价性和转换进行研究,详细分析了非确定有限自动机到确定有限自动机的并行转换方法及算法,并以实例给出了其间并行转化的过程。
This paper through to research the equivalence and conversion of NFA and DFA in parallel environment, labor the method of NFA convert to DFA, and give a example of the process of parallel conversion.
为了消除噪声的影响,在进行计算时,选择某些集团重心位置作为迭代过程中的等价强反射层位置。在人工合成数据上的实验结果说明了方法的有效性。
To eliminate the influence of noise, the positions of centroids of clusters computed from the synthetic reflection coefficients can be selected as the new positions in the iterative processes.
对幂指函数求极限的问题,提出了几种方法,尤其讨论了等价无穷小替换在幂指函数求极限过程中的可行性。并且以实例演练了理论的应用性。
Several methods about limit of power-exponent function are provided. Especially, the application of equivalent infinitesimal replacement is proved. And the theory is described by some examples.
如果结合等价模型和快速射线追踪过程的利用,可大大提高联合反演的实用性。
If simultaneously combined with equivalent models and the rapid procedure of ray tracing, the practicability of joint inversion can yet be improved.
如果结合等价模型和快速射线追踪过程的利用,可大大提高联合反演的实用性。
If simultaneously combined with equivalent models and the rapid procedure of ray tracing, the practicability of joint inversion can yet be improved.
应用推荐