面向AS级动态拓扑的改进PFP模型

针对传统PFP模型不能很好模拟Internet动态演化的问题,提出面向自治系统(AS)级动态拓扑的改进PFP模型。改进模型充分考虑Internet中AS节点的消亡与连接边的相应连接补偿,符合Internet拓扑成长和演化过程,生成的Internet拓扑图与实际Internet具有更大相似度。实验结果表明,改进模型能较好满足幂律分布和小世界特性,更适合于Internet建模。     

基于场景行为的需求建模及质量特性检测

为在需求分析阶段验证软件是否满足非功能质量要求,本文提出一种基于场景行为的需求建模及质量特性检测方案。该方案首先定义能够建立高精度、可推理、易理解的需求行为模型的行为描述语言BDL。然后构造需求行为模型到状态迁移模型CCS的模型转换函数。接着以互模拟的定义为前提,验证转换函数的正确性,进而开发可信建模检测工具MTS。该工具导出的行为模型能够与质量特性表达式一起导入特性检测工具CWB实现质量检测。最后,本文使用该工具对手机软件升级这一需求进行行为建模,成功验证手机软件的一致性、安全性、行为可信性及行为非终止性。     

Dynamic normal forms and dynamic characteristic polynomial

We present the first fully dynamic algorithm for computing the characteristic polynomial of a matrix. In the generic symmetric case, our algorithm supports rank-one updates in O(n²logn) randomized time and queries in constant time, whereas in the general case the algorithm works in O(n²klogn) randomized time, where k is the number of invariant factors of the matrix. The algorithm is based on the first dynamic algorithm for computing normal forms of a matrix such as the Frobenius normal form or the tridiagonal symmetric form. The algorithm can be extended to solve the matrix eigenproblem with relative error 2^−b in additional O(nlog²nlogb) time. Furthermore, it can be used to dynamically maintain the singular value decomposition (SVD) of a generic matrix. Together with the algorithm, the hardness of the problem is studied. For the symmetric case, we present an Ω(n²) lower bound for rank-one updates and an Ω(n) lower bound for element updates.     

对粘连和缺损数字串分割的研究

把缺损和粘连的字符串分割成单个字符以便后续识别,是字符识别的关键问题之一.本文以货运列车车号为例,提出一种有效的分割方法.该方法以弧特征和变基准线区域分割为基础,引入了识别反馈分割策略.将其应用于实际运行的识别系统时获得了较高的正确分割率.     

Research on the controller of an arc welding process based on a PID neural network

A controller based on a PID neural network （PIDNN） is proposed for an arc welding power source whose output characteristic in responding to a given value is quickly and intelligently controlled in the welding process. The new method syncretizes the PID control strategy and neural network to control the welding process intelligently, so it has the merit of PID control rules and the trait of better information disposal ability of the neural network. The results of simulation show that the controller has the properties of quick response, low overshoot, quick convergence and good stable accuracy, which meet the requirements for control of the welding process.     

基于图象集似然度的人脸识别

根据人的认识规律,提出了基于图象集的似然度人脸识别方法。该方法把图象集中的各幅图象的信息矩阵的奇异值向量作为矩阵中的一列而构成的图象集特征矩阵。然后,把测试样本的图象集特征矩阵与图象集库中的训练样本图象集的特征矩阵相比较找出它们的相似程序－－图象集的似然度,从而进行人睑图象识别。     

基于性能的LUT结构的FPGA的再设计算法

本文提出一个基于性能的LUT结构的FPGA的再设计算法,该算法采用特征函数以及对原布尔网络进行相应的约束实现电路的再设计。因为不改变网络的拓扑结构,从而避免了在再设计过程中重新考虑电路的时延和布局布线结果。     

图像集的离散度矩阵及其在人脸图像识别中的应用

本文提出了图像集离散度矩阵的基本概念及用于人脸图像识别的方法。该方法把同一类图像集中的各幅图像的信息矩阵的奇异值向量作为矩阵中的一列构成图像集特征矩阵。把这些矩阵组成一图像库,并找出图像集离散度矩阵和图像库离散度矩阵,从而计算出它们的最佳投影系数。然后,把测试样本的图像集特征矩阵与图像集库中的训练样本图像集的特征按投影系数相比较找出它的相似程度,从而进行人脸图像识别。     

千兆以太网交换机的信号完整性研究*

以千兆以太网交换机PCB设计出现的问题为背景,研究高速数字电路设计的信号完整性问题,从板层、电源和传输线三方面分析原因,并提出解决方法,测试表明取得了有效的结果。     

基于LTCC技术射频传输线的设计

本文介绍了射频传输线及LTCC技术的概念和特点,建立了基于LTCC技术的射频传输线模型,推导了传输线模型特征参数提取公式;并对传输线模型进行三维电磁仿真,得到了仿真参数。通过分析传输线性能,提出了优化设计的一定方法