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

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

R-Calculus for ELP:An Operational Approach to Knowledge Base Maintenance

Sme concepts used in knowledge base maintenace,such as sequence,new law,user‘s rejection and reconstructions of a knowledge base,are first introduced,and then a framework for extended logic programming(ELP)is given,where an extended logic program is equivalent to a knowledge base.A transition system called R-calculus for ELP is provided.For a given knowledge base and a user‘s rejection,the R-calculus for ELP will deduce best revisions of the base.The soundness and the completeness of the R-calculus for ELP are proved,and the R-calculus for ELP is implemented in Prolog.In addition,the research is compared with other relevant work.     

小型过程控制器中编程功能的实现

根据中小规模生产设备过程控制的特点,提出了生产工艺程序在过程控制器中应具有的一般形式,并详细分析如何使小型过程控制器具有编辑这种工艺程序的功能。     

证券组合的快车道问题研究

本文建立了新的证券组合最优控制模型，分析了证券市场长期投资过程中证券组合的快车道问题；提出了隐式规划的模拟退火方法，进行了快车道的仿真，这对于证券市场长期稳定运行和投资具有实际意义。     

基于微机的PUMA262机器人的离线编程系统

本文论述了一个离线编程系统开发的全过程，包括系统的设计和该软件的核心技术，ＰＵＭＡ机器人的运动学动力分析与仿真，机器人与微机的接口技术及ＮＵＲＢＳ高级曲线的路径规划方法等。     

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.