隐式曲面的保凸条件

给出了隐式代数曲面的保凸条件,此条件是由曲面的Bernstain-Bezier表达式的Bezier系数的关系式给出。特别对三次隐式代数曲线给出经简化、易于应用的保凸条件形式,数值例说明这些保凸条件在隐式曲面光滑逼近中能有效地控制曲面。     

利用对称性计算第二类曲线积分与曲面积分的方法

由于第二类曲线积分与曲面积分涉及到方向性问题，因此利用对称性来计算较为困难,文中给出了利用对称性计算第二类曲线积分与曲面积分的方法，并证明了方法的可行性，并通过实例表明，此方法有时能起到简化计算的作用．     

隐式曲面的保凸条件

给出了隐式代数曲面的保凸条件,此条件是由曲面的Bernstain-Bezuier表达式的Bezier系数的关系式给出.特别对三次隐式代数曲线给出经简化、易于应用的保凸条件形式.数值例说明这些保凸条件在隐式曲面光滑逼近中能有效地控制曲面.     

曲面的保凸插值细分算法Ⅱ

给出了曲面的保凸插值细分算法和分析。此算法是对以前提出的曲面保凸插值细分算法的改进。对于给定的凸多面体，算法构造一个凸的插值多面体顶点的曲面，其极限曲面是C^1的。此算法对控制点是非线性的。该算法不仅适用于封闭曲面，也适用于开曲面。     

图在曲面上的可嵌入性

拓扑学中经典的约当定理指出：一个简单闭曲线Ｃ将球面分割为二个连通区域使得它们的公共边界为Ｃ。本文用与Ｋ５或Ｋ３．３同胚的图给出了图在环面上可嵌入性的一个表征。进而，用不可约图提供了图在一般可定向的曲面上可嵌入性的一个充要条件。同时，对于一般不可定向曲面，特别是射影平面，均给出了可嵌入性的表征。     

曲线曲面设计的Beta样条拟合

介绍了一种新的曲曲面设计方法－三次Ｂｅｔａ样条拟合，分形了形状控制参数β１、β２对曲线形状的影响。与具有Ｃ＾２连续条件的三次Ｂ样条相比较，它提供了一种更加灵活，更加实用的曲线曲面设计方法。     

共轭曲面第二类问题的数字仿真

已知两曲面,在既定的位置条件下,求传动的接触域及速比关系属于共轭曲面的第二类问题,也是该领域的难点问题之一,用传统的方法解决起来非常复杂.论文提出一种数字仿真新方法,以现代计算技术为手段,可充分模拟包含位置误差因素在内的齿面的真实接触,并获得实际速比关系.论述其原理与计算过程,并给出阿基米德蜗杆传动的具体算例.     

求解线性方程组的一种简便算法

给出了一种求解线性方程组时既简便，又能减少出错机会的实用算法，并讨论了用增广矩阵各行中基本元素的总个数来判定线性方程组解的存在性问题．     

基于最小有向距离算法的刀具轨迹计算

本文针对复杂曲面加工中存在的刀具轨迹计算和干涉判断复杂的问题,将最小有向距离算法应用于复杂曲面的加工中。通过对曲面加工原理分析,将求刀触点的问题转化为数学规划问题。实验证明该方法有对曲面适应范围广,计算量小、计算速度快等特点,适用于复杂曲面的加工。     

样条空间S1／3（△）上曲面的一种数值表示和逼近

在已知散乱点集三角剖分的基础上，引进了多边形元，并找到了在多边形元上一种插值适宜的充要条件，从而和原来的三角形元、四边形元混合起来，构成了一种新的三次插值样条空间，并利用Ｂ－网的方法，给出了曲面的一种数值表示和误差估计。     

Design of Continuous and Discrete LQI Control Systems with Stable Inner Loops

Design approaches were proposed for both continuous and discrete LQI (linear quadratic with integral) controllers, if exist, to stabilize the inner loops in addition to stabilizing the closed loops and minimizing the quadratic cost functionals. Derived from the algebraic Riccati equations involved in continuous and discrete LQI control, the design approaches were straightforward obtained by setting the quadratic cost functionals to decoupled forms with positive definite weighting matrices. Examples were provided to verify the effectiveness of the approaches.     

