Grotzsch环模函数的几个不等式

设ａ＞１，ＲＧ＝ＲＧ（ａ）表示Ｇｒｏｔｚｓｃｈ环，它的余集分支由单位球ⅠｘⅠ≤１和射线ａ≤ｘ１＜∞，ｘ２＝ｘ３＝…ｘｎ＝０组成，它的模ｍｏｄＲＧ（ａ）记为ｌｏｇФ（ａ），本文证明了关于模函数Ф（ａ）的若干不等式。     

利用辅助函数证明的几个实例

通过中值定理和零点定理等相关问题的证明过程,给出了构造辅助函数的一般思路,以此帮助初学者快速掌握构造辅助函数的方法和技巧,提高他们解答证明题的能力。     

切割函数的运动不变性

使用向量分析的方法,定义了曲线的拓广的切割函数,讨论了正交变换的若干性质,研究了曲线的运动不变性,应用正交变换的性质,得到了曲线的拓广的切割函数是运动不变量的结论.     

Riemann Zeta函数ζ(s)的一种推导方法和证明

首先应用三角函数、双曲函数以及二者乘积的级数展开式,证明Riemann Zeta函数ζ(s)(s为偶数)时的一系列表达式,并得到一个表达形式较为简单的递推公式;同时应用此方法得到∑∞n=1coth(πz)n4p+3(p为正整数)时的一个递推公式,并应用留数基本定理逐一证明。     

两变量间非线性函数关系初步确定的研究

提出了初步确定两变量间非线性函数关系的一种方法。该方法是将x的取值范围分成若干个区组，再根据各区间的中点分布确定。     

X_R－内射模自同态环的性质

本文讨论一类Ｘ_Ｒ－内射模的性质得到，定理：Ｑ_Ｒ为Ｘ_Ｒ－射模，Ｚ（Ｒ_Ｒ）＝０，且，Ｘ_Ｒ为ｓ不变量，Ｓ＝Ｅｎｄ（Ｑ_Ｒ）则Ｓ／Ｒａｄ（Ｓ）为正则环。     

X_R－内射模自同态环的性质

本文讨论一类Ｘ_Ｒ－内射模的性质得到,定理：Ｑ_Ｒ为Ｘ_Ｒ－射模,Ｚ（Ｒ_Ｒ）＝０,且,Ｘ_Ｒ为ｓ不变量,Ｓ＝Ｅｎｄ（Ｑ_Ｒ）则Ｓ／Ｒａｄ（Ｓ）为正则环。     

关于交换环上保持伴随矩阵的函数

设R是一个交换环,f是R到自身的一个映射.如果f保持R上全矩阵空间(或上三角矩阵空间)中的伴随矩阵,则f称为R上全矩阵空间(或上三角矩阵空间)保持伴随矩阵的函数.探讨了交换环上全矩阵空间和上三角矩阵空间保持伴随矩阵的函数,证明了对于交换环R到自身的任一个映射f,下列条件等价:(1)f是R上n阶矩阵空间保持伴随矩阵的函数...     

关于具有三个广义位移平板的试函数及其应用

本文采用胡海昌关于具有三个广义位移平板的微分方程及边界条件,用加权残数法求解.并提出三种试函数:1.梁函数,2.李维(M. Levy)函数,3.短梁(二个广义位移梁)函数.前二种试函数,部分满足边界条件,部分是用最小二乘边界积分法近似满足边界条件.第三种试函数是用广义函数推导、简支、固支严格满足Reissner边界条件.用最小势能原理求解.算例表明,本文方法精度高,实用简便.     

一类基本变量相关的结构功能函数的可靠性分析

在正交坐标系上对基本变量相关与基本变量不相关两种情形的结构功能函数进行了可靠性分析,把独立情形的一次二阶矩阵推广到相关的情形,得到理论上严密、精度相当、实际操作难度相对变化不大的一种一次二阶矩阵方法,然后给出了可靠性的近似计算程序,并以具体的算例进行了证实．     

