C1三次插值样条曲线曲面

利用Bézier曲线的端点插值性质,得到了构造三次插值样条曲线曲面的一种改进的基函数——BB基函数。由BB基函数构造了C¹保形三次插值样条曲线;构造了C¹双三次插值样条曲面。     

三角域上C1连续的T-Coons曲面片

在三角形域上利用两类含形状参数的三角Hermite多项式构造C¹连续的两种形式的带形状参数的Coons曲面片。构造的三角曲面片均含有形状参数λ,调整λ的值,可改变曲面的内部形状,而不影响曲面的边界形状。给定的方法是对通常的边－边法和边－点法的扩展。给出的两个实例显示了方法的有效性。     

环F2+uF2上的Gray映射

在有限环R=F₂+uF₂与F₂之间定义了一个新的Gray映射。证明了该映射是（Rⁿ,Lee重量）到（F²ⁿ,Hamming重量）的等重等距映射,同时证明了环F₂+uF₂上线性码C的二元像Φ（C）是距离不变码,而且如果环F₂+uF₂上线性码C是Lee恒距码,则二元像Φ（C）是F₂上Hamming恒距码。     

谓词形式系统VUL-h∈[0.75,1]及其完备性

主要解决基于一级泛与运算的一阶谓词演算形式系统VUL^-_h∈[0.75,1]的完备性。通过引入全称量词和存在量词,建立与命题形式系统VUL^-_h∈[0.75,1]相对应的一阶谓词形式系统VUL^-_h∈[0.75,1],证明其完备性定理。从而说明形式系统VUL^-_h∈[0.75,1]的语义和语构是和谐的。     

Znm上的l-广义正形置换

给出了Zⁿ_m上l-广义正形置换的概念,讨论了l-广义正形置换的函数性质。对Zⁿ_m上l-广义正形置换的一阶广义Chrestenson谱特征进行了分析,并基于谱特征给出了一种Zⁿ_m上的l-广义正形置换的构造方法。     

三种形状可调三角样条曲线

构造了3种带参数的三角样条基,基于这3组基定义了3种三角样条曲线。与二次B样条曲线类似,这3种曲线的每一段都由相继的3个控制顶点生成,且这3种曲线具有许多与二次B样条曲线类似的性质。但这3种曲线的连续性都比二次B样条曲线要好。对于等距节点,在一般情况下,这3种曲线都是整体C²连续的,在特殊条件下它们都可以达到C³连续。另外,这3种曲线都具有比二次B样条曲线更好的对控制多边形的逼近性。     

（m，p1）约束规范的动态调度算法研究

（m,p¹）有效解决了µ-pattern中第一个数字为0时部分约束规范失效的问题。在弱硬实时调度算法研究的基础上,针对（m,p¹）约束规范,提出了一个动态弱硬实时调度算法,分析与仿真结果表明,算法效果良好。     

光顺过渡面的热传导方程-能量优化构造方法

首先运用热传导方程、初值条件和带有固定边界的边值条件,建立过渡面的偏微分方程模型.再对方程像空间中的曲面簇,采用关于时间t的曲面能量表达式作为曲面光顺准则,建立起满足热传导方程的光顺过渡面的优化构造模型,即带有固定边界的光顺过渡面的热传导方程-能量优化构造模型,此模型的解即为满足连续性和光顺性要求的过渡面.数值实验表明这种光顺过渡面的构造方法是可行与有效的.     

逻辑系统Hα中广义语义MP规则证明的改进

将修正的Kleene逻辑系统中语义MP规则推广后应用于H_α逻辑系统中,讨论了H_α逻辑系统中广义重言式理论的语义（[α]-MP）规则,语义（[α⁺]-MP）规则,使得对H_α系统中的广义语义MP规则有了更进一步的认识。另外,逻辑系统W中的广义语义MP规则也成为一个特例。     

密钥m序列与其采样序列的互相关性

研究了GF（p）上周期为pⁿ-1的m序列（a_i）与它的采样序列（a_di）的互相关函数。对于d=（pⁿ+1）/（p+1）+（pⁿ-1）/2,n为奇数且p≡1（mod 4）时,给出了互相关函数的绝对值的上界,从而对Muller的工作进行了较好的推广。     

光顺B-spline曲面片的一种实用方法

重构曲面的光顺处理是逆向工程中的关键步骤，如何快速、简便、正确地光顺曲面，是曲面光顺处理问题研究的核心。本文针对B-spline方法重构曲面提出了一种光顺方法。并描述了其基本原理和光顺准则。实例表明，本文所提出的光顺方法快速、简便，是一种较为实用的光顺方法。     

一种光顺B-Spline曲线的实用方法

