几类图的独立约束数及独立加强数

利用归纳假设方法及图的独立数的一些定理，研究几类图——路、完全二分图、圈、树中的独立约束数及独立加强数．求出路、圈的独立约束数和独立加强数及完全二分图的独立约束数，并给出树独立加强数的界．     

带有预算费用约束的多地点报童模型

有针对性地研究了一种带有预算费用约束的多地点(连锁店)报童问题。在各地需求变量均服从正态分布的情况下,建立了数学模型,利用最优化方法进行了求解,并对模型的灵敏度进行了分析。     

采场模糊渗流定解问题的可表示性

采空区气体模糊渗流问题由模糊偏微分方程所描述，模糊微分方程是未知函数及其导数与已知模糊函数或者模糊常数的条件等式。方程解的模糊性是由已知模糊函数或模糊常数所引起的。当已知函数或常数为区间值函数或区间数时，相应的方程为区间微分方程，由于模糊函数或模糊数的截集为区间值函数或区间数，通常，模糊微分方程的解是利用模糊函数或模糊数截集所对应的区间微分方程解通过表现定理给出。由于模糊微分方程的解必须是模糊函数，如果通过表现定理给出的模糊微分方程方程的解是模糊函数，则称方程的解是可表示的，本文在给出模糊微分方程解的可表示定义同时给出了解的可表示判定条件，并且证明了有采空区气体模糊渗流定解问题的可表示性。     

基于抽象语法描述的中间表示技术

中间表示技术是高质量可重定目标编译器开发中的关键技术。针对嵌入式软件危机 ,提出了一种基于抽象语法描述的中间表示技术 AIR。AIR以代数数据类型为主体 ,并用面向对象特征对其进行扩展。在这种中间表示技术中 ,通过使用不受限制的高级中间表示 ,可充分利用现有的前端。通过这种语法能对现有中间表示提供自然编码的抽象中间表示 ,提高了编译成份的可复用性和互操作性 ,简化了编译基础设施的建构 ,进一步实现了高质量编译器的快速开发     

浅析VFP完整性机制

在明确了数据完整性概念及分类后 ,从 SQL和可视化两个角度对 VFP中的完整性机制的实现进行了深入分析。     

HG—AFS测定土壤水溶态、可交换态Se（IV）和Se（VI）

硒的形态分析(含价态)在环境、生命科学以及食品、医药卫生方面具有重要意义．为了了解土壤水溶态和可交换态中硒具体价态以及相关价态含量，通过实验优化了氢化物发生原子荧光光谱法测定条件，直接测定Se(IV)和定量还原后测总无机硒，差减法测得Se(VI)量、对两种供试土壤的水溶态和可交换态硒存在的价态及含量进行了报道，方法简便可行．     

一种制备多糖凝胶纳米微粒的有效方法

在不使用有机溶剂和乳化剂情况下，利用反应条件温和且无毒的多价反离子对阳离子多糖的凝胶化诱导作用，制得可用于治疗药物输送的可生物降解亲水性纳米载体。通过优化反应参数，可使所得多糖凝胶微粒平均粒径介于20—100nm之间。     

一类平面三次多项式系统的赤道极限环分支

研究了一类平面三次多项式系统赤道极限环分支问题,给出了易于计算的系统赤道环量的代数递推公式.同时,计算了一类三次系统的前6个赤道环量,得到了系统在赤道邻域的可积性条件及在赤道附近存在5个极限环的系数条件,给出了一个平面三次系统在赤道附近分支出5个极限环的计算实例,并在不构造Poincare环域的情况下,指出了极限环存在的位置.     

一类上可嵌入图

本文主要证明了如下结果 :设G为 3-连通图 ,若G的顶点集存在一个C一划分 {V1,V2 ,… ,Vn} ,使得对每个 1≤i≤n ,|Vi|≡ 0 (mod 2 ) ,且对任意的v∈V(G) ,dG=(v)≡ 1(mod 2 ) ,则G是上可嵌入的 .     

多元线性模型中的条件最优预测

研究了带线性等式约束下任意秩多元线性模型中条件可预测变量的最优预测。特别地考虑了一类特殊的预测函数：φ－线性预测函数，给出了条件φ－线性可预测变量和条件最优φ－线性无偏预测的定义。得到了条件φ－线性可预测变量的条件最优φ－线性无偏预测，并证明了它在几乎处处意义下的唯一性。