装备维修性数据收集与分析系统

维修性数据收集与分析系统是装备信息化管理的重要组成部分。介绍了装备使用阶段维修性数据收集与分析系统的任务、功能和体系结构设计,重点阐述了数据收集与数据分析评估模块的功能设计,并采用Access数据库管理系统,运用Visual Basic程序开发语言进行了维修性数据收集与分析原型系统开发。     

点YD-李代数的Killing型

利用Killing型来判断点YD-李代数的半单性,得出了如下结论:如果有限维点YD-李代数L的Killing型是非退化的,那么L是半单的,并且L是它本身的所有极小YD-理想的直和;这些极小YD-理想所对应的Killing型两两正交.     

复空间形式的紧致全实伪脐子流形

主要研究复空间形式中具有平行法平均曲率向量的紧致全实伪脐子流形,给出了截面曲率作为全脐子流形判定条件的结果.     

中国古代建筑形态设计的理情寓合

以中国古代建筑的形态设计为基础,探讨其蕴含的伦理规范、理性精神和哲学思想,阐明中国古代建筑所具有的融理情于一体的形态设计特征.     

广义变系数Burgers方程的精确解

对双曲函数法进行了扩展,利用它找到了广义变系数Burgers方程在一定条件下的若干精确解,包括变速孤立波解和周期波解,许多解为首次所得.实例表明在对变系数偏微分方程的求解中,该法仍然是一种简便易行的方法.     

中国传统建筑的屋顶文化

当屋顶作为建筑重要的语言形式时,建筑不单是一种形式,更是一种艺术与文化．对中国传统屋顶的形式与特点进行了阐述,并充分挖掘了封建社会等级制度下建筑所蕴藏的文化内涵,这些都值得现代建筑借鉴与发扬．     

高斯向量和柯西向量二次型分布的不等式

对Bakirov的关于高斯向量二次型分布的结果做了进一步的推广,并对服从柯西分布的随机向量的二次型分布进行了讨论,得到了关于高斯向量和柯西向量二次型分布的一个新的不等式.     

What do numerical (climate) models really represent?

The translation of a mathematical model into a numerical one employs various modifications in order to make the model accessible for computation. Such modifications include discretizations, approximations, heuristic assumptions, and other methods. The paper investigates the divergent styles of mathematical and numerical models in the case of a specific piece of code in a current atmospheric model. Cognizance of these modifications means that the question of the role and function of scientific models has to be reworked. Neither are numerical models pure intermediaries between theory and data, nor are they autonomous tools of inquiry. Instead, theory and data are transformed into a new symbolic form of research due to the fact that computation has become an essential requirement for every scientific practice. Therefore the question is posed: What do numerical (climate) models really represent?     

Wick类型随机广义Kdv-MKdv方程的精确解

通过埃尔米特变换将Wick类型的随机广义Kdv MKdv方程变成广义系数Kdv MKdv方程, 利用截断展开法求出广义系数Kdv MKdv方程的精确解, 并通过埃尔米特逆变换得到了随机广义Kdv MKdv方程的精确解.     

K-S方程的精确边界控制

运用Fourier基函数的展开以及Fourier变换的方法研究带有周期边界条件的Kuramoto—Sivashinsky方程在有限时间区间[0,T]上的精确控制．首先研究线性化K—S方程的精确控制,运用Reimann—Lebesgue收敛定理以及Riese基函数的性质证明了在给定的时间T〉0,对于两个任意给定的函数u0（x）,u1（x）属于一定的Sobolev空间,总能找到一个控制函数使得线性化K—S方程有一个存在于某一合适的空间的解u（x,t）使其满足u（x,0）=u0（x）,u（x,t）=u1（x）。然后结合线性化K—S方程的精确控制,再通过定义Fredholm算子并应用此算子的一些理论可以找到K—S方程的控制函数,使其达到精确控制．