淮晓永

作品数：18被引量：168H指数：8
导出分析报告
供职机构：中国科学院软件研究所更多>>
发文主题：实时系统开放系统自适应调度普适计算服务质量更多>>
发文领域：自动化与计算机技术自然科学总论医药卫生农业科学更多>>
发文期刊：《模式识别与人工智能》《计算机工程与应用》《计算机系统应用》《信息与控制》更多>>
所获基金：国家自然科学基金国家高技术研究发展计划国家科技重大专项国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于单条程序执行路径的错误定位方法
《计算机系统应用》2014年第10期112-118,共7页周艺 易秋萍 刘剑 淮晓永 
中国科学院知识创新工程重要方向性项目(KGCX2-YW-12);国家"核高基"重大科技专项(2010ZX01036-001-002-2);国家自然科学基金青年基金(61305054)
当程序在测试中发生错误时,将形成一条错误的程序执行路径,程序员将会花费很多精力去检测程序代码和定位最终的程序错误.提出一种基于单条程序执行路径的错误定位方法,该方法通过对程序进行反向执行,计算出多个最弱前置条件及其相对应...
关键词：错误定位 最弱前置条件 可满足性理论 动态分析 自动化测试 
基于语义的中文文本关键词提取算法被引量：48
《计算机工程》2012年第1期1-4,共4页王立霞 淮晓永 
国家自然科学基金资助项目(90920010);国家“863”计划基金资助项目(2008AA01Z145)
为克服传统关键词提取算法局限于字面匹配、缺乏语义理解的缺点,提出一种基于语义的中文文本关键词提取(SKE)算法。将词语语义特征融入关键词提取过程中,构建词语语义相似度网络并利用居间度密度度量词语语义关键度。实验结果表明,与基...
关键词：提取算法相比 SKE算法提取的关键词能体现文档的主题 更符合人们的感知逻辑 且算法性能较优.关键词:关键词提取 语义相似度 词语语义相似度网络 居间度 中文文本 
一种基于上下文协商的动态服务组合方法被引量：14
《计算机研究与发展》2008年第11期1902-1910,共9页唐磊 淮晓永 李明树 
国家"十五"科技攻关项目(2005BA113A02;2005BA113A03)~~
普适计算的计算环境和交互信息动态变化,为了提供适时适地的服务,服务组合除了满足用户的需求之外,还要适应环境的变化.以面向普适计算的分布式文档管理系统为例,提出一种基于上下文协商的动态服务组合方法,适应普适计算环境下资源动态...
关键词：上下文 协商 服务 服务组合 普适计算 
一种基于访问控制的安全Web服务发现机制被引量：4
《计算机工程》2008年第7期137-138,141,共3页韩隽 淮晓永 赵琛 
国家“十五”科技攻关计划基金资助项目(2005BA113A02)
当前的Web服务发现机制大多依赖集中式的统一描述、发现和集成注册中心,但组织机构出于安全和地域的考虑,倾向于构建私有的分布式注册中心,只有注册且可信的请求者才能浏览到他们有权限访问的服务信息。该文给出Web服务发现阶段基于角...
关键词：WEB服务 发现代理 统一描述、发现和集成 基于角色的访问控制 隐私保护 
一种面向网格计算的分布式匿名协作算法
《计算机研究与发展》2008年第z1期72-80,共9页石志国 贺也平 淮晓永 张宏 
国家自然科学基金项目(60673121,60073022,60373054);“十五”国家科技攻关计划基金项目(2005BA113A02)
基于TCG提出的可信计算技术为网格协作安全性提出一种匿名分组身份验证算法,该算法可以非常可靠地解决网格计算平台之间的身份匿名验证问题.算法使用一个硬件模块TPM解决远程的身份验证,并通过TPM机制可以提供可靠的匿名验证和平台认证...
关键词：信息安全 匿名协作 网格计算 验证算法 
面向普适计算的服务构件动态部署问题及算法被引量：10
《计算机研究与发展》2007年第5期815-822,共8页唐磊 廖渊 李明树 淮晓永 
国家"八六三"高技术研究发展计划软件重大专项基金项目(2004AA1Z2050);国家"八六三"高技术研究发展计划基金项目(2003AA115440;2004AA111120)~~
有限的资源是嵌入式应用的一个局限性,因此越来越多的嵌入式设备联网,通过共享资源为用户提供灵活的服务以适应普适计算的要求.以构件化嵌入式操作系统Liquid为背景,研究普适计算环境下多个服务构件动态部署问题,合理分配利用资源,克服...
关键词：普适计算 服务构件 服务质量 动态部署 资源利用率 
安全操作系统中基于安全性损害分析的可信恢复被引量：1
《计算机科学》2007年第2期264-266,273,共4页李松林 袁春阳 朱继峰 淮晓永 梁洪亮 贺也平 
科技部攻关项目;编号2005BA113A02;中国科学院研究生创新资金"安全操作系统中可信恢复的研究";发改委项目"安全系统软件产业化"资助
安全操作系统可能因为内部或外部的原因发生失效或中断,进而导致其安全性损害。本文首先描述了一个通用的安全模型,然后扩展此模型以描述安全操作系统中的安全性损害,并提出依据安全策略从安全审计日志中分析计算安全性损害的方法,最后...
关键词：安全性损害 可信恢复 机密性 完整性 安全操作系统 
QuCOM:一种面向构件系统的QoS管理模型被引量：5
《计算机研究与发展》2005年第10期1802-1808,共7页廖渊 淮晓永 李明树 
国家"八六三"高技术研究发展计划软件重大专项基金项目(2004AA1Z2050);国家"八六三"高技术研究发展计划软件专项基金项目(2003AA1Z2220;2003AA115440);国家自然科学基金项目(60273026)
在性能变化不确定的系统内,不同的应用处于竞争和共享有限的系统资源、并受其变化影响的环境中·在系统运行时,对于需要QoS保证的应用,为保证其QoS属性,应能适应于这种环境·考虑到系统资源的全局管理特性,仅从应用中增加适应机制是不够...
关键词：构件模型 框架 服务质量 QOS管理 
慢性阻塞性肺病中医五脏关系及其病变规律的研究被引量：16
《复杂系统与复杂性科学》2005年第3期38-42,共5页唐仕欢 淮晓永 吕冬梅 王丽华 杨洪军 黄璐琦 王永炎 
国家自然科学基金(70171062);国家重点基础规划项目(2003CB517106)
目的:用数据挖掘的方法分析慢性阻塞性肺病病变过程中中医五脏的传变规律及其相互影响关系。方法:建立慢性阻塞性肺病病例数据库,将数据库中的数据预处理转换,并导出到W eka的格式(.arff),然后利用W eka进行相关的数据挖掘分析。结果:...
关键词：数据挖掘 慢性阻塞性肺病 五脏 传变 
一种基于VNC的智能应用服务系统的设计和实现被引量：18
《计算机工程与应用》2004年第9期131-134,共4页刘奎恩 王青 淮晓永 
国家863高科技研究发展计划重点项目资助(编号:2001AA114060)
VNC是网络计算领域的一个重要发展,适用于运行在“瘦客户端”甚至“极瘦客户端”的终端设备上。但VNC在网络安全、会话保持、信息管理、交互性和兼容性功能上的不足与缺陷,使之并不能够应用于应用服务系统。该文面向应用服务系统,基于VN...
关键词：虚拟网络计算 应用服务系统 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部