时间约束调度中功能单元的下限估算

针对高层次综合中时间约束下的调度问题,提出了对功能单元的2种下限估算算法：单位长度调度法和最大网络流法．其主要思想是将原调度问题的不同约束放松,得到多项式可解的新问题,并使得新问题的最优解是原调度问题的下限值．将2种算法与已有的最小重叠法和整数线性规划给出的最优解做了理论和实验上的比较．实验结果表明：2种估算算法运行时间合理,并且单位长度调度法比最小重叠法更准确．最后总结了各种约束对下限估算准确性的影响．     

两种不同前提下的多电压调度对比

高层次综合中的多电压调度问题一般基于2个不同的前提：功能单元电压的静态配置和动态配置．这2个前提对操作的调度和电压分配有不同的影响,导致最终能工作在低电压的操作个数不同．对于这2个多电压调度问题分别提出了整数线性规划描述,并结合线性松弛的方法对这2种情况下工作在低电压的最大操作个数进行了测试和对比．最后,基于实验数据分析总结了两者的比值随时间约束和资源约束的变化情况．     

建立计量与自控仪表网上管理系统

计算机网络技术正在逐步改变我们的工作方式,许多原来通过文件、传真或电话解决的问题正在逐渐由计算机网络来完成,它不但能节省开支,更重要的是极大地提高了工作效率。本文主要阐述如何通过计算机技术实现计量与自控仪表的网上管理。