关于外平面图的完备着色

本文证明了对每一个△(G)≥3的外平面图G,有X~c(G)≤△(G)+3,其中X~c(G)为G的完备色数,△(G)为G的顶点最大度。     

格值半连续映射的乘积式刻划

首先构造了一个反例,说明用积空间的开子集刻划通常下半连续函数的情形对一般的格值半连续映射不必成立.然后讨论了用X×L的子集刻划格值半连续映射的各种情形,并且通过在X×M(L)上引入新的拓扑,给出了格值半连续映射的几个刻划定理.     

乘积型季节性模型自相关函数的结构

本文以自协方差发生函数为工具,讨论了乘积型季节性模型。Φ(B)Φ(B~8)x_t=θ(B)■(B~8)a_t自相关函数的结构,证明了当p=0时,模型是参数可分离的。本文的结果为乘积型季节性模型的识别和参数估计提供了一定的理论依据。     

Dirichlet乘积的均值

利用复变积分法,我们给出了一类Dirichlet乘积的均值估计,由此可以推出一系列数论函数的均值估计.     

设备工况监测中三维信号图形的消隐

针对设备工况监测中三维信号图形的显示问题,提出了一种用画家算法实现的三维信号图形隐藏线快速消隐算法,并对方法的程序实现作了介绍.     

如何定义模糊集的映射

给出了Fuzzy映射(?):(?)→(?)的较合理定义,它将普通映射作为特款。可以预料,这种映射将为研究模糊微积分奠定良好的基础。     

可靠通讯网与可靠多总线结构间的关系

讨论了可靠通讯网与可靠多总线结构间的关系。提出了以图论为工具对可靠通讯网进行逻辑设计,然后用多总线结构对其加以实现的方法。并给出了可靠通讯网的处理机容错度和对应的多总线结构处理机容错度间的关系。     

风网特征图程序设计原理

本文论述了计算机自动绘制风网特征图程序设计原理、方法及步骤。简要介绍了C语言程序关键模块。     

关于算术图的一个猜想

一个(p,q)—图G被称为是(k,d)—算术的,如果它所有顶点可以被分配到不同的非负整数,使得它的边值可以排列成算术级数k,k+d,k+2d,…,k+(q-1)d,其中一条边的值是分配到它的两个端点的数的和。一个图G被称为是算术的,如果存在两个正整数k和d使得它是(k,d)—算术的。本文证明了Acharya和Hegde提出的下述猜想:对任意正整数n≥5,K不是算术图。     

概念图知识表示的推理方法

主要讨论概念图与一阶逻辑的关系，提出一种基于概念图的知识系统的推理方法，该方法在概念图上进行演绎推理。