加权平均值不等式的推广

给出了加权算术－几何平均值不等式的一个插值不等式,应用此不等式给出了两个重要不等式的初等证明,它们的特例是著名的Ｈｏ¨ｌｄｅｒ不等式和Ｋａｎｔｏｒｏｖｉｃ不等式．     

柯西不等式的一个注记

利用向量的勾股定理证明了线性代数中的柯西不等式和三角不等式,探讨了这两个不等式的联系,并用三角不等式证明了柯西不等式,指出了该不等式名称中一个易被忽视的细节.     

一个不等式及其应用

给出了一个不等式,并给出了该不等式在凸函数性质证明,求极限等方面的应用;利用该不等式,还得到了概率不等式与积分不等式.     

广义均值不等式及其简单应用

将均值不等式从二维空间推广到n维空间,并着重研究了利用倒推法和反向归纳法证明广义均值不等式,从而验证了证明不等式的一般方法的有效性;从形式上和理论上提出广义均值不等式的幂次一般形式和积分形式,并结合基本均值不等式性质更进一步研究了均值不等式的积分形式的证明,拓展了均值不等式的理论应用范围。用实例充分体现了均值不等式的性质以及如何结合广义均值不等式与数学建模思想解决问题,由此说明广义均值不等式的重要性。     

不等式的同解定理与不等式产生误解原因浅析

本文用不等式同解定理分析了整式不等式、分式不等式、无理不等式、对数不等式等各种具体形式的不等式求解是产生误解的原因，提出了解上述各种形式不等式避免引起误解的方法，明确了不等式同解定理的适用条件。     

一类级数部分和不等式及其应用

级数部分和不等式是不等式研究和近代数学发展的基础,基于对经典不等式的研究,建立了一类含有多个参数,结构形式简洁的级数部分和不等式。应用基本不等式,结合初等变换对所建立的不等式进行了严格证明。在分析该类不等式结构特征的基础上,赋于参数特定的值式,得出了一系列重要的推论。通过实例,检验定理及其推论在构造或者证明一大批级数部分和不等式中具有普适性。同时所得结果不仅囊括了众多著名不等式,更是对这些不等式以及相关文献结果的推广、改进和加强。     

基于Hermite矩阵的几类重要不等式

笔者给出了Hermite矩阵特征值的Wieland - Hoffman型不等式,研究了Hadamard乘积下的矩阵迹的Cauchy型不等式、H（o）lder型不等式、Minkowski型不等式以及几何平均不等式.     

一类不等式的研究

均值不等式在不等式理论中的地位非常重要,均值不等式在不等式的证明中有很多功能,如均值不等式的降幂功能、并项功能、放缩功能等等,利用这些功能可以在证明不等式中简化证明,显得简单有力.本文研究了均值不等式在简化初等不等式证明及定积分等方面的一些应用.     

三角形不等式判定程序agl2009的改进及应用

从8个方面对三角形不等式判定程序agl2009进行了改进和补充,使改进后的程序能够处理更多类型的不等式;针对传统不等式证明器只对给定不等式判定的不足,给出了批量发现非平凡不等式的应用实例;提出了若干形式新颖的不等式猜想.     

四边形不等式的自动发现

对圆内接四边形和双圆四边形不等式的自动发现进行了探讨,并编写了应用程序;讨论了圆内接四边形不等式与双圆四边形不等式的区别和联系;初步探讨了圆内接四边形不等式的证明方法;发现了大量新颖优美的圆内接四边形不等式和双圆四边形不等式新结果;提出了若干待解决的问题.     

专题地图图型分类的探讨

为科学分类,依据４种不同标志,提出了专题地图４种分类方案：①视觉感受方案：线划图型、影像图型和立体图型;②图面结构方案：主单元和多单元图型;③内容概括程度方案;综合与分析图型,其中综合图型又分组合型与合成型;④内容结构与表示方法方案;等量线图型、向量线图型、统计图型、分布图图型、类型图图类和区划图图型。认为以上分类可实现地图与形式的统一。     

奏鸣曲式的成熟历程

以奏鸣曲式为主线,介绍了流行于十七世纪后半叶至十八世纪前半叶的古二部曲式、成熟奏鸣曲式的前身古奏鸣曲式、18世纪中叶形成的具有结构功能完备的三个部分的成熟初期奏鸣曲式形式,并详细分析了这一曲式在不同历史时期的特点及在不同作曲家手中从简单到成熟的发展状况,清楚地勾勒出了奏鸣曲式在成熟之前的发展脉络.     

从形式之源流发展谈艺术的本质

