| 1. | Are defined using python reflection rather than traditional sequential programming
是使用python反射定义的，而不是使用传统的顺序编程定义的。 |
| 2. | The parallel program was proved to be correct in that the parallel computing results were well in agreement with the results obtained using the sequential program
并行计算结果与单机计算结果完全吻合,表明采用本文的并行程序进行流场计算是有效的。 |
| 3. | Also , programming for such systems is easier since all the data is available to all processors and is not much different from sequential programming
而且对于这种系统进行编程要简单很多，因为所有的数据对于所有的处理器来说都是可以使用的，这与串行程序并没有太多区别。 |
| 4. | Decades ago , race conditions were less of a problem . then , a computer system would often run one simple sequential program at a time , and nothing could interrupt it or vie with it
几十年前，竞争条件还不是什么问题；那时，计算机系统通常在同一时刻只能运行一个单独的程序，什么都不能打断它或者与它竞争。 |
| 5. | We can also find unexecutable paths of the sequential program . when we find them we will stop the analysis . we enhance the capability of the traditional methods of detecting data dependence
我们采用了遍历程序路径和对路径进行符号执行的策略，这样可以尽可能早的发现程序中的不可执行路径，从而提高分析的效率。 |
| 6. | To solve the problem , automatic parallelization of sequential programs has been studied since 1980s , which has been made great progress in these years . but application results are still disappointing . there is still no widely accepted and authorized automatic parallelizer
为了解决这一困难， 80年代以来，人们对串行程序的自动并行技术展开了研究，十多年来取得了长足的进步，但实际应用效果还不理想。 |
| 7. | In static analysis , we generate the control flow graph of the sequential program and convert the graph to an extended finite state machine ( efsm ) . by analyzing the paths of the efsm , we can find whether there is data dependence in the program or not
数据相关性的静态测试中，我们首先生成程序的流程图，在遍历流程图的同时生成这个程序的扩展有限状态机( efsm ) ，然后调用路径分析工具对efsm的路径进行分析。 |
| 8. | The speculative multithreading architecture ( sma ) employs a de - centralized organization to construct multiple small windows and many narrow - issue execution units to exploit massive ilp . sequential programs are partitioned into code fragments called threads , which are speculatively executed in parallel
前瞻多线程结构( sma )结合了前瞻性执行机制和多线程执行机制，以整个线程为步长进行前瞻性执行，多个线程并行执行，并且共享处理器硬件资源。 |
| 9. | Npupar can guarantee the correctness of iteratively field computing problems . but due to the existence of mass complex structure in sequential program and the diversity of the programming style , conservative analysis is generally adopted in npupar , which leads to low parallel efficiency
它对于迭代求解的场计算问题能够保证正确性，但由于串行程序中大量复杂结构的存在，以及程序员书写程序的不规范性，该系统多采用保守的分析方法，结果生成大量的冗余通信，导致并行效率低下。 |
| 10. | In this thesis , we will review some traditional methods of detecting data dependence and analyze the relation between the data dependence and the mechanism of parallelism . based on path analysis and symbolic execution , we describe two methods , static analysis and dynamic analysis , for detecting data dependence of array variables in loops of sequential programs
进而提出了基于路径分析和符号执行的静态测试和动态测试方法，来研究串行程序中循环内部数组变量的数据相关性，该方法对于下标表达式为线性表达式时有很好的效果，而且能够处理一些复杂的数组下标表达式，比如数组下标表达式含有输入变量和非线性下标表达式的情况。 |
