基于有限格蕴涵代数的格值命题逻辑语义系统

以有限格蕴涵代数作为逻辑系统的真值域 ,在其上建立了基于有限格蕴涵代数的格值命题逻辑语义系统。研究了在A水平上系统的赋值和公式的可满足性等基本定义 ,证明了系统“有效性”

有限格2^x的自同构群

证明了有限格 2 X 的自同构群 Aut2 X 与有限偏序集

有限格蕴涵代数的零化子

研究有限格蕴涵代数的零化子,找出有限格蕴涵代数所有理想的零化子,并证明对有限格蕴涵代数的理想做零化子运算(记为0*)是一个逆序对合算子,因此在由有限格蕴涵代数L的所有理想所组成的集合∑(L)上定义一个蕴涵算子"",则(∑(L),O,L,0*,)构成一个格蕴涵代数。

有限格点一维分子晶体系统的极化子

本文从量子化的Holstein模型出发,将系统的基态试探波函数取作相干态,由能量极小原理,利用模拟退火法,计算系统的基态能量、晶格位移.

有限格的同余关系格研究

首先给出有限格的主同余关系格的相等性及格多项式的存在性,由此得到了n元有限格的同余关系格中元的个数不超过2n-1.

天气预报有限差分格点模式并行计算研究

有限差分格点模式是目前广泛采用的中尺度数值天气预报模式之一。本文分析了有限差分格点模式典型代表MM5并行计算的特点,对其多重网格嵌套、数据划分、通信、优化等做了深入研究,最后给出了MM5模式在银河巨型计算机上的测试结果。

格心型有限体积法格点变量重构方法研究

根据网格格点变量计算单元变量梯度是二阶空间精度格心型有限体积法梯度重构的常用方法,该方法的关键是根据格点的邻接单元格心变量构造满足局部线性分布的格点变量.采用加权最小二乘法进行格点变量重构,考虑实际格心变量的非线性分布,提出采用距离反比加权体现不同位置单元对格点变量的影响程度差异;针对扰动或弯曲网格中的格点变量重构出现极值的现象,采用了新的限制方法.采用高雷诺数边界层流动计算中常见的大长宽比、扰动/弯曲网格进行测试,将提出的方法与通常采用的加权平均方法和拟拉普拉斯方法进行对比.算例结果显示距离反比加权的最小二乘法重构精度较好,提出的限制方法避免了扰动/弯曲网格上的格点变量出现极值.

凸子格格的数量研究

本文主要研究了经过序和、三角和运算后形成的新格的凸子格格数目同原来的有限格凸子格格数目之间的数量关系,并将其进行了推广。在此基础上,得到了有限格凸子格格数目同格自身结构的一些特殊关系。

热障涂层活塞热应力分析的格点型有限体积法

为研究热障涂层(thermal barrier coating,TBC)活塞热应力问题,将二维格点型有限体积法(cell vertex FVM,CVFVM)推广用于三维复合材料热力性能研究.利用交错网格技术,通过将物性参数和待解变量分别定义在单元中心和节点上,将物性参数的空间变化引入离散过程,从而避免数值不连续问题.采用CV-FVM数值模拟普通活塞热应力场,计算结果与ANSYS计算结果吻合良好.数值模拟TBC活塞热应力场,分析活塞TBC区域的热力性能,结果表明:活塞的最大温度位于燃烧室与活塞顶面的交界区域;应力最大值位于粘结层与陶瓷层的分界面附近;周向应力对活塞的整体应力水平起主要影响.数值结果表明CV-FVM能够作为TBC活塞热力性能研究的数值预测工具.

关于有限温SU(3)格点规范理论相结构问题的研究

应用变分累积展开方法研究SU(3)格点规范理论相结构,对有限温各向同性和异性SU(3)格点规范模型的Polyakov线,计算到第三级.结果表明:当维数D3时有层相存在,且在高温下夸克是解禁的.

基于格心型有限体积法的滑动轴承液膜压力分析

在生产设计中,为了达到良好的润滑效果,滑动轴承的轴瓦通常会采用开槽的结构,对某些复杂结构的轴瓦,采用规则化网格很难准确描述其几何特征,其润滑特性的计算也会出现偏差。为了解决该问题,采用非结构化网格划分求解域,基于格心型有限体积法离散雷诺方程,采用最小二乘法计算变量梯度,采用共轭梯度法求解方程,通过Fortran语言编程,计算得到轴承的液膜压力分布。通过对比和分析,验证了格心型有限体积法求解润滑问题的适用性和准确性。以该算法为基础,研究了轴承的长径比、偏心率对液膜压力分布的影响。结果表明,长径比增大会降低轴承的峰值压力,同时扩大高压区沿轴承宽度方向的分布;增大偏心率会提高轴承的压力峰值。

基于格点型有限体积法的滑动轴承油膜压力特性分析

