Sp(4,K)的WEYL模分解

给出了G=Sp(4，K)时WEYL模的分解模式，给出了Sp(4，K)的WEYL模分解。     

关于模糊幂环的表示

李洪兴引入了HX环的概念，姚炳学给出了模糊幂环的概念作为HX环的推广。本文讨论了模糊幂环的基数与表示，指出：这类模糊幂环不是Zadeh意义下的模糊环，可以被一个经典环表示。作为例子，给出了模糊幂环的正则表示。     

磁空间群Pб_ 3/m''''m’c''''不可约共表示的计算

群表示理论在群论的发展和应用中占有十分重要的地位,它对求解C-G系数,同位标量因子及母分系数是必不可少的。本文主要以P6_3”m′m′c′的对称点L点为例,应用诱导表示的方法,介绍磁空间群不可约共表示的计算方法。     

图的曲面嵌入

提供了曲面的一种多边形表示，它虽然由多面形表示演化而来，但使得图的曲面嵌入的存在性、计数、确定最大亏格等问题变得十分简单。多面形表示源于Heffter^[1],Hilbert和Cohn—Vossen提出过引线问题并将它与Heawood的地图着色猜想联系^[2]，经过近百年直至Ringal等获得证明^[3,4]。Edmonds(1960)^[5]的多面形表示曾被广泛引用．但30余年后，才发现是Heffter的对偶形式。虽然多边形表示始于本文作者的专著^[6,7]，但至今才发现它在处理上述问题的效力。这就导致此文并为过渡到组合地图理论搭起一座桥梁。     

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

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

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

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

有机物同分异构体生成算法及其实现

介绍一种自动生成有机物同分异构体的算法，提出了一种可以惟一表示有机物分子结构的表示方法有效解决了如何对两个有机分子进行比较的问题．     

论可裂G2的基本态

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

具有交换幂零根基的完备李代数的表示

讨论了具有可换幂零根基的完备李代数的有限维与无限维不可约表示。     

一类CSL代数的插值问题

设Ｌ为Ｈｉｂｅｒｔ空产是Ｈ中的子空间格。给定Ｘ，Ｙ∈Ｂ（Ｘ），何时必有算子Ａ∈ａｌｇＬ，使得ＡＸ＝Ｙ？本文在一类ＣＳＬ代数中讨论该问题。本文推广了「５」和「７」中的一些结果，并有新的结论。