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.     

Image processing using cellular neural networks based on multi-valued and universal binary neurons

Multi-valued and universal binary neurons (MVN and UBN) are the neural processing elements with the complex-valued weights and high functionality. It is possible to implement an arbitrary mapping described by partially defined multiple-valued function on the single MVN. An arbitrary mapping described by partially defined or fully defined Boolean function, which can be non-threshold, may be implemented on the single UBN. The quickly converging learning algorithms exist for both types of neurons. Such features of the MVN and UBN may be used for solving the different problems. One of the most successful applications of the MVN and UBN is their usage as basic neurons in the Cellular Neural Networks (CNN). It opens the new effective opportunities in nonlinear image filtering and its applications to noise reduction, edge detection and solving of the super resolution problem. A number of experimental results are presented to illustrate the performance of the proposed algorithms.An erratum to this article can be found at     

基于放大器非线性拟合的自适应预失真技术

本文提出了一种新的有效的大功率放大器非线性失真的数字自适应预失真设计方法。该方法基于有理双线函数的非线性及其逆变换易于求解的特性，设计大功率放大器的估计器以逼近大功率放大器的非线性特性，预失真器的非线性参数由估计器的逼近函数逐段取逆变换来调节，以达到预失真补偿的目的。计算机仿真结果表明：该方法用于正交频分复用（OFDM）系统中具有收敛速度快、系统性能稳定、补偿效果好等特点。     

光漂白法制备有机聚合物非线性定向耦合器

研究了用光漂白的方法制备PMMA/DR1聚合物非线性定向耦合器,提出了一种容易的制备方法来得到要求的耦合长度.测量了材料的光学非线性对定向耦合器两臂透过率的影响.实验结果表明由于光学非线性,耦合器的耦合长度随着入射光强度的改变而发生变化.     

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

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