布尔代数模式搜索技术——一种新的启发式推理方法

简要地评述了现代的搜索技术,指出了其主要弱点;提出一种快速、高效的搜索技术——布尔代数模式搜索,列出了有关的4个子命题,并举例逐一加以说明。综合得到的命题是:在具备相应启发信息的条件下,状态空间内的搜索过程从问题求解的角度看去同构于一个布尔代数。     

光电跟踪仪仿真模型

用坐标变换法推导出光电跟踪仪测量输出值的数学表达式，该表达式与随机信号发生器一道构成了光电跟踪仪的仿真模型。该仿真模型可用来检验火控解算装置的正确性。作者已用Ｃ语言实现了该模型，并将其用于火控装置的实际研究中。     

关于广义孪生素数的几个结论

基于Chebyshev不等式以及对所有相关子集平均浓度的计算,提出并证明了下列引理、定理,以及4条推论:[引理1]至少有1个广义孪生素数集合(或称2素数组子集)是无限集合;[定理1]全部的或无限多的广义孪生素数集合是无限集合;[推论1]至少有1个3生素数集合(或称3素数组子集)是无限集合;[推论2]全部的或无限多的3生素数集合是无限集合;[推论3]普遍地说,至少有1个h生素数集合(或称h素数组子集)是无限集合(h是≥2的整数);[推论4]普遍地说,全部的或无限多的h生素数集合是无限集合(h是≥2的整数)．     

一种新的改进遗传算法及其性能分析

本文提出了一种改进遗传算法(IGA),通过加入混合选择、小范围竞争择优的交叉变异操作,以及过滤相似个体,并动态补充新个体的操作,提高全局搜索性能和收敛速度.测试试验表明了算法性能优于许多现有算法.     

数模混合式积分器

文中详细介绍了混合式积分器的构成原理,并介绍了实用电路。图3     

与异元奇素数对有关的Goldbach数数量的估算

通过研究异元奇素数对的分布,提出并证明了与这类奇素数对有关的Goldbach数数量的估算公式,即与异元奇素数对有关的、不大于2N的Goldbach数数量n(G(2n))的最保守估计为:当N充分大时, n(G(2n))＞N(0．956/ln N-2/N)~2;于是,当N→∞时,n(G(2n))按此规律趋于无穷大．     

地铁自动调度系统

本文概要介绍了研制中的北京地铁自动调度系统，介绍了系统的构成，软件结构及相关的实时人工智能方面的研究成果，并提出了一些实时人工智能技术的新课题。     

实时语音处理中的准同构变换技术

语音编码技术是一种变换技术。现有的语音编码技术实质上是一种机械式的量化，编码噪声大，算法复杂。针对语音信号的特点，提出了一种基于准同构变换技术的编码方法，编码步长能够自动适应信号频谱的变化，且量化噪声极小，从而大大降低了编码的比特率。本项技术已得到了实际应用。     

高精度AI控温系统

本文介绍的AI控制(人工智能控制)能在无需被控制对象数学模型的前提下实现自适应控制,因为它具备一系列的专家功能:控制器工作参数的在线自动调整和自优化,控制策略在线自选择等。文中还介绍了AI控制在中温恒温系统和低温恒温系统中的应用,而且都是利用最简单的计算机完成的。     

人工智能控制及其在控温中的应用

介绍了一种实现人工智能控制的新方法。借助专门设计的智能软件,实现了一系列专家功能,收到了兼具模糊控制和传统控制的优点的效果。运用本控制器构成的控温系统,具有极为优良的控制品质,在13～120K的低温范围内,其温度稳定性优于0.0004K/h,甚至更佳。