排序方式: 共有48条查询结果,搜索用时 31 毫秒
1.
2.
3.
程序自动综合中的一个难题是:系统怎样才能自动地发现并构造出所需的子程序.本文中我们提出一种基于部分二阶逻辑的机制,称之为假说演算.我们实现了一个基于此种机制的逻辑程序自动设计的实验系统ALP.当不能由背景知识直接构造出C_i~’S时,ALP能自动导出所需子程序的输入-输出实例并综合出所需子程序. 相似文献
4.
AP工业齿轮油具有独特的抗微点蚀性能和出色的抗磨性能。实际使用表明。AP工业齿轮油可以满足钢铁行业轧机组的润滑要求,使用周期超过21个月。 相似文献
5.
6.
我国的计算机网络应急处理工作始于1999年,目前仍处于起步阶段,对应急响应的研究侧重工具的研究开发,对应急响应知识缺乏管理,整个应急响应 相似文献
7.
8.
9.
张新矿新风井坚硬岩石凿岩爆破技术 总被引:1,自引:1,他引:0
针对坚硬围岩特性,通过对其可钻性和可爆性分析,选取了合适的掏槽方式,对凿岩爆破出现的问题采取措施处理,及时调整眼深和其它爆破参数,保证了钻爆施工质量,提高了爆破效果,加快了施工速度,取得了良好的爆破效果和经济效益。 相似文献
10.
“半导体技术”1981年第6期61页上介绍的电路,是经过多次小批量生产的定型成熟电路.该电路由于工作频率较高,因此,给业余初学制作者在调试过程中带来了一定的困难.一般情况下,如果电路安装无误,T_(r2)~T_(r4)晶体管f_T>600MHz,在元器件均正常的情况下,该电路可以做到一装即成.唯一存在的问题是发射状态的好与坏之分.为使机器工作在理想状态,下边简介调试方法,供业余制作者参考. 相似文献