“三色图”的一个充分条件

文中证明了定理:若图G中不存在与K_4同胚的子图,则其色数X(G)≤3,进而得到三色图的一个充分条件。只要能证明与上述定理类似的一个定理:“若图G中不存在与K_5同胚的子图,则其色数X(G)≤4”,则世界著名的“四色猜想(4CC)”即得证。     

用分子子图法计算烷烃热力学函数

在一种新的烷烃分子子图编码方法基础上 ,对烷烃的系列热力学函数进行了拟合和预测 ,取得了满意结果。对吉布斯自由能ΔGf,原子生成热ΔHatm,热容 Cp,蒸发热ΔHV,液态生成热ΔHf( l) 和熵 S的拟合方程的回归系数分别为 0 .9559,1 .0 0 0 0 ,0 .990 5,0 .9969,0 .9973和 0 .992 2。     

战略决策训练模拟中的图上作业的实现

本文主要介绍如何充分利用VB5 .0的面向对象的图形开发功能与相应的控件特点 ,建立战略决策训练模拟中的图上作业系统。     

基于语音识别的计算机声图系统

本文提出一种计算机声图系统的模型,阐述了它的原理,并以TI-SPEECH语音处理系统、KX-600图形显示系统和IBM PC/AT计算机为基础,实现了一个简单的计算机声图系统。该系统的图形软件采用在KX-600图形显示系统上实现的MGP二维军用图形包,实现了语音输入的透明键盘支持。本文还提出了用自然语言输入和GKD-PROGKS图形系统构造的智能计算机图形系统的功能模型。     

弹上引信天线的研究

弹上引信天线的研究,主要根据弹上引信天线的特点来从事理论研究。由于常用的弹上引信天线均安装在弹体的头部即圆锥部分或弹体的圆柱体上,所以研究其理论时,应以重点研究圆柱体上为边界条件下天线理论,尽量给出其公式的一般数学表达式,具体推导过程十分繁杂,这里仅从IIz,Fz为出发点,推导出圆柱体上电磁场的普遍数学表达式;给出了应用举例及特例计算。另一方面,对弹上引信天线设计方法进行了研究,根据弹上引信天线设计的特点,亦可应用编好的设计使用程序软盘,以供使用时参考。     

摇臂钻床的PC控制

本文阐述运用可编程序控制器来控制摇臂钻床的机理,给出输入和输出接口分配图,设计了继电器梯形图。     

基于状态变换的同步时序电路测试生成

详细分析了固定故障所反映出的状态变换特征,提出状态变换故障模型以及相对应的测试生成压缩方法;基于无复位时序电路,深入研究了有复位状态的同步状态机测试生成方法的扩展问题;最后讨论了故障精简以及启发知识在测试生成中的应用问题。     

关于(1,f)-奇——复盖图

设ｆ是定义在图Ｇ的顶点集Ｖ（Ｇ）的顶点集Ｖ（Ｇ）上的一个奇数整函数。图Ｇ的一个（１,ｆ）－奇－因子是Ｇ的一个支搅揶图Ｆ使对任意的Ｘ∈Ｖ（Ｇ）有ｄｐ（ｘ）∈∪「１,３,ｆ（ｘ）」。图Ｇ是一个（１,ｆ）－奇－复盖图是对Ｇ的任一边ｅ,Ｇ都有一个（ｆ）－奇－因子含ｅ。本文给出Ｇ是（１,ｆ）－奇－复盖图的一个充要条件。     

一种新的非参数谱估计方法

提出了一种新的非参数谱密度估计方法,它是传统加窗周期谱估计方法的一种修正,并证明了此估计具有渐近无偏性、相合性、渐近正态性.