可局部修形的四点ternary插值细分算法

基于变参数四点ternary插值细分理论,提出可局部修形的四点ternary插值细分曲线模式,最后推广到可局部修形的张量积细分曲面.     

谢邦杰教授对体上矩阵理论研究的贡献及其在中国的进展

注意到体上矩阵研究的价值与困难,综述了谢邦杰教授1978-1982年关于体上矩阵相似标准形、弱标准形刻画定理,可中心矩阵的特征值基础、行列式方案,以及自共轭四元数矩阵的行列式理论等研究成果;进而阐述了1980年以来中国学者在这些成果基础上对体上矩阵的秩、相似标准形理论、四元数矩阵行列式、自共轭四元数矩阵,以及体上矩阵方程与广义逆矩阵等研究的进一步推进。     

K形地质构造的非线性有限元模拟

本文根据Ｋ形构造形成演化的一般相应的力学理论，建立了张性和压性断裂盆缘盆地中的Ｋ形构造的力学模型，并应用弹性大挠度板理论和非线性有限有线元方法，对所建立的张性和压性断裂盆缘盆地中的Ｋ形构造力学模型做了理论分析和数值模拟。计算结果与实验结果以及实际地质构造均较为一致，表明提出的模型假设是合理的，从而对Ｋ形构造形成的机理在力学上给出了恰当的解释。     

完全四点(线)形的调和性在初等几何中的应用

探讨完全四点 (线 )形的调和性在初等几何中的应用     

基于完全四点形的调和性质构造几何问题的研究

依据高等几何中完全四点形的调和性质,通过改换命题条件的方法,构造几何问题,并运用完全四点形的性质加以证明,从而将原命题加以推广,推导出相关结论.所得结果可为高等几何的应用研究提供必要的数学理论基础.     

各类网形平差中近似坐标智能快速解算探讨与设计

间接平差需要的是近似坐标,一旦有了近似坐标就容易组建误差方程和条件方程,但网形多而广,数据输入和近似坐标解算繁琐。本文通过模拟人工解算,避开复杂的图论和网形,把导线、三边网、三角网、和混合网各种网形综合提出一个统一的解算模型。基于最初始的已知数据和观测数据来解算各种网形的近似坐标,该模型实验成功解算了几个较为经典特殊网形的近似坐标。     

基于不同网形的短边GPS控制网精度分析

GPS可实现高精度定位,已广泛应用于各种大型工程,但短边GPS控制网在小型工程中的应用少有人关注。本文以郑州市某高校为测区,以三等导线网为基准对比分析四种不同网形精度,结果表明:c网形精度最高,达到《工程测量规范》(GB 50026—2007)三等精度;第三种方案精度最高;四种网形均适用于地形测量、地籍测量、土地测量、建筑施工测量、水利施工测量、土地整理及土地确权。     

Cellular Automata法模拟材料微观组织结构

用CA(Cellular Automata,CA)法模拟材料微观组织结构的形成过程.模拟过程中考虑了形核过程的随机性与晶粒生长的确定性.采用连续形核模型来描述液相中的自发形核.基于简化的晶粒形状,建立了模拟晶粒生长的二维数学物理模型,开发了模拟程序并进行了二维模拟计算.     

数中构形 形中找数

数形结合是研究数学问题并实现问题的模型转换的一种基本思想和基本方法,它能沟通数与形的内在联系.在解题中学会以形论数、借数解形、数形结合,直观又入微,提高数形联想的灵活性,有助于思维素质的发展,有利于提高解题能力。     

三元离散神经网络模型的稳定性与分岔

研究一类三元神经网络模型。运用离散动力系统Hopf分支理论和扩展的July判据理论对该模型的特征方程根的分布进行分析,研究该模型的平衡点的稳定性和分岔,利用中心流形定理和正规形方法,给出确定分支周期解的分支方向与稳定性的计算公式。数值模拟验证了所得结果的正确性。     

空间点到直线距离公式探析

利用向量的双重外积、点关于平面的离差的相关知识及已有的空间点到直线的距离公式推出空间点到直线距离的2个新公式.当直线的方程是一般式方程时,应用这2个公式可以直接求解空间点到直线的距离.     

Web导航行为范畴模型一致性与安全性研究

