浅析变换思想在平面几何教学中的渗透

数学教育改革历程中,几何学课程受到变换几何思想越来越大的影响。变换使得几何学由静态转向动态,能使学生加深对图形的理解,培养几何直觉。     

论数学中的公理化方法

本文介绍了公理化方法的发展历程,并就公理化方法所表现的形式及存在的优劣性进行了比 较研究。     

（NPX2）3（X=F,Cl,Br,I）的几何构型和振动频率的MNDO研究

运用ＭＮＤＯ方法对标题化合物的几何构型和振动频率进行了理论计算，计算出来的结构参数与晶体Ｘ－射线实验数据一致；计算出来的捱劝频率与红外和拉曼光谱基本一致，最后，计算得出目前在实验上尚未报道的（ＮＰＩ２）３的上述两个方面的理论数据。     

用范畴观点划分几何学

本文利用范畴知识来推广克莱因关于几何学的群论原则。其方法是:取由一些等势集合及一一对应组成的范畴来代替由集合到自身的一些一一变换组成的群,考察图形在这些对应下不变的性质与有关的量。     

引射式射流风机结构参数的研究

根据地下通风工程以较小的能耗获得较大风量的需要，运用流体力学的基本理论和模型试验研究方法，系统研究了引射式射流风的通风原理和结构参数，为引射式射流风机的设计提供依据。     

Coarsely Invariant Hilbert Spaces over Infinite Connected Graphs

We study in this paper a Hilbert space HV associated with the coarse geometry of an infinite connected graph X(V,E) with vertex set V and edge set E. We show that X( V, E) is uniformly expanding if and only if l2( V) can be continuously included in HV as a closed subspace, and that the inner product structure of HV is topologically invariant under uniform coarsening of the graph. We also discuss the functorial properties of these Hilbert spaces.     

MkdV方程族的换位表示及其相应的Liouville完全可积系统

本文给出了ＭｋｄＶ方程族的换位表示及一个有限维对合系，并讨论了Ｂａｒｇｍａｎｎ约束和Ｃ．Ｎｅｕｍａｎｎ约束及其相应的定态ＭｋｄＶ系统。最后，我们得到ＭＫｄＶ方程族的对合解。     

约束数据库中的函数依赖公理系统与设计理论

约束数据模型作为一种新的数据模型正受到广泛关注。为了约束数据库的应用，需要研究它的设计。为此本文对约束数据库中的函数依赖给出定义，并提出函数依赖的公理系统，证明了它的有效性和完备性；在此基础上完成了约束数据库设计的核心工作：把约束关系模式分解为3NF或BCNF的算法。     

模式语义链元建模及其应用

大粒度的模型转换是模型驱动软件开发场景下的重要技术需求，仅通过定义通用模型转换语言不足以满足这一需求，其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上．文中提出一种模式语义链(PSL)元建模方法．通过重型扩展统一建模语言(UML)元模型以直接形式化描述可表达一般设计意图的模式，并应用UML动作语义和元模型继承实现模式自动生成及转换．该方法为实现一船设计意图层次上的大粒度模型转换提供了有效支持．     

应力法剪切下料的剪刃形式和适宜参数问题

应力法剪切下料是精密下料方法同裂纹技术的应力断料原理相结合的产物。通过建立夹紧剪切过程中被剪棒料的应力状态方程,分析了被剪棒料同剪刃及夹紧块之间的挤压应力分布,通过挤压应力的分布形式探讨了合理的剪刃形状,进而通过实验研究确定了适宜的剪刃几何参数,为应力法剪切的应用提供了理论依据和适宜剪刃。