三值光计算机的数值表示及其基本算法

分析和比较了几种适合三值光计算机实现的数值表示及其基本算法,将基于平衡三进制的数值表示及其运算方法引入了三值光计算机,为研究和实现三值光计算机的各种算术运算部件提供了数学理论基础。采用平衡三进制,正负数的表达形式具有统一性和对称性,消除了符号位,有效简化了有符号数的数值处理过程,加减法运算使用同一部件实现,可设计出各种简单、高效且具有对称性的算术运算部件,简化了三值光计算机的硬件结构和指令系统。     

三值光计算机的数值表示及其基本算法

分析和比较了几种适合三值光计算机实现的数值表示及其基本算法，将基于平衡三进制的数值表示及其运算方法引入了三值光计算机，为研究和实现三值光计算机的各种算术运算部件提供了数学理论基础。采用平衡三进制，正负数的表达形式具有统一性和对称性，消除了符号位，有效简化了有符号数的数值处理过程，加减法运算使用同一部件实现，可设计出各种简单、高效且具有对称性的算术运算部件，简化了三值光计算机的硬件结构和指令系统。     

EDA中函数优化方法研究

提出了EDA中易于计算机实现的逻辑函数优化方法 ,即在优化过程中引入多维体运算 ,用星积运算求素项 ,选择极值法求最小覆盖 ,并对循环函数进行处理的优化方法。大量的实验证明了该方法的正确性和易于计算机实现的有效性。因此 ,该方法在数字电子设计自动化中具有广泛的应用前景     

EDA中函数优化方法研究

提出了EDA中易于计算机实现的逻辑函数优化方法,即在优化过程中引入多维体运算,用星积运算求素项,选择极值法求最小覆盖,并对循环函数进行处理的优化方法.大量的实验证明了该方法的正确性和易于计算机实现的有效性.因此,该方法在数字电子设计自动化中具有广泛的应用前景.     

一种优化逻辑函数的程序设计与实现

论文提出了EDA中易于计算机实现的逻辑函数优化方法,即在优化过程中引入删劣运算,用锐积运算求质蕴涵项,用选择提炼极值法求最小覆盖,并对循环函数进行处理的优化方法。设计了相应的组合逻辑电路逻辑综合优化程序,大量的测试证明了该方法的正确性和易于计算机实现的有效性。     

逻辑函数的计算机化简

本文针对中型逻辑函数，提出了易于计算机实现的化简方法，即在化简过程中引入代数拓扑运算，在用星积运算求素项的基础上，用选择极值法求最小覆盖，大量的实验证明了该算法的正确性和易于计算机实现的有效性。     

基于邻接矩阵的电路信号流图分析法

提出新的电路信号流图分析法,该方法以线性时不变电路的邻接矩阵为基础,先构造出对应的信号流图矩阵,再按照一种异于梅逊公式的方法对信号流图矩阵元素进行处理得到待求参量的符号解.方法操作灵活,便于计算机实现;理论分析和实验表明当电路节点数目增大时,该方法在运算复杂度及运算规模增速上与已有方法相比优势明显.另外,通过将其与节点撕裂法相结合,计算机处理符号类型电路的效率可以得到进一步提升.     

多字长运算汇编语言程序设计

本文阐述了用多字长运算汇编语言程序设计提高小型计算机运算精度的基本思想,多字长尾数运算的方法及程序设计的关键问题。     

计算机图形学及图象处理专刊

前言 本期集中刊登了计算机图形学及图象处理方面的论文、综述报告及简报等,集中地报道了近几年来我国在计算机图形学及图象处理方面所取得的部份研究成果。 本期刊登的前四篇论文都是有关几何造型技术的研究成果,《正则几何形体及正则集合运算》,讨论了正则几何形体的定义及其层次式的边界表示方法,介绍了正则集合运算的形式描述及其实现步骤。《自由曲面体的一种模型设计方法》,介绍了由剖面来描述和生成自由曲面的方法,并已成功地应用     

基于三值光学处理器的加法算法研究

加法运算是最基本的运算。随着运算数字长度的增加,级联加法器所产生的进位传播导致计算速度的严重下降,学者们提出多种多样的解决方法,其中使用光学方法解决加法进位问题因其并行性独具优势而受到肯定。文中对加法的实现方法进行了分析,并指出简单套用先行进位等算法思想对于三值光计算机不适合,探索适合三值光计算机的光学处理器的加法算法-MSD加法,结合处理器液晶阵列104以上的数据位数,找到更适合三值光计算机特点的加法算法。     

Semantics and verification of monitors and systems of monitors and processes

