1) coke-pushing management system
推焦管理系统
2) reasoning system
推理系统
1.
For the validation of complex simulation systems,the general structure of the simulation validation tool was presented from the perspective of knowledge,and such key components as the validation data base,validation method base,validation rule base,and reasoning system were designed.
针对复杂仿真系统的验证问题,从基于知识的角度提出了仿真验证工具的总体结构,对验证数据知识库、验证方法知识库、验证规则库和推理系统等关键组件进行了设计,并开发了仿真验证工具。
2.
The reasoning system is designed and implemented based on tableaux algorithm of DL.
设计并实现了基于描述逻辑Tableaux算法的推理系统,实验结果表明,该系统可实现本体基本推理功能、TBox及ABox推理功能,且能融入到语义Web的实际应用系统中,减少对计算机的人工干预,在一定程度上提高了机器的理解能力。
3) deductive system
推理系统
1.
Lastly, the deductive system of sub-Hilbert algebra is dicussed.
首先在Hilbert代数上定义了二元序关系和一元运算*,讨论了相关的性质,研究了它与Wa jsberg代数及弱R0 代数之间的关系,由此引入弱Hilbert代数;其次,在弱Hilbert代数上定义了运算,得到了一类剩余格;最后,讨论了弱Hilbert代数的推理系统。
4) interlocking pushing system
推焦联锁系统
5) pushing factor
推焦系数
6) management system
管理系统
1.
Research and application of on-line monitoring management system for urban sewage treatment;
城市污水处理在线监测管理系统的研究与应用
2.
Research on the road integrated safety management system;
道路交通安全一体化管理系统的研究
3.
Research on information management system for spinning process;
面向纺纱工艺的信息管理系统研究
补充资料：推焦
推焦
coke pushing
tuijjao推焦(eoke pushing)用推焦机按推焦串序把焦炭从炭化室中推出的燕炉操作过程。推焦时，先摘下出焦炭化室机、焦两侧炉门，把推焦杆和拦焦栅对准炭化室，推焦杆将焦饼推出，红焦经导焦槽落入熄焦车或焦罐，送往熄焦塔或干法熄焦装置。推焦时，应观察推焦杆移动状态，推焦电流表的最高电流值和炭化室两侧墙面有无异常。如发现墙面有明显黑条、亮条、变形和损坏等，应及时报告并作记录，供计算推焦系数时使用。在规定推焦电流范围内不能顺利推焦的现象称焦饼难推。焦炉热工、炉体状况、焦炉附属设备以及配煤和操作等方面的问题，都会造成焦饼难推。需要做预防性的监测和处理。推焦时摘下的炉门、炉门框和散落的焦炭均需清扫，以保证推焦操作正常进行。 (葛茂弟李哲浩)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条