为将非结构化网格技术应用于滑动轴承的油膜压力分析,提出将格点型有限体积法应用于雷诺方程的求解,采用形函数导数的方法计算压力梯度,采用多重网格法求解方程组,进而得到轴承的液膜压力分布。通过与相关算例的对比和分析,验证了格点型有限体积法的适用性、精度及对非结构化网格的适应性,并对不同网格类型下的计算时间进行了对比,随后将该算法应用于内燃机主轴承油膜压力的求解,结果表明,增大偏心率会导致油膜压力会逐渐增大,而增大倾斜角会对油膜压力分布产生较明显影响。

基于格点型有限体积法的活塞高周疲劳分析

针对柴油机活塞高周疲劳问题,基于格点型有限体积方法(CV-FVM)建立高周疲劳数值模型,并采用C开发求解程序。使用该程序计算矩形孔板的最大等效应力和疲劳寿命,并与有限元法计算值及其他文献的研究结果进行对比,验证了本文模型的正确性。利用该数值模型进行燃气压力作用下某活塞的高周疲劳性能分析,其结果与有限元法的计算结果相一致。分析表明,在机械载荷作用下,活塞的von Mises等效应力与疲劳寿命成反比,最小疲劳寿命出现在活塞销孔上表面内侧,与最大等效应力所处区域一致,因此预测活塞高周疲劳寿命时要重点关注销孔位置的应力情况。

基于通量非结构网格有限体积法的Level Set方程求解

在非结构网格上,采用基于通量的格心有限体积法求解Level Set方程,并给出了其数值离散格式.对Zalesak圆盘、旋转收缩圆及圆面剪切三个经典界面运动问题进行了数值模拟,其质量盈亏量与收敛阶的计算结果表明,该方法克服了传统数值方法造成的质量不守恒的缺点,能准确有效地求解拓扑结构发生变化的复杂运动界面问题,且计算量较格点格式大为减少.

有限Boole格上粗糙集模型的代数结构

粗糙集理论是解决分类问题的一种数学方法 .在信息系统中 ,属性值可以是数值 ,也可以是集合或 Fuzzy数 ,因此都可看成格值信息系统 .在有限 Boole格上 ,利用上、下近似定义了粗糙集模型 ,得到了与Pawlak粗糙集模型类似的一些性质 ,证明了该模型可以定义为一个完备的 Stone代数 ,这样就把现有的粗糙集模型推广到更一般的情形 .

一个有限区格点模式的两种并行算法性能分析比较

并行算法的设计在气象天气预报模式的开发中是至关重要的。由于当前高性能计算领域多节点多处理器的分布 /共享式并行计算机的发展 ,气象模式的最优并行算法设计成为研究重点。在IBMSP并行机上开发建立了新的并行有限区同化预报系统。介绍了并行模式的纯MPI方案及OpenMP/MPI混合编程方案的设计原则 ,分析比较了两种方案的并行性能。

有限值格L上的广义省略型定理讨论

本文提出有限值格L上的广义省略型定理并给以证明。定理:(L有强特征式,(F_1)、(F_2)紧致性定理成立) 设L可数,T是一和谐理论,

功能梯度材料热弹性分析的高阶格点型有限体积法

为提高功能梯度材料(FGMs)热弹性分析的准确性,本文发展了一种二维高阶格点型有限体积法(CV-FVM)。该方法采用八节点四边形单元(Q8)和六节点三角形单元(T6)离散控制方程,并利用交错网格技术,将材料属性定义于单元中心,将待求解的未知变量定义于单元节点。应用该方法求解FGMs的热传导、应力和热应力问题,结果与文献中的解析值吻合良好,验证了其正确性。在计算存在大温度梯度的FGMs热传导问题时,高阶CV-FVM能够有效避免数值振荡;在进行复杂FGMs热弹性分析时,高阶CV-FVM能够有效避免数值不连续问题;同时,在相同的网格数下,采用Q8单元的高阶CV-FVM比低阶CV-FVM和采用T6单元的高阶CV-FVM计算精度要高。

二维功能梯度材料热传导格点型有限体积法研究

为了分析二维功能梯度材料热传导问题,发展格点型有限体积法,本文利用交错网格技术处理任意空间分布的材料物性,并使用C++语言开发数值求解程序。利用该程序分析不同网格类型下功能梯度材料圆环和不同边界条件下功能梯度材料板的热传导问题。结果表明:发展的格点型有限体积法对于线性三角形单元及双线性四边形单元的适用性良好,不同边界条件下格点型有限体积法解与解析解的误差不超过±0.12%,验证了求解程序的正确性。与有限元及解析解结果对比发现,当结构角点处存在剧烈温度变化且网格较为粗糙时,有限元结果出现数值振荡的现象,而格点型有限体积法结果仍然合理。分析表明:对于复杂的功能梯度材料热传导问题,格点型有限体积法比有限元方法具有更好的数值稳定性。

飞向更加辉煌的彼岸——斯达拉格海科特技术（北京）有限公司成立侧记

在刚刚结束的第六届中国国际机械装备展(CIMES)暨第七届中国机床工具商品展览交易会(CMTF)上，斯达拉格海科特公司以“斯达拉格海科特技术(北京)有限公司”的全新形象出现在众人面前。