区间值模糊集合的表现定理

针对区间值模糊集合，给出了2类区间值集合套的定义，得到了2个区间值模糊集合的表现定理。     

向量随机场模拟及其在岩土工程中的应用

对于岩土工程中多个土性随机参数向量随机场,将随机场谱表示模拟方法与Monte-Carlo法相结合,得到了考虑土性参数自相关性与互相关性的Monte-Carlo随机有限元法,并应用于堤坡失效概率的计算。计算结果表明:谱表示模拟方法比普通协方差分解方法收敛速度快,采用该模拟方法的Monte-Carlo随机有限元法是计算岩土工程可靠度的有效方法;在土性参数随机场的模拟中应考虑参数间的互相关性对于岩土工程可靠度的显著影响。     

线性近似下的X-Y-Z模型-各向异性亚铁磁性Heisenberg系统的自旋波解

通过Holstein-Primakoff变换、点阵傅里叶变换、宇称变换、Shwinger角动量表象的转动变换、Bogoliubov变换、压缩变换等幺正变换，在线性近似下研究了X-Y-Z模型-各向异性亚铁磁性Heisenberg系统的基态、激发态的性质．     

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

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

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

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

三维机织几何结构的数值表征

推荐一种利用一组数值型参数来定量表征三维机织几何结构的方法。在给定的几何约束和加工约束条件下，由4种纱线系统组成的三雏机织几何结构可用9个结构参数予以数值表征。根据贯穿或分层的角联接结和正交接结的几何特征，分别建立了与之对应的结构参数以及参数间的联系。进一步的研究表明，对于角联接结的三维机织几何结构，9个结构参数中仅有4个是独立的；而对于正交接结的三维机织几何结构，独立的结构参数为5个。一旦确定了独立的结构参数，三维机织几何结构就能被确定；反之，只要织物几何结构已知，则与之相对应的结构参数也就确定了。这里所推荐的数值表征方法可用于三维机织几何结构的设计，如根据三维机织复合材料的性能要求确定各取向纤维的分布等，从而为建立一种具有普适意义的三维机织结构几何模型提供了前提条件，同时也为三雏机织复合材料力学性能的设计提供了统一的设计平台。     

混合层高度变化趋势及其代表值的探讨

利用长江下游某地的气象资料探讨了混合层高度的时刻、月份和季节变化规律，并得出结论：用2：00、8：00、14：00、20：00时刻的气象资料对年日平均有很好的代表性，用4、7、10、12月份对春、夏、秋、冬也有较好的代表性。     

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

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

因素空间理论与知识表示的数学框架（Ⅰ）──因素空间的公理化定义与描述架

系统地研究因素空间理论及其在知识表示中的应用。介绍因素空间理论的基本思想，修改了原有的因素空间的公理化定义，提出了表达概念的基本工具－－描述架，为建立知识表示的数学框架奠定了基础。