曲线曲面的光顺处理一直是CAGD中研究的热点问题之一,如何快速、简便、正确地光顺曲线曲面,是光顺处理问题研究的核心。文章针对B-spline曲线提出了一种光顺方法,并描述了其基本原理和光顺准则。实例表明,文章所提出的光顺方法快速、简便,是一种较为实用的光顺方法。同时,该方法也可扩展到对曲面的光顺处理。     

蝶形细分面片的光顺

使用蝶形细分法细分一般的初始控制网格得到的细分面片光滑而不光顺 ,面片的视觉效果很差 ,而运用现有的光顺技术 ,又只能直接光顺细分以后的结果 ,其需要保存的数据不仅量大 ,而且会引入误差 .针对这一问题 ,提出了一种新的光顺方法 ,即通过调整初始网格顶点位置来光顺细分以后的结果 .在添加合适的约束后 ,该方法不仅可以在光顺细分面片的同时 ,降低细分面片和三维真实物体表面之间的逼近误差 ,而且由于最终输出的是初始控制网格 ,故需要保存的数据量小 .     

基于偏微分方程的隐式曲面光顺方法

提出隐式曲面的光顺问题．针对该问题，给出刻画隐式曲面光顺程度的能量模型，并将能量解释为关于隐函数的泛函．基于变分原理，构造出隐函数关于时间的偏微分方程。通过求解该方程得到隐函数序列，使得光顺能量逐渐变小，从而达到光顺隐式曲面的目的．另外．针对光顺问题提出的其它约束条件，如尽可能保持面积不变，保持原有的形状特征等，对模型进行修正．最后，给出方程的实用解法及实验结果。并作简单讨论．实验结果表明该方法通用、灵活、有效，而且程序易于实现．     

Controllable C1 continuous blending of time-dependent parametric surfaces

This paper proposes the concept of blending time-dependent varying surfaces, and develops a new method to create a controllable C1 continuous blending surface between primary parametric surfaces whose position and shape change with time. We treat it as a boundary-valued problem defined by the mathematical model of a vectored dynamic fourth-order partial differential equation subjected to time-dependent C1 continuous blending boundary constraints. High performance blending surface generation is achieved through the development of an approximate analytical solution of the mathematical model. We investigate the accuracy and efficiency of the solution, study the effective shape control of the blending surfaces, and apply the obtained solution to tackle surface blending problems. The applications demonstrate that our proposed approach is very effective and efficient in dealing with controllable C1 continuous surface blending between time-dependent varying parametric surfaces.     

Detecting regions with undesirable curvature

The use of Bézier curves or Bézier surfaces as ‘faired’ interpolation (approximation) curves or surfaces occasionally yields inflection points or changes of sign of the Gaussian curvature which are undesirable in some applications, notably the fairing of ship lines (surfaces) or the fairing of car body surfaces. In the following investigation we use a polarity to detect such undesirable points, then these points can be removed by the use of the well known Bézier techniques.     

Variational Design and Fairing of Spline Surfaces

Variational principles have become quite popular in the design of free form surfaces. Among others they are used for fairing purposes. The choice of the ‘right’ fairness functional is a crucial step. There is always a tradeoff between high quality and computational effort. In this paper we present fairness functionals that allow fairing efficiently, i.e., produce high quality surfaces in a reasonable amount of time. These functionals can be considered as simplified thin plate energy functionals for parametric surfaces or as simplified MVC functionals.     

基于结式方法的代数曲面拼接

以同伦连续映射理论为基础,构造代数曲面拼接应该满足的代数方程组。然后,利用结式方法消去相关变元得到拼接曲面方程。两代数曲面拼接时,方程组是两个关于单位区间变元的方程。利用Sylvester结式消去该变元即可得到曲面拼接方程。对于多代数曲面,拼接过程可以考虑为不同种的连续映射。由此得到三种不同的曲面拼接方法,即串接法、过渡法和提升法。串接法可得到较低次的拼接曲面,但适用于代数曲面两两拼接且过渡曲面不相交的情况;过渡法适用于所有情况,但得到拼接曲面比较复杂;提升法是一种较好的算法,拼接时逐个将代数曲面并入拼接曲面中。该算法既可得到最低次拼接方程又适用于一般情况。上述方法的优点是无需考虑代数曲面方程中的变元,仅考虑对新增单位区间变元的处理。因此,算法的计算量小,并且能够预先得到拼接曲面时的计算量。     

一种参数化可调的NURBS曲面G~2光滑拼接算法

提出一种用于NURBS曲面G2光滑拼接算法。在创建拼接曲面时,采用"参数可调"的思想,用拼接函数和指重参数先统一两基曲面的参数,计算出拼接曲面上的插值点,并以这些插值点为参考点根据G2连续的几何性质对拼接曲面的内部控制点进行修正。此算法适用于各类曲面的拼接,通过调整平衡因子和指重参数可以得到在满足G2连续的前提下各种曲率的拼接曲面,简化曲面拼接的计算过程。