可并联逆变器中的同步控制技术及其实现

论述了可并联逆变器中的同步控制技术及其实现方法。在分析了同步的重要性之后，提出了抢占与并发相结合的同步控制策略及其实现方法，实践证明该方法具有很高的控制精度。     

一种实现最佳用户检测的非线性优化神经网络

本文提出并讨论了实现码分多址（CDMA）系统上最佳多用户检测（MUD）的一种神经网络方法。该方法通过将最佳多用户检测视为非线性优化组合问题，利用神经网络能有效求解非线性优化问题的优势，导出了一种非线性优化神经网络来实现最佳多用户检测，理论分析和计算机模拟表明，所提出的神经网络具有可实时应用的动态性能和较传统方法优越得多的误码率性能和抗多址干扰的性能。     

A survey of parallel execution strategies for transitive closure and logic programs

An important feature of database technology of the nineties is the use of parallelism for speeding up the execution of complex queries. This technology is being tested in several experimental database architectures and a few commercial systems for conventional select-project-join queries. In particular, hash-based fragmentation is used to distribute data to disks under the control of different processors in order to perform selections and joins in parallel. With the development of new query languages, and in particular with the definition of transitive closure queries and of more general logic programming queries, the new dimension of recursion has been added to query processing. Recursive queries are complex; at the same time, their regular structure is particularly suited for parallel execution, and parallelism may give a high efficiency gain. We survey the approaches to parallel execution of recursive queries that have been presented in the recent literature. We observe that research on parallel execution of recursive queries is separated into two distinct subareas, one focused on the transitive closure of Relational Algebra expressions, the other one focused on optimization of more general Datalog queries. Though the subareas seem radically different because of the approach and formalism used, they have many common features. This is not surprising, because most typical Datalog queries can be solved by means of the transitive closure of simple algebraic expressions. We first analyze the relationship between the transitive closure of expressions in Relational Algebra and Datalog programs. We then review sequential methods for evaluating transitive closure, distinguishing iterative and direct methods. We address the parallelization of these methods, by discussing various forms of parallelization. Data fragmentation plays an important role in obtaining parallel execution; we describe hash-based and semantic fragmentation. Finally, we consider Datalog queries, and present general methods for parallel rule execution; we recognize the similarities between these methods and the methods reviewed previously, when the former are applied to linear Datalog queries. We also provide a quantitative analysis that shows the impact of the initial data distribution on the performance of methods. Recommended by: Patrick Valduriez     

Error in the UNITY substitution rule for subscripted operators

UNITY, introduced by Chandy and Misra [ChM88], is a programming logic intended to reason about temporal properties of distributed programs. Despite the fact that UNITY does not have the full power of, for example, linear temporal logic, it enjoys popularity due to its simplicity.There was however a serious problem with the Substitution Rule. The logic is incomplete without the rule, and with the rule it is inconsistent.     

银河－Ⅱ气象应用并行库

本文着重介绍“银河－Ⅱ气象应用并行库”的设计思想、技术特点和使用方法。     

PIMS在企业生产经营中的应用

介绍PIMS在企业生产经营中的应用 ,运用PIMS可对炼油化工企业进行原油采购决策、加工保本点预算、效益预测、物流分配、整体流程优化、投资分析、瓶颈制约因素探讨、原料和产品库存管理、经济活动分析等 ,并结合生产装置特点和市场环境影响因素 ,获取最大生产经营效益。根据影子价格 ,找出提高效益的潜力 ,确定产品、中间产品或半成品合理价格 ,规范关联交易 ,增强企业市场应变能力 ,提高经济效益与管理水平。     

数据采集与监控软件Genie

Genie是具有国际先进水平的数据采集与监控软件，它提供了一个面向对象的图形化用户界面，因此简化了数据采集过程、控制应用程序开发和操作员界面。本文介绍了Genie的特点、功能、基本用途以及VISUALBA－SIC在设计这类监控软件中的作用。     

Constant thrust programming for a multistage rocket flown in vacuum with a given initial/final thrust-to-weight ratio in an arbitrary stage

The burn time and burnout velocity of a multistage rocket flown vertically in vacuum with constant thrust tangential to the flight path and a prescribed initial/final thrust-to-weight ratio in an arbitrary stage have been determined. The present paper also deals with optimal staging under given conditions of flight.     

液压集成块校核软件的编制和应用

本文叙述了液压集成块校核软件的编制思想和方法，并重点介绍了编制过程中所使用的相关技术，同时给出部分源程序。