关于算子矩阵的谱补问题

设H-和H为可分复Hilbert空间，对定义在Hilbert空间 上的缺项算子补矩阵M（A，B，C，X），其中A∈B（H-），B∈B（H），C∈B（H，H-）给定。当三元算子对（A，B，C）满足一定条件时，X取遍B（H-，H）中算子时，利用构选算子的方法，给出算子补矩阵M（A，B，C，X）的谱之交的结果以及其谱配置结果。     

数学新课程在西南地区适应性调查研究

数学新课程改革与实验顺利展开的关键在于全国统一性与地方多样性的有机协调和互动融合．为此，通过对西南新课改实验区管理者、教师、学生、家长及师范生的调查，初步解析了制约新课程实施过程中多样性和统一性有机协调的相关因素，诊断出数学新课程在西南地区的适应性水平，提出了相应的理论思考和实践建议．     

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

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

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

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

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

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

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

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

论可裂G2的基本态

设G为连通线性单Lie群,Knapp和Speh在文献[1]中指出,若P=MAN为G的一尖抛物子群,则唯一存在M的基本态,并讨论了基本态和G的酉表示之间的关系.除了G为     

可拓数学与矛盾问题

本文对可拓数学建构中的几个核心问题进行了初步探讨，分析了可拓数学在研究对象、基本模型、集合基础、逻辑基础等几个方面的特点。     

关于可微的一种等价形式

本文给出可微的一种简便形式,可使一些有关可微性命题的证明更简明、准确.将其推广到向量值函数应用更方便.     

Seifert and Van Kampen定理的一种特殊情形的有关讨论

代数拓扑是拓扑学的重要分支,它的特征是借助于一系列代数的对象、方法,如群、环、同态等,进行研究拓扑空间在连续形变下的不变性质.同伦论是代数拓扑的基础,而基本群是同伦论的一个重要概念.Seifert-Van Kampen定理主要用来确定某些较复杂的空间的基本群的结构,对于此定理的证明需要许多代数方面的知识,而且证明过程篇幅较长,本文仅用点集拓扑所涉及的方法给出Seifert-Van Kampen定理的一种特殊情形的证明.