空时自适应处理任务在并行系统中的映射

与传统并行计算研究对象不同的是,空时自适应处理(STAP)的各阶段是由多个相同的、可分离的任务组成.针对该特点,提出了任务映射的一种新描述,给出了便于任务映射的相关定理,进而提出了一种启发式映射算法.实验结果表明,该方法可以在满足一定吞吐率的要求下,减少所需的处理器数目.     

数学直觉形象思维的应有地位及其计算机模拟问题

本文从数学形象思维的层次性和低估形象思维之重要作用的现状与背景等几个方面，阐明形象思维在处理实际问题时的重要作用．然后又从数学方法论的几种典型方法出发，讨论数学发现的计算机模拟问题．并在机器发现之简单回顾的基础上，对上述计算机模拟问题的研究方法提出一些看法，并指出其研究目的与意义．     

双重代码记忆功能的模拟探讨

Ｐａｉｖｉｏ认为人类具有两个相互联系的记忆系统，它们相互独立，相互联系，却相互激活．这两个系统分别通过表达联结，指称联结加以沟通，本文试图利用这一理论，借助神经网络和物理符号系统基础上，进一步开展形象思维和逻辑思维与记忆之间的关系模拟的研究．     

中介逻辑的命题演算系统 (Ⅲ)

The paper is a continution of [1]、[2]、[4]、[5]. In this paper we shall introduceconjunction symbol"∧", disjunction symbol "∨" and equality value symbol " asdefining symbols of MP, which are read as "and"、"or"、"if and only if" respectively.With these symbols we shall go on to prove the formal theorems of MP. The list ofthe following formal theorems are in succssion of refernce.