基于正棱锥阵的目标定位系统

本文讨论一种集被动定向，主动测向，测距为一体的水声信号处理系统，接收基阵采用基元数最少的正三棱锥阵，利用数字信号处理技术和ＴＭＳ３２０Ｃ２５芯片完成目标的定位功能。     

深层前馈网络的单调同伦学习算法

本文研究前馈神经网络的结构以及快速二阶学习算法，首先提出一种能和适应分布网络结构的深层前馈网络模型，并利用构造性方法证明了该网络的通有逼近性质，为改进网络学习效率及大范围收敛性，提出了网络权值学习的单调同伦方法，该方法具有与牛顿法相同的二阶收敛性，数值实例显示了该方法的高效性与大范围收敛性，深层前馈网络模型具有自适应分布网络结构，高度非线性逼近性以及可实现快速学习算法等特点。     

自回归谱估计算法的分类及应用

为了进一步使自回归谱估计算法系统化,为评价算法、选择算法和发展新算法提供参考,本文提出了一种自回归谱估计算法的分类法.文中还介绍了在此分类法的指导下研究出来的一种新的自回归谱估计算法.     

密钥覆盖问题的NP完全性证明

 给出了密钥覆盖问题的模型建立过程,并从顶点覆盖问题的判定形式出发,证明了密钥覆盖问题的判定形式是NP完全问题,为组通信安全的研究,尤其是多播安全的研究奠定了更为坚实的基础.     

一些笛卡尔乘积图的限制连通度

子集S(∩)V(G)称为限制割,若任何点v∈V(G)的邻点集NG(v)都不是S的子集且G-S不连通.若G中存在限制割,则定义限制连通度κ1(G)=min{| S|S是G的一个限制割}.考虑了笛卡尔乘积图,证明了设G=G1×G2×…×Gn,若Gi是满足某些给定条件的ki连通ki正则且围长至少为5的图,其中i=1,2,…,n,则κ1(G)=2n∑i=1ki-2.     

用同伦分析方法求解具有抽吸喷注的运动延伸表面上流动问题

研究了具有抽吸喷注的多孔介质延伸表面上二维稳态层流的流动问题.用一种解析的方法--同伦分析方法--求得了该流动问题的相似解.给出了量纲为一的速度分布以及在不同渗透参数情况下壁摩擦系数的变化.     

ASP.NET中的输入验证方法

在传统的Web应用中,输入验证一般是使用客户端Script来实现的.在ASP.NET平台下,用户可以使用控件和正则表达式在服务器端实现输入验证,通过几个例子简单地介绍了在ASP.NET中如何使用控件和正则表达式对输入的用户名、密码和电子邮件进行有效性验证.     

非线性反问题求解的参数微分正则化方法

讨论了非线性反问题的求解问题,将具有大范围收敛特性的同伦方法引入到非线性反问题的求解之中,籍此克服非线性反问题常规求解过程中局部收敛的缺陷;结合吉洪诺夫正则化方法,以解决计算Frechet导数时病态的问题.在此基础上,提出了一种用于求解非线性反问题的参数微分正则化方法,给出其构造过程,并且证明了参数微分正则化方法解的存在性和收敛性.     

Parameterization for fitting triangular mesh

In recent years, with the development of 3D data acquisition equipments, the study on reverse engineering has become more and more important. However, the existing methods for parameterization can hardly ensure that the parametric domain is rectangular, and the parametric curve grid is regular. In order to overcome these limitations, we present a novel method for parameterization of triangular meshes in this paper. The basic idea is twofold: first, because the isotherms in the steady temperature do not intersect with each other, and are distributed uniformly, no singularity (fold-over) exists in the parameterization; second, a 3D harmonic equation is solved by the finite element method to obtain the steady temperature field on a 2D triangular mesh surface with four boundaries. Therefore, our proposed method avoids the embarrassment that it is impossible to solve the 2D quasi-harmonic equation on the 2D triangular mesh without the parametric values at mesh vertices. Furthermore, the isotherms on the temperature field are taken as a set of iso-parametric curves on the triangular mesh surface. The other set of iso-parametric curves can be obtained by connecting the points with the same chord-length on the isotherms sequentially. The obtained parametric curve grid is regular, and distributed uniformly, and can map the triangular mesh surface to the unit square domain with boundaries of mesh surface to boundaries of parametric domain, which ensures that the triangular mesh surface or point cloud can be fitted with the NURBS surface.     

嵌入式软件测试策略研究

嵌入式实时系统的应用越来越广泛，其可靠性更加依赖于嵌入式软件的质量。对嵌入式软件进行测试是提高其质量的重要手段之一。本文主要研究了嵌入式软件的测试策略，分别讨论了基于主机的仿真环境下和基于目标机平台下如何测试嵌入式软件。