搜索结果: 136-150 共查到“知识库 软件工程”相关记录843条 . 查询时间(1.688 秒)
搜索空间平滑技术在软硬件划分中的应用
软硬件划分 搜索空间平滑技术 离散粒子群算法
2010/4/21
软硬件划分问题是软硬件协同设计的重要问题之一，它涉及到系统建模，划分算法和划分方案评价等问题，其中划分算法设计是关键点。以提高系统时间性能为目标，利用任务流图构造系统模型，在其上实现了基于优先权的评价函数，提出了搜索空间平滑技术与离散粒子群算法相结合的软硬件划分算法，并且解决了两者的融合问题，并能根据系统信息动态适应调整算法参数。实验结果表明，算法时间开销稳定，求解质量较高。
三角模糊数多属性决策在软件项目风险评估中应用
软件项目 风险评估 多属性决策 三角模糊数
2010/4/11
风险评估是软件项目风险管理的基础。基于软件项目风险评估目标及相关文献分析，构建了风险评估的准则体系，并将三角模糊数多属性决策方法应用于软件项目风险评估中。通过实例说明了该方法运用于软件项目风险评估的具体过程，并验证了其合理性和可操作性。
Document Logic: Risk Analysis of Business Processes through Document Authenticity
Formal methods business process modeling risk analysis internal control rewriting logic
2010/4/1
Document Logic is a simple yet powerful framework to infer risks in business processes. We focus on flows of documents and build a set of inference rules based on document authenticity and a simple tr...
基于EM-GA改进贝叶斯网络的研究及应用
贝叶斯网络 EM-GA算法 软件项目 风险分析
2010/4/1
为了解决软件风险分析中可能出现的数据不完整以及影响因素间关系复杂的问题，提出了一种改进贝叶斯网络的软件项目风险分析方法。将遗传算法和EM算法相结合得到EM-GA算法，利用EM-GA算法对软件项目分析过程中贝叶斯网络结构中的参数进行学习，同时优化网络结构，通过实例验证了该方法的有效性及可行性。
基于多核的批处理RSA的并行加速方法
batch RSA 加速 并行 多核
2010/3/23
为了改善RSA算法解密和签名的性能,Fiat提出了batch RSA算法,但效果并不显著.针对现有计算机多核的特点,对batch RSA算法进行并行优化,使其在解密和签名时的速度得到大幅度提升,实验表明并行优化后平均加速比可达到4.75.
Generation and Evaluation of Business Continuity Processes using Algebraic Graph Transformation and the mCRL2Process Algebra
business continuity business process algebraic graph transformation process algebra generation evaluation enterprise modeling
2010/3/15
Critical business processes can fail. Therefore, continuity processes are needed as back-up solutions. Today, those continuity processes are set up and maintained manually. They are mostly based on be...
基于FAHP和FMCDM构建软件可信性评估模型
可信软件 软件可信性评估模型 模糊层次分析法 模糊多指标决策
2010/3/1
结合软件可信性评估的特点及模糊理论的最新进展，提出一种基于模糊层次分析法和模糊多指标决策理论的评估模型。首先针对软件可信性没有一致定义的现状，提出了相对可信性的概念；接着基于模糊数理论，用三角模糊数表示专家评估中语言变量的主观性和模糊性，结合专家给出的模糊指标权重及待评软件可信等级的模糊评价，得到软件可信性的集成模糊评价;最后，将该模型应用到国内某汽车制造企业整车产品开发项目管理软件评估中，实例说...
Adaptation of Process Models – A Semantic-based Approach
Adaptation of Process Models A Semantic-based Approach
2010/2/28
Semantic Business Process Management is an emerging research area to support enterprises achieving economic and strategic objectives and improving their daily business. However, the magnitude of chang...
飞行控制软件测试中插桩技术的优化方法
飞行控制软件 覆盖测试 插桩
2010/2/10
飞行控制软件主要采用Host-Target的仿真测试模式，并基于插桩技术实现覆盖测试。针对采用传统的程序插桩技术，往往会大量增加程序运行时间，降低程序的实时性甚至导致软件失效的问题，通过分析插桩在程序仿真测试中对程序各阶段执行时间和程序实时性的影响，提出一种优化桩信息传输过程的插桩测试方法。实验结果表明了该方法的有效性。
基于Spring的MVC框架设计与实现
模型-视图-控制器模式 Spring框架 控制反转
2010/2/10
为构建高效、灵活且易于使用的模型-视图-控制器(MVC)模式实现机制，提出一种基于Spring框架的MVC框架。该框架使用JSP技术构建视图层，采用总体控制与局部控制相结合的方法增强控制层的功能，采用O/R Mapping类完成数据访问操作。基于IOC/AOP技术实现事务管理，并应用该框架开发网络收藏夹。
基于ODC的软件缺陷度量研究
软件度量 缺陷度量 正交缺陷分类
2010/2/1
从正交缺陷分类(orthogonal defect classification，ODC)出发，介绍在缺陷度量前需要收集的缺陷数据信息，阐述了缺陷属性的具体分类，然后从单维度和多维度两个角度介绍了如何利用ODC的缺陷属性进行度量分析，并给出了软件组织应用ODC的流程，最后提供了正交缺陷分类方法的应用实例，为缺陷度量的应用研究提供了一种思路。
基于UML状态图的类测试技术
UML状态图 测试序列 变异测试
2010/1/20
针对基于状态的类测试技术缺陷检测率较低的问题，提出一种使用等价类划分和边界值分析等功能性测试方法构建UML状态图的方法，描述基于W方法的测试序列生成策略，使用Mujava变异工具对方法的有效性进行检测。实验结果表明，该测试策略具有较高的缺陷检测率。
基于贝叶斯的软件可靠性评估研究
软件测试 贝叶斯公式 软件可靠性
2010/1/20
以贝叶斯公式为基础，根据软件正确性的先验概率密度函数以及正确通过软件测试案例的数量分布服从二项分布的数学特征，求得软件正确性概率的后验分布，并提出一种改进的软件可靠性评估方法，从而解决了软件测试可靠性评估过程复杂且计算量较大的问题。在Matlab平台上对软件系统(中文学习平台)的测试可靠性进行评估，实验结果表明，该方法具有较高的实用性。
基于WDAG的工作流模型优化分析
加权有向无环图 工作流 优化
2010/1/13
为优化过程执行，降低实际运行成本，采用加权有向无环图(WDAG)的形式对工作流进行优化分析。将WDAG中的节点、弧和权重映射为工作流模型中的事件、运行过程和付出代价，建立基于WDAG的工作流模型，针对工作流中出现频率最高的顺序运行方式，提出一种包含合并优化和并行优化2种优化策略的优化算法。模拟实验结果验证了该算法的有效性。