搜索结果: 46-60 共查到“知识库 软件理论”相关记录126条 . 查询时间(3.561 秒)
基于GEP基因约简策略的多项式因式分解
多项式因式分解 进化计算 适应度计算
2009/11/3
将基于基因表达式编程（GEP）的公式发现技术用于多项式因式分解。对标准GEP中个体染色体适应度评价算法和遗传算子进行了改进，提出了一种新的基于GEP的基因约简算法及多项式因式发现算法（以下称FactorGEP算法)，分析了多项式因式发现的特殊困难，提出了将有效基因个数作为适应度评价因素的解决方案。试验结果表明，FactorGEP算法完全不需要关于分解的多项式的任何先验知识，可以自动对多项式进行因式...
有理参数多项式曲线的一种快速生成算法
有理参数多项式曲线 逐点生成算法 差分 整数加减法
2009/10/26
利用曲线各阶差分的递推计算，培出了有理参数多项式曲线的一种快速生成算法 在曲线的生成过程中只用到整数的加减法，故算法的效率较高.
油藏模拟线性解法包的并行实现
并行实现 油藏模拟线性解法包
2009/10/23
油藏模拟线性解法包的并行实现徐向明，孙家昶（中国科学院软件所并行软件研究开发中心）ＰＡＲＡＬＬＥＬＩＭＰＬＥＭＥＮＴＡＴＩＯＮＯＦＬＩＮＥＡＲＳＯＬＶＥＲＦＯＲＰＥＴＲＯＬＥＵＭＲＥＳＥＲＶＯＩＲＳＩＭＵＬＡＴＩＯＮ￥ＸｕＸｉａｎｇｍｉｎｇ；ＳｕｎＪ...
Vague集及其相似度量的新方法
Vague集 相似度量 隶属函数
2009/10/22
相似度量是Vague集研究中的一个重要内容，对于知识表达、模式识别等研究具有重要意义。引入了Vague值（集）相似度量的基本准则，并对现有的一些Vague值（集）相似度量方法进行研究，发现目前Vague值（集）相似度量方法存在一些缺陷，因此提出了一种新的Vague值（集）的相似度量方法，并通过数据分析验证了新方法的有效性。
基于多目标的随机合作博弈的模糊稳定集
多目标 随机合作博弈 模糊稳定集
2009/10/20
利用模糊数学相关理论，针对n人随机合作博弈的多重目标的情形，对其模糊特性进行分析，构造多重目标的随机合作博弈模型，进而得到随机合作博弈的区间模糊稳定集。考虑到盟友在合作结束后需要对具体的联盟收益进行分配，应用构造的区间模糊稳定集给出确定的收益分配势值区间。使用实例对该方法的有效性和可行性进行说明。
在传统的UML Statechart图中加入了数据流对象后，因为UML Statechart图缺乏精确的数据流语义，所以不适合应用UML Statechart图对工作流中的数据流进行建模并验证其正确性。为了解决这一问题，选择标记转换系统（LTS）作为语义域，并用结构化操作语义（SOS）分两步定义了UML Statechart图的数据流语义，为工作流中的数据流正确性验证奠定了基础。在此基础上，使用时...
面向云计算的虚拟机动态迁移框架
云计算 虚拟机监控器 动态迁移 服务等级协议
2010/3/4
根据云计算平台的特点，提出一种新型虚拟机动态迁移框架，并在Xen和KVM这2种典型的开源虚拟机监控器基础上，实现原型系统。测试结果表明，在不同类型计算资源的环境下，该动态迁移框架具有良好的性能，能够对动态迁移进行实时控制，从而满足服务等级协议的要求。
挖掘数据流频繁模式的相关技术和算法研究综述
数据流 频繁模式 概要数据结构
2009/10/10
数据流本身的特点使得静态挖掘方法不再满足要求。国内外学者已提出许多新的挖掘数据流频繁模式的方法和技术。对这些技术和算法进行了综述。首先介绍数据流的概念和特点，分析国内外的研究现状，总结了数据流中挖掘频繁模式的特点，并列出挖掘方法的常用技术和基于这些技术的代表性算法，最后讨论了将来的研究方向。
压缩金字塔树：有效的高维数据索引结构
压缩金字塔树 高维数据空间 索引结构
2009/9/30
提出了一种压缩金字塔树，基本思想是，首先将d维数据空间划分为2d个金字塔，由于在低维空间中无效的信息在高维数据空间中往往无效，采用γ划分策略对低维空间中的数据进行压缩，减小索引结构，解决了金字塔技术的缺点，给出了压缩金字塔树的插入、查询、删除算法。最后经实验证明，压缩金字塔树是一种有效的空间划分策略，在高维稀疏空间有良好的性能。
改进型EDF调度算法的研究与实现
EDF调度算法 截止期 相对价值
2009/9/27
分析实时系统EDF调度算法的优缺点，为优化报文调度，提出基于EDF的相对价值可提升的且相对价值最大的任务最优先调度算法，采用多个参数计算报文的优先级。实验结果表明，与传统EDF调度算法相比，改进型算法能充分利用总线带宽，对总线报文进行最优化调度。
基于面向对象程序的类动态更新研究
动态更新事务 类 面向对象
2009/9/27
从理论和实际2个方面出发，对面向对象程序动态更新的不同侧面进行研究，提出解决面向对象程序动态更新的方法。引入动态更新事务的概念，既克服了面向对象程序更新只能对类实行一些简单更新的限制，又保证了更新的类型安全性。对于Java程序设计，提出一种可动态更新程序的Java设计方法。实验结果表明，该方法是有效可行的。
基于用户满意度的网格资源调度遗传算法
网格计算 用户满意度 资源调度
2009/9/27
传统的网格资源调度研究注重调度的性能，很少考虑调度的服务质量。针对上述问题，设计3种类型的用户满意度评估方法衡量调度的服务质量，提出一种基于用户满意度的网格资源调度遗传算法，以用户满意度作为遗传变异的依据，实现网格资源调度过程的优化。实验表明，该算法能在保证较优调度性能的同时大幅度提高调度的服务质量。
虚拟机文件取证分析
虚拟机 VMware Workstation软件 取证
2010/4/23
介绍VMware Workstation软件常见的虚拟机磁盘文件结构及其含义，提出一种符合司法要求的虚拟机文件取证方法。通过直接扫描虚拟机文件，依据虚拟硬盘分区文件类型的存储结构定位虚拟机磁盘文件的虚拟主机的相应扇区，获取证据。以虚拟硬盘分区文件系统NTFS为例进行说明，探讨在虚拟机下进行计算机取证的策略。
Java程序中数组越界和空指针错误的静态分析
静态分析工具 Java代码 数组越界
2009/9/21
介绍了静态分析的相关背景知识，对Java程序中数组越界和空指针错误的常见表现形式进行了归类，并通过实验评估了现有的Java静态分析工具功能，指出了其在跨过程分析中的不足，并对如何改进进行了讨论。