布尔值L—Fuzzy拓扑空间的紧性与分离性

对值域为布尔格的L-fuzzy拓扑空间的性质进行了讨论,证明了良紧,强紧和模糊紧在此类空间中是等价的,并讨论了L－fuzzy拓扑空间中紧性,分离性与和层通常拓扑空间（X,a(δ）中紧性,分离性之间的对应关系。     

半无限长浅窄航道中船舶变速航行的有限元计算

在流体力学的基础上建立了船舶进入半无限长浅窄航道的数学模型,由于船在狭航道中航行,研究的水的运动是一个变边界问题,采用浅水模型。半连船非惯性坐标系来计算变边界问题,让网格的变化来适应船的移动。开边界处使用辐射边界条件,本文从非守恒型动量方程、二维浅水波动方程、连续性方程出发。采用有限元法计算船舶进入狭航道的水动力学过程;还研究了船和水体的相互作用,描述了自由水面波动、船底部的压力等重要物理量在船行驶过程中的变化规律,给出了船进入狭航道时的水面波高图、压力图。     

衡阳市城西南片道路网规划的可持续发展

坚持可持续发展战略思想,论述了在衡阳市城西南片的道路网规划中遵循的几个基本原则即城市道路网规划的有序性原则、城市交通规划及新旧路网协调性原则、城市历史文脉的延续性原则等.     

光滑曲面片上的G1插值曲线

限制在光滑曲面上的插值曲线是计算机辅助几何设计中一个较新研究方向,实现在曲面上曲线插值的主要思想是利用曲面与其参数之间的对应关系,将其转化为一般的曲线插值问题.提出了一种新的、实用的算法,将曲面上插值点列和单位切向量投影到平面上,在平面上构造样条插值曲线,该样条插值曲线的插值柱面与曲面的交线即为过曲面上给定点列的G1插值曲线.     

关于抽象逻辑紧致性的一个定理

以模糊语义为背景 ,在标号集具有一定结构的一族全序完备格的乘积上引入了抽象语义及其连续性概念 ,证明了具有这种连续性的抽象语义是紧致的 ,由此可以推出取值于 [0 ,1]的Lukasiewicz语义是紧致的     

微分中值定理及微分Darboux定理新证明方法

给出了函数单调性判定定理的一种新证明方法,并由此给出了反函数的连续性、可导性和求导公式的严密证明,同时给出了微分中值定理和微分Darboux定理及其推广形式的一种新的简洁证明方法。     

高中物理模块的公理体系探析

对高中物理模块所有物理内容和基本规律做了系统的提炼,并将其归纳为11个基本原理,较为完整地阐述了经典物理学的理论体系．     

一类分数阶微分方程正解的存在性

利用锥上的不动点定理,讨论一类分数阶微分方程正解的存在性,得到所讨论方程存在两个正解的一些新的充分条件.     

利用内容连续性的数字视频篡改检测

本文基于帧间内容连续性,提出一种通过灰度值来刻画视频帧内容,利用帧间内容相关性连续度来刻画连续性与否,自适应设定阈值找出篡改点的视频篡改检测方法.首先将视频帧内容转化为一系列连续的图像帧,通过图像帧的灰度值计算帧间相关性,并计算相关性变化度,二次利用切比雪夫不等式自适应设定阈值,判断出离群点.实验表明,提出的方法检测运...     

多重Fourier级数一致收敛性的Salem-Стечкин判别法

本文是将一元Fourier级数一致收敛的Salem-判别法(见[1]293页)推广到多元的情形。