基于知识的快速角点提取

本文提出一种基于查表技术知识的基角点提取方法．就一定的考察点数目来说，该方法由于采用了人的知识，其检测效果是很好的．由于采用了查表技术，该方法的速度非常快，并且易于硬件实现．当用硬件实现该方法，对于５１２×５１２的真实图像，角．点提取能以电视速率进行．本文详细讨论了查找表的构造方法和知识的采集方法．实验表明该方法工作得很好．     

基于Hash树热点窗口的存储器完整性校验方法

该文描述了一种存储器完整性校验的硬件方案．首先．介绍了存储器完整性校验的情况；然后．提出了基于Hash树热点窗口的存储器完整性校验方法．该方法将存储器访问的局部性特征与Hash树完整性校验原理相结合．通过缩短多数情况下校验所需路径的长度以及对节点实施恰当的缓冲，来有效减小完整性检验的代价．该文描述了该方法的原理、算法与系统实现．并进行了模拟．理论分析和模拟结果表明该方法在应用上是高性能的，同时也是低代价的．     

操作系统健壮性测试方法的分析与比较

健壮性已经成为衡量软件性能的一个重要指标。目前,人们已经提出了一些健壮性测试的方法．并且构建了一批健壮性测试工具。本文对这些方法和工具进行了研究,并利用方法中的开源工具对Unux2．4．22进行了测试．还对测试结果进行了分析和比较．     

PUMA机械手逆运动方程新的推导方法及求解

本文提出了一种新的推导ＰＵＭＡ型机器人逆运动方程的方法，进而给出逆运动问题新的求解方法．此方法不需要对机械手末端位姿进行坐标变换，而且也给出了问题的解析解．另外在解的推导过程中避免了大量的逆矩阵相乘．方法简单．仿真证明了计算结果的正确．     

公平转换系统规范及其应用*

本文讨论了用于并发系统规范的2种方法；时序逻辑方法和状态自动机方法．由此，本文提出了一种新的规范形式——公平转换系统规范FTSS(fair transition system specification)．此规范方法集成了状态自动机方法和时序逻辑方法的优点，改进了时序逻辑方法通常较复杂、不易理解，特别是它不能用于描述并发系统的局部性质等不足．进一步对FTSS中的每一部分进行了讨论，得到结论；FTSS是机器封闭的，规范过程是相容的且是完全的．一个有丢失传输协议的例子表明作者的方法具有简单、直观、易于理解和便于使用等特点．最后给出了FTSS的一些应用．它为程序验证和并发系统的逐步求精提供了一个统一的框架，已成功地应用于程序验证中．     

多信道网络通信设计

本文介绍了军用网络和民用网络的区别．进而提出了需要寻找一种有效的方法．满足军用网络的应用需求。对此．本文提出了采用多个相互独立的物理借道进行冗余的通讯方法．来满足军用网络特殊的应用需求．根据设方法对设备进行了系统设计。提出了可行的实现方案。     

从DTD映射到关系模式:一种保持数据依赖的映射方法

XML正迅速成为互联网上数据表示和交换的标准．用关系数据库存储XML数据是XML存储策略之一．为了将XML数据存储到关系数据库中，人们研究了从DTD到关系模式的映射方法．提出了一种保持数据依赖的映射方法PDD．与已有的Shared—Inlining方法相比，PDD方法充分考虑了DTD蕴涵的数据依赖关系，保证了XML文档的完整性．通过对泛关系进行模式分解，得到的关系模式保持函数依赖，并且满足2NF．可以证明，这种方法是有效的．     

ADO.NET数据库访问技术研究及其在动态文本测试系统中的应用

讨论了．NET框架下ADO．NET组件访问数据库的方法;概述了ADO．NET数据访问的模型;阐述了用ADO．NET组件开发数据库的原理和步骤;并着重介绍了用ADO．NET开发动态文本测试系统的方法。     

由数据流图生成源程序

本文讨论了从数据流图直接产生可执行的程序代码的方法．采用数据驱动的思想，直接由ＤＦＤ图来决定程序框架．跳过结构图而直接编制程序．以此来扩展结构化分析方法ＳＡ，使快速成型技术与ＳＡ方法有机地结合起来．本文作者在ＭＳＷｉｎｄｏｗｓＶ３．０上，应用上述方法，得到了一个基于ＳＡ方法的快速成型工具，即ＲＡＰＩＤ系统．     

基于Petri net的故障诊断理论研究

首先将故障概率的概念引入基于Petrinet的故障诊断方法中．针对Place和Transition．提出了P概率和T概率的概念;然后给出了它们的定义和计算定理;最后．在P概率和丁概率的基础上．对故障树分析（FTA）中“重要度”的概念略加调整,并将其引入所提出的故障诊断方法中．为Place和Transition定义了“重要度”．同时给出了计算方法．     

仿射非线性系统的一种观测器设计方法

