函数式语言FP中并行的开发和控制

函数式语言的突出特点是特别适合于并行处理.本文着重讨论函数式语言——FP在多处理机系统中并行实现的方法.文中的FP语言是在John Backus’FP的基础上增加了流的功能和类型定义.在[1,2]原有的理论基础上,提出了一个改进的结合LE计值语义的多步向前驱动法.LE计值中由于引进了延迟对象,使得延迟计值统一为函数对对象的作用,因而简化了编译系统的代码生成.多步向前驱动法是一种结合需求驱动和数据驱动的方法,该方法在开发了尽可能多的并行的同时,又保证了程序并行归约的终止性.根据这些方法,一分布式内存的多处理机软件模拟系统已在MIC-VAX Ⅱ上实现.文中最后给出了一些实验数据,这些数据有力地证明了多步向前驱动法的有效性,从而揭示了函数式语言并行处理是一非常有发展前途的研究方向.     

彩色印前系统中包装结构图的约束模型

本文研究适合于彩色印前系统的交互式包装结构图设计方法，讨论了尺寸标注，辅助图素，真实图素的三级约束模型及相关的几何推理方法，我们在充分总结领域的知识的基础上，已开发在基于上述模型的软件，应用于彩色拼版系统及模切制作，效果良好。     

A general-purpose follower for line-structured data

This paper describes a subroutine which is capable of following a general class of line-structured images. The strategy used for following is supplied externally in the form of a table. Several standard algorithms are incorporated in the package but the design is open ended so that more can be added as they are developed.     

基于特征CAD中的特征定位关系及算法

提出了以实体模型、测量要素、定形尺寸、定位尺寸、行为约束为构造成份的特征模型；为了捕获ＣＡＤ中特征之间的相互定位关系，建立了特征父子关系算子结构；提出了特征父子关系图的概念用于表达零件模型；给出了访问父子关系图的算法，讨论了算法实现的例子。     

Using a structured world model in flexible recognition of two dimensional patterns

An attempt for a world model driven recognition process of two dimensional visual patterns is presented. Patterns are organized in a world model according to their shapes. The world model is in a form of a lattice-like structure. The nodes represent either properties or relations of considered objects. The lattice structure of the world model allows us to recognize objects by partial information, because of the lattice property, e.g. the greatest lower bound. Examples of a computer recognition of two dimensional patterns are shown.     

一个面向JSD方法的规格说明语言转换系统

ＪＳＬＣ系统是一个规格说明语言ＪＳＬ的转换系统．它的实现反映了一种规格说明语言的转换方法．本文详细介绍了ＪＳＬＣ系统的组成结构、实现基础和技术要点．     

一个从中间语言生成目标语言的原理和方法

本文介绍了我们的汉英机器翻译系统（ＣＥＴＲＡＮ）中一种从中间语言生成英语的生成系统，讨论了从中间语言留到目标语言转换的基本原理．目的在于通过解决汉英之间语法和语义方面的差异，得到高质量的机译结果．文中还介绍了基于语义驱动的由中间语生成英文目标语的计算机实现算法．为了说明清楚，整个叙述都注意列举了一些实例．     

磁传动增压注水泵运行保护方法及应用

针对大功率磁传动增压注水泵在使用过程中存在的永磁体高温失磁等问题 ,分析了磁力传动器损坏的主要故障原因。结合现场应用实践 ,探讨了隔套温度监测保护法、电流监测保护法、压力 扬程监测保护法等 3种运行保护方法 ,并基于这些保护方法设计了CBH— 1型磁传动增压注水泵综合保护仪。现场应用表明 :隔套温度监测和电流监测保护法可以对磁体起到较好的保护作用 ;增设压力 扬程监测保护法在供水不稳定地区很有必要。CBH— 1型保护仪性能可靠、功能全、造价低 ,目前基本上能够满足磁传动增压注水泵的现场要求     

脉冲燃烧驱动机理的探讨

对脉冲燃烧的驱动机理的理解和认识是实用燃烧器研究与开发和关键。本文通过建立简化的物理及数学模型对其驱动机理作了初步的定性分析。     

China ADS sub-critical experimental assembly-Venus-1 and preliminary experiment

China’s accelerator-driven sub-critical system (ADS) sub-critical experimental assembly—Venus-1 and the preliminary experiment is presented. The core of Venus-1 is a coupled one of a fast neutron zone and a thermal neutron zone. The fast neutron zone is at the centre of the core and formed by natural uranium fuel. A fast neutron spectrum field can be produced in the fast neutron zone and used for the transmutation of minor actinides (MAs). The thermal neutron zone surrounds the fast neutron zone and is formed by low-enriched uranium fuel. It is a fission zone. An epithermal neutron zone between the fast neutron zone and the thermal neutron zone can be established for the transmutation of longlived fission products (LLFP). On July 18, 2005, the first fuel element was loaded into the Venus-1 sub-critical assembly and some preliminary experiments about the sub-critical neutronics were performed. The Venus-1 can be driven by an Am-Be source or other steady neutron source (Cf-252, D-D reaction and D-T reaction) to study the effect of the external neutron source with different energies or a D-T pulsed neutron source on the dynamic characteristics.