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

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

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

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

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是上可嵌入的 .     

宏微驱动双连杆柔性臂系统建模与最优控制

以宏微双重驱动的双连杆柔性臂机器人为背景,提出了对刚性部分和柔性部分分别建模的方法,通过两部分的叠加实现对柔性臂的描述,其优点是系统总的模型简单且易于同时考虑多个振动模态;提出了以柔性臂末端二次型跟踪误差为性能指标,通过极大值原理同时求解伺服电机驱动力矩和压电陶瓷驱动电压的方法;最后给出了柔性臂在双重驱动控制下的计算机仿真结果.     

一类复杂可修退化系统模型分析

本文用算子半群理论给出了一类复杂可修退化系统动态非负解的存在惟一性证明，并进一步证明了0是系统主算子的简单本征值。     

自然数表为平方和的充分条件

本文给出了自然数表为两整数平方和与本原可表为两数平方和的充要条件的新证明。