1) Ada net
Ada网
1.
The synchronous composition and decomposition of Ada net is studied, as a result, net language properties are obtained, and the safeness and liveness properties of Ada tasking by using the Ada net language are analyzed and verified, which provide a new and useful way for analyzing and verifying the complex Ada tasking.
旨在研究利用网语言讨论Ada程序性质和由此而引起的Ada网的状态爆炸问题。
2) Temporal Ada nets
时序Ada网
3) ADA method
ADA法
1.
This article utilizes the multi-person decision-making ADA method of Decision Theory to carry on the preliminary accuracy appraisement to several commonly used rock slope stability analysis methods.
运用决策学理论中的多人决策ADA法,对常用的几种岩质边坡稳定性分析方法进行了初步的准确性评价。
4) ADAM5510
ADA M5510
5) ADA desulfurization solutions
ADA脱硫液
6) modified ADA
改良ADA
1.
Analysis on the causes of high consumption of modified ADA desulfurizer;
改良ADA脱硫消耗高的原因分析
补充资料：城域网(见计算机网络)
城域网(见计算机网络)
metropolitan area network, MAN
ehengyuwQng城域网(metropolitan area netwo次，MAN)分布范围可覆盖几个街区到整个城市的计算机网络。见计算机网络。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条