计算机网络安全与防火墙技术

随着信息技术的高速发展和网络信息量的飞速膨胀，同时应有的安全防范措施相对薄弱，因此，非法入侵、对数据进行篡改和窃听等事件时有发生。本文就保证信息安全阐述了网络安全的必要性，论述了网络防火墙安全技术的功能、主要技术、配置、安全措施和防火墙设计思路等。     

基于保护分散式抽象方法的可扩展操作系统设计

为了提供高性能和柔性，操作系统内核应该只保留最小的功能，今天的操作系统大而低效，更缺乏柔性，我们提出了保护分散式操作系统抽象方法，集成了分散式操作系统抽象和保护抽象的方法，这种新的安全方式在分散式抽象系统里共享用户级的抽象，能够使非特权，不信任的任务在运行时定义并安全的共享生成的抽象，它在对相同的抽象重复调用时，通过消除上下文切换的需求和对通常情况进行优化，可获得较好的柔性，保护分散式抽象的设计强调简单并正确性证明，易于理解和使用，文章介绍了保护分散式操作系统抽象方法，并运用该方法开发了一个基于共享库的原型操作系统－ExLinux/LibOS.     

微机监控技术 一

本文系统地讲述了以微型计算机为中心的微机监控系统的工作原理、系统组成和应用方面的有关技术。分为监控系统的功能和结构、硬件系统和软件系统三个部分。本文为第一部分。     

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.     

A formal description of open distributed processing (ODP) trading based on guidelines for the definition of managed objects (GDMO)

New requirements of growing computer networks and information systems have an influence on extended client/server models with increased functionality. This forms the basis for service management in distributed systems which is realized by a service trading concept. This paper studies the requirements derived from the Open Distributed Processing (ODP) Reference Model in order to consider an open service market. Furthermore, it examines management possibilities for describing the service trading scenario. Because of similar architectures and properties ODP services, service offers, types, exporters and traders are mapped onto management components and modeled as managed objects. Therefore, the Guidelines for the Definition of Managed Objects (GDMO) are used. The final concept allows a precise and unambiguous study of the service trading scenario and provides means for exporting and importing of service offers in a distributed environment.     

Stabilization of uncertain boundary control systems

We consider a class of linear infinite-dimensional systems subject to boundary uncertainties, which are linear and time-invariant. Using a deterministic approach to the design of stabilizing feedback controls, uniform exponential stability of the zero state is achieved. Lyapunov techniques are combined with Datko or Ichikawa theory. Three illustrative examples are presented.     

论版面设计的视觉符号语言

阐述了视觉符号语言在版面设计中的编码与各种表现形式，强调信息社会的来临，以视觉为形态的符号语言将有效加速信息的传递。     

柔性物流技术在生产中的应用

东风汽车公司立足于自己特殊的地理环境及发展历程，经过30年的实践和探索，形成适合自身的物流组织，如：采用合理的计划实施多品种混流和同步化生产、对跨厂际零部件采用物流组织配送制等，运用MRP与JIT相结合的先进的自动化采集技术，建立管理信息系统，使企业的生产经营工作取得了同步的发展。     

Integration framework for intelligent manufacturing processes

In this article, we describe a new approach to applying distributed artificial intelligence techniques to manufacturing processes. The construction of intelligent systems is one of the most important techniques among artificial intelligence research. Our goal is to develop an integrated intelligent system for real time manufacturing processes. An integrated intelligent system is a large knowledge integration environment that consists of several symbolic reasoning systems (expert systems) and numerical computation packages. These software programs are controlled by a meta-system which manages the selection, operation and communication of these programs. A meta-system can be implemented in different language environments and applied to many disciplines. This new architecture can serve as a universal configuration to develop high performance intelligent systems for many complicated industrial applications in real world domains.To whom all correspondence should be addressed.