1) adjustable dial
可调标度盘
2) Variable density plate
可调密度盘
3) tuning scale
调谐标度盘
4) tuning dial
调谐用标度盘
5) index plate
标盘，分度盘
6) disk scheduling
磁盘调度
1.
The B model of disk scheduling is built by using B method and its liveness is proved.
使用B方法对磁盘调度建立了B模型,对所建模型进行了活性证明,然后遵循B模型逐步精化的开发规则,利用B方法的精化正确性验证功能,得到系统的可靠实现模型,最后借助B工具自动生成C代码。
2.
Disk scheduling algorithm is very important for computer system to upgrade its values.
总结分析了现阶段流行的一般磁盘调度算法和实时磁盘调度算法,并针对存储的实时业务的特性,提出了改进的调度算法,建立相对应的数学模型,最后通过模拟实验,验证了算法的有效性。
补充资料：非密度制约因素(见密度制约因素)
非密度制约因素(见密度制约因素)
l焦非密度制约因素见生态因素、密度制约后
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条