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动作语义和元模型继承实现模式自动生成及转换．该方法为实现一船设计意图层次上的大粒度模型转换提供了有效支持．     

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

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

对我国武术运动现状的分析及前景展望

武术运动是我国的传统体育项目,今天,体育产业化在不断发展,武术要适应市场,才能在激烈的竞争环境中立足,健康顺利地发展并走向世界.笔者着重分析了武术运动的现状,以期为其未来的发展提供参考.     

关于画法几何中椭圆作图的研究

针对画法几何中椭圆作图的实际情况,本文给出了几种作图方法,可以在给定的条件下,利用相应的方法画出所要求的椭圆。     

不变拟凸性与多目标规划的一个问题

定义了Ⅰ类不变拟凸、Ⅰ类严格不变拟凸、KT－Ⅰ类严格不变拟凸的向量值函数，并在目标规划中，获得了每个驻点（或KT－T点）是有效点的等价条件。     

合成孔径雷达干涉灵敏度方程的补充与修正

干涉灵敏度方程是干涉合成孔径雷达系统优化设计和干涉定标的重要工具。目前的灵敏度方程局限于正侧视干涉几何关系 ,且建立在电磁波波前的平面波模型、地球表面的平地模型基础上。对目前灵敏度方程进行补充和修正 ,扬弃平面波模型和平地模型 ,推导了斜视干涉几何关系下的灵敏度方程 ,并进行了比较分析。     

中美几何教学中信息技术的比较

中美两国均十分关注信息技术对数学教学的影响,但在几何教学中又呈现出不同的特征:美国课堂以学生操作为主,我国则以教师演示为主;美国主要用于学生改变图形、提出猜想等探究性活动,我国则主要用于教师画图、呈现问题情境等方面.比较还发现,两国教师在应用信息技术时存在盲目性.要进一步推进几何教学现代化,则迫切需要认清计算机辅助几何教学所具有的优势.以几何画板为例探讨了信息技术的优势:更有效地作图、几何探究和体会证明的必要性;同时也指出了实践中存在的误区:随意呈现几何图形、利用度量功能机械地“发现”几何关系及盲目地进行计算机模拟.