搜索结果: 31-45 共查到“知识库 计算机制造与检测”相关记录144条 . 查询时间(1.72 秒)
针对单元测试和系统测试各自具有的局限性，提出一种基于捕获/重现技术的微分单元测试方法。在系统测试时，捕获相关的状态序列，并在单元测试中重现该序列对于目标单元表现行为的影响，通过比较输出结果进行错误识别。仿真实验结果表明，该方法的测试成本较低，故障检测的覆盖率较高。
光电成像探测系统的性能预测方法
光电系统 成像探测 性能预测 假设检验
2012/2/5
提出一种光电成像探测系统的性能预测方法。介绍包含传感器、处理器的探测系统模型。根据信号检测理论，以最小错误概率准则设计似然比探测器，利用中心极限定理计算错误率。实验结果表明，随着量化位数的增大，系统错误率逐渐减少，且计算错误率与仿真错误率趋于一致。
基于动静特征加权的木马检测系统
木马特征 动态检测 静态检测 加权算法
2012/1/20
传统木马检测方法的漏报率较高。为此，结合木马的动态特征与静态特征，设计并实现一个基于动静特征加权的木马检测系统。研究木马工作机制，建立自定义的木马特征库，介绍木马检测思路和系统工作逻辑，分析木马特征的提取过程，并给出权值分配方法。实验结果表明，该系统的检测准确率较高。
提出一种基于端到端单播测量的网络拓扑识别方法。在数据测量方面，采用改进的三明治分组探测机制获取往返时延差，进行节点相关性推断。在拓扑推断方面，以树的深度优先序列作为参考，通过比较节点对的相似性，采用迭代与递归相结合的方法反向构建拓扑结构，减少探针发送量。仿真实验结果证明了该拓扑识别方法的有效性。
为提高中大型嵌入式软件回归测试的效率，克服因程序微小变动而导致对整个嵌入式软件系统重新测试的弊端，提出一种函数切片算法FunctionSlice。给出代码影响域的概念，采用函数切片思想对待回归测试用例集进行约简，选取和源代码变化相关的测试用例进行回归测试。实验结果表明，该算法能约简嵌入式软件中的待回归测试用例集，提高回归测试效率，且适用于较复杂的嵌入式系统回归测试过程。
通用鱼雷模拟器适应性软件开发
通用鱼雷模拟器 适应性软件构架 鱼雷弹道 动态重配置
2011/12/20
提出一种具有动态重配置功能的分布式仿真系统成员适应性软件构架，开发通用鱼雷模拟器的适应性软件，它由接口通信层、需求管理层、适应性重配层以及功能实现层构成，给出软件开发所需的关键技术，包括动态重配引擎、可配置化构件模型与功能构件库。利用该通用鱼雷模拟器适应性软件进行实例测试，结果验证了其可行性与有效性。
近年来，复杂网络中的社团发现越来越受到研究人员的关注并且许多方法被提了出来。在这种背景下，最近李等人提出了一种用来评估社团质量的函数，称之为模块密度函数（即D值）。该函数显示了较高的D值对应于较好的社团结构，然而，优化该函数是一个NP难问题。通过模块密度函数D的半指导聚类优化，论证了模块密度函数的半指导聚类与核k方法的等价性并提出了一种新的半指导核聚类检测复杂网络社团方法。在一个经典的计算机产生的...
基于构件的软件开发是软件工程化和工业化发展的必然趋势，构件间通过接口实现交互。目前主要的接口定义语言是为了满足封闭的C/S应用而设计的，仅描述了构件交互的静态语法层信息，这些信息已不能满足开放环境下对构件理解、使用和推导需要。形式化方法因其描述的准确性和使用自动定理证明机制而受到越来越多的重视，以CORBA构件为例，结合一个电子商务应用实例，给出基于π演算的构件接口动态行为信息描述方法，在此基础上...
Wavelet变换域的水印盲检测研究
数字水印 Wavelet变换 广义高斯分布 盲检测
2010/2/8
对Wavelet变换的高频系数进行统计分析，得出的结论是Wavelet变换的高频系数符合广义高斯分布，采用极大似然估计的方法对Wavelet变换系数的边缘分布和联合分布进行拟合，提出了一种Wavelet变换域水印盲检测框架。实验证明Wavelet变换域所提出水印检测器具备了良好的检测性能。
一种安全需求分析中的用例漏洞检测方法
安全需求分析 误用例 攻击模式
2010/2/8
提出一种基于攻击模式的用例漏洞检测方法，用于对需求分析人员设计的用例图进行漏洞检测。该方法以形式化用例作为基础，把误用例作为安全攸关信息的载体、设置为用例的特殊属性。通过与用户的交互完成误用例相关属性的信息采集，并进一步运用这些信息计算出用例的误用例指数。将此指数与预定义的攻击模式相关指数进行对比，以此来判断该用例是否与某个特定误用例、某些特定攻击模式相关。从而检测到用例图中的用例漏洞，并在此基础...
允许多处理机故障的实时任务容错调度算法
实时容错调度 整体调度 混合任务
2010/2/4
随着故障处理机个数增加，基于主/从版本技术的实时容错调度算法对处理机利用率迅速下降。论文提出了一种能够调度周期和非周期混合实时任务的容错调度算法，该算法允许多个处理机出现故障。把DS(Deferrable Server)算法扩展到多处理机系统，可在系统中设置多个DS服务器来处理非周期任务。当处理机出现故障时，通过在其他处理机上回卷执行故障任务，保证了系统的容错性能。实验结果表明，该算法能够使系统接...
结合对称差分法和背景减法的目标检测方法
对称差分法 背景减法 大津法
2010/1/28
针对帧差法易产生空洞以及背景减法不能检测出与背景灰度接近的目标的问题，提出了一种将对称差分法和背景减法相结合的运动目标检测算法。首先利用对称差分法和背景减法分别得到两种差分图像，并用OTSU分割法（大津法）得到合适的阈值将这两种差分图像二值化，然后将得到的两种二值化图像进行或运算，最后利用图像形态学滤波得到准确的运动目标。
入侵检测是计算机安全研究方面的热点领域，在入侵检测数据可视化和分类方面面临的问题是其高维特性。流形学习算法Isomap是有效的非线性降维工具。但是Isomap算法在实际应用中存在不能保证构造连通的邻接图和没有利用样本已知类别标记的缺点，针对上述缺陷提出了健壮的有监督S-kv-Isomap算法。该算法利用类别标记来指导降维，并且利用k-variable算法构造联通的邻接图。实验选用KDDCUP199...
一种对改进图像LSB隐秘方法的重加密检测方案
LSB密写 重加密 检测方案
2010/1/20
分析一种可以抵抗RS统计方法和Chi-square统计方法的改进的LSB图像隐秘方案，找到了该方案的两个致命缺陷，即每次加密都以很大的可能性减小图像像素平均值，且加密次数与减小的程度紧密相关。利用这两点可以设计若干统计特征作为特征向量，结合分类器FLD去训练和检测图像，实现载体图像和隐秘图像的正确分类，进而提出针对改进LSB隐秘方案的检测方案。