Prolog中非逻辑成分的部分计算

内部谓词是Prolog中的非逻辑成分,对它的处理是研制实用部分计算器的难点和关键。本文分析和总结了逻辑程序部分计算的基本特征,并在讨论非逻辑成分对部分计算的影响的基础上,提出了一种处理内部谓词的分类法。最后还分别描述了各类谓词的部分计算算法。与其它文献相比,本文提出的分类法和计算算法更系统、更完善、更可靠、更有效,并已在GKD-Prolog编译系统的源级部分计算器中实现和应用。

Prology程序部分计算的研究与实现

部分计算是一种重要的程序变换方法和编译优化技术，Prolog程序特别适合于部分计算。目前，国际上已开始了几个Prolog程序部分计算的原理模型和专用工具，但其中存在以下若于问题:(1)关于Prolog程序部分计算的基本原理和特征缺乏系统的认识;(2)现有的两种检测逻辑程序中循环的方法，并没有最后解决部分计算的终止性问题》;(3)关于Prolog中内部谓词的处理不够究善，而且其中还隐含了许多语叉错误;(4)部分计算算法相当低效；(5)现有的部分计算器局限于各自的应用领域，缺乏通用性。本文结合我们研制GKD－Prolog编译系统[14]剖中一个实用源级部分计算器的工作实践，全面、系统地讨论了纯Prolog的部分计算、逻辑程序的循环检测以及全Prolog的内部谓词处理。

全局部分重复计算划分

并行化编译器常常采用拥有者计算规则来进行计算划分,为了提高性能和可扩展性,后来引入了部分重复计算划分的概念·这是一种针对并行程序节点间局部性的重要优化方法·以前的部分重复计算划分局限于一个循环套的范围,因此新提出了全局部分重复计算划分的问题,给出一个简化的性能模型和一个基于整数线性规划的全局部分重复计算划分框架·实验结果表明,其结果显著优于局限于单个循环套的部分重复计算划分,比以前提出的启发式方法有更好的适应性·

药剂专业基础理论及基本知识部分计算

通过实例对药剂专业基础理论及基本知识中的有关调剂和配制时所需具备的计算知识进行了复习

DFS-Ⅶ地震仪计算机部分的故障快速测定

问题的提出 DFS-Ⅶ/200型仪器是美国HGS公司生产的大型有线遥测地震勘探仪器系统,电路复杂,结构庞大。但从维修角度看,其中央记录系统可分为三大部分:1.电源部分;2.计算机部分;3.仪器部分。三者之间的工作互为依存、协调进行。电源部分是整机工作的动力基础;计算机部分是系统工作的控制中心;仪器部分则是电源和计算机两部分作用之下的被控对象。当电源部分发生故障时,所有部件都将不会正常工作,十分明显较易判定;

杭钢烧结及二次料场工程电气及计算机部分总结

杭钢2×90m^2烧结及二次料场工程投入运行已将近两年，是公司2005年一个大型总承包工程，我加入了这个工程的部分设计和现场施工服务，配合软件调试人员调试，在电气及计算机系统的实施过程中，尽可能协调好用户的关系进行设计优化，并及时深入施工现场进行施工服务和软件调试开展工作，并根据调试及投运中出现的各种问题，主动及时地协调、解决相关难题，配合施工管理、施工单位、用户各方顺利地完成了任务，保证了烧结及二次料场的按时顺利投产和最终达产。 现对杭钢2×90m^2烧结及二次料场工程电气及计算机的施工与调试相关情况作以下总结，以期望对其它现场调试有所参考、帮助。

面向现代GPU的Winograd卷积加速研究

