图C4t∪4t的调和标号

不连通图的标号问题是图论研究中的重要课题之一,本文首先给出了调和图的定义,然后证明了两个图C4t的并图C4t∪C4t是调和图。     

PAO8和45#变压器油基础油粘度调和及计算模型研究

采用高低温运动粘度测定仪测量PAO8(8#聚烯烃)合成基础油和45#变压器油基础油按不同比例调和后混合基础油的粘温性能,运用Arrhenius模型和Grunberg-Nissan模型计算混合基础油的理论粘度,研究粘度偏差率随测试温度的变化规律.实验结果表明:Arrhenius模型能准确预测混合基础油的高温运动粘度,粘度偏差率最大值不超过1%,而Grunberg-Nissan模型能精确计算混合基础油的低温运动粘度;PAO8和45#变压器油基础油调和能够获得高低温粘度的匹配.     

广义A-调和张量的反向H(o)lder型不等式

基于微分形式A-调和方程的反向H(o)lder型不等式,是研究其解可积性的重要工具.本文将A-调和方程推广到拟线性方程的情形,在一定的条件下获得方程解的反向H(o)lder型不等式,所得结果可以退化到经典的情形,为研究此类调和方程的正则性与可积性奠定了基础.     

TSP及其操作语义模型研究

在有限状态进程(Finite State Process, FSP)和时间自动机(Timed Automata, TA)的基础上,提出了一种描述分布式实时系统(Distributed Real Time System, DRTS)行为的模型:时间状态进程(Timed StateProcess, TSP).TSP包括4个常量进程IDLE进程、SKIP进程、STOP进程和ERROR进程;以及前缀进程、超时进程、时钟复位进程、卫式条件进程、非确定性选择进程、数据(/消息/应答消息)发送进程、数据(/消息/应答消息)接收进程、组合进程和顺序进程.定义了TSP模型的结构化操作语义,以及TSP到时间标号迁移系统(Timed Labeled Transition System , TLTS)的转换规则.     

一类新的优美树

Rosa 等人于1966年提出了著名的优美树猜想,即任何树都是优美图.该猜想至今没有得到证明或否定,仅有一些特殊树类被证明是优美图.通过构造路Pn=v0v1…vm的平衡标号f使f(v0)=k,其中k为任意不大于n的非负整数,且4k≠n,3n,进而给出一种新的优美树的构造方法,使已知的优美树大大增加.     

关于塔式网络矢量量化中格点的标号

在格型矢量量化中,用格点作为量化矢量,构成码书。为了存储或传输量化输出,必须对格点进行标号。我们在数据压缩课题研究中,对塔式网格矢量量化中格点的标号进行了探索,给出了常用的几种网络诸如ZL、DL、E8、A16等格点的标号算法。     

P3，4m的优美性

设u、v是两个固定顶点,用b条内部互不相交且长度均为a的道路连接u、v所得到的图用Pa,b表示.Kathiresan证实P2r,2m-1(r,m均为任意正整数)是优美的,且猜想除了(a,b)=(2r+1,4s+2)外,所有的Pa,b都是优美的.杨元生已证实P2r+1,2m-1是优美的.本文证明P3,4m是优美图,从而当a=3时Kathiresan猜想成立.     

广义A-调和张量的反向H?lder型不等式

基于微分形式A-调和方程的反向Hlder型不等式,是研究其解可积性的重要工具。本文将A-调和方程推广到拟线性方程的情形,在一定的条件下获得方程解的反向Hlder型不等式,所得结果可以退化到经典的情形,为研究此类调和方程的正则性与可积性奠定了基础。