搜索结果: 91-105 共查到“知识库 计算机科学技术基础学科其他学科”相关记录148条 . 查询时间(2.703 秒)
针对类簇中类间依赖关系以及类间消息交互产生的错误而导致测试冗余和测试遗漏的问题，提出一种类间依赖集约简的类簇测试用例生成算法。形式化定义了类间继承依赖、聚集依赖和关联依赖这3种依赖关系，建立类簇测试模型。定义类簇模式和用户(领域专家)解释集，并在用户解释集中依据每一个类对象的若干实例广义相等建立等价类，得出用户解释集幂集的1个子集即匹配划分集。据匹配消去算法求出类的最大匹配集，证明该集合就是所求类...
基于Petri网化简技术的工作流模型正确性研究
Petri网 模型正确性 化简技术
2009/4/23
为了更有效地对工作流模型进行分析验证，提出了一种基于Petri网化简技术的工作流模型正确性验证方法。在对各种工作流模型验证技术深入研究的基础上，通过对非自由选择网结构活性和有界性的分析，给出了针对Petri网中非自由选择部分的分析方法。在保持活性和有界性的前提下，给出了将活的且有界的非自由选择部分转化为自由选择部分的转化方法，从而将非自由选择的Petri网验证问题转化为自由选择Petri网的验证问...
基于二维正弦曲面滤波器的指纹图像增强算法研究
指纹识别 指纹增强 正弦曲面 加博
2014/1/7
在深入分析指纹图像的基本特征及其对正弦曲面相似性的基础上,构造符合指纹局部区域纹线灰度分布规律的正弦曲面滤波器模型,并提出了基于该模型的指纹增强算法.实验结果表明,相比于加博增强算法,该算法具有更好的纹线连接能力,能有效提高指纹图像增强的实际效果和细节特征信息提取结果的准确性.
基于复杂性K近邻规则的蛋白质亚细胞位点预测
生物信息学 K近邻 蛋白质
2009/4/14
提出了一个基于符号序列LZ复杂性相似度和K近邻规则的蛋白质亚细胞位点类型预测的方法。相比许多其他特征参数，蛋白质序列的LZ复杂性相似度计算无需深入的生物学领域知识和除序列数据以外的其他辅助数据。同时，K近邻规则的延迟学习特性适合于亚细胞位点类型已知的蛋白质数据的动态增加。在标准的RH数据集上对该预测方法进行10重交叉验证，其总体的预测准确率优于4种对照预测方法。
基于聚类思想的战场群目标识别方法
群目标 识别 聚类分析
2009/4/9
面向现代化战争的快速决策的需求，提出了一个基于聚类思想的战场群目标识别算法。该算法依据目标的位置、速度、行进方向等特征量，通过相异度分析的聚类方法对战场目标进行目标群识别。该算法时间复杂度低、识别准确率较高、对奇异点的处理更加健壮，能够满足战场实时性需求。仿真实验证明，该算法能以较大的概率准确地识别出战场目标群，为快速作战决策和战术规划提供支持。
基于模糊逻辑的测试用例揭错能力分析
模糊逻辑 测试用例 揭错能力
2009/4/7
利用模糊逻辑，分析了各测试用例中交元的测试特性，得到如下结果：交元在不同测试用例中所发挥的测试作用是相同的。据此给出了生成充分考虑参数取值组合作用、且个数少的测试用例（测试用例基）的一种方法，建立了以测试用例基表示所有测试用例的表达式。利用模糊逻辑证明了用测试用例基执行测试，不仅能确保软件质量满足用户需求，且提高了测试用例的揭错能力。由于测试用例基具有数量少、测试效率高的特点，该文的研究有利于改善...
基于拟人策略的带有预放置模块的布局算法
预放置 穴度 布局算法
2009/4/3
在超大规模集成电路设计中，一些特别重要的模块，像RAM、ROM和CPU等经常被优先放置，而其它模块则被两两互不重叠地放置在芯片的剩余区域。此类问题能被形式化为带有预放置模块的布局问题，关于此问题的求解方法多为随机优化方法。该文基于拟人的思想，提出了占角和最大穴度优先的放置策略，为该问题的快速求解提供了一种高效的启发式确定性算法。算法的高效性通过应用于标准电路MCNC得到了验证。
基于渗流理论的沥青路面渗入率计算与分析
渗入率 渗流理论 透水基层 路面
2011/1/19
针对路面面层下设排水基层的路面，考虑路面存在裂缝的情况，采用微管渗流理论和裂缝渗流理论模拟水渗入路面，建立存在裂缝路面的渗入率数学计算模型，得出考虑裂缝沥青路面渗入率的理论计算公式。研究结果表明：规范规定的渗入率计算值150 cm3/(h∙cm)偏小，采用该渗入率对于路面因使用产生损害后的渗水情况估计不准确，应该根据路面的破损程度如裂缝长度和裂缝宽度以及裂缝密度来估算路面渗入率；当路面...
Turning Semantic into Syntax
Semantic Syntax
2010/9/25
TheWeb is a communication system with a combination of features thatinvites automatic processing, so that a reader does not simply readwhat an author wrote, but instead reads an enhanced version, whic...
对计算机系统中程序行为的分析和研究
计算机系统 程序行为 linux内核模块
2009/2/20
对程序行为的三种提取方法进行了分析比较，并采用LKM（Linux Kernel Module）方式对程序行为进行提取分析。从字符串参数长度分布，字符串参数字符特征分布及特殊系统调用参数三个方面来对系统调用参数进行分析，丰富了程序行为分析手段，提高了程序异常检测精度。
一种基于启发式演化算法的最优-最差蚂蚁系统
蚁群算法 最优-最差蚂蚁系统 启发式演化算子 旅行商问题
2011/1/13
针对传统最优-最差蚂蚁系统(BWAS)存在搜索效率低、收敛速度慢的缺点，提出一种基于启发式演化算法的最优-最差蚂蚁系统(IEABWAS)算法。该算法通过加入启发式演化算子，在算法的每次迭代中将最优蚂蚁与次优蚂蚁执行启发式的演化算子操作，并将这种演化操作产生的较好个体替代系统中最差的个体，以达到快速收敛的目的。同时，为使搜索更加集中于最优解附近，对最优-最差蚂蚁的信息素更新方式进行适应性调整，以提高...
工作流建模语言XPDL到CSP进程的转化研究
工作流 XPDL CSP进程
2009/2/11
针对工作流定义标准语言XPDL缺乏形式化语义，提出了将XPDL描述转化为通信顺序进程(CSP)的方法，从而可以利用进程代数CSP理论以加强对工作流模型的语义描述分析检测。通过实例分析具体说明转化方法的有效性。
基于DXF文件的图元优化排序
DXF文件 图元元素 优化排序
2009/2/10
DXF文件的图形元素是以绘图人员设计的先后顺序记录于文件中，导致以此为基础进行的绘图或加工过程的无效行程大量增加且效率低下。针对此问题，以DXF文件记录的图形元素为对象，提出了一种在运行过程中动态改变图元始末点及图元绘制顺序的优化算法，实现了DXF中图形元素及其控制点的优化排序并生成优化后的DXF文件，使得以此文件为基础的绘图或加工路径得到优化。通过运算实例说明了本方法的有效性。
基于核聚类的SVM多类分类方法
支持向量机 多类分类 核聚类
2009/2/5
对支持向量机的多类分类问题进行研究，提出了一种基于核聚类的多类分类方法。利用核聚类方法将原始样本特征映射到高维特征进行聚类分组，对每一组使用一个支持向量机二值分类器进行分类，并用这些二值分类器组成决策树的节点，构成了一个决策分类树。给出决策树的生成算法，提出了利用交叠系数来控制交叠，从而克服错分积累，提高分类准确率。实验结果表明，采用该方法，手写体汉字识别速度和正确率都达到了实用的要求。