提出了一种新的动态启发式二叉判定图 ( BDD ) 最小化算法.用英语怎么说？

提出了一种新的动态启发式二叉判定图 ( BDD ) 最小化算法.

A new dynamic heuristic binary decision diagram ( BDD ) minimization algorithm is proposed.

new

adj. 新的，崭新的，新鲜的，新到的，现代的，初次（听到）的；adv. 新近，最近；

例句
When I listen to her play I can hear a new Nigel Kennedy.
从她的演奏中我听出了新一代的奈杰尔·肯尼迪。

dynamic

adj. 动态的，动力的，动力学的，充满活力的，精力充沛的，不断变化的，充满变数的；n. 动态，动力，推动变化的力量，动力学，活力；

例句
With the new artists, you see a more dynamic stage show than you used to see. And again, that's probably part of the progress of technology.
有了这些新艺术家，你看到的舞台剧会比你以前看的更富有活力。同样，那也可能是科技进步的一部分。

heuristic

adj. 启发式的，探试的，探索的；

例句
Develops cutting plane methods, integral basis methods, enumerative and heuristic methods and approximation algorithms.
阐述割平面方法 、 整基方法 、 枚举和启发式方法和逼近算法.

binary

adj. 双重的，由两个东西组成的，二态的，二元的，二进制的；n. 一双，双体，二进制数，双子星；

例句
...a binary star.
双星

decision

n. 决定，果断，决议，（法院的）判决；vt. [口语][拳击]靠判定击败（对手）；

例句
The decision was made to abort the mission...
决定中止这项任务。

diagram

n. 图表，图解，示意图，[数]线图；vt. 用图表示，图解；

例句
This is represented in the schematic diagram below.
这正如下面的这幅简略图所示。

minimization

--

例句
Therefore, on the complex plane, robust stability can be formulated by minimization of pseudospectra abscissa.
于是在复平面上, 鲁棒稳定性问题就转化为伪谱横坐标(伪谱最右端的横坐标值)最小的优化问题.

algorithm

n. 运算法则，演算法，计算程序；

例句
C - T - ABS abstractive algorithm transforms � � - expression to SKI - expression, which is the theoretical foundation of functional programming language implementation.
ABSTRACT,C-T-ABS是把λ表达式转换成SKI表达式的抽象算法, 是函数式语言实现的理论基础.

is

vt.& vi. 是（be的三单形式；n. 存在；

例句
Bollinger 'RD' is a rare, highly prized wine.
博林格RD香槟是一种名贵的备受推崇的葡萄酒。

proposed

adj. 被提议的，所推荐的；v. 提议，建议( propose的过去式和过去分词 )，打算，提供（解释），提出（行动，计划或供表决的方案等）；

例句
The President proposed that Russian diplomats could be accredited to NATO headquarters...
总统提议俄罗斯外交官可被派驻北约总部。