范畴理论为各数学学科提供了一种公共的语言、工具、思维方法和研究手段,其中作为形式结构的素描是一种基于图的规范,是形式建模和验证的有效方法.文章给出了Web导航行为的线性素描,构建一个基于范畴理论的形式模型,这一模型符合由素描所描述的要求和规范,提出了通过建立自由范畴来检验模型一致性的方法,讨论了导航模型的安全性,并给出了一些相应的安全性规则和检查方法.     

离心泵内空蚀流动的数值模拟

为了研究离心泵内部的空蚀流动,将一种完整空化模型和混合流体两相流模型相结合,应用于离心泵全流道内定常空蚀流动的数值模拟.根据模拟的结果,分别预测了离心泵在大流量、设计流量和小流量情况下运行时,流道内空蚀发生的部位和程度,重点考察了流量的变化对离心泵空蚀性能的影响,为离心泵在特定工况下运行时空蚀性能预测提供了理论依据.     

直线参数方程中参数的应用

通过求直线参数方程中的参数,利用参数的几何意义证明空间点到平面、点到直线及异面直线间的距离公式,其证法相对较为简便.     

荒漠沙蜥（Phrynocephalus przewalskii）松果复合体的显微和超微结构研究

荒漠沙蜥（Ｐｈｒｙｎｏｃｅｐｈａｌｕｓｐｒｚｅｗａｌｓｋｉｉ）松果复合体内顶眼和松果体组成，而顶眼比其它蜥蜴的发育完善，具有角膜，晶体，玻璃体和视网膜，与其侧眼结构很相似，但不能视物，只能感光，是高度发达的类眼器官，松果林包括旁突体和松果体本部二部分，其结构介于鱼类和两栖类同哺乳类的松果体之间，其光接触细胞属退化的光接受细胞，既具有一些与光接受细胞类似的外节等结构，又具有分泌细胞具有的囊泡和突触带     

根据反射声波相位信息识别分层介质结构

通过提取分层介质声回波的相频特征信息,对物理性质未知的分层材料实现了有效的分类识别. 分类对象为单层材料、包含两种不同声速和密度的两种双层材料、外层较硬中间较软的三层结构,硬和软是指两种材料c值的相对大小. 数值模拟表明该方法对4种分层结构能进行有效识别. 采用优化的分类流程可减小测量的工
作量.     

分段连续型随机微分方程的均方稳定性分析

考虑了自变量分段连续型随机微分方程(dX(t)=(a1X(t) a2X([t]))dt (61X(t) b2X([t]))dW(t)的解析解和数值解的均方稳定性.得到了解析解的表达形式,证明了当2a1 b2 b21 b222|a2 b1b2<0时,解析解是均方稳定的.在此条件下,讨论了由半隐式欧拉方法得到的数值解的稳定性,得到如下结论:当0≤θ相似文献   

FC-空间上集族不动点定理(英文)

利用单位分解定理得到从紧的Hausdorff拓扑空间到没有任何凸结构的有限连续拓扑空间(简称,FC-空间)的集值映射的连续选择定理,并从该结果和Tychonoff不动点定理,得到紧的FC-空间的乘积空间上映射族的集族不动点定理和若干个非紧的FC-空间的乘积空间上的映射族的集族不动点定理,对文献中的相应结果进行了改进和一般化.     

压缩体上圆片系统和曲面上的曲线的交

主要研究压缩体上的完全圆片系统和带边可定向的三维流形的强不可约的Heegaard分解(δ) W表示压缩体W的正边界.找到了压缩体W的完全圆片系统,并且证明了真嵌入到W中且边界在(δ) W上的任何本质圆片都可以由压缩体的这个圆片系统中的圆片的连通和表示出来.进一步研究了曲面(δ) W上与柄体的每一个圆片至少交n次的简单闭曲线,给出了一个判定简单闭曲线是n闭的一个有限的组合条件,并且给出一个带边的可定向的三维流形的Heegaard分解是强不可约的判定条件.     

两种非线性鲁棒PID控制器

针对非线性船舶航向保持系统,给出一种基于精确反馈线性化和闭环增益成形算法的非线性鲁棒PID控制器,该非线性PID控制器由非线性函数项和鲁棒PID控制器组成。另外,还给出一种完全基于闭环增益成形算法的非线性鲁棒PID控制器,其包含了具有定时功能的开关元件,两种非线性PID控制器在提高系统鲁棒性能的基础上,简化了控制器设计,从仿真结果可以看出,航向保持效果良好。