组合机床的计算机辅助总体设计

以单面，钻孔类的组合机床为对象，提出了用于组合机床总体设计的ＣＡＤ模块的设计方法，以汉化ＡｕｔｏＣＡＤ为绘图软件，以ＴｕｒｏｂｏＣ２．０为设计计算语言，开发了通用微机件的选型模块及图形处理模块。依据参数化设计的基本原理，采用编制参数程序的工作模式，建立了组合机床通用件图形程序库。     

一类非连续函数积分不等式及其应用

众所周知,连续函数的Gronwall-Bellman型积分不等式是研究微分方程和积分方程的解的定性性质的重要工具.同样地,非连续函数的积分不等式是研究脉冲微分方程的有用工具.文章研究了具有两个非常数因子的非连续函数的积分不等式,用分析的技巧给出了未知函数的上界估计,并用得到的结果给出了脉冲积分方程解的估计.     

桃叶杜鹃种群构件的特征研究

为探明桃叶杜鹃种群构件的特征,为桃叶杜鹃的繁殖、经营、保护与开发利用提供理论支撑,采用Harper构件理论结合野外调查对不同径级桃叶杜鹃种群枝、叶构件的基本特征及其与环境的相互作用进行了研究。结果表明:桃叶杜鹃的分枝角度变化范围为42°～71°,在各级分枝上并无统一规律,分枝粗度以一级枝最大,二者总体均呈不同程度的波动性变化;分枝长度以一级枝最长,平均叶面积以一级枝最大,分枝数与叶片数主要以二、三级枝最多,说明,一、二、三级枝均为桃叶杜鹃种群的重要组成部分;桃叶杜鹃的构件种群形态具高度可塑性,枝构件种群的结构影响着树冠的整体构型,分枝长度和分枝角度受分枝高度的影响不大,分枝率随桃叶杜鹃径级粗度的增加呈抛物线变化。     

模块教学法在模具钳工教学中的应用

模块式教学是一个复杂的、系统的教学模式,涉及的面广、线长。本文探讨分析了高职模具专业中运用模块化教学在模具钳工实训中的应用,旨在明确实训教学目标、提高学生学习兴趣、更利于教学管理。     

六盘山地区气候因子对树木年轮生长的影响

为研究干旱半干旱地区气候因子对树木生长的影响,以六盘山地区4个主要树种(落叶松、白桦、椴树、辽东栎)为研究对象,在树干解析的基础上,依据年轮指数,采用相关函数和响应面函数分析了树木生长与气候因子的关系.结果表明:六盘山地区不同树木的生长趋势存在差异,对环境因子的敏感度较高;树木生长受制于生长期的2个气候因子--温度和降水.其中降水和树木生长呈正相关,随着降水量的增加,树木生长量也随之增加;一定程度的高温会促进树木生长,但高温少雨会抑制树木生长.在温度适宜树木生长的条件下,温度和降水这2个气候因子,在某种程度上可以认为是通过对土壤含水量的制约,从而影响树木的生长速度.     

活塞环自由型线CAD系统研制探讨

介绍活塞环自由型线ＣＡＤ系统的设计思想，系统以弹性力学理论和数值计算方法为基础，能自动生成活塞环的轮廓曲线，环周－径向压力分布图，编写加工工艺，编制技术文件，并为活塞环的数控加工提供精确的数据。系统操作简便，实用性强。     

机械产品模块化设计平台的构建

在研究了各种模块化设计方法及其具体实例的基础上,以面向对象的统一建模语言（UML）为工具,构建出了满足二般机械产品的模块化设计平台模型,该平台模型包括3个子系统：平台框架构建子系统,产品方案设计子系统和设计资源管理子系统。主要分析了3个子系统的功能、结构和程序实现技术。该平台模型可以极大地提高设计系统的质量,缩短设计系统所花费的时间。     

非凸函数极小问题的BFGS法的全局收敛性

对ＢＦＧＳ进行了简单的修正，并证明了该算法用于求解非凸函数最小值时的全局收敛性。