In this paper we present a sound and complete semantics for the monitor concept of C.A.R. Hoare. First a method for specification of monitors, introduced by O.-J. Dahl, is reviewed. This method is based on the relation between the historic sequence of monitor procedure calls and the historic sequence of monitor procedure exits. Based on such specifications and our new monitor semantics we present a method by which it is possible to prove that a concrete monitor is an implementation of an abstract one. In the last part of the paper an axiomatic semantics for systems of concurrent processes and monitors is introduced. The method supports verification by separation of concerns: Properties of the communication to and from each process are proven in isolation by a usual Hoare style axiomatic semantics, while abstract monitors are also specified in isolation by the method reviewed in the first part of the paper. These properties of the components of the system are then used in a new proof rule to conclude properties of the complete system. Stein Gjessing received a Ph.D. (actually a Dr. philos.) from the University of Oslo (Norway) in 1985. Presently he is an Associate Professor at the Institute of informatics, University of Oslo, Norway. Dr. Gjessings research interests are in the area of concurrent and distributed programming, operating systems, formal specification and verification and programming languages.     

Models and Complexity of Problems of Design and Reconstruction of Telecommunication and Transport Systems

This article considers network synthesis problems arising in the design and exploitation of telecommunication and transportation systems. A formalization of network synthesis problems on graphs is proposed in which constraints on cut capacities are given and possibilities of failing some network components are taken into account. Approaches to the solution and analysis of the complexity of the considered problems are described.     

Teamcenter与NX集成客户化定制技术研究与实现

PDM产品实施过程中一项重要工作是系统集成与客户化定制。对Teamcenter Engineering(简称Teamcenter)与NX系统集成客户化定制中业务建模、属性映射等相关技术进行了研究,提出了Teamcenter与NX集成客户化定制的技术思路,并以客户化定制NX工程图纸标题栏为例,介绍了Teamcenter与NX集成定制实现的关键步骤及方法。     

智能业务和软交换互通的设计与实现

电信业的快速发展及下一代网络的全面建设促进智能业务与软交换实现互通。文中首先介绍了互通的种类和方案，并重点讲述了智能网和软交换互通过程中模型的重要部分——软交换侧的SSP。在此基础上，提出了智能网和软交换互通的实现方案，并且以智能用的典型业务FPH为例简明分析了方案，对利用业务服务器实现软交换中的智能业务进行了插述和分析。     

椭圆拉伸变形长短轴的计算及应用

在CAD应用软件程序编制中,椭圆的长短轴是很重要的参数。应用相关数学知识推导出6个计算公式,可利用这些公式确定椭圆沿坐标轴拉伸变形后的长短轴大小与位置并在CAD软件中实现与之相关的功能。     

Binary perfect and extended perfect codes of lengths 15 and 16 and of ranks 13 and 14

Inaccuracies in computations in the paper of the authors on classification of perfect binary codes of lengths 15 and 16 and of rank 13 are fixed. An explicit construction of all extended perfect codes of length 16 and rank 13 with a given kernel size is presented. Perfect binary codes of length 15 and rank 14 obtained by the general doubling construction are classified.     

IPSEC与防火墙协同工作设计与实现

IPSEC提供网络层的安全服务，通过对IP报文的加密和验证，保证数据在传输过程中的安全．由于IPSEC封装了报文中一些重要信息，使得IPSEC与防火墙不能同时有效地工作．本文提出一种分层IPSEC(Layered IP Security，L_IPSEC)思想，即将协议头和数据部分分别进行安全处理．并将这种分层思想与分布式处理技术结合，设计与实现一种IPSEC与防火墙协同工作方案．     

智能业务和软交换互通的设计与实现

电信业的快速发展及下一代网络的全面建设促进智能业务与软交换实现互通.文中首先介绍了互通的种类和方案,并重点讲述了智能网和软交换互通过程中模型的重要部分--软交换侧的SSP.在此基础上,提出了智能网和软交换互通的实现方案,并且以智能网的典型业务FPH为例简明分析了方案,对利用业务服务器实现软交换中的智能业务进行了描述和分析.     

Kohonen与Madaline用于解析重叠光谱测定钨和钼

首先应用Kohonen网络对钨、钼的混合吸收光谱进行波长选择，在全光谱中优选最能代表光谱特征的波长，被选波长处吸光度作为Madaline网络的输入，设定输出目标函数为G（λ）＝∑Aiexp[-4(ln20）(λ-t）^2/2]，进行解析重叠光谱，同时测定了钨和钼，该法利用特征光谱代表全谱进行光谱解析，减少了解析光谱中大量的数据。