基于溯因问题求解的知识库更新

在一个广义的溯因问题框架下，讨论以逻辑公式形式表示的知识库的维护问题。使用表推演方法，检查知识库协调性，对知识库进行扩展，约减和修正，给出可行方法。     

从C语言上机实验课中的几个问题谈起

列举了C语言上机实验课中的4个常见问题,并给出相应的解决方法和建议,即强调“自顶向下,逐步求精”的程序设计方法;重视上机前的准备工作和鼓励学生通过试错的方式学习语言。     

关于Cialdea一阶模态归结系统

指出了Ｃｉａｌｄｅａ一介模态逻辑归结系统是不完备的，为了确保推理系统的完备性，给出了Ｃｉａｌｄｅａ系统的两种修正方法。     

约束逻辑程序的一个新语义研究

首先介绍了s-语义方法的基本思想,然后采用这种方法讨论了约束逻辑程序一个重要的可观察性特征——多重回答约束,并给出相应的语义,使得从语义角度反映了约束逻辑程序的并行特征,而且引入了一个新的关于程序等价的定义,从更严格的角度分析了程序的等价,加深了对程序的理解,有助于程序员编写高效和简洁的程序,突出了约束逻辑程序设计系统作为程序设计语言的特征.     

用周期模型和近邻算法预测话务量时间序列

客服中心话务量虽然具有周期性,但在不同时间遵循不同变化规律,这是话务量预测的难点。针对这个问题,以某电信公司一年的实际话务数据为基础,分别采用周期模型和基于实例的近邻算法进行话务量时间序列预测,并对比分析了两种预测方法的效果。实验数据表明,对工作日话务量的预测,周期模型的预测效果优于近邻算法;对非工作日话务量的预测,近邻算法的预测效果优于周期模型。为取得更好的预测效果,实现了周期模型和近邻算法相结合的预测方法。结果表明,在最好的情况下,该方法的预测精度比周期模型提高约19.7%,比近邻算法提高约48.8%。     

汉语语音合成的研究进展

为解决如何让机器像人那样说话的问题,综述了近年来汉语语音合成技术的进步和发展;描述了汉语语音合成系统的设计方法;对基于汉语语音特点的语音合成过程中的一些关键技术和原理进行了详细的分析和比较;阐述了语音合成在多媒体等方面上的应用以及目前评价语音合成系统性能的一些新方法,并对当前语音合成技术的研究热点和语音合成技术存在的问题进行了分析,为语音合成技术的进一步研究提供了借鉴作用。     

事件驱动的多任务智能调度方法

目前多任务调度问题非常普遍,然而在开放动态环境中多任务调度经常会遇到大量不确定性,导致任务调度崩溃。为此,以事件驱动程序结构为框架,用Petri网作为任务调度处理器,建立了多任务动态调度体系结构,给出了基于事件驱动的多任务智能调度方法。该方法能根据所发生事件自动检测调度处理器的状态,对调度处理器做出正确和最优调度决策,从而实现了对有效任务或任务组合进行调度。     

关于广义调解的一点注记

本文指出了广义调解完备性证明中一个错误,并且给出了使广义调解完备的根据.     

受限的proflog语言及其表推演过程语义

Fitting提出一种逻辑程序设计语言proflog，并把表推演机制作为语言的过程语义，表推演具有直观，灵活的特点，它的单步扩展规则具有很强的语义特征，它是扩展逻辑程序类的另一个理想的证明论，不过proflog包含了全部一阶理论，等词的替换性使得proflog过程语义比较复杂，在此提出讨论一种受限的程序语言cProflog，它包含函词，但限制了等词的替换性，体现了表达能力与计算复杂性之间的平衡，对于逻辑程序语言cProflog，还给出了复杂性较低的表推演过程。     

专业技术职称评聘中的模糊综合评判

介绍了模糊综合评判的基本方法 ,讨论了模糊综合评判在专业技术职称评聘中的应用及具体过程 ,解决了职称评聘中存在的一定程度的片面性 ,使决策结果更合理、更科学。