α—β剪枝算法在优化模型PROLOG推理过程中的应用

本文首先介绍了一个模糊ＰＲＯＬＯＧ系统Ｆｕｚｚｙ－Ｐｒｏｌｏｇ的推理机制，然后提出以α－β剪枝算法来优化Ｆｕｚｚｙ－Ｐｒｏｌｏｇ的推理过程，并详细描述了所实现的α－β剪枝算法。     

证明开发环境中的元语言设计

本文通过对数型赋予操作解释，将ＬＦ的逻辑定义风格的λＰｒｏｌｏｇ的逻辑程序设计风格融于一体，提出了旨在对定理证明过程进行元级编程的元语言ＴＭＬ及其抽象解释器，然后，利用项推理过程给出了ＴＭＬ元程序的正确性检查算法。     

面向对象数据库的推理查询语言

本文基于复旦大学开发的一个面向对象数据库系统ＦＯＯＤ，提出一种推理查询语言Ｏ－Ｄａｔａｌｏｇ，语言能方便地表达对面向对象数据的各种查询和推理要求，它可以转换 Ｄａｔａｌｏｇ形式，能运用各种高效计值算法，比其它一些基于非Ｈｏｒｎ子句逻辑的语言更易于Ｏ－Ｄａｔａｌｏｇ在形式上是一种Ｄａｔａｏｇ的扩充，本文着重介绍其语法和语义。     

博弈树搜索算法在中国象棋中的应用

针对中国象棋博弈中较为高效的α-β剪枝算法进行研究,以提升其效率。依据α-β剪枝算法的效率与子节点扩展的排列顺序高度相关的事实及中国象棋自身的特点,从优化着法的排列顺序入手,设计出启发能力较强的着法排列方案,并进一步提出扩大窗口的内部迭代加深算法对上述着法排列方案进行修正,从而使着法顺序得到进一步的优化。实验数据表明,提出的方法可以明显提升α-β剪枝的效率。     

四价金属元素锆（Zr）对氧化铁薄膜气敏特性的影响

对用常压化学气相淀积（ＡＰＣＶＤ）工艺制备的纯α－Ｆｅ２Ｏ３薄膜和掺锆（Ｚｒ）α－Ｆｅ２Ｏ３薄膜的气敏特性进行了研究。实验表明掺Ｚｒ是改善α－Ｆｅ２Ｏ３薄膜材料气敏特性的一种有效途径。     

α－FeO（OH）晶体生长过程控制系统的研究

本文建立了一种描述（－（ＦｅＯ）ＯＨ晶体生长过程的过程模型，采用自适应控制的算法，对铁黄的制备过程中的关键操作控制因素ｐＨ值建立了控制模型，并将这种模型应用到对（－（ＦｅＯ）ＯＨ晶体生长的控制上，此控制器的算法已经被证明在工业应用中有效．     

用于语音合成的PSOLA算法简介

本文介绍了基于波形编辑的语音合成中，用于改善合成语音的自然度的ＰＳＯＬＡ算法的一般过程，及具体的ＴＤ－ＰＳＯＬＡ，ＬＰ－ＰＳＯＬＡ和ＦＤ－ＰＳＯＬＡ算法。分析了时域和频域的算法分别在宽带和窄带条件下的谱特性和它们之间的关系，最后比较了这三种算法的适用范围及其在语音合成中的应用。     

博弈树搜索的算法改进

在计算机博弈程序中,通常采用是α-β剪枝算法,为了进一步提高搜索速度,先后又出现了一些改进的算法。本文综合介绍了这些搜索算法的基本思想,并用伪语言对其算法进行了描述。     

表面涂层对掺杂α—Fe2O3烧结型气敏元件敏感特性的影响

本文对掺杂α－Ｆｅ２Ｏ３烧结型气敏元件的表面涂上混合α－Ａｌ２Ｏ３和Ｍｎ２ｏ３的浆料，干燥烧结而成新型半导体气敏元件，测试了该气敏元件对甲烷，丁烷，乙酵气体的敏感顺序，阻温特性和长期稳定性。     

模糊Petri网及知识表示

在建造专家系统中虽然有很多种知识表示方法，但都有不尽人意的地方，本文试图用一种新的方法－Ｐｅｔｒｉ网模型来表示知识。本文给出了Ｆｕｚｚｚｙ Ｐｅｔｒｉ网和广义Ｆｕｚｚｙ Ｐｅｔｒｉ网两种模型，并给出了相应的推理算法，一旦专家知识用Ｐｅｔｒｉ网表示后，根据Ｐｅｔｒｉ网固有的特性，我们就能处理专家系统中并行推理、无回溯推理，反向推理等问题。     

面向对象数据库的推理查询实现

上文介绍了面向对象数据库系统ＦＯＯＤ的推进查询语言Ｏ－Ｄ本文继续讨论对Ｏ－Ｄ程序的几种变换，并证明这些变换是语义等价的，从而证明了对于一个Ｏ－Ｄａｔａｌｏｇ程序，可以为它构造一个相应的Ｄａｔａｌｏｇ程度，并能利用该Ｄａｔａｌｏｇ程序对原程序进行计值，最后本文还给出了对Ｏ－Ｄａｔａｌｏｇ程序计值的算法。     

