以寻呼区分析为基础的PHS网络优化方法

通过分析PHS网络中各寻呼区的统计指标,剖析指标劣化的根本原因,采取修改相应的参数配置、移站、调整天线等措施进行网络优化,优化实施后再次收集统计指标做对比分析,总结经验。     

SIMADYN D控制器在武钢热轧动态无功补偿系统中的应用

SIMADYN D控制器应用于动态无功补偿，标志武钢动态无功补偿控制实现数字化突破。提高了系统的可靠性、调节精度和动态指标。     

Prolog逻辑程序的测试方法

Prolog逻辑程序设计语言具有不同于传统程序设计语言的特点.本文根据测试Prolog程序的实践,提出了一系列为Prolog程序生成测试用例的准则.按这些准则测试实际程序效果良好.这是在逻辑程序测试新领域迈出的一步.     

A neural network model for fault detection in conjunction with a programmable logic controller

This paper discusses the feasibility of using neural networks as a tool in the fault detection process. A neural network is integrated with a state language programmable logic controller, an important device in an automatic control system. Time series data related to time spent in a state is gathered and used as input into a neural network, for the purpose of identifying when a fault has occurred. A feedforward neural network is used to identify which (if any) of three types of faults may have occurred. Experimental results related to sensitivity and accuracy measures are presented. A brief review of related applications and research is also presented.     

A machine learning system for identifying transmembrane domains from amino acid sequences

We present our machine learning system, that uses inductive logic programming techniques to learn how to identify transmembrane domains from amino acid sequences. Our system facilitates the use of operators such as ‘contains’, that act on entire sequences, rather than on individual elements of a sequence. The prediction accuracy of our new system is around 93%, and this compares favourably with earlier results. This work was carried out with the support of a research grant from ISIS, Fujitsu Laboratories.     

Episodic Logic: A comprehensive,natural representation for language understanding

A new comprehensive framework for narrative understanding has been developed. Its centerpiece is a new situational logic calledEpisodic Logic (EL), a knowledge and semantic representation well-adapted to the interpretive and inferential needs of general NLU. The most distinctive features of EL is its natural language-like expressiveness. It allows for generalized quantifiers, lambda abstraction, sentence and predicate modifiers, sentence and predicate reification, intensional predicates (corresponding to wanting, believing, making, etc.), unreliable generalizations, and perhaps most importantly, explicit situational variables (denoting episodes, events, states of affairs, etc.) linked to arbitrary formulas that describe them. These allow episodes to be explicitly related in terms of part-whole, temporal and causal relations. Episodic logical form is easily computed from surface syntax and lends itself to effective inference.     

可编程控制器在包装机上的应用

本文介绍了可编程控制器（PLC）在包装机上的应用．介绍了系统的硬件设计与软件开发．     

The formalization and analysis of a communications protocol

The MSMIE protocol [SBC89] allows processors in a distributed system to communicate via shared memory. It was designed to meet the reliability and efficiency needs of applications such as nuclear safety systems. We present a formal model of the MSMIE protocol expressed in the notation CCS. Desirable properties of the protocol are expressed in the modal mu-calculus, an expressive modal logic. We show that the protocol lacks an important liveness property. In actual operation, additional operating constraints are checked to avoid potential problems. We present a modified protocol and show that it possesses the liveness property even without checking operating constraints. We also show how parts of the analysis were automated with the Concurrency Workbench.