卷积运算是现代卷积神经网络中必不可少的组成部分,同时也是最耗时的.为了解决卷积算子的性能问题,包括快速傅里叶变换(Fast Fourier Transform,FFT)和Winograd在内的快速卷积算法被提出. Winograd卷积可被用于提高小卷积核的推理性能,是目前卷积神经网络中的主流实现方法 .然而,Winograd卷积在许多高度优化的深度神经网络库和深度学习编译器中的实现比较低效.由于Winograd卷积的四个阶段的复杂数据依赖关系,面向GPU对其进行优化非常具有挑战性.本文针对现代GPU体系结构优化了Winograd卷积算子的性能.本文提出了Winograd计算阶段的等价变化及其利用Tensor Core进行计算的无同步实现,并进一步提出了利用不同GPU内存层级的部分计算核融合方法 PKF(Partial Kernel Fusion).基于张量虚拟机(Tensor Virtual Machine,TVM)和代码重构器PKF-Reconstructor(Partial Kernel Fusion Reconstructor),实现了高性能的Winograd卷积.对真实应用中卷积神经网络的卷积算子的评估表明,与cuDNN相比,本文所提算法实现了7.58~13.69倍的性能提升.

长沙理工大学计算机与通信工程学院

长沙理工大学计算机与通信工程学院于2003年8月由原长沙交通学院计算机工程系、原长沙电力学院数学与计算机系（计算机部分）、原轻专计算机系以及计算机中心、现代教育技术中心、网络中心等部门合并组建而成。

外部火灾工况下压力容器润湿面积的计算

工程设计中,进行火灾工况下的安全阀泄放量的计算时,需要计算装有部分液体的容器的润湿面积。常规容器中的立式容器和球罐容器的润湿面积是比较容易计算的,但卧式容器由于其封头的部分表面积的求取需要进行复杂的积分计算,从而使工程技术人员的计算变得复杂繁琐。介绍了卧式容器封头润湿面积的简单计算方法,列举了三类常规容器的火灾工况下的润湿面积的计算实例。通过简便计算,即可满足工程设计中的精度要求,又极大地方便了工程设计人员在实际工作中的应用。

具有容错能力的类脑计算机

英国科学家正在开发一种被称为“脑箱”的新型电子计算机．目的是通过模拟大脑神经细胞相互作用．可在计算机部分功能出现故障时，保持正常工作状态。

具备容错能力的类脑计算机

英国科学家正在开发一种新型电子计算机，通过模拟大脑神经细胞相互作用，可使计算机部分功能出现故障时，保持正常工作状态。这种新型计算机又被称为”脑箱”。据称这种类型的计算机是首次开发，主要研究和理解诸如人脑如何编码复杂的视觉图像。研究人员表示，人脑工作时，其脑神经元会经常出现各种各样的错误，但人脑有一种重要的容错特征，计算机工程师对此极为感兴趣，并相信如果能够进一步理解这种容错机制，就可以建造出更为可靠稳定的新型计算机。

轴承成品清洗设备复杂系数的确定

采用类比法和部分计算法确定了轴承成品清洗设备机械复杂系数的计算公式。使轴承生产设备的维修实现了量化管理 ,从而使企业能够科学地配备维修人员及设备 ,合理地确定修理工时、台时、费用及料耗 ,及时判定修理计划及定额 ,编制预算及确定设备等级。

火力发电厂输煤计量集控

竞价上网已开始实施，火力发电厂对煤耗的精度计算要求越来越高，以往对火力发电厂的计量器具包括电子皮带秤，电子皮带秤实物校验装置的管理较为薄弱，远远不能满足现代化企业管理需要，本文详细的阐述当前火力发电厂输煤计量集控系统，此输煤计量集控系统还可以作为电厂MIS系统中一个网站。

ANGIODINE经颅多普勒故障维修3例

ANGIODINE为法国DMS公司生产的经颅多普勒,特点是操作界面友好、直观,操作人员能根据需要自己编制检查程序.其微机控制为386或486主机,硬盘40M～80M不等,内存4M,操作系统为DOS5.0.

某减速器传动系统的设计

本文介绍了减速器传动系统的设计，详细说明了传动系统的参数设计、皮带传动计算、齿轮传动部分计算、轴的设计计算。为解决一般传动系统的问题提供了思路。

英国：脑箱

英国科学家正在开发一种新型电子计算机，通过模拟大脑神经细胞相互作用，可使计算机部分功能出现放障时，保持正常工作状态。