无着色矛盾图和图的着色算法

本文讨论与图的(顶点)着色有关的某些问题,文中给出了图的着色矛盾和无着色矛盾图的定义和主要性质,同时依此有效地改进了一种求图的着色的算法。另外,还讨论了无着色矛盾图的计数问题。     

布尔代数中的形式积运算

1.“形式积”运算 所谓“形式积”是布尔代数中运算“积”的一种形式上的扩展。 定义1.设f(x_1,x_2,…,x_n)和g(x_1,x_2,…,x_n)都是布尔代数对上n个变量的布尔函数,f_y和g_y分别表示它们的任一积/和表达式,f_y对时g_y的“形式积”是:在保留一切积项的前提下,形式地计算乘积f_y·g_y,当f_y的积项m_i和g_y的积项m_i相乘时,如下计算它们的积项:     

L1语言中的知识库系统

Ｌ１语言是为开发机器学习系统而研制的，本文在分析了机器学习系统的特征以后，讨论Ｌ１语言所设置的知识库系统Ｌ１ＫＢＳ。着重介绍双二层知识库结构及其主要的管理功能，最后以实例学习系统说明Ｌ１ＫＢＳ的支撑作用。     

向量化中临时数组的引入

本文讨论可向量化ＤＯ循环中临时数组的引入问题，首先精确定义了对一个用量引入一临时数的概念，接着讨论了两种有效的引入形式，然后，对所有可向量化的ＤＯ循环证明按有效形式引入临时数组是普通有效的，同时也给出了在何处如何引入临时数组的算法，最后，还讨论了在一般循环分布中的相应问题。     

求组合逻辑网络测试码的一个方法

对任一给定的组合逻辑网络进行故障诊断时,常常是首先求出一组测试码,而后用其进行测试,因此求测试码是诊断的关键。本文提出一种求测试码的方法——“形式与”方法。它与一般的方法有所不同,它不是先设定某故障,再求其测试码,而是对输出表达式中出现的变量作全面的统一考虑,每对一种输出表达式做一次“形式与”就得到所有这些变量(线)上所有可检测故障的测试函数。它适用于单故障,也适用于多故障,并且两相比较,工作量并不增加很多。     

DO循环向量化的追踪遍数

本文讨论FORTRAN DO循环向量化的下标追踪法中关于追踪遍数定理的改进,给出并证明了新的估计定理,使追踪遍数的估计值有明显的改进。