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

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

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

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

一类笛卡积图的交叉数

确定了一类6阶图与路的笛卡尔积图的交叉数。     

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

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

多边形的等积三角剖分

2000年，美国数学家Stein提出了一个很一般的猜想：任何特殊多边形不可能划分为奇数个面积相等的三角形，并证明了猜想对边数不超过6的特殊多边形成立．借助Sperner引理与2-进赋值函数证明：对任何正整数n＞6，存在边数为n的特殊多边形，并证明猜想对边数为7的几类典型的特殊多边形成立．     

在被积函数连续的区间上计算不定积分

在不少高等学校的教科书、参考书中，求不定积分时，是在变换和恒等变形后被积函数的定义区间上求解。给出了在被积函数的连续区间上计算不定积分。     

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

在不使用有机溶剂和乳化剂情况下，利用反应条件温和且无毒的多价反离子对阳离子多糖的凝胶化诱导作用，制得可用于治疗药物输送的可生物降解亲水性纳米载体。通过优化反应参数，可使所得多糖凝胶微粒平均粒径介于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是上可嵌入的 .     

函数具有最小值的充分和必要条件

给出了广义的实值函数f分别在R^N和在R^N的闭子集S上具有局部最小值点x的一阶和二阶充分和必要条件．