在艺术史上,"形式"对于艺术的作用及与艺术本质的关系历来成为美学家争论的焦点,本文梳理美学史上有代表性的形式学说,从中吸取合理因素,获取对于艺术本质的认识,即艺术是情感的对象化形式.本文试从三方面进行分析:一、强调价值作用的形式阐明了某种审美理想;二、取得自主地位的形式表达某种审美情感;三、作为艺术本质的形式揭示了形式感的本质作用.于是审美理想,审美情感形式感是艺术构成的本质要素.艺术即形式是饱含了审美情感与表达某种审美理想,又传达出某种形式感的形式,形式感是它的生命线.还需明确的是本文所谈之形式与具体实存之形状无关,实指逻辑意义上之形式,哲学层面上之形式.     

建筑空调形式划分与城市建筑节能

文章以热源方式、输配方式、冷热源与未端设备布置的集散度、自控方式、网络化、信息化等方面对城市建筑空调形式进行了详细划分,并得出可持续建筑空调形式的应用方向的简要分析结论。论述应用可再生能源及建筑围护结构的建筑本身型建筑空调形式是可持续建筑空调形式的理想目标。当前可持续建筑空调形式的工程应用应在技术结合型的基础上,增强被动式形式应用,并选择可持续效应较好的主动式形式。     

意识的三重形式及其相互关系

意识的形式是由三重结构组成的系统。意识的第一重形式是物质运动形式，其表现是人脑的生物电运动；第二重形式是信息处理形式，其表现是人的感性认识和理性认识；第三重形式是符号表达形式，其表现是人类的各种语言。物质运动形式是意识产生和存在的生理基础，信息处理形式是人类意识的本质表现，符号表达形式则是意识的外化。三共同构成了意识的形式系统。     

黑杨派新无性系研究——Ⅴ.树冠结构与干形改良

<正>本文分析了Ⅰ-69杨×小叶杨和Ⅰ-69杨×欧洲黑杨F_1无性系干形性状的遗传变异度,结果表明对干形实行直接选择是可行的。为了充分挖掘干形改良的遗传潜力和为多世代育种提供理论依据,探讨了从树冠结构方面对干形实行间接选择的可能性。遗传相关分析提供了树冠各组成性状与干形的联系情况,通径分析具体剖析了它们的直接和间接作用,确立各F_1无性系干形改良的理想冠型。在比较不同性状组合的干形选择指数效果基础上,利用一个合理的选择式预测了各F_1无性系的干形。将干形选择效果与生长选择效果进行比较,具体评述了生长与干形同时进行改良的可能性。     

Dreamweaver中的表格制作

针对表格在网页中具有控制页面布局、美化网页页面的作用,介绍了 Dreameaver 中实现表格背景变色、表格中实现画中画、用 DW 自动将文本生成表格等方法。给出了网页设计中对制作好的表格预览变形的解决方法和网页制作中使用表格的注意示项。归纳了 Dreamweaver 在网页制作过程中的几大优势。     

工业设计中产品形态基因杂交技术研究

为有效提高工业设计过程中概念设计阶段的效率和质量,提出产品形态基因杂交技术。产品形态基因杂交技术在对基因遗传特性和形态基因理论深入研究的基础上,通过对产品形态基因的提取、曲线编码、函数编码以及打断产品形态基因上的关键节点,通过形态基因片段的交叉重组迭代等操作,使产品在形态上发生改变,优化其综合性能,并获得备选的产品形态基因库。通过实际案例的验证表明,在产品的概念设计创新阶段,产品形态基因杂交技术为产品概念设计提供了新的方法,为产品形态设计提供新的技术,提高了产品设计的效率。     

不同环境下水泥基材料硫酸盐侵蚀类型和机理

硫酸盐侵蚀直接影响建筑结构的耐久性,不同侵蚀环境下硫酸盐侵蚀类型和机理不同.根据硫酸盐侵蚀介质种类、侵蚀机理,按照腐蚀产物稳定存在的碱性条件将水泥基材料硫酸盐侵蚀划分为5种类型:钙矾石型、石膏型、镁硫型、碳硫硅酸钙型和盐类析晶型.阐述了5种典型硫酸盐的侵蚀环境、侵蚀机理和存在的异议.     

论郭沫若早期史剧形式的诗学传承

郭沫若在早期史剧形式的探索中,主张向西方借鉴,进行＂崭新的移植＂。但在实际创作中,基于深厚的中国传统文化艺术素养,他的史剧形式＂移植＂打上了深刻的中国烙印。就诗学传承而言,除了近现代西洋戏剧形式的继承,他的早期史剧实际上还继承了四川民间说唱艺术形式、元杂剧形式等中国传统文艺形式。在中西方文艺形式的继承中,郭沫若早期戏剧形式探索取得了相当的实绩,对中国新文学话剧形式的探索与开创做出了巨大的贡献。