排序方式: 共有6条查询结果,搜索用时 15 毫秒
1
1.
2.
3.
一、问题的提出我国从七十年代末期开始研制的计算机布机监测系统,经过不长的时间已经有了很大的发展,尤其是微型计算机监测系统的开发,使这种系统的性价比和可靠性方面有了较大的提高。但是,目前现场与计算机系统之间,一般都采用信息采集站(即信号站)来进行信息的电隔离和采集。这种设备硬件庞 相似文献
4.
5.
我们研制的MCS 200的闭环控制系统配置于国产XK—6325型万能摇臂铣床上。它采用光栅检测技术和直流伺服电机驱动,可进行三轴联动、圆弧任意二轴联动的自动加工,最小编程单位为0.01 mm,最大编程范围为±99999.99 mm。该系统体积小,可用支架直接装配在床体上,操作比较方便。 一、系统简介 图1为这一系统的框图。整个系统由微机控制器、伺服控制驱动器、键盘显示、磁带机、电源等部分组成。另外还有被控机床上的X、Y、Z三个光栅尺,以检测实际位置。三个宽调速直流伺服电机连在三个转动轴上,驱动它们转动。光栅尺、伺服电机通过接口在微控制… 相似文献
6.
机组排班是航空公司运营计划非常重要的一个环节,合理的机组排班可以为航空公司省下一大笔机组成本支出,从而增加航空公司的收益.由于机组排班过程涉及大量的复杂约束,属于NP难问题,因此优化求解困难.本文提出了一种基于可满足性模理论(Satisfiability Modulo Theories,SMT)的航空公司机组排班问题的优化求解方法,将机组排班过程中的各种约束转化为一阶逻辑公式,设立求解目标为最小化成本和最大化机组利用率,将问题转化为求在给定逻辑公式可满足情况下的最优解,并利用SMT求解器Z3进行求解.实验表明,本文的算法能有效的求解一定规模航班计划的机组排班问题,给航空公司带来一定的收益. 相似文献
1