关于分形插值函数的积分

用反例说明在 [1 ,2 ]中关于分形插值函数的积分公式是错误的 ,并建立了关于分形插值函数积分的正确公式。     

设备故障智能诊断方法浅析

介绍了设备故障智能诊断中以数理逻辑,专家系统、人工神经元网络、优化理论等为基础的相关方法和基本理论,阐述了它们在故障诊断中的应用步骤,并在此基础上分析了它们各自的优点和局限性,进一步提出了分层次的混合智能诊断方法的概念。     

螺旋形爆炸磁压缩发生器

为了得到高电压的输出,从爆炸磁通量压缩发生器的工作原理入手,在单端起爆装置的基础上,设计了一种两端起爆的螺旋形爆磁发生器,并给出了实验结果和分析。     

四种螺线管型爆磁压缩发生器的实验研究

实验研究了四种螺线管型爆磁压缩发生器,给出了其主要实验结果和结论。     

自动生成超文本链接

目前大多超文本链的自动生成方法所存在的问题是,它不能很好解决一字、词多义和同义字、词问题。文章提出用词汇串技术能较好解决这一问题。用词汇串技术发现文档中相关的字、词序列。基于文档的字、词序列,本文提出判据,判别一个文档内部那些部分是相关的应当链接起来,那些文档之间是相关的应当链接起来。     

Banach空间中含Lipschitz强增生 算子的算子方程之构造可解性

设X为实一致光滑Banach空间 ,A :X→X为Lipschitz强增生算子 ,设L≥ 1和k∈( 0 ,1)分别为A的Lipschitz常数与强增生常数。设 {tn}n≥ 0 为 ( 0 ,1]中的实数列满足条件 :(i)tn→ 0 (n→∞ ) ;(ii)∑∞n =0 tn=∞ , f∈X , x0 ∈X ,迭代地定义序列 {xn}n≥ 0如下 :( )　　xn 1 =xn-tn(Axn- f) ,n≥ 0 .则 {xn}n≥ 0 强收敛于方程Ax =f的唯一解 ,而且对充分大的n≥n0 ,‖Axn- f‖ ≤ exp{-k∑n- 1j=n0tj}‖Axn0 - f‖　　一个相关的结果研究含强伪压缩映象的方程Tx =x的构造可解性。     

Hilbert空间中Lipschitz拟伪压缩映像公共不动点的杂交投影算法

给出了Hilbert空间中Lipschitz拟伪压缩映像族公共不动点的一个投影算法，并利用所给出的算法证明了一个强收敛定理，扩展了参考文献[1]的结果。     

一种优化神经网络映射算法——吸收算法

本文揭示了神经计算的本质──并行分布处理,并以此为基础提出了时间步的概念。分析了映射算法的两个重要概念──负载均衡和通讯开销,并提出了映射分配准则。在神经网络的映射分配中引入图论的有关思想,提出了一种优化的神经网络映射算法──吸收算法。最后给出了重要的试验结果,这些数据表明吸收算法是一种有效的映射算法。     

面向验证的启发技术设计

采用有效的人工智能技术提高验证效率正成为解决验证复杂性的手段之一。本文针对STG（State Transition Graph）中状态枚举数据量大的问题,提出隐含遍历的状态映射策略。并根据状态存储和电路结构特征,重点研究了HASH表状态冲突处理、函数域限定、函数不相交分解和混合搜索等启发技术策略。