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

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

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

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

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

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

ACEX 1K系列CPLD的配置

Altera公司近期推出新一代CPLD器件-ACEX 1K，这种芯片具有易失性，需要配置器件来保存CPLD器件的配置数据。对此，介绍了ACEX 1K系列器件的配置方法，对各种配置方法进行了分析对比，并着重论述了应用配置器件配置ACEX 1K系列器件的优点。     

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

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

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

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

一本电子政务建设的指南书

公众不需要了解哪级政府和什么部门提供哪种服务,直接通过一个窗口就可以了。就像顾客购买商品只需选择而无须了解商品是谁生产的。这就是加拿大正在进行着一场信息革命——政府在线(GOL:Government On-line)提供的一种前所未有的模式。加拿大政府承诺:在2004年以前,使加拿大政府成为世界上与市民之间享有最大连通性的政府,加拿大人能在任何时间、任何地点,访问到所有的政府在线数据和服务。 无疑,这意味着加拿大政府各个部门所提供的信息和服务,必须根据客户     

一类上可嵌入图

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

土地使用证管理计算机辅助系统设计

介绍了《土地使用证申报、调查、审核与颁发计算机辅助系统》(软件 )的开发背景 ,软件的需求 .功能、特点及实施过程 ,并提出土地管理信息系统建设的一点思考 .     

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

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