用微分方程定义三角函数

本文用微分方程定义了三角函数,并由定义推出了它们的一系列基本性质,还证明了这一定义与用普通函数方程定义是等价的。     

上图像拓扑下向量优化问题弱有效解的通有稳定性

用函数的上图象之间的Hausdorff距离定义向量值函数间的距离，在此弱拓扑下研究了定义在紧距离空间上的一类具有普遍意义的n维向量值函数弱有效解的稳定性，指出在Baire分类意义下，大多数这类向量值函数的弱有效解是稳定的，且任一n维向量值函数都可以用所谓的本质函数来逼近。     

超双曲型方程的解的性质

本文主要用超双曲型方程的基本解与基本公式讨论解的性质;定义广义Green函数;并讨论广义Green函数的性质。     

Cobb-Douglas生产函数特殊形式下每个劳动力投资的求解

由Cobb-Douglas生产函数特殊形式及每个劳动力投资的定义解出函数y=y(t).     

定义在模糊数上的模糊值函数的连续及导数的新定义

本文首先给出了定义在模糊数上的模糊值函数以及模糊值函数的连续和可导的定义。在此基础上给出了模糊值函数的连续、截集和可导的新概念,利用模糊数的分解定理和序关系讨论了模糊值函数导数的性态,得出了求模糊值函数的导数的基本法则。所得结论拓展了模糊数学的基本概念,丰富了模糊值函数导数的基本理论。     

任意切向荷载下超弹性半空间的解析解

试图寻求用边界荷载函数的泛函形式给出一组位移分量，针对一种较为抽象复杂的应变能函数形式，对定义在初始构形上的超弹性基本方程进行了直接的解析求解，求解过程中未作任何假定及条件简化，完整地保留了非线性偏微分方程组的原始形式，具体地讨论了任意切向荷载作用下的超弹性半空间，用任意荷载函数的泛函形式给出了一组相应的位移分量。     

XML函数依赖

函数依赖在关系数据库中起着基本的作用,尤其是用在完整性约束和数据库设计方面。近年来已定义了XML上的函数依赖。本文采用了一种新的定义方式,即在树元组上定义函数依赖,同时给出了函数依赖的推理规则。     

XML局部函数依赖

函数依赖在关系数据库中起着基本的作用,尤其是用在完整性约束和数据库设计方面。同样地,这些约束在中XML也起基本的作用。近年来已定义了XML上的函数依赖。本文扩展了在XML中函数依赖以前的定义,使之成为XML局部函数依赖;同时给出了局部函数依赖的推理规则。     

两个包含Smarandache函数和Euler函数的方程

对任意正整数n,著名的Smarandache 函数S(n)定义为最小的正整数m, 使得n|m!.Euler函数?n)定义为所有不超过n且与n互素的正整数的个数.用初等方法研究了方程?n)=S(n2)和?n)=S(n3),并给出了它们的全部解.     

可测函数的性质

可测函数是从测度观点来研究函数时所必然要考虑的一类函数,它一方面包含大家熟悉的连续函数作为特例,另一方面又在应用上和理论上具有足够的广泛性。文章从可测函数的定义入手,给出简单函数的定义,还有提了几个常见的简单函数,在此基础上将讨论可测函数的性质,比如任何非负可测函数都可以用单调递增简单函数逐点逼近,对于一般的可测函数来说也可以利用逐点逼近法,可测函数的收敛性,逐步进入可测函数的主要应用——积分领域。     

网络图上的分段线性分式规划模型及有效算法

为了得到网络图上分段线性分式规划问题的有效算法，借助于线性规划问题的单纯形方法及网络图上修改支撑树的迭代方法，论证了一个基本可行解是否最优解的判别准则，并给出了网络图上分段线性分式规划问题的一个有效算法。为进一步解决网络图上非线性目标函数的优化问题提供了依据。     

一类高阶中立型差分方程正解的存在性

利用在集合上定义映射和Knastet不动点原理,讨论了奇数阶中立型差分方程有界正解的存在性,得出了相应方程有界正解存在的充要条件.     

由基础解系构造线性方程组的方法研讨

采用逆向思维的方法，从方程组的通解或基础解系出发，讨论方程组的构造，给出了一般性的方法，并例举了应用举例．     

扁矩阵

本文给出了扁矩阵的定义、基本性质、以及扁矩阵在矩阵秩的问题、解一般线性方程组方面的应用.     

体裁互文性的度量

在信息检索或资源推荐系统当中,用户查询和返回结果之间的匹配程度反映了用户满意程度.体裁可以作为除内容以外的另一种方式来提高用户检索体验.本文给出信息空间中体裁的基本概念,使用向量来定义体裁,并在此基础上给出体裁互文性的内在定义,用距离度量体裁互文性.此外根据语篇在信息处理过程中的共现概率,建立体裁互文性的外在定义,研究体裁互文性两种定义下的度量,证明体裁互文性两种定义的统一和量化计算的一致.     

蒸馏过程热力学分析方法研究

本文从节能的目的出发,利用有效能基本概念,把热力学第一定律与热力学第二定律结合,给出了便于蒸馏过程节能分析的热力学效率定义,並阐述了蒸馏热力学效率计算的有关问题。给出了一种利用有效能图,热力学效率进行蒸馏过程热力学综合评价的方法。     

灰色系统分析方法及在建筑热湿系统中的应用研究

在分析系统及系统分析方法的基础上,详尽讨论了灰色系统分析方法的基本含义,主要内容及其基本特点,分析了求解建筑热湿负荷的国内外现状及建筑热湿负荷的影响因素,指出建筑热湿系统是一非本征灰色系统,并对灰色系统分析方法如何应用于建筑热湿系统提供了思路,最后指出该方法能够得到建筑热湿负荷的“满意解”。     

无解的模糊关系方程的最优近似解

对无解的模糊关系方程给出了最优近似解的定义，证明了最优近似解的存在性，给出了求最优近似解的算法。     

用矩阵的初等行变换求齐次线性方程组的标准正交解系

提出一个用矩阵的初等变换求线性方程组的解空间的标准正交基的方法。该方法将求线性方程组的基解向量与基解向量标准化连系起来,因而更为简捷,更便于编程序上计算机作数值计算。