论文部分内容阅读
Godel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑,支持抽象数据类型和模块化程序设计等技术,语言本身也具有很强的说明性语义。本文给出了一个分布式环境下的Godel语言实现系统中的多机推理结构,对如何提高Godel语言的执行效率的方法进行了深入的分析和讨论。
Godel语言分布式多机推理系统
【摘 要】
：
Godel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑,支持抽象数据类型和模块化程序设计等技术,语言本身也具有很强的说明性语义。本文给出了一个分布式环境下的God
【机 构】
：
西安理工大学计算机科学与工程学院,西安,710048
【出 处】
：
2007年全国高性能计算学术年会
【发表日期】
：
2007年期
其他文献
网格计算是近年来得到快速发展的广域网格计算技术,其目标是把因特网整合成一种超大规模的巨大计算机系统,以实现计算资源,存储资源,信息资源,知识资源的全面共享,网格资源的
会议
针对旋压圆筒容易产生裂纹、分层、折叠等危害性缺陷的特点以及超声检测过程中旋压纹产生严重的超声杂波干扰现象,通过优化超声波探伤灵敏度、探头摆动角度、扫查速度等参数,
本文采用壳单元对一种近海集装箱进行有限元建模,按照EN12079标准要求,计算分析了集装箱在吊装过程中的强度刚度状况,并通过封装有限元应用软件的并行计算,实现了对高性能计
采用超声导波方法可对输电铁塔角钢型材中的缺陷进行快速有效检测,将角钢型材视为连接而成的窄钢板,采用脉冲反射回波法激发产生兰姆波对其中的缺陷进行检测。应用有限元模拟
任务调度是实现高性能网格计算的一个基本问题。在网格环境中,任务调度的目标系统通常为任意连接的网络,应用程序常为复杂的计算密集型的并行分布式应用程序,本文提出了一个
会议
使用低频导波对石油化工管道腐蚀进行排查,对发现疑似的腐蚀位置再辅以高频导波、C扫以及射线检测,最后采用破坏性试验进行验证.通过现场检测实例证实了低频导波是一种快速的
针对专用和非专用网格两种计算环境的不同特点,本文提出了动态专用网格调度算法和传输可靠的非专用网格任务调度算法.前者针对专用网格环境的特点,基于动态关键路径思想,给出
会议
择要介绍最新国际标准(2015版)有关焊接接头现场检测用相控阵超声检测仪器和系统特性测评要求,七项重要特性参数的校验方法。意在为相控阵超声检测仪器探头操作校验规范化,为
CSF4作为一个CT4的服务执行组件,是一个基于WSRF的社区元调度框架.使用CSF4,用户能够和不同域,不同虚拟组织的局部资源管理器SGE、0PENPBS和LSF一起工作。论文首先介绍了CSF4
应用集群计算平台实现软件无线思想是极具发展前景的研究方向。当宽带大容量数据采集进入并行计算机网络后,通过集群计算方式对强衰弱通信信号实现高增益低延时处理,达到有效
会议