Knuth－Bendix过程的发散现象的研究

Ｋｎｕｔｈ－Ｂｅｎｄｉｘ完备过程不终止的起因研究得很少．本文研究引起不终止的重写规则的结构性质，提出了相容交叉规则对的概念，推广了文献［６］的结论，并提出了为构造系统检验该过程是否不终止的方法．     

重写系统中解决发散现象的扩充技术

本文介绍和提出用于解决发散问题的各种基于保守扩充技术的方法.我们特别地用实例证明了这几种新方法可以对带AC算子的重写系统进行归纳完备化.     

浅谈发散性设计思维在设计创作过程中的重要体现

对于设计创作来说,思维方法无疑是非常重要的。本文通过对设计创作过程的挖掘,总结、分析了发散性设计思维在设计创作过程中的重要地位。并从个体案例出发进一步对发散性设计思维进行了系统的探索和研究。从中得出:发散性设计思维是达到设计创新的良好途径之一,好的创意是需要我们运用发散性设计思维进行开拓和寻找的。     

基于超多核心平台的Knuth39并行化实现及性能分析

针对Knuth39随机数发生器运行速度慢的问题,提出了一种基于超多核心(MIC)平台的Knuth39并行化方法.首先,将Knuth39发生器的随机数序列以固定间隔划分成多个子序列;然后,每个线程从各子序列的起点开始生成随机数;最后,将各个线程生成的随机数序列组合成最终的序列.实验结果表明,并行化后Knuth39通过了TestU01的452项测试,与串行程序相同.同中央处理器(CPU)单线程相比,并行化后MIC平台下的最优加速比可达到15.69倍.所提方法有效地提高了Knuth39发生器的运行速度,并且保证了生成序列的随机性,更加适用于高性能计算领域.     

广告创意教学过程中发散性思维的探讨

广告创意是广告设计教学中最为重要的一个部分。广告创意是一个创造性的思维活动过程,而创造力是推动设计不断进步的重要动力。在人的创造性思维运动过程中,起主导作用的就是发散性思维。训练学生的发散性思维对其广告创作有极大的帮助。     

基于Muilti—Agent结构的企事业过程工程环境的研究

过程工程的广泛应用提出了对于能够支持复杂系统分析的企事业过程环境的需求。该文分析了复杂型描述和分析对过程工程环境体系结构的要求,提出了基于Ｕｎｌｔｉ－Ａｇｅｎｔ的过程工程环境的体系结构,描述了该系统所使用的联邦式结构、Ａｇｅｎｔ定义形式和基于改进的协议网的Ａｇｅｎｔ协作方式,并对在该结构下系统逻辑结构划分及其特点进行了介绍。     

基于CIM的连续生产过程H—MIS的开发研究

根据连续型生产系统的特点,提出了基于ＣＩＭ哲理的中小型水电厂连续型生产过程Ｈ－ＣＩＭＳ的体系结构,并着重探讨了以水电厂管理信息系统（Ｈ－ＭＩＳ）的特征结构与设计方法。实际表明,该方法是有效的。     

抑制Kalman滤波发散性的研究

介绍了Kalman滤波的基本方程及其产生发散的原因,研究了一种抑制Kalman滤波发散的方法,此方法通过减小老数据的影响,不断更新＂新息＂,达到对状态估计值的修正,并缩小真实值和状态估计值之间的差距,从而抑制Kalman滤波发散并将其应用到雷达跟踪问题上,通过Matlab仿真,说明了此方法有着现实的重要意义。     

L—异亮氨酸发酵过程的神经网络预测控制

运用智能控制的方法研究了L-异亮氨酸发酵过程的控制,利用神经网络准确地预测发酵趋势,实时获取生化变量的预测值,神经网络预测控制克服了发酵生产过程中大时滞的影响,使系统具有较强的鲁棒性和抗干扰能力。     

关于并发系统分支互模拟关系发散性保持的研究

带发散性说明的分支互模拟是van Glabbeek和Weijland提出的一个概念,并被用来定义等价关系.该等价关系应该是最弱的一个发散性保持的并且满足分支互模拟性质的等价关系.然而在概念提出时并没有提供这些重要性质的证明,并且我们认为在原定义的基础上这个证明是不显然的.本文通过co-induction的手段利用染色迹的概念定义了着色完全迹等价,并证明该等价关系是最弱的一个保持发散的并且满足分支互模拟性质的等价关系.然后我们证明了着色完全迹等价关系和≈_b^△是相同的,因而补充了van Glabbeek和Weijland的工作,即证明了≈_b^△是最弱的一个保持发散的并且是满足分支互模拟性质的等价关系.     

项重写系统弱基终止性的归纳证明

1.引言项重写系统是一种受到广泛研究和应用的形式计算模型。一个项重写系统由一组称为重写规则的定向等式组成。例如,下面的R是一个由五个重写规则组成的、定义用({0,s})表示的自然数集N上的两倍函数d(x)=2×n:N→N的项重写系统:     

初中信息技术教学学生发散思维的培养

知识经济时代,急需富有创新能力的人才,发散思维能力是创新能力的核心因素。初中生教育,课堂是培养学生发散思维的主要场所,在信息技术教学中注重学生发散思维的培养,符合时代发展的需求,也为现在化教育创造了强大的生命力。     

发酵过程动力学仿真研究

仿真技术具有安全、方便和高时效的特点，可以仿真出过程的可能状态，实现快速寻优，确定正确的实验方案。本文使用LabVIEW建立了基于发酵过程中菌种、基质和产物动力学关系的发酵过程仿真器。通过仿真，提出了使用TQ9806菌株进行L-亮氨酸发酵的优化实验方案。仿真结果和实验验证符合，大幅度提高了实验效率。     

U—循环项与易项

本文引进了Ｕ－循环的概念，并证明了所有Ｕ－循环项都是易项，从而刻画了一类易项的归约性质，这对于研究停机问题具有相当意义。     

试论Sybase的存储过程

本文介绍了Ｓｙｂａｓｅ ＳＱＬ Ｓｅｒｖｅｒ体系结构中存储过程的创建和执行机制。对存储过程的特性和安全性作了详细的分析。     

化工过程故障诊断的模糊概率Petri-net的研究

本文研究基于模糊与概率信息的模糊概率Petri-net故障的诊断方法，概率信息用来解决问题冲突，模糊信息用来解决故障诊断不确定性并计算诊断的可靠性。在石油化工装置中的应用表明，这种方法是行之有效的。     

Windows NT4.0引导过程的排错

Windows NT 4.0(以下简称 NT)是 Windows家族之中稳定性最好的操作系统,但是它也会发生问题。我们按照NT启动的过程将其出错分为两类:一是NT引导过程的出错;一是NT运行之中的出错。相对来说,运行之中的排错是比较简单的,因为我们可以通过按Ctrl+Alt+Del或者Ctrl+Shift+Esc组合键调出任