1) bounded reaching algorithm
有界可达算法
1.
Qadeer presented a bounded reaching algorithm for concurrent pushdown systems,which based on limiting the number of context switch,can analyze interprocedural concurrent programs.
Qadeer首次针对并发下推系统提出一种有界可达算法,通过限定上下文切换的次数使得算法可终止,可有效地分析过程间并发程序。
2) arrival algorithm
可达算法
1.
Ebs and Ewf plot is drawn,and combined with arrival algorithm of time Petri net.
此方法根据顾客需要货物的情况,有条件地选取供应链网络图中可跨越活动和可替换分支,将网络图分别描述成Ebs图和Ew f图,结合时间P etri网的可达算法,求得Ebs和Ew f的关键路径。
3) bound and invertible operator
有界可逆算子
4) algorithm with bounded variables
有界变量算法
5) mvertible bounded linear operation
有界可逆线性算子
6) Integrably bounded
可积有界
补充资料：达林控制算法
分子式：
CAS号：
性质：根据所需达到的闭环控制品质来设计数字控制器。差拍控制要求输出在(d+1)拍起，一步达到设定值，这似乎操之过急，而达林在1968年提出，把过渡时间放得稍长一些，即规定对象的输出在时滞τ以后，按e指数曲线趋近设定值，这样输出变化稍和缓些，以减少控制作用的跳动，提高稳定性，由于e指数曲线变化对应于闭环特性为具有时滞的一阶非周期，由此可设计出数字控制算法。缺点是控制作用仍有跳动。
CAS号：
性质：根据所需达到的闭环控制品质来设计数字控制器。差拍控制要求输出在(d+1)拍起，一步达到设定值，这似乎操之过急，而达林在1968年提出，把过渡时间放得稍长一些，即规定对象的输出在时滞τ以后，按e指数曲线趋近设定值，这样输出变化稍和缓些，以减少控制作用的跳动，提高稳定性，由于e指数曲线变化对应于闭环特性为具有时滞的一阶非周期，由此可设计出数字控制算法。缺点是控制作用仍有跳动。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条