关于线性规划中的循环问题研究

单纯形算法之所以是求解线性规划问题的主要的原因之一,在于它遇到的循环现象是极其罕见的。本文从Ｂ．Ｂｅａｌｅ１９９５年给出的示例入手,从理论上分析单纯形算法产生的循环的充分条件,并给出了２个实例。     

面向 MPP Fortran 的程序自动并行化初探

ＭＰＰＦｏｒｔｒａｎ是由Ｃｒａｙ公司推出的一种较有代表性的数据并行语言,本文首先介绍了ＭＰＰＦｏｒｔｒａｎ的主要特点,然后,以该语言为例,对面向ＭＰＰ系统程序自动并行化的主要内容进行了初步的探讨。     

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

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

面向验证的启发技术设计

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

关于Chidume的一个公开问题

借助于Banach空间一些新的不等式和一些分析技巧彻底解决了Chidume在1994年提出的有关Ishikawa迭代过程的收敛性方面的一个公开问题。     

军事资产循环探究

本文从军事资产流量和存量出发,分析军事资产流量和存量的关系,军事资产循环运动过程及其特点,然后深入到军事资产循环内部各环节研究军事资产流量和存量相互转化的数量关系、转化的途径和障碍(漏出和溢出),从而由表及里,由抽象到具体地勾画和描绘出军事资产循环运动的全景和近景。     

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

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

集值广义(S)_+型映射之一致极限的广义度理论及其应用

本文构造了集值(S)+型映射之一致极限的广义度,所得结果统一并加强了文献〔1～4〕的相应结果。运用拓扑度方法获得了一些新的满值性定理与某些新的不动点定理。     

P—(S)_+型映射的特征刻划及其满值性定理

本文首先给出了一个映射是P—(S)_+型的充要条件。继而以中所建立的拓扑度理论为工具获得了一个关于P—(S)_+型映射的满值性定理。     

舰艇编队作战视景仿真系统研究

针对现代舰艇编队作战视景仿真系统的复杂性和易变性,运用基于增量模型的三维实体建模方法建立了三维实体模型库,应用XML语言进行编队配置文件的数据管理,完成了不同想定下仿真实体及其调度关系的重组;采用内存映射机制和共享内存技术,设计实现了通用的视景数据接口;建立了各种非视觉物理量的可视化模型.仿真结果证明视景系统满足实时性...