双头镜像磁盘的实时调度算法及性能评价

本文对双头镜像磁盘系统模型进行实时扩展,并提出了三种实时调度算法：最早截止期优先算法（ＥＤＦ）,可满足的最早截止期优先算法（Ｆ－ＥＤＦ）和忽视超时限请求算法（ＩＧＭ－ＥＤＦ）．这三种算法充分考虑了Ｉ／Ｏ请求的截止期限,使双头镜像磁盘系统能更好地满足实时需求．在进行了性能模拟后,发现实时调度算法比非实时算法能更好地满足实时Ｉ／Ｏ请求的时限要求．三种实时调度算法中,适用于硬实时应用的ＩＧＭ－ＥＤＦ的性能最好,Ｆ－ＥＤＦ算法的性能次之,它适用于软实时环境．     

关于并行FFT算法

关于并行ＦＦＴ算法魏公毅，蔡中善（中国科学院计算中心）ＯＮＰＡＲＡＬＬＥＬＦＦＴＡＬＧＯＲＩＴＨＭＳ￥ＷｅｉＧｏｎｇ－ｙｉ；ＣａｉＺｈｏｎｇ－ｓｈａｎ（ＣｏｍｐｕｔｉｎｇＣｅｎｔｅｒ．ＡｃａｄｅｍｉａＳｉｎｉｃａ）Ａｂｓｔｒａｃｔ：Ｔｈｅｐａｒａｌｌ...     

Mo－算法的数值效率

Ｍｏ－算法的数值效率王大麒，李乔祥（中山大学数学系）ＴＨＥＮＵＭＥＲＩＣＡＬＶＡＬＵＥＥＦＦＩＣＩＥＮＣＹＯＦＭｏ－ＡＬＧＯＲＩＴＨＭ￥ＷａｎｇＤａ－ｑｉ；ＬｉＱｉａｏ－ｘｉａｎｇ（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＺｈｏｎｇｓｈａｎＵ...     

双头镜橡磁盘的实时调度算法及性能评价

本文对双头镜像磁盘系统模型进行实时扩展,并提出了三种实时调度算法：最早截止期优先算法（ＥＤＦ）,可满足的最早截止期优先算法（Ｆ－ＥＤＦ）和忽视超时限请求算法（ＩＧＭ－ＥＤＦ）。这三种算法充分考虑了Ｉ／Ｏ请求的截止期限,使双头镜像磁盘系统能更好地满足实时需求,在进行了性能模拟后,发现实时调度算法比非实时算法能更好地满足时Ｉ／Ｏ请求的时限要求。三种实时调度算法中,适用于硬实时应用的ＩＧＭ－ＥＤＦ的性能     

并行推理系统BTJ／WYSE

文中介绍了在并行计算机ＷＹＳＥ Ｓｅｒｉｅｓ ７０００ｉ上开发的一个基于Ｐｒｏｌｏｇ的并行推理系统ＢＴＪ／ＷＹＳＥ，它为用户使用Ｐｒｏｌｏｇ语言进行逻辑程序设计提供了良好的软件开发环境，而且支持对逻辑程序的并行执行。     

基于神经网络思想及α-β方法的五子棋算法设计

本文设计了一种基于神经网络思想及α-β方法的五子棋算法。结合神经网络思想及α-β方法,本文探讨博弈的搜索方法及推理技术中优化五子棋算法的思路,并最终利用VB语言实现了五子棋最优路径的选择。     

求多总线系统容错度的多项式时间算法

求多总线系统容错度的多项式时间算法陈四清，周六丁（重庆大学计算机科学系重庆６３００４４）ＰＯＬＹＮＯＭＩＡＬ－ＴＩＭＥＡＬＧＯＲＩＴＨＭＳＦＯＲＤＥＴＥＲＭＩＮＡＴＩＮＧＴＨＥＦＡＵＬＴ－ＴＯＬＥＲＡＮＣＥＤＥＧＲＥＥＯＦＭＵＬＴＩＢＵＳＳＹＳＴＥＭ...     

博弈树启发式搜索的α-β剪枝技术研究

博弈是启发式搜索的一个重要应用领域,博弈的过程可以用一棵博弈搜索树表示,通过对博弈树进行搜索求取问题的解,搜索策略常采用α-β剪枝技术。在深入研究α-β剪枝技术的基础上,提出在扩展未达到规定深度节点时,对扩展出的子节点按照估价函数大小顺序插入到搜索树中,从而在α-β剪枝过程中剪掉更多的分枝,提高搜索效率。     

基于集成式知识表示的专家系统开发工具

本文针对工程应用中知识的特点，提出了一种新型的知识表示方法－集成式的知识表示，给出了这种知识表示的ＢＮＦ范式，并就如何这诸多类型的知识正确、高效地推理进行了详细读者论坛，同时给出了推理过程的算法。