基于超媒体智能CAI系统的研究

文章根据领域知识的层次关系的特点,将人工智能引入到超媒体系统中,探讨了ICAI中知识表示、推理规则、推理机制等技术,建立了ICAI系统模型,该系统具有动态地组织教学内容、调整教学方法、评价学生认知特点的功能,以满足不同程度学生的需求。     

一种模糊知识库系统及其推理机制研究

介绍了一种具有模糊推理机制的模糊知识系统的基本结构、知识表示和推理机制,阐述了在模糊知识库设计与实现中,模糊推理机构造和工作流程设计的方法。该系统推理机制是基于传统RETE算法的扩展,通过使用相似性方法来处理模糊问题,实现了一种较为理想的不确定性推理;同时系统采用正向和反向推理相结合的双向推理机,使推理具有较高的准确性。最后给出了一个实例验证系统可行性。     

一种模糊知识库系统及其推理机制研究

介绍了一种具有模糊推理机制的模糊知识系统的基本结构、知识表示和推理机制，阐述了在模糊知识库设计与实现中，模糊推理机构造和工作流程设计的方法。该系统推理机制是基于传统PETE算法的扩展，通过使用相似性方法来处理模糊问题，实现了一种较为理想的不确定性推理；同时系统采用正向和反向推理相结合的双向推理机，使推理具有较高的准确性。最后给出了一个实例验证系统可行性。     

模糊推理在空调系统故障诊断中的应用

针对空调系统的故障诊断问题及其特点,提出了一种基于诊断知识的模糊描述和模糊推理方法,阐述了空调系统故障诊断专家系统中前向推理、后向推理以及正反向混台推理模糊断言可信度的计算方法,并且给出了相应的实例。     

模糊有色Petri网的形式化推理算法研究

Petri网以其图形化的表示方式广泛应用于形式化推理中.基于模糊有色Petri网的形式化推理算法,以系统内部事务之间的逻辑关系为依据,充分利用模糊Petri网在分析不确定知识中的优势,通过知识模糊、库所抽象、转换抽象实现层次化的知识表示和知识推理,并结合有色Petri网对系统规模作适当约简,从而构造出了一种新型的模糊着色网(FCPN)知识表示和获取模型,有效弥补了传统Petri网在实际应用中的缺陷,使模糊推理过程更加简单且易于实现.     

分层干扰推理学生模型

1.引言计算机辅助教学(CAI)向智能化发展乃大势所趋。一般来说,智能计算机辅助教学(ICAI)系统应该有三个基本成分:专家模块、学生模块和教学模块。专家棋块是 ICAI 系统中教授一门专业知识的专家系统,用于向学生传授知识并灵活地回答学生的问题。学生模块是 ICAI 系统特有的用于教学过程的模块,主要功能是:     

模糊Petri网在FMS故障诊断中的应用研究

针对柔性制造系统（ＦＭＳ）故障诊断的特点，将模糊Ｐｅｔｒｉ网扩展为模糊行为Ｐｅｔｒｉ网（ＦＢＰＮ）．并应用于知识的表示中，讨论了ＦＭＳ系统、ＦＢＰＮ及产生式规则之间的对应关系，提出一种模糊反向推理机制，给出了利用ＦＢＰＮ进行知识表示和推理的实例．     

基于大型模糊认知图的复杂系统建模与推理研究

模糊认知图作为一种智能计算工具,具有直观的知识表达、快速的数值推理能力等优点,适用于系统建模与推理.为了实现复杂系统关联认知与聚类的集成挖掘,进而达到对它的有效分析与决策,在面向复杂系统的大型模糊认知图研究基础之上,提出了用于三江源生态决策的大型模糊认知图关联认知、状态建模与推理的思路与方法,它不仅可以提升大型模糊认知图在复杂系统建模与推理方面的理论研究,也将拓展其应用领域.     

基于云理论与神经网络集成的模糊系统

提出了一种基于云理论与神经网络混合集成的模糊系统。通过不确定性人工智能,解决了在实际模糊系统中输入变量隶属函数和知识规则确定的难题,利用神经网络实现了变量之间的非线性映射。该系统不但具有神经网络自适应的学习能力,且结合云理论处理知识的不确定性能力,使模糊系统在知识推理过程中更具有说服力,在整体上提高了算法的效率。     

ICAI系统中学生认知评价模块的研究

ICAI即智能计算机辅助教学系统，能根据学生的学习水平制定不同的教学策略。因此学生的学习水平的评价是该系统设计的关键之一。传统的评价方法有基于模糊数学理论的模糊综合评价方法，和基于神经网络技术的BP网络，但二者均有不足之处。本文提到的神经模糊综合评价方法，是将两种传统方法结合，互补优缺点。并将该方法运用到ICAI系统的学生认知评价模块中，评价效果得以改善。     

异构环境中基于特征关系的产品建模方法研究

