一种自动布线方法：多级线探索法

本文介绍了一种在微机上实现的印制板自动布线方法──多级线探索法及其编程方法。这种方法是基于完备布线算法的概念，通过分析李氏算法和传统线探索法的不足之处而得到的。虽然它也是一种线探索法，但有较传统线探索法更强的探索能力，不需要结合李氏算法而能单独完成布线任务，是一种较理想的算法，通过实验获得了较为满意的效果。     

Deformation of Rodlike Elements of Composite Materials Subjected to Uniform Compression

On the basis of generalization of the results of investigation of the operation of rodlike elements of composite materials, we make a conclusion that the influence of various factors on the deformability of these elements is studied incompletely. The comparison of the stress-strain states for different models of concrete and reinforced-concrete elements makes it possible to describe the effect of longitudinal reinforcement (coefficient of reinforcement, strength and deformation characteristics) on the critical level of strains in the cross section. According to the results of our investigations, we give recommendations concerning the evaluation of the critical value of the coefficient of reinforcement above which one may observe the effect of reinforcement on the deformability of the analyzed sections. It is shown that the compression strength of the brittle base of the composite with inhomogeneous structure decreases as a result of the fracture processes. It is also demonstrated that the existing procedure used for the evaluation of the indicated decrease in strength requires significant improvement. The problem of evaluation of the ultimate value of the coefficient of reinforcement is also analyzed.     

Fuzzy Weirstrass theorem and convex fuzzy mappings

The convexity and continuity of fuzzy mappings are defined through a linear ordering and a metric on the set of fuzzy numbers. The local-global minimum property of real-valued convex functions is extended to convex fuzzy mappings. It is proved that a strict local minimizer of a quasiconvex fuzzy mapping is also a strict global minimizer. Characterizations for convex fuzzy mappings and quasiconvex fuzzy mappings are given. In addition, the Weirstrass theorem is extended from real-valued functions to fuzzy mappings.     

Oxides Catalysts of Rare Earth and Transient Metal for Catalytic Oxidation of Benzene

The catalysts of CeO2 and the mixture of CeO2 and CuO were prepared, and the activities of these catalysts for completely oxidizing benzene were studied.The results show that the optimal proportion of CeO2/CuO is 6: 4.The highest temperature at which benzene was completely oxidized on these catalysts at different airspeed was measured.Compared these catalysts with the noble metal used, our catalysts had superiority in the resources and the industrial cost besides good activities.     

Similarity retrieval of iconic image database

The perception of spatial relationships among objects in a picture is one of the important selection criteria to discriminate and retrieve the images in an iconic image database system. The data structure called 2D string, proposed by Chang et al., is adopted to represent symbolic pictures. The 2D string preserves the objects' spatial knowledge embedded in images. Since spatial relationship is a fuzzy concept, the capability of similarity retrieval for the retrieval by subpicture is essential. In this paper, similarity measure based on 2D string longest common subsequence is defined. The algorithm for similarity retrieval is also proposed. Similarity retrieval provides the iconic image database with the distinguishing function different from a conventional database.     

智能工作站主机的MMPIS实验模型研究──一个全互连式结构MMPIS硬件环境的设计与实现

本文介绍中日国际合作开发研究的Ａ１型智能网（Ａ１型ＩＮ）智能工作站（ＩＷ）主机的并行推理硬件结构的实验模型设计与实现，给出了一种并行推理硬件支持环境实现方案和该方案在实现中若干问题的解决方法。     

荫罩黑化及DX气与煤气成分的探讨

本文介绍了彩色显像管荫罩黑化反应的机理,详细说明了DX气制气流程,以及DX气的成分对黑化膜品质的影响。计算分析了成分不同的煤气在制成DX气时的成分变化。同时还分析了黑化工艺和黑化设备对煤气成分波动的适应性,及在生产实践中改变DX气制气时的煤气空气对黑化膜质量的影响。     

Algebraic properties of cryptosystem PGM

In the late 1970s Magliveras invented a private-key cryptographic system calledPermutation Group Mappings (PGM). PGM is based on the prolific existence of certain kinds of factorization sets, calledlogarithmic signatures, for finite permutation groups. PGM is an endomorphic system with message space ℤ_|G| for a given finite permutation groupG. In this paper we prove several algebraic properties of PGM. We show that the set of PGM transformations ℐ _G is not closed under functional composition and hence not a group. This set is 2-transitive on ℤ_|G| if the underlying groupG is not hamiltonian and not abelian. Moreover, if the order ofG is not a power of 2, then the set of transformations contains an odd permutation. An important consequence of these results is that the group generated by the set of transformations is nearly always the symmetric group ℒ_|G|. Thus, allowing multiple encryption, any permutation of the message space is attainable. This property is one of the strongest security conditions that can be offered by a private-key encryption system. S. S. Magliveras was supported in part by NSF/NSA Grant Number MDA904-82-H0001, by U.S. West Communications, and by the Center for Communication and Information Science of the University of Nebraska.     

PCF的信息系统模型

带类型的λ－演算是一个逻辑系统，它可以作为程序语言的基础．Ｐｌｏｔｋｉｎ所引进的ＰＣＦ就是这样一类程序语言．Ｐｌｏｔｋｉｎ构造了ＰＣＦ的一个模型，然后讨论与这个模型相关的指称语义和操作语义之间的配合问题──简单配合和完全配合．本文利用Ｓｃｏｔｔ引进的信息系统概念构造ＰＣＦ的另一种模型，并证明与这个模型对应的指称语义与操作语义是完全配合的．