对仿射非线性系统全维观测器设计方法进行了讨论，提出了一种设计方法．该方法基于微分Riccati方程的正定解，观测器的增益矩阵通过Riccati方程的正定解给出，因而观测器增益矩阵为时变的．通过坐标变换，用李亚普诺夫方法对观测器的存在性进行了论证．对一个实际模型的仿真分析表明了该方法的实用性和正确性．     

二阶线性系统全维PI观测器的参数化设计

基于一类广义Sylvester矩阵方程的解．提出了二阶线性系统的全维PI观测器设计参数化方法．给出了该类观测器的增益矩阵和左特征向量矩阵的参数化表达式．该观测器设计的参数化方法直接基于二阶线性系统的参数矩阵,不涉及系统的变换或增广．数值例子表明了所提方法的简单有效性．     

多时滞不确定网络控制系统的时滞独立稳定判据

针对一类多输入多输出（MIMO）网络控制系统．在考虑多重分布时滞和不确定性的情况下．建立了该系统的连续时闻数学模型．利用Lyapunov稳定性理论,结合线性矩阵不等式（LMI）方法和S-过程,给出了基于LMI形式的时滞独立渐近稳定判据．通过这些判据,能分析和判定具有多重时滞和不确定性的网络控制系统的时滞独立渐近稳定性．与已有的方法相比,该方法更加有效且求解方便．数值仿真结果表明了该方法的有效性．     

一种新的小波域视频可分级运动估计方案

首先提出了一种运动估计方法MLBS（Modified Low Band Shift）,并在此基础上提出了基于MLBS的小波域视频可分级运动估计方案MLBSSME．利用MLBS方法,提高了运动估计的准确度．借助重叠块运动补偿方法,有效降低了最高分辨率下解码图像的块效应．根据小波变换的多分辨率特性,利用缩小了的搜索窗口提高了搜索速度．这种方法可有效应用于空间可分级和数率可分级的视频编码器中．实验结果证明,对于多种类型的标准测试视频流,MLBSSME算法始终能保持很高的估计精度．利用该算法补偿得到的预测帧,其PSNR较之基于下层LL子带的分层运动估计方法和子带直接运动估计方法平均要高出1～3dB,而对于空间细节较简单的视频,其PSNR比LBS方法提高了0．5～1dB,并且算法的时空复杂度是LBS方法复杂度的30％～40％．     

一类切换线性广义系统的稳定性

提出了一种新的切换系统即广义切换系统．应用共同Lyapunov函数方法研究切换线性广义系统的稳定性,给出了切换广义系统在任意切换律下都稳定的充分条件．以及构造一类共同Lyapunov函数的方法．最后的数值例子说明了方法的可行性．     

基于开放式机器人控制器的NURBS路径插补方法的实现

给出了一种六轴弧焊机器人的实时NURBS路径插补方法．使用开放式机器人控制器系统作为试验平台,NURBS曲线通过迭代最近点的拟合方法获得．阐述了NURBS路径插补器的末端速度控制原理,对常见的机器人末端运动速度为梯形分布时的情况进行了讨论．最后举例论证了该方法的可行性,并将其与通常使用的点到点逼近的方法做比较,充分体现了该方法的优越性．     

一种改进的相似重复记录检测方法

针对当前相似重复记录检测方法中存在的问题．提出一种改进方法．该方法根据关系表的决定属性值划分记录集,并在每个决定属性值类中检测相似重复记录．在决定属性值聚类时,提出了动态优先队列聚类算法和合并逆序算法．尽可能使相似重复的属性值聚为同一类;在记录聚类时提出了类调整算法,以提高类的代表记录的代表性．通过大量的实验分析,验证了该方法的有效性．     

宽带随机振动控制器的设计与分析

提出了一种随机振动控制器的实现方法,它可以实时地产生高精度随机振动激励信号．采用这种方法得到的宽带随机信号信噪比可达到70dB,可用于精密随机振动台的驱动控制信号．准确地实现了被试验产品的模拟试验．计算机仿真和试验结果证实了该方法的可行性．     

基于方向梯度局部方差的分层遥感图像融合

为了充分利用各种遥感图像的信息．本文对以往图像融合技术进行了简要的概述，分析了各种方法的优缺点．给出了一种新的基于方向梯度局部方差的金字塔图像融合方法。将各源图像进行金字塔分解，得到多分辨率描述．建立方向梯度金字塔．采用局部方差准则融合源图像的各分解层．再进行金字塔分解的逆变换，得到融合图像。此外．利用信息熵等准则和其他融合方法进行比较．实验结果表明用此方法能得到更好的融合效果。     

基于最大李亚普诺夫指数的改进混沌时间序列预测

分析了基于最大李亚普诺夫指数的混沌时间序列预测方法,提出了一种选取重构相空间中的多个邻近参考向量来提高预测精度的改进方法．对洛伦兹混沌系统产生的时间序列进行了预测,结果表明改进方法比原方法的预测精度要高．讨论了噪声和参考邻近点数对预测结果的影响．应用改进方法预测实际的交通流量时间序列的平均相对误差在8%以下,说明了改进方法的有效性．