带角点插值条件的张量积Bezier曲面降多阶

研究了CAD／CAM系统中急需解决的带角点插值条件的张量积Bezier曲面降多阶逼近问题，导出一种简单直观的降阶算法。应用曲面转换方法和Chebyshev多项式逼近理论，给出了参数曲面一次降多阶的另一种逼近算法，新旧曲面在相应角点可保持给定的连续阶，且逼近误差比前一算法还要小得多。     

用基本逼近算子加附加插值算子构造三角曲面片

提出了构造三角曲面片的一个新方法. 新方法通过基本逼近算子加上附加插值算子构造满足给定边界曲线和跨界切矢的三角曲面片. 基本逼近算子由逼近插值条件的5次多项式构成, 附加插值算子用边点法产生. 基本逼近算子和附加插值算子在构成三角曲面片中具有不同的作用, 前者使三角曲面片以五次多项式精度逼近插值条件, 而后者则使三角曲面片满足给定的插值条件. 所构造的三角曲面片可以重构五次多项式曲面. 给出了新方法和其他两种方法进行比较的结果.     

三角曲面显式最佳降多阶的一个新颖算法

计算机辅助设计（CAD）系统中的数据通讯和数据压缩经常需要把参数曲面近似地降阶．而其中对三角曲面一次性降多阶是一个悬而未决的技术难题．文中把三角Jacobi基正交的代数性质应用到几何逼近，借助三角Bemstein基和三角Jacobi基相互转换的最新成果，自然地诱导出三角B6zier曲面一次性降多阶的一个新颖算法．此算法具有误差预测、显式表达、机时最少、精度最佳的4个特点：第一，降阶前可迅速判断是否存在满足给定公差的降多阶曲面；第二，全部降多阶运算仅需对曲面的控制顶点序列按词典顺序排序所写成的列向量执行一个矩阵乘法；第三，此矩阵无需临时计算而是从数据库中直接调用；第四，这张降多阶曲面在L2范数意义下达到最佳逼近效果．数值实验证实了理论推导的正确性，表明此算法对CAD系统的产品信息处理将会带来显著的应用效益。     

带角点插值条件的张量积Bézier曲面降多阶

研究了CAD/CAM系统中急需解决的带角点插值条件的张量积Bézier曲面降多阶逼近问题, 导出一种简单直观的降阶算法. 应用曲面转换方法和Chebyshev多项式逼近理论, 给出了参数曲面一次降多阶的另一种逼近算法, 新旧曲面在相应角点可保持给定的连续阶, 且逼近误差比前一算法还要小得多.     

一种以特征线为中心的曲面特征表示方法

由于自由曲面特征形状复杂多样，难以有效地进行参数化表示．本文提出了一种以特征线为中心的曲面特征层次参数化的表示方法．该方法将特征线作为曲面构建的基本单元，将特征线划分为几何层、约束层、语法层和语义层，利用特征线信息对曲面特征进行参数分层，实现曲面特征的整体形状和局部形状的层次控制；在参数化表示上，按不同自由度分为半自由和完全自由曲面特征，并对曲面特征进行了统一的定义表示．实验结果表明，本文方法能够表达多种形状的自由曲面，在高层语义参数层面上方便地编辑曲面特征，是一种有效的曲面特征表示方法．     

用Loop细分曲面插值三角网格

利用Loop细分方法的极限点公式,给出了一种用Loop细分曲面插值三角网格的简单高效方法.其优点有:(1)局部性:改变一个待插值点的位置时,只影响其附近插值曲面的形状.(2)计算简单:新点直接由显式公式给出,不用解复杂的线性方程组.(3)易于实现:只改变第1步细分规则中的几何规则,其他步骤与Loop细分方法相同.(4)自由度多:有足够的自由度调节插值曲面的形状,得到使设计者满意的插值曲面.(5)易推广:几乎适用于任何逼近型细分方法,对逼近型细分方法的唯一要求是:初始顶点处对应的极限点公式由显式公式给出.     

基于挑战——响应的安全协议分析

