WAM相关论文
In order to implement Prolog efficiently, Prolog-oriented processors and VLSI chips have been proposed and designed. How......
对一螺旋输送机的安装方法进行了详细介绍。为保证设备正常运行,安装过程中应严格控制壳体的直线度,并调整各悬挂轴承的同心度。
......
根据正交分割理论,现在流行的频率分割制(FDM)和时间分割制(TDM)都属于正交分割的范畴。满足正交条件的信号不仅仅只有频分和时分......
随着科学技术的发展,海量生物信息数据的出现,生物信息学成为了一个引人瞩目的学科.面对成千上万的碱基序列,由于成本和耗时的限制......
描述了一个高度优化的约束逻辑程序（CLP）编译系统解释实现中的算法和优化策略．并通过定义新的数据结构，采用多种优化策略，使该系统能够......
本文介绍了设计ＳＣ－ＰＲＯＬＯＧ逻辑程序编译系统时所采用的方法，解决了系统系统设计方案，中间代码选择，动态编译实现以及优化手段实现等问题。分析了......
在过去的100多年中，美国得克萨斯州逐步建立了一套地表水水权制度。本文重点介绍了得克萨斯州的水权制度及其历史演变、水权制度的......
11月10日,山高刀具在瑞典Fagersta为其压制和烧结硬质合金刀片的新工厂举行了开业典礼。在过去的两年内,山高刀具为该工厂投入了总......
WAV：WAV是Windows Media Voice的缩写，WAV格式的文件想必大家再熟悉不过了，微软的视窗操作系统的声音文件大多采用这种格式，在这里就不......
描述了一个高度优化的约束逻辑程序（CLP）编译系统解释实现中的算法和优化策略，并通过定义新的数据结构，采用多种优化策略，使该系统能够......
本文提出了一种抽象机ＧＯＡＭ，是Ｐｒｏｌｏｇ语言新的运行和实现方式，因为ＧＯＡＭ内存管理是一种堆式内存分配方法，所以具有潜在的并行性，另外ＧＯＡＭ控制算法是智能回溯......
技术概况 泡沫型温拌沥青是一种生产高性能沥青混合料的更加环保的创新技术。壳牌公司和挪威Kolo-Veidekke公司从1995年开始研究......
The LAGFD-WAM wave model is a third generation wave model. In the present paper the physical aspect of the model was sho......
提出了在实现基于WAM(Warrens Abstract Machine)架构的C-Prolog推理引擎过程中所遇到的问题,以及相应的解决方法和策略.在实现过......
描述了一个基于ＷＡＭ的高度优化的全Ｐｒｏｌｏｇ编译系统的设计与实现。本系统是在并行，约束逻辑程序设计等方向上扩充了ＷＡＭ的出发点和基本平台，系统能高......
<正>六十年代起,波浪数值预报开始实用化。至1985年止,据统计世界上已有十多个国家和地区的海洋和气象预报部门已正式开展了波浪数......