基于特征的产品数据交换的完整性、一致性是异构集成环境下亟待解决的一个关键问题。该文在给出异构集成交换平台模型的基础上,提出了一种建立在平台上的基于特征关系的产品建模方法。该文试图从较高的层面上解决异构环境下基于特征的产品信息交换问题,以避免异构系统间的数据差异。该文在给出产品的交换平台模型的基础上,研究了基于特征关系的产品数据模型。最后分析了该模型的优点与尚需改进的地方。     

Montgomery方法及其在伪随机数发生器中的应用

文章在Montgomery算法的基础上作了一些改进使之适合于硬件实现,并将修改后的Montgomery算法用于计算一种类Blum－Micali伪随机数发生器的计算,从而在很大程度上提高了该发生器的速度。该伪随机数发生器的安全性是基于离散对数的难题,如果素数q的位数很高（如512－bit）,则伪随机数发生器是很安全的。     

浮点开方运算单元的电路设计

文章提出了一种基于逐位循环开方算法,"四位一开方"的浮点开方运算单元的电路设计方案,使限制周期时间的循环迭代部分的门级数降低到14级。按14级门延时为周期时间计算,完成一个IEEE单、双精度浮点数的开方运算分别需要15和29周期。同时,文章对目前开方运算所采用的两类主要的算法-逐位循环开方算法和牛顿－莱福森迭代开方算法进行了描述,其中包括数的冗余表示等内容。     

基于OOPN的多处理机操作系统设计与实现

大多数实时系统具有事件驱动的并发特性,同时多处理机系统在实时领域得到了广泛的应用。实时系统内在的并发性以及与环境的交互性导致了实时软件复杂的控制结构,使得开发实时软件十分困难。由于PETRI网是一种适合于描述并发的可视化建模语言,有形式化描述。所以,作者采用PETRI网来表示一个实时软件中的并发部分,用普通编程语言实现剩下的顺序程序部分。两级程序设计方法可以更加有效、可靠地开发实时软件。文章涉及的实时操作系统是以RTLinux为基础,对其内核进行扩展,使之支持OOPN1形式的作业描述,并具有实时多处理机调度功能。     

面向对象的离散事件系统仿真软件的多线程实现

对象交互是近年来离散事件系统仿真中采用的一种比较先进的仿真建模方法。面向对象技术的采用,使它比传统的三种建模策略都更接近人的思维方式和实际系统的特征,因而建模能力较强。文章提出的多线程的实现方案,通过线程来模拟实际系统中各个独立地、并发地运行的实体,线程间通过消息传递相互影响,推进仿真进程,不仅提高了仿真效率,易于处理并发等复杂情况,也大大简化了软件的实现。     

一种设计分解的正确性证明

二维变量化设计系统可以用含有n个未知数、m个方程的非线性方程组表示．通过设计分解可以提高几何约束求解的效率和数值稳定性．给出了一种基于图论的设计分解方法及其正确性证明．该方法可以（1）处理结构欠约束系统的分解;（2）检测出冗余约束．分解算法在有限步内终止,其结果是结构相容的     

高速32位伪随机数发生器电路设计

文章提出了一种实现32位伪随机发生器电路设计方案。该方案的关键是对产生伪随机数所需要的乘法器和模2n－1加法器的设计。针对所采用的伪随机数迭代函数的特殊性,提出了特定的32位×16位乘法器以及模231－1加法器实现方案,使电路的速度得以提高,规模得以减小。整个电路设计采用VHDL语言描述,并通过了逻辑仿真验证。文章同时介绍了一般乘法器以及并行前缀模2n－1加法器的设计原理。     

一种基于Windows9X/NT的考试系统的研究与实现

文章以计算机基础知识考试软件系统为背景,就考试的“无纸化”提出了一套完整的考试系统的实现方案。并论述了基于试题原语的考题的组成、具有Windows特点的考试环境和实现快速、安全自动阅卷中的有关技术问题。     

连续语音识别中利用帧间相关性的研究

尽管作为当前最为流行的语音识别模型,隐马尔可夫模型（HMM）由于采用了状态输出独立同分布假设,因此不能描述语音现象中固有的时间相关性。文章介绍了一个更为灵活的基于段长分布HMM（DDBHMM）的研究帧相关性的框架,并在此基础上提出了一个混合模型,采用一种将语音特征静态信息和动态变化信息分别描述又有机结合在一起的方式,以较小的计算代价更为合理地刻划了真实的语音现象。汉语大词汇量非特定人连续语音识别的实验表明,通过利用帧相关性识别系统的性能得到了明显改善。     

多处理机容错系统中实时任务的轮转式调度算法

基于多处理机实时系统的“主从备份技术”,文章提出一种采用轮转式调度策略实现容错调度的算法。模拟结果表明,该算法可达到较均衡的任务分布,提高了CPU利用率。