格蕴涵代数中的格蕴涵代数方程

根据逻辑代数方程理论,提出了格蕴涵代数方程的概念.讨论了格蕴涵代数L中的几种基本类型的一元格蕴涵代数方程,给出了方程的可解性判别条件.在此基础之上,证明了方程的解集构成L的凸子格.     

铁路缓和曲线代数式方程的通用设计方法

根据铁路缓和曲线的特点,介绍了利用缓和曲线边界条件确定其代数方程式的一种通用方法：首先给出缓和曲线要满足的边界条件,根据边界条件列出曲率待定方程;然后利用曲率边界条件确定出缓和曲线曲率方程;最后通过对曲率方程进行二次积分就可得到缓和曲线的方程。采用这种方法分别对各种类型的缓和曲线举出实例,详细说明了该方法的应用,证明了该方法正确、简单,是一种适用于推导缓和曲线方程的通用方法,可为铁路缓和曲线线型设计提供参考。     

一类拟线性双曲型方程的初值问题

基于双曲型线性偏微分算子理论，引入并研究了具有非零初始值的拟线性双曲型方程的定解问题．由速降函数空间上的傅立叶变换的内积得到了相应的希尔伯特空间和一个重要的估计式．在已知函数满足某些假设条件时，利用Schauder不动点定理证明了该初值问题解的存在性定理．     

一类奇异泛函微分方程边值问题的正解

利用锥拉伸与锥压缩不动点理论讨论了一类具有限时滞二阶奇异泛函微分方程三点边值问题正解的存在性,建立了一类奇异泛函微分方程边值问题至少存在一个正解的充分性条件并推广和改进了已有的结果.     

反求建模中常见二次曲面拟合方法

针对机械零件反求建模过程中常见二次曲面的表面重建问题,提出了曲面拟合分步计算法.该算法根据数字化离散点的三维坐标及各点的法矢量,利用零件表面的几何特征建立拟合计算目标函数,把二次曲面拟合问题转化为线性最小二乘计算问题;通过拟合计算提取曲面的几何参数,为建立机械零件实体及特征模型打下基础.     

ROBUST DISSIPATIVE CONTROL FOR STATE-DELAYED SYSTEMS WITH DISSIPATIVE UNCERTAINTY

Introduction　　Since notion of a dissipative dynamical systemwas introduced by Willems[1] ,it has played a veryimportant role in system,circuit,network andcontrol engineering and theory.Dissipativeness isa generalization of the passivity in electrical net-works and other dynamical systems which dissipateenergy in some abstractsense.Applications of dis-sipativeness in the stability analysis of linear sys-tems with certain nonlinearfeedback were firstdis-cussed in Refs.[1 ,2 ]. The theory of d…     

铸件凝固过程中温度场的数值模拟

为了掌握铸件凝固过程中温度场的变化规律以提高铸件质量，采用有限元和有限差分相结合的方法离散铸件凝固过程非稳态热传导方程的空间和时间变量，得到了关于金属铸件和铸型温度的代数方程．用二部法模拟铸件与铸模问的耦合，用迭代法求解离散后的代数方程组，并利用变时间步长技术提高计算效率；用热传递系数模拟铸件与铸型间的热传递，铸件冒口及铸型与冒口接触部分节点都当作内部节点，铸型与外界的换热按热对流和热辐射2种方式处理，忽略充型对凝固过程的影响，铸件材料潜热释放采用线性模型．算例结果表明，所用方法能有效地模拟铸件凝固过程中温度场的变化规律．     

具有位势的非线性Schrodinger方程解的全局存在性

为了研究一类具有位势的非线性Schrodinger方程解的全局存在性,构建了三个适当的泛函,之后设置了一个变分问题,结合变分学原理及非线性Schrodinger方程关于时间的不变流形,得到了Schro-dinger方程柯西问题的解的全局存在性.