一种过程间单子切片方法

在现有的过程内单子切片算法基础上,提出基于回填待定标号的过程间单子切片算法:先以待定标号初始化子过程中开始处参数变量的切片;再对其进行过程内单子切片分析,据此可得相应参数间依赖关系;最后回填切片表中相应的待定标号,从而获得所需的过程间单子切片.算法充分利用了过程内单子切片的结果,相当程度上避免了重复计算,无需进一步构造诸如特征子图、连接语法等中间形式,同时通过参数间依赖避免了调用上下文问题.此外,文中算法保留了过程内单子切片算法的强语言适应性和组合性.

Design of multi-module experiment-rig of vessel electrical propulsion prime mover

Combined power plant is widely used in large or medium surface vessel for its predominant performance. It is important to research on using combined power plant as electrical propulsion prime mover for developing the electric propulsion warship.This paper, designs a multi-module experiment-rig and introduces its composition, working principle and disposition scheme,and carried out the dynamic characteristic experiment of the GTD350 gas turbine.