基于不变量的机器学习算法分析

随着机器学习算法在人工智能各领域的广泛应用,人们开始关注机器学习算法的质量分析.由于机器学习算法中缺少测试语言,对学习算法进行质量分析是很困难的,基于此,本文提出了基于不变量的机器学习算法分析方法,对5种机器学习算法进行不同参数下的不变量生成,得到不变量集合.通过动态筛选机制和函数调用图,对不变量集合进行筛选和提取,得...     

基于程序不变量的载荷特征提取方法

应用层载荷特征是一种使用广泛、识别率高的指纹,但其生成主要依赖手工分析。针对该类特征的自动生成问题,提出一种基于程序不变量的指纹提取方法。该方法对应用程序进行插桩,跟踪应用程序处理协议数据包的过程,生成程序状态集并从中检测程序不变量,结合协议数据包中各个域的污点传播记录,获得数据包中存在的域间关系,进而提取出协议指纹。该方法具有效率高、不需分析协议语法语义、生成指纹精确性高等特点。     

一种函数依赖程序不变量动态检测方法

目前软件质量已成为人们广泛关注、高度重视的热点问题之一.为了保证软件质量,建立了程序不变量发现的基本理论模型,并针对简单的函数依赖不变量提出了检测方法.此方法首先是通过关系数据库理论存储程序的运行轨迹,然后利用关联算法分析变量间的相关性,最后通过回归分析方法确定具有高相关性的变量之间的函数依赖关系.结果表明这种方法对于简单的函数依赖不变量检测具有很好的效果.     

基于小波矩不变量的模式识别方法

为了得到一组局产最优的特征组,提出一种结合分散度和顺序前进法（ＳＦＳ）的特征选择方法。实验结果表明小液矩不变量比Ｚｅｒｎｉｋｅ矩不变量有更好的识别效果,尤其对于形体相似的物体,效果更明显。     

一种新的适合于目标识别的仿射不变量

针对仿射变换所造成的某些特征点提取不稳定,提出一种新的适合于目标识别的仿射不变量,它是基于特征点和几乎不受仿射变换影响的目标轮廓线．当目标无遮挡时,新不变量仅依赖于当前特征点和整个轮廓线;当目标有遮挡时,新不变量依赖于当前特征点、与它直接相邻的两个特征点以及它们之间的轮廓线．在已有的基于特征点的仿射不变量中,新不变量所依赖的特征点是最少的,可以很好地应用于特征点提取不稳定场合的目标识别．     

一种基于不变量的从工作流网到PERT图的转换方法

 工作流管理系统为现代企业提供了一种协同工作环境,可以管理企业的业务过程,并提高企业的商业竞争能力.为了有效管理业务过程的进度,需要提供一种基于工作流过程模型的进度估算方法.基于Petri网的工作流网模型难以直接估算工作流过程模型的进度与工期,而在传统的项目进度计划中,PERT图是一种成熟的技术,为此,本文在工作流网的基础上增加了时间的概念,基于LMST-不变量的分解技术,提出了一种将LMST-不变量分解得到的子网转换为PERT图的算法,由此达到估算工作流过程模型的进度与工期的目的.     

Sluzek矩不变量方法的改进

本文首先分析Sluzek方法的思想即:减小方差而同时尽可能不减小不同类之间的均值差;然后分析了该方法的不足之处,证明了存在改进的可能性;并且提出了改进方法,即把目标分割为n个矩等分圆环,分别计算其矩不变量,从中选取某几个量作为识别指标;最后通过例子证实了本文方法的改进效果.     

基于透视不变量的平面曲线的识别

提出一种快速有效的平面曲线的识别方法,在这种方法中,我们从单幅图象中提取表征曲线形状的描述子,该描述子由曲线上透视不变点之间的射影距离不变量构成,且不受物体和摄象机之间的位置、方向以及摄象机物理参数的影响。因此这种识别算法不受透视畸变的限制,本文用一组起初的平面物体进行了识别实验,结果表明这些形状描述 平面 曲线的识别有很好的性能。     

一种基于旋转不变子空间算法的非模糊参数配对方法

针对多维旋转不变子空间算法(ESPRIT)信号参数估计存在失配的问题,该文提出一种基于特征值分维的参数配对方法。该方法首先对包含待估计参数信息的多维特征值进行线性组合并构造判断矩阵,再根据矩阵维数对应关系进行配对。相比于其他配对算法,该文提出的算法结构简单,没有模糊参数,在特定情况下具有较高的鲁棒性,能实现参数的自动配对。最后通过对比仿真验证了该文配对算法的优越性。     

求布尔函数零化子的一种算法以及一类代数攻击不变量

该文首先给出了一种新的求布尔函数代数次数d的零化子的算法,并且利用布尔函数的特征矩阵得到了低次零化子存在性的判别条件。其次,该文通过研究(5,1,3,12)旋转对称饱和最优函数的代数免疫和一类构造函数的代数免疫,证明了一类函数为代数攻击不变量,并对此性质作了进一步推广。     

