搜索结果: 106-120 共查到“知识库 软件理论”相关记录126条 . 查询时间(5.302 秒)
Spec CPU2000基准程序运行路径分析
微处理器 基准程序 路经分析
2009/5/7
Spec CPU2000的基准程序被广泛地应用于处理器的设计性能评估。在微处理器RTL级系统评估过程中，需要运行一些性能评估代码来完成系统的评估，因为运行整个基准程序的代价很大，所以都用运行部分代码的方式来获得性能情况。该文利用基准程序的频繁函数提取出微程序的方法，用于微处理器RTL级系统的评估，在函数提取过程中研究函数内部的频繁使用路径，研究了这些最频繁函数中的最频繁使用路径，了解基准程序的运行...
基于任务剖面关键度划分的嵌入式软件可靠性增长模型
计算机软件 软件可靠性 对数模型
2009/3/20
以任务剖面的关键度划分为出发点，考虑测试的有效性，建立一种随测试覆盖率变化的嵌入式软件可靠性增长模型，改变了以往模型中可靠性提高单纯依靠测试时间增长以及可靠度结果虚高等不足。提出在测试成本一定的情况下对软件进行可靠性增长测试时，关键度较高的任务剖面应该获得较多的测试工作投入，即获得较高的测试覆盖率。
一种谓词驱动的目标求精方法
需求工程 目标 场景 需求规约
2009/1/7
目标求精是场景和目标相结合的需求建模方法中的一个重要环节。该文基于目标和场景相结合的需求建模，提出了谓词驱动的目标求精方法，通过对目标谓词描述的分类来指导整个求精过程的进行。同传统的求精方法相比，该方法具有对需求分析员的依赖较小、自动化程度高等优点。
相关度是关联规则挖掘中衡量一条规则是否有趣的重要的参数。该文通过对传统的相关度计算公式的分析，指出了传统计算方法存在不对称性和不完备性两个缺陷，提出了提升率和影响率两个概念。通过理论分析和实验验证，证明了采用提升率和影响率两个参数来描述相关度与传统的描述方法相比，结果更加准确可靠。
向量法长度递减支持度约束下的关联规则
关联规则 长度递减支持度 向量法
2008/12/30
关联规则挖掘中的长模式，通常支持度较低，但仍然具有潜在的价值。为了挖掘长模式下的有效关联规则，该文提出了一种在新的长度递减支持度约束条件下采用向量法进行的关联规则挖掘。该方法能够挖掘更多有效的长模式，减少无用的短模式，提高了关联规则挖掘的效率。
修正指数曲线在电力负荷预测中的应用
电力系统 负荷预测 修正指数曲线
2008/12/30
在现有文献研究的基础上，对修正指数曲线预测法作了进一步研究，给出了修正指数曲线参数估计的一种新方法。该方法将最优化方法与回归方法结合在一起，利用最优化理论中的区间搜索和一维搜索得到一系列 值，利用回归方法可求得与其相对应的一系列a和b的值，当 取最优 时，a和b 便得到最优值 和 。经示例计算表明，这种改进的预测方法具有较高的精度。
Improvement of a Grey Based Method for supplier selection problem
Production and operations management Supplier selection MADM A grey based approach
2010/1/20
Purpose: In this article, we combine this new approach based on the concepts of Technique for Order Preference
by Similarity to Ideal Solution (TOPSIS) to evaluate and select the best supplier.
Desi...
一种改进的数据求精证明规则
多级安全系统 数据求精 前向模拟 后向模拟
2008/12/24
提出一种改进的数据求精规则，并用关系模式进行描述。引入全局状态来描述程序所有可能的输入和输出，允许非平凡的初始化，允许前向模拟和后向模拟，能应用于消除具体模型的不确定性晚于消除抽象模型的不确定性的情况。并用实例说明了在Isabelle定理证明器中规则的应用方法。
一种基于GiST的层次聚类算法
通用搜索树 层次聚类 数据挖掘 面向对象技术
2008/12/24
层次聚类方法是聚类分析的一个重要方法。该文利用通用搜索树实现了一种新的层次聚类算法，可以把整个聚类过程中形成的树型结构都保存在硬盘上，支持从宏观到细微的分析过程，便于用户发现各个聚类之间的相互联系。
一种高效异常检测方法
聚类 异常因子 异常检测
2008/12/24
借鉴万有引力思想提出了一种差异性度量方法和度量类偏离程度的方法，以此为基础提出了一种基于聚类的异常检测方法。该异常检测方法关于数据集大小和属性个数具有近似线性时间复杂度，适合于大规模数据集。理论分析以及在真实数据集上的实验结果表明，该方法是有效的，稳健并且实用。
一种基于微粒群的模糊聚类算法
模糊聚类 微粒群算法 FCM算法 模糊分类
2008/12/23
模糊聚类的FCM算法由于得不到各聚类的解析解，使其在某些应用中出现问题。为此，该文提出了一种基于微粒群理论的模糊聚类方法，利用微粒群自动调整各模糊聚类的中心点及其隶属函数参数，使模糊聚类符合数据分布特征，同时得到各聚类的隶属函数解析解。通过典型模糊分类问题，说明了该算法的有效性。
最大频繁事件序列挖掘是数据挖掘中重要的研究课题之一。该文提出了一种新的挖掘用户行为模式的算法。该算法采用位图索引表的数据格式，使用一种有效的基于前缀树的频繁事件序列扩展方法，结合有效的剪枝技术，明显地加速了最大频繁事件序列的生成。
条件判定覆盖(Condition／Decision Coverage即C／DC)和修正条件判定覆盖(Modified Condition／Decision Coverage即MC／DC)均是软件测试方法，作者首先介绍了这两种测试方法．之后总结出了两者所存在的不同之处，其中以一些实例来证明两种方法的差异．
一、 二次规划（QP）该软件可计算科学与工程中产生的最优化问题；特点：可求解变量个数小于50，约束个数小于100的二次规划问题。原版本是国际上流行的标准化程序，收敛、性级好，使用方便。二、非线性规划（NLP）该程序可以求解非线性优化问题：求使f(x)最小（或最大）且满足约束：特点：可求解变量个数小于50，约束个数小于100的非线性优化问题，算法为国际上80年代优秀算法，序列二次规则，收敛速度快，使...
VCT-OAS工作流设计与实现
VCT-OAS 工作流设计
2008/8/5
办公自动化系统的关键工作是工作流设计，其合理性直接影响到办公流程的准确性、可靠性、自动化程序和运行效率。该项目利用工作流技术，对高职高专院校办公流程进行分析，采用Petri网发展起来的工作流网建立过程模型，通过高等职业技术学院办公自动化的需求分析，利用Domino/Notes开发平台，设计了B/S和C/S结合的系统体系结构，并设计开发了简单易行的图形化工作流程定制工具，提出了解决公文流转中并行冲突...