Hilbert空间中次连续拟非扩张映像不动点的迭代方法

首次引用一种迭代算法,用来构造Hilbert空间中次连续拟非扩张映像的不动点;使用新的算法证明了一个强收敛定理,其优点是不要求映像具有次闭性质。     

基于CompactPCI的共享内存通信研究与实现

文中介绍了CompactPCI总线的地址映射机制,分析了基于VxMP实现多处理机间通信可能存在的问题,重点讨论了利用互访共享内存实现通信的方法,给出了测试结果,并作了理论分析。     

风场的科学计算可视化在导弹射击中的应用

在导弹射击时,消除风会对导弹飞行造成不利的影响,因此基于可视化分析的研究模型、流程等,利用科学计算方法直观分析优点对风的大小和方向进行分析,并采用开放图形接口对实验风场数据进行了三维图形绘制以提高导弹打击目标的精度,对实际中导弹的风场阻力研究有一定的指导意义.     

球面全景空间缝合及漫游算法研究

提出了基于图像映射实现球面全景空间缝合及实时浏览的算法。首先,对两幅或多幅鱼眼图像使用扫描线逼近算法分别提取轮廓,再采用基于亮度差的图像缝合算法对其球面投影进行球面缝合,使用球面坐标定位校正算法校正图像并拼接成平面全景图,通过建立球面浏览视窗与平面全景图之间的像素映射关系,显示球面全景空间不同视角场景信息。实验结果表明,该算法较好地实现了鱼眼图像的无缝拼接以及球面全景连续360°的实时浏览。     

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

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

面向验证的启发技术设计

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

A—紧1—集压缩映象场的广义度理论

定义了A-紧1-集压缩映象场的广义度,扩展了1984年张庆雍建立的半紧1-集压缩映射的不动点指数理论。     

微机控制系统中的信息交换技术探讨

说明了在DOS环境下如何利用内存直接映像技术在微机控制系统中实现信息交换.介绍了双端口数据存储器的使用;提供了解决在对数据交换的实时性要求较高的控制系统中如何进行数据交换这一问题的方法和思路.     

谈算法研究

算法是计算机程序设计的核心。本文结合实际应用,通过研究算法所取得的成效,说明算法研究的必要性和重要作用。     

一种基于统计参数映射融合独立成分分析的新的激活区探测方法

统计参数映射在某种程度上依赖于广义线性模型和高斯场理论。广义线性模型的缺陷在于这些假设不能很好地表示fMRI数据,并且脑活动分布模式和血液动力学模型也不能由广义线性模型回归方程来恰如其分地模拟。而独立成分分析不能够提供每一独立成分激活区的显著性估计,这使得实验者不能够很好地解释所获得的结果。提出一种将SPM和ICA技术进行融合的方法,此方法可以将ICA自身的某些优势和GLM的假设检验方法结合起来,互相取长补短。实验结果证明了这种方法在探测由运动任务所产生的激活区方面是有效的。