功能测试矢量的重排与测试时间的压缩

对于集成电路测试而言,测试时间与成本直接相关,减少测试所需的时间意味着测试成本的降低。对于大型的测试矢量集,由于ATE存储器大小的限制,无法一次装载所有的测试矢量,需要多次的loadunload过程,从而浪费了大量的时间。通过测试矢量顺序的优化可以有效地减少重载次数而大大降低测试所需时间。应用模拟退火算法可以对测试矢量顺序进行全局的优化,得到该问题的近似最优解。     

基于场景的测试用例设计方法研究

传统的场景法是确定测试用例的重要方法,然而为了取消多余或等效的测试用例,需要在确定了所有测试用例之后对测试用例进行复审和验证,针对该问题,提出一种基于场景优化的方法,按照优化规则,对场景进行优化之后可以为更系统更有效地设计测试用例提供条件和基础.最后结合XML语言的特点对测试用例进行描述,并成功的将其应用到CTCS列控系统设备——临时限速服务器系统的安全性测试中,证明了该方法的有效性.     

一种基于RGB颜色空间和随机矩形区域的显著性检测方法

提出了一种基于RGB颜色空间和随机矩形区域的显著性检测方法.该方法以R、G、B作为图像特征,然后随机产生不同位置和大小的矩形区域,并统计每个矩形区域内各像素特征值与该区域的特征均值之间的距离,再综合所有矩形区域和所有特征得到最终的显著图.因不需进行颜色空间转换,可大幅减少计算时间;同时,RGB颜色空间三通道的亮度变化比较一致,使得在特征融合时能够充分利用所有特征的信息,因而取得了更好的检测效果.实验结果表明该方法能更快速、更有效地检测出图像中的显著性区域.     

基于搜索空间自动缩减的路径覆盖测试数据进化生成

 提出一种基于搜索空间自动缩减的路径覆盖测试数据进化生成方法,首先,确定目标路径与输入变量之间的关系,将可分目标路径分离出与部分分量相关的子路径;然后,固定被穿越子路径对应的输入分量,并缩小交叉和变异操作的范围,使种群在不断缩小的空间里寻找测试数据,以提高测试数据生成的效率;最后,将提出的方法用于基准程序的路径覆盖测试数据生成,并与传统方法和随机法比较.结果表明,本文方法在生成测试数据需要的进化代数、运行时间和成功率等指标上均具有优越性.     

基于卡方检验的随机数在线检测方法的实现

随着信息安全与通信技术的发展,随机数在安全芯片、保密通信等领域得到了广泛应用。为提高随机数在线检测速度,针对128 bit、256 bit和512 bit中每种随机数检测长度,通过推导去除卡方检验公式中计算复杂的部分,得到易于硬件实现的公式,并对公式进行硬件优化与实现。通过VCS和Verdi仿真,验证了设计的正确性。采用Design Compiler工具,基于UMC55工艺库,将设计综合,得到了面积为1 411 GE(等效与非门数)的128 bit卡方模块。在实现较小面积的同时,达到了较为显著的优化效果。512 bit卡方模块与软件实现对比,速度提升50.08%,达到较高的随机数在线检测速度。该模块适用于需求较小面积和较高速率的硬件实现场景。     

基于双正交小波变换的矩不变量

寻找相对于尺度、平移、旋转不变的小波不变量是多尺度分析在模式识别中的关键问题.矩是一种理论和应用上比较成熟的方法,本文将矩与多尺度小波分解的近似系数联系起来,利用空间基函数的双正交性推导得到了双正交小波矩不变量,并用实验验证了结果的正确性.同时以Haar小波为例对结论中的限制条件进行了理论分析和实验验证,结果表明可以计算高于平滑阶数的小波矩,且计算精度符合要求.由此获得了比较完善的理论和实验结果,最后指出了它在实际应用中所需注意的问题.     

基于ECRS分析法的光学载荷发射场测试流程设计和优化

ECRS分析法是取消、合并、重排和简化英文首字母的简称,该方法在工业工程中有着重要而广泛的应用。针对航天发射场光学载荷测试的特点, 在继承前期发射任务的基础和确保可靠性安全性的前提下,分析了测试流程之间的关系,使用ECRS进行流程优化工作,缩短了测试时间,增强了 测试发射能力。最后对发射场测试流程优化工作做了展望。     

空间相机主镜组件随机振动试验仿真

主镜组件作为空间相机的关键部件,对其进行充分的随机振动试验是必不可少的,而试验环境仿真预示可以为试验条件的合理制定提供参考依据.本文对空间相机主镜组件结构建立仿真模型,通过随机振动试验仿真计算,预示了主镜组件在随机振动环境下的加速度及应力响应,验证了结构设计方案的可靠性,为相机结构设计初始阶段的力学环境条件提供合理的参...