国家自然科学基金(60373053)
- 作品数：10 被引量：100H指数：5
- 相关作者：王永吉王晓曦周津慧王秀利孙亮更多>>
- 相关机构：中国科学院软件研究所哈尔滨工业大学香港理工大学更多>>
- 发文基金：国家自然科学基金教育部留学回国人员科研启动基金The Royal Society更多>>
- 相关领域：自动化与计算机技术理学生物学更多>>
- 多维计算机取证模型研究被引量：16
- 2005年
- 计算机取证的模型多种多样,但都没有从根本上解决计算机证据的可采用性问题。在对现有模型的深入研究和分析的基础上提出了一个多维计算机取证模型(Multi-DimensionForensicsModel,MDFM),该模型既兼容了现有的模型,又增加了时间约束和对取证过程的全程监督,使得取证策略可以随时间变化并可以把取证过程的监督数据作为证据的一部分呈堂。
- 丁丽萍王永吉
- 关键词：计算机取证计算机取证MODEL
- 论计算机取证工具软件及其检测
- 计算机取证工具用于计算机证据的获取、分析、传输、存档、保全和呈堂,为了确保计算机证据有较强的证明力并具备证据的可采用标准,用于计算机取证的工具软件必须进行严格的检测。本文论述了计算机取证的概念和步骤,提出了计算机取证软件...
- 丁丽萍王永吉
- 关键词：计算机证据计算机取证
- 文献传递
- VCSTalk:基于DEA的开源软件开发人员效率评价工具被引量：1
- 2007年
- 介绍了VCSTalk的具体设计和实现架构,并展示了它用于评价若干开源软件项目中的开发人员效率的一个具体实例。
- 童杰王永吉张曋
- 关键词：数据包络分析开源软件
- DENGENE:一种高精度的基于密度的适用于基因表达数据的聚类算法被引量：2
- 2007年
- 根据基因表达数据的特点,提出一种高精度的基于密度的聚类算法DENGENE。DENGENE通过定义一致性检测和引进峰点改进搜索方向,使得算法能够更好地处理基因表达数据。为了评价算法的性能,选取了两组广为使用的测试数据,即啤酒酵母基因表达数据集对算法来进行测试。实验结果表明,与基于模型的五种算法、CAST算法、K-均值聚类等相比,DENGENE在滤除噪声和聚类精度方面取得了显著的改善。
- 孙亮赵芳王永吉
- 关键词：基因表达数据聚类分析
- 基因表达数据的聚类分析研究进展被引量：29
- 2008年
- 基因表达数据的爆炸性增长迫切需求自动、有效的数据分析工具.目前聚类分析己成为分析基因表达数据获取生物学信息的有力工具.为了更好地挖掘基因表达数据,近年来提出了许多改进的传统聚类算法和新聚类算法.本文首先简单介绍了基因表达数据的获取和表示,之后系统地介绍了近年来应用在基因表达数据分析中的聚类算法.根据聚类目标的不同将算法分为基于基因的聚类、基于样本的聚类和两路聚类,并对每类算法介绍了其生物学的含义及其难点,详细讨论了各种算法的基本原理及优缺点.最后总结了当前的基因表达数据的聚类分析方法,并对发展趋势作了进一步的展望.
- 岳峰孙亮王宽全王永吉左旺孟
- 关键词：DNA微阵列基因表达数据聚类分析
- 基于改进网络模型的大时滞网络拥塞控制算法被引量：7
- 2005年
- 随着对网络拥塞控制的深入研究,出现了许多有关网络流量的控制理论及网络模型.Misra等人于2000年基于流体流(fluidflow)理论提出的模型被研究人员广为采用.但模型在推导过程中的一些近似却使得模型对网络行为描述不精确.本文对此从理论和实验结果两方面进行了详细分析,并对原模型进行了改进.基于改进的模型,把一种PID(ProportionalIntegralDifferential)及类PID设计方法用于AQM(ActiveQueueManagement)控制器的设计.对比仿真结果表明,该算法具有更好的性能.
- 王晓曦王永吉周津慧王秀利
- 关键词：网络模型拥塞控制主动队列管理大时滞
- NS2网络仿真器功能扩展方法及实现被引量：33
- 2004年
- NS2作为开源软件缺少对最新研究算法的模拟能力 .在现有软件基础上对其进行功能扩展极其必要 ,是模拟研究新理论新算法的基础 .本文着重探讨网络仿真软件 NS2的功能扩展原理及设计实现 ,展示运用 NS2仿真器对网络行为进行研究的过程 .最后对该算法进行模拟实验 ,并与已有 RED和 PI算法进行性能对比分析 .
- 王晓曦王秀利周津慧王永吉
- 关键词：网络仿真器网络拥塞控制NS2功能扩展PID控制
- RM及其扩展可调度性判定算法性能分析被引量：11
- 2005年
- 可调度性判定是实时调度算法的关键问题·单调速率算法RM(ratemonotonic)及其扩展是应用广泛的实时调度算法,大量文献讨论了实时任务在这些算法下的可调度性判定,给出了相应的判定算法·但迄今为止,对这些判定算法的性能分析都是理论上的定性分析或者只是少数几种判定算法之间的简单比较,这不利于实时系统的开发·归纳了RM及其扩展的可调度性判定算法,通过测试平台,系统地测试和分析了各算法的性能和适用场合,讨论了各种条件和实现方式对算法性能和可调度性的影响·
- 邢建生刘军祥王永吉
- 关键词：实时调度算法可调度性判定
- 面向入侵的取证系统框架被引量：1
- 2008年
- 在分析常见入侵攻击的基础上抽象出入侵过程的一般模式,提出针对入侵攻击的取证系统应满足的特征。提出了入侵取证模型,并基于这一取证模型在操作系统内核层实现了取证系统原型KIFS(kernel intrusionforensic system)。在对实际入侵的取证实验中,根据KIFS得到的证据,成功记录并重构了一个针对FreeBSD系统漏洞的本地提升权限攻击的完整过程。
- 周博文丁丽萍王永吉
- 关键词：入侵攻击计算机取证操作系统内核
- 基因电路研究综述
- 2006年
- 基因网络相关的研究是生物信息学的重要研究领域.基因电路方法是目前基因网络研究的一种重要方法,本文从以下角度介绍基因电路研究的进展情况及相关研究成果:构成基因电路的基本模块;基因电路的设计与实现;人工基因电路的应用.
- 童杰王永吉
- 关键词：基因网络