安全协议的本质是协议主体采用密码学方法通过挑战一响应来对协议其他方的存在做出判断，同时完成一些数据如会话密钥的协商．大部分国内外现有的分析方法或者采用状态检测等定理证明技术，或者采用认证逻辑等推理技术，存在着分析能力与可操作性之间的矛盾．为了解决这个问题，文中提出一种新的安全协议保密性和关联性的分析方法，该方法基于线空间模型理论给出了协议保密目标和认证目标的形式化定义，采用认证逻辑作为基础分析手段．保密性分析被分解为显式泄密和隐性泄密两种情况，其中隐性泄密分析依赖于关联性的判断，而关联性的分析被总结为Strand的存在关系和参数一致性分析的问题．新的分析方法既具有线空间模型的分析能力，又具有认证逻辑的易用性．     

低碰撞区跳频序列集周期Hamming相关函数的理论限

建立了具有低碰撞区跳频序列集的频隙数目P，序列长度L，序列数目M，低碰撞区LH（或无碰撞区NH），最大周期Hamming自相关边峰值Ha和最大周期Hamming互相关值H、等参数满足的一些理论限．证明了常规跳频序列已有的Lempel-Greenberger界，Seay界和Peng—Fan界是这些新界的特殊情况．     

快速Hermite径向基函数曲面重构

在这篇论文中,我们提出了一个使用局部支撑径向基函数对三维散乱点进行Hermite插值或逼近的快速曲面重构方法.通过构造给定数据点集的一个层次结构,采用逐层精化的方式实现了全局曲面重构的效果,解决了因使用局部支撑径向基函数导致的问题.另外,设计一个基于逼近误差导向的径向基函数中心点选择策略,减少每层进行插值的数据点,从而使Hermite径向基函数曲面重构方法能处理百万以上规模的点云数据.实验结果显示,我们的方法还适用于极度非均匀分布或带噪声的点云数据的曲面重构.     

基于表面间距离度量的多视点距离图像的对准算法

现有的距离图像对准算法，一般是采用最近点之间的距离和作为评价函数来估计运动参数．这种基于点对间距离的评价函数的缺点是，不同距离图像之间的最近点不一定是物体表面同一点的采样，而且不同采样点所代表的物体表面面积也不同．这些问题使得基于点对间距离度量的对准算法存在不精确对应的问题，因而对准精度不高，对初始运动参数敏感．提出一种基于表面间距离度量的对准算法．通过构造三角网格来近似表示物体的表面，采用三角网格间最近距离的均值作为评价函数来估计运动参数．推导并简化了表面间距离计算的积分公式．实验结果表明，该算法有较高的对准精度，而且收敛速度较快，抗噪声能力较强．     

基于逻辑函数的量子纠错码构造

本文给出了利用逻辑函数构造p-态量子码的一种方法.利用文中的构造方法,对于任意APC距离d′≥2的逻辑函数,均能构造参数为((n,K,d))p的量子纠错码.对任意的2≤d≤d′,得到K的一个下界.进一步地,文中给出了构造的量子纠错码的一组基态,以及利用此方法能够构造达到量子Singleton界的量子码的充分条件.给出了[[1,3]]_p,其中p是素数,[[6,0,4]],[[6,2,3]]_p,其中p>2是素数和[[2n,2n-2,2]]作为利用此方法构造的例子.     

任意共形同轴线电容的变分闭式

基于连续函数的变分极值理论，从共形同轴线电容问题中提炼出基本三角形和任意三角形，由它们可以叠加成任意共形同轴线，同时进一步发展了微分三角形来解决任意曲线方程，导出了任意共形同轴线电容的变分解析闭式，从而比较彻底地解决了任意共形同轴线电容问题．文中给出了各种共形同轴线的实例，讨论了所提出方法的应用和解析闭式的准确性．     

基于共识度水平的研究项目评估决策研究

运用交互式群决策方法考虑大型科研项目评估决策问题，使用共识度的概念描述交互式决策的结果。给出了基于共识度水平的项目评估决策流程；针对现有共识度计算使用专家意见最大距离的局限性，提出一种使用专家平均距离来描述共识度的模型。最后用一个算例来说明模型的改进效果。     

模糊图灵机的逼近性与通用性

