国家重点基础研究发展计划(2007CB310900)
- 作品数：90 被引量：1,368H指数：12
- 相关作者：汤志忠柴旭东乔林李伯虎罗英伟更多>>
- 相关机构：清华大学江南计算技术研究所北京航空航天大学更多>>
- 发文基金：国家重点基础研究发展计划国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信机械工程水利工程更多>>
- 基于虚拟化技术的Java服务主动容错技术
- 2011年
- Java服务已成为支撑关键业务的业务服务,其可用性成为关键业务系统是否能持续提供服务的关键。从VMM(Virtual Machine Monitor)/JVM(Java Virtual Machine)/SAR(Software Aging and Rejuvenation)3种技术的角度阐述了有效改善Java服务可用性的主动容错技术。该方法有效利用了VMM增强系统可管理性,JVM提供Java服务托管运行环境和SAR提供软件老化解决办法的各自特点。
- 陈新石良军黄永忠贾江萍
- 关键词：虚拟化JVM高可用
- 利用信息检索和概率有限自动机的程序理解
- 2008年
- 为提高基于信息检索的程序理解方法的准确性,提出了一种结合信息检索和概率状态机的两阶段程序理解方法.在该方法中使用概率有限自动机(probabilistic finite-state automata,PFA)解决了信息检索结果在程序理解中的不确定性,同时采用信息检索构建了多个简单的PFA,而不是单个复杂的PFA,提高了PFA分析的伸缩性.训练阶段先采用隐式语义分析对源代码进行聚类,然后在聚类结果上生成PFA.在识别阶段以词法处理后的程序作为检索项在程序模板库中进行信息检索,取检索结果中的最相关的n项作为候选模板,由候选模板对应得到相应的PFA,通过分析找到最大概率的PFA,完成对源码内容的语义标注.
- 陈华王灿陈纯唐文彬钱剑飞
- 关键词：概率有限自动机信息检索软件工程
- 一种基于虚拟化哈佛体系结构的Rootkit技术被引量：2
- 2010年
- 通过修改操作系统内核的方式实现了哈佛内存体系结构的虚拟化,在操作系统层分离了对Rootkit代码的取指和数据操作,从而可以绕开内存扫描程序,实现攻击代码的隐藏.文中详细讨论了虚拟化哈佛体系结构的具体实现,并分析了它的有效性和对操作系统各个方面的影响.实验表明:该方法能很好地隐藏攻击代码,对操作系统的正常工作影响十分轻微.
- 易再尧黄本雄孙建华
- 关键词：虚拟化ROOTKIT
- 面向复杂定性系统的知识建模及联合仿真方法研究被引量：7
- 2011年
- 广泛存在于社会经济、国防工业等领域的复杂系统由于其具有系统机理及组成关系复杂、系统内部与环境间交互关系复杂、总体行为呈现非线性、涌现等特点,使得传统的定量建模仿真技术难以描述系统的复杂性特点。以实现定量模型与定性知识混合的系统建模描述与联合仿真为目的,在总结已有建模仿真方法的基础上,提出了复杂系统定性定量综合建模与仿真平台体系结构,并重点研究了定性建模和定性定量联合仿真两大关键技术。研究提出了一种支持定量/定性混合的图形化的复杂系统模糊定性知识建模方法——模糊因果导向图(模糊CDG)并探讨了其语法及推理方式,给出了基于自学习人工神经网络构建隶属云模型的定性定量转换方法。最后给出了研究成果在智能飞行器仿真领域的初步应用,并对进一步的研究工作进行了展望。
- 李潭李伯虎柴旭东范帅
- 关键词：隶属云
- 云制造——面向服务的网络化制造新模式被引量：837
- 2010年
- 为求解更加复杂的制造问题和开展更大规模的协同制造,分析了目前应用服务提供商、制造网格等现有网络化制造模式在应用推广等方面遇到的问题,阐述了云计算服务模式、云安全、高性能计算、物联网等理念和新技术对解决网络化制造中运营、安全等问题的契机。在此基础上提出了一种面向服务的网络化制造新模式——云制造。给出了云制造的定义,分析了云制造与应用服务提供商、制造网格等的区别。提出了一种云制造的体系结构,讨论了实施云制造所需攻克的关键技术和所取得的成果。最后,给出了一个云制造的典型应用案例——基于云仿真原型平台的云设计。
- 李伯虎张霖王时龙陶飞曹军威姜晓丹宋晓柴旭东
- 关键词：云制造网络化制造云计算云安全
- 无线传感器网络中基于最大堆的聚合路由算法
- 2009年
- 综合考虑了节点剩余能量和数据传输距离的影响,结合数据聚合提出了一种基于最大堆的聚合路由算法。算法利用节点剩余能量和传输距离作为参数来建立一个堆,把能耗分布到整个网络,提高网络的生存时间。仿真结果表明,新算法与平衡树路由算法相比有效地延长了网络的生存周期。
- 郭美云谭怀亮
- 关键词：无线传感器网络
- Horde:面向多核集群的并行编程框架
- 2011年
- 并行程序可以充分发掘硬件计算能力并提高程序性能,但是在多核集群环境中编写并行程序十分复杂。该文提出了面向多核集群的并行编程框架,Horde。Horde提供了一组简单易用的消息传递接口和事件驱动(event-driven)编程模型,用以帮助程序员表达算法逻辑中潜在的并行性,将计算分解与底层硬件结构去耦合,从而简化编写并行程序的复杂度,灵活地在不同的底层结构的集群上进行映射并能保持良好的性能。此外,Horde也提供了有效的任务对象迁移机制,可以实现动态负载均衡与在线容错。在128核集群上的实验表明:Horde可以有效执行并行程序,并且可以实现高效的任务对象迁移。
- 薛巍张凯陈康
- 关键词：分布式操作系统并行编程多核集群容错
- iSCSI网络计算模式下的可靠多播策略被引量：2
- 2011年
- 在基于iSCSI的网络计算系统中,当多客户主机同时向存储服务器发出I/O请求时,由于I/O到达模式和访问模式在不同尺度下都具有相似的突发性,因此如何根据I/O负载特征,提升iSCSI网络计算环境下的数据传输性能就成为一个必须解决的问题.通过对iSCSI网络计算系统下的I/O特征进行相似负载建模分析,针对多客户端之间存在相似负载特性,提出了一种iSCSI网络计算环境下的可靠多播策略:基于相似负载的iSCSI可靠多播.通过对I/O请求数据块进行相似负载判定和对iSCSI协议的扩展,在iSCSI网络计算系统中构建数据传输双路径:iSCSI协议数据包路径和相似负载的多播路径,来加速网络计算数据的加载性能,设计了基于树的广度优先搜索算法来判定相似负载、一种基于相似负载实现I/O路径选择的多播监控代理及Cache优化算法.测试结果表明,该策略能够提升多个客户主机的并发I/O性能.
- 谭怀亮朱存望张镇平
- 关键词：网络计算ISCSI可靠多播
- 普适化仿真网格中仿真服务迁移技术的研究被引量：2
- 2009年
- 为了满足普适化仿真网格中节约网络带宽、资源配置优化和负载平衡、支持离线服务的应用需求,研究提出了基于移动Agent和上下文感知技术的仿真服务迁移机制。在实现上,定义了仿真服务迁移代理及其内部模块组成,设计了与外部环境进行交互的三类接口,设计了仿真服务和客户端与迁移相关的通用接口,实现了对仿真服务迁移全生命周期的管理;提出了一种基于上下文感知的仿真服务迁移策略。最后,给出了普适化仿真网格中仿真服务迁移的具体实现。
- 唐震李伯虎柴旭东宋长峰
- 关键词：移动AGENT上下文感知
- 基于虚拟机的多个安全级别的日志生成方法
- 2013年
- 该文的研究目的是提高日志在计算机系统中安全,为数据追踪和分析提供数据的修改情况的可靠依据。与数据类似,日志也有不同的安全级别(SL)。当不同权限的访问者做日志分析、审计等工作时,需要不同SL的日志,可以用多个虚拟机(VM)得到多个SL的数据文件日志。为此,根据数据文件受保护程度,把它们隔离存放在多个SL的工作VM内。当数据文件被访问时,用虚拟机监视器截取每个访问操作,并在日志VM内生成相应的日志。由于工作VM的SL不同,对应的日志VM的SL不同,所得到的日志的SL也各不相同。当VM之间共享文件或者由工作VM向日志VM传递数据时,访问控制模块按规则控制数据的流向。在带有sHype的虚拟机监视器xen的基础上所做实验表明:用多个VM生成多级安全日志的方法对数据文件访问性能的影响比较低。
- 赵斯琴付勇陈康郑纬民
- 关键词：数据文件日志虚拟机
