关于灰分与热值计价问题

通过对霍林河矿务局露天矿褐煤灰分、热值及水分等特殊性，且其产品主要作为动力煤销售的特点的研究，对以灰分和发热量为基础的两种计价作一比较分析，确定更趋合理的结算方式。     

两点边值问题的一种高精度差分方法

基于经典中心差分公式，诉诸差分余项反向修正，本文提出了一种求解两点边值问题的高精度差分方法。该方法仅涉及相邻网格点，具有四阶段精度。数值算例表明，本文格式较以往的格式具有更高的精度。     

带Sobolev—Hardy临界指数的半线性退化椭圆方程正解的存在性

本文得到了带Sobolev—Hardy临界指数的半线性退化椭圆方程正解的一个存在性结果     

非线性映象零点定理的推广

本文引入一类次单调映象，给出了这类映象方程的一个零点定理     

椭圆变分不等式的小扰动

研究Ｂａｎａｃｈ空间中椭圆变分不等式的扰动问题，得到了扰动问题存在唯一解的一个充分条件；并用它处理了一类半线性微分积分方程的边值问题．设Ｖ是可分自反Ｂａｎａｃｈ空间，Ｖ′是Ｖ的对偶空间，Ｋ是Ｖ中非空闭凸子集，则有定理１设Ｔ：Ｖ→Ｖ′，Ａ：Ｋ→Ｖ′，且满足（ｉ）Ｔ是有界线性算子，存在常数α＞０，使得（Ｔｖ，ｖ）≥αｖ２，ｖ∈Ｖ；（ｉ）Ａ是伪单调算子，存在常数λ＞０，使得（Ａｕ－Ａｖ，ｕ－ｖ）≤λｕ－ｖ２，ｕ，ｖ∈Ｋ；（ｉｉ）α＞λ．则存在唯一的ｕ∈Ｋ，使得（Ｔｕ，ｖ－ｕ）＋（Ａｕ，ｖ－ｕ）≥（ｆ，ｖ－ｕ），ｕ∈Ｋ     

Lanczos算法误差估计的若干问题

设Ａ为ｎＸｎ实对称矩阵，对于给定的ｊ个线性无关列向量组成的ｎ×ｊ实矩阵Ｑ，对任意ｊ×ｊ实矩阵Ｔ，记Ｒ（Ｔ）＝ＡＱ－ＱＴ。本文给出ｊ×ｊ实矩陈Ｈ，使｜｜Ｒ（Ｈ），并证明当Ｔ取矩阵Ｈ时，文献［１］中Ｐ．１２２定理４．１０的“”可以改变成“１”。     

一类代数上的逻辑学（Ⅱ）

Ｚａｄｅｈ的复合命题演算方法（简称ＣＲＩ方法）虽然已被广泛采纳并在应用上取得了很大成功，然而ＣＲＩ方法至今尚未有严格的理论基础．本文在一类模糊公式代数Ｆ（Ｓ）上通过特殊的赋值方法为模糊取式（ＦｕｚｙＭｏｄｕｓＰｏｎｅｎｓ）与模糊拒取式（ＦｕｚｙＭｏｄｕｓＴｏｌｅｎｓ）建立了严格的逻辑基础．其中关于ＦＭＰ的一个结果不只是Ｚａｄｅｈ的ＣＲＩ方法相应结果的改进，而且也是首次把ＣＲＩ方法纳入了模糊逻辑的框架之中，沿此途径，进一步提出并研究了前提与结论之间的支持度与相似度的理论．     

切换系统的H∞动态输出反馈控制

研究一类具有扰动的线性切换系统在任意切换策略下的鲁棒H∞控制问题．基于线性矩阵不等式（LMI）、H∞控制理论和Lyapunov函数方法，给出了线性切换系统的H∞动态输出反馈控制器存在的充分条件和设计方法．由该方法设计的控制器不但使闭环系统渐近稳定且具有H∞性能界γ，最后用仿真算例验证了文中结论的有效性．     

价值管理在中国建筑工程造价控制中的应用

VM(价值管理)的概念源于麦尔斯(M ILES)[1].当时正值第二次世界大战,用于生产军需产品的原材料大量短缺.通过对产品和其零部件的功能进行分析,人们成功地寻找到可以实现相同产品功能原材料的替代品,达到降低产品成本和提高产量的目的.美国价值工程师协会认为价值管理是一种以功     

基于均值方差模型的最优巨灾保险计划

针对一家风险厌恶保险公司,构造了一个由巨灾期权和再保险组合而成的巨灾保险计划,借用标准均值方差模型,分析了巨灾期权和再保险的最优组合安排.研究表明,巨灾期权与再保险结合可以拓展保险的机会集合和改进效率,且最优解还受到巨灾期权和再保险的交易成本影响.