模糊图灵机是模糊算法或模糊计算的形式模型．文中研究了模糊图灵机的几种变形，这包括基于max-★复合运算的非确定型模糊图灵机（简写为NFTM★，其中★为t-模），非确定型模糊图灵机（简写为NFTM），确定型模糊图灵机（简写为DFTM），以及这些变形的多带版本．得到了以下一些结论：第1，若t-模★不满足有限生成条件，则NFTM★，NFTM和DFTM一般不等价，这里等价指的是识别相同的模糊语言．但在逼近意义下等价，也即，NFTM★可以被NFTM以任意精度逼近，并给出了相关的构造．引入了模糊递归可枚举语言与模糊递归语言的概念，并利用递归可枚举语言与递归语言对其进行层次刻画．第2，如果限制NFTM★的模糊隶属函数的取值域为单位区间[0，1]的一个固定的有限子集D3则存在通用模糊图灵机，用该通用模糊图灵机可以模拟上述类型的限制型模糊图灵机．一般地，通用模糊图灵机在逼近意义下存在，该通用模糊图灵机可以以给定精度模拟任意类型的模糊图灵机．     

双基地雷达模糊函数及目标参数估计性能分析

针对外辐射源雷达等采用双基地配置的雷达在探测加速运动目标时,现有的模糊函数无法用于分析目标的距离、速度和加速度参数受双基地雷达几何配置影响的不足,提出了一种能够表示双基地几何配置的双基地雷达距离．速度一加速度模糊函数,并以此为工具分析了双基地雷达目标参数估计性能与双基地雷达几何配置的关系,研究了在不同的双基地几何配置下目标速度和加速度分辨性能、积累增益损失以及最优积累时间等相关问题,并分别给出了其随着双基地雷达基线距离、目标接收方位角和目标与接收站之间距离的变化趋势．为分析外辐射源雷达等双基地雷达对加速目标的探测性能提供了一定的理论参考．     

基于人工免疫响应的线性系统逼近

提出一种基于人工免疫响应的线性系统逼近算法．给出了人工免疫响应的四元组模型，为免疫响应过程建立了一个可用于工程计算的数学模型；设计了克隆选择、免疫记忆和免疫调节等具体操作，模拟了抗体克隆选择、免疫记忆、基因免疫、免疫耐受等现象，实现了人工免疫响应的记忆学习，基于抗体群的随机状态转移过程，证明了新算法具有全局收敛性．基于两个典型的稳定或非稳定线性系统逼近问题的数值试验表明，无论在固定的区间内搜索还是在动态扩展的区间内搜索，人工免疫响应算法都能得到线性系统的最优逼近模型，算法是有效的。     

酉空时码的成对差错概率及其Chernoff界

相对于经典空时码,酉空时码是一种无需信道状态信息的适合高速移动环境的空时码,对提高和改善无线通信有效性和可靠性具有重要意义.成对差错概率是衡量通信系统可靠性的一个重要参数,然而,现有文献中只给出了成对差错概率的最终结果,并利用不等式放大得到Chernoff界,方法不具一般性.文中根据二元检测的一般思路,从以两个发射符号为条件的接收符号概率密度函数的对数似然比出发,利用矩生成函数得到酉空时码成对差错概率准确值的留数表达式及其Chernoff界.通过计算机实验,对所提出方法性能进行仿真比较,对酉空时码成对差错概率的Chernoff界进行了验证.     

基于M-S模型的参数自适应图分割方法

基于图分割的分段常数水平集方法Mumford-Shah模型能够很好的处理多相图像，但由于Mumford-Shah模型本身固有的原因，该方法对于长度参数也很敏感。为了解决这个难题，本文给出了一个自动估计包括长度参数的模型参数的自适应方法，该方法根据图像的噪声方差大小来确定参数。该自适应方法与基于图分割方法相结合，能够解决模型对参数敏感的难题。最后，通过计算机生成的图像和实际图像的分割结果证明了该方法是有效的。     

复合Eshelby模型与铁电陶瓷畴片几何

将畴变的铁电晶粒处理为复合型Eshelby夹杂，定量研究了多晶铁电陶瓷的畴片几何. 所考虑的畴片构形包括自发极化孪晶结构和90°畴变的常规与非常规畴片组合. 确定的参数包括畴片的体积百分比、厚度和表面倾角. 对非常规畴片组合，导出了畴界的错配位错表达式和错配位错能. 所预测的铁电陶瓷畴片几何与在电场下的裂尖畴片实测值基本相符.     

基于量子Grover算法的VBLAST系统信号检测

VBLAST系统中最大似然检测具有最优的检测性能,但是计算复杂度是一个NP难题．将量子Grover算法及Grover-Long算法用于VBLAST系统最大似然检测中,对算法的复杂度和性能进行了仿真分析,仿真结果表明Grover检测算法不仅能够对计算复杂度起到平方加速的效果,而且算法的检测性能逼近最大似然检测性能．