拓扑流体力学及其新近发展

拓扑流体力学是理性力学的一个重要研究方向,在理论上具有重要价值,在实践中日益显出独特的作用.本文试对该方向进行综述性介绍,目的是吸引更多的国内科研工作者进入这一重要领域.本文的重点放在流体螺度(Helicity)的拓扑内涵方面.除了列出螺度与数学纽结场论的关系(即与互缠绕、自缠绕数以及作者近年来发展出来的流体纽结多项式拓扑不变量之间的关系),还介绍了国际上在流体纽结复杂系综的能量-结构复杂性关系方面的研究.最后,通过超流涡旋纽结/链环重联的具体实例,展示了这一领域当中典型的数值计算方法.我们希望通过这种理论推导与数值计算同时呈现的方式,使读者对这一国际前沿交叉领域的核心问题、研究方法以及科研中可能面对的技术困难获得一个整体的了解和把握.     

关于相对拓扑压的一个注记

通过引入映射的基的概念,运用分离集在非紧系统中定义并研究了相对拓扑压,给出了相对拓扑压的若干基本性质,并且证明了相对拓扑压是一致拓扑共轭下的不变量。     

4D——一个能随意变形的世界

拿起一张纸板,把它放入水中,纸板开始慢慢弯折、变形,最终变成了一个完美的纸盒!这是科幻小说中的情节?当然不是!日趋成熟的4D技术让这一切变为现实。什么是4D技术说起3D和3D打印技术,大家一定不陌生,而4D技术,其实就是在包含长、宽、高3个维度的3D打印技术中再加入"时间"维度,使打印出的物体可以随着时间推移在形态结构上进行自我调整,最终自动达到完美状态。目前,科学家主要采用两种方式给物体编程,使其实现     

动态在线Map/Reduce流数据处理模型及作业拓扑管理协议

针对海量流数据的在线处理需求,提出一种不同于传统Map/Reduce流数据处理的系统模型Flexible workflow.该模型对workflow处理单元进行在线Map/Reduce并行化,实现了SPATE系统;同时为该系统定义一组关于作业的建立、管理和维护的通信规程,即拓扑管理协议.SPATE系统解决了在线Map/Reduce流数据处理过程中要求实时性及可扩展性的问题.实验验证了拓扑管理协议的有效性,拓扑管理协议能有效管理Flexible workflow流数据处理模型.     

蕴涵格与Stone表现定理的推广

从R₀-语义出发在全体 ( ,∨ ,→ )型公式之集F(S)上引入了逻辑等价关系 ,证明了它是F(S)上的同余关系并称商代数为R₀-语义Lindenbaum代数 .以此为背景引入了蕴涵格与正则蕴涵格的概念 ,它是Boole代数的推广 .另一方面 ,引入了除含有拓扑结构之外尚有蕴涵运算的Fuzzy蕴涵空间及其蕴涵基的概念 ,证明了正则蕴涵格的拓扑表现定理 ,即 ,( ,∨ ,→ )型代数M是正则蕴涵格当且仅当M同构于某Fuzzy蕴涵空间的蕴涵基 .在M是Boole代数的情形 ,证明了相应的蕴涵空间是紧零维Hausdorff空间 ,从而由蕴涵格的表现定理可以推得关于Boole代数的著名的Stone表现定理.     

Ky Fan不等式组解的通有稳定性

本文证明在不动点理论、鞍点理论及多目标优化理论中均有重要应用的Ｋｙ Ｆａｎ不等式组的解集是通有稳定的。     

电流谐振型变流器峰值电流的抑制

以简化的单相等效电路说明了电流谐振型变流器的工作原理,分析了不规则电流脉冲产生的原因及影响,在此基础上提出了一种电路拓扑结构以抑制电流脉冲的峰值,并进行了仿真研究．     

关于拟离散模的研究

对拟离散模进行了研究后,得到的主要结果有：（１）Ｍ是一个可补模,对于Ｍ的任意子模Ａ,如果Ａ在Ｍ的一个直和项里是余闭的,那么Ａ在Ｍ里也有余闭的（２）设Ａ、Ｂ是Ｒ模Ｍ的子模,Ｍ满足条件（Ｄ１）,Ｍ１、Ｍ２分别是Ａ、Ｂ的余闭包,且Ａ、ＢＭ若Ｍ１Ｍ２,则ＡＢ（３）设Ａ、Ｂ是拟离散模Ｍ的两个子模,Ａ∩Ｂ＝０,ｃｃ（Ａ）、ｃｃ（Ｂ）分别为Ａ、Ｂ的余闭包,则ｃｃ（ＡＢ）＝ｃｃ（Ａ）ｃｃ（Ｂ）（４）若Ａｉ是拟离散模Ｍ的独立子模,ｃｃ（Ａｉ）为Ａｉ的余闭包（ｉ＝１,２,３,…）,则ｃ（∞ｉ＝１Ａｉ）＝∞ｉ＝１ｃｃ（Ａｉ）（５）如果Ｍ是一个广义的半完备左Ｒ模,那么①Ｊ（Ｍ）Ｍ;②Ｍ／Ｊ（Ｍ）是半单的;③Ｍ／Ｊ（Ｍ）的分解能提升为Ｍ的分解     

含零元的同余自由正则半群的一个注记

设S是一正则半群,E(S)为正则半群S上的幂等元集。通过建立S上的几种集合关系,得到了判断含零元同余自由正则半群的新方法。     

(m,n)-投射模和(m,n)-内射模

设R是任给的环,m 和n 都是正整数。右 R 模 NR是(m,n)-内射 模,若 对 Rm的 任 给的n-生 成子 模 K,则 有Ext1R(Rm/K,N)=0。右R 模MR是(m,n)-投射模,若对任给的(m,n)-内射模 N,有Ext1R(M,N)=0。当m=1,n是任给的正整数时,(m,n)-投射模就是f-投射模。任给的(m,n)-表现模都是(m,n)-投射模。设F-(m,n)-proj表示由所有的(m,n)-投射模所组成的模集,F-(m,n)-inj表示由所有的(m,n)-内射模所组成的模集。本文给出了(m,n)-投射模的刻画,同时证明了(F-(m,n)-proj,F-(m,n)-inj)是一余挠理论,且每一个R-模都有一个特殊的(m,n)-内射预包络和一个特殊的(m,n)-投射预覆盖。还给出了(m,n)-投射模和(m,n)-内射模的相关的性质。