中国科学院计算机科学国家重点实验室开放课题基金

作品数：18被引量：38H指数：3
导出分析报告
相关作者：华庆一蒋运承王驹买桂英张维更多>>
相关机构：中国科学院软件研究所西北大学广西师范大学华南师范大学更多>>
相关期刊：《计算机技术与发展》《计算机工程与设计》《计算机学报》《系统仿真学报》更多>>
相关主题：描述逻辑逻辑系统VRML互动笔式用户界面更多>>
相关领域：自动化与计算机技术自然科学总论文化科学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于LFSN和小波变换的业务流预测算法
《计算机工程》2014年第10期214-218,共5页陈国彬 张广泉 
江苏省自然科学基金资助项目(BK2011152);中国科学院计算机科学国家重点实验室开放课题基金资助项目(CSYSKF0908);重庆市教委科学技术研究基金资助项目(KJ133103)
针对实际业务流预测精度偏低的问题,结合线性分形稳定运动(LFSM)模型和小波变换提出一种新的业务流预测算法(SPWL)。定义线性分形稳定噪声(LFSN)分布特征,利用离散傅里叶变换产生满足LFSN过程的数列,并给出实际业务流数据拟合方法。通...
关键词：业务流 预测精度 分布特征 线性分形稳定运动 小波 
描述逻辑系统εLN中概念最小公共包含推理研究被引量：2
《计算机工程与科学》2012年第2期139-145,共7页张维 曹发生 余泉 王驹 
国家自然科学基金资助项目(60663001);中国科学院计算机科学国家重点实验室开放课题基金资助项目(SYSKF0904);贵州省教育厅自然科学基金资助项目(黔教科20090047);贵州省科学技术基金资助项目(黔科合J字[2009]2068)
描述逻辑的非标准推理是上世纪末本世纪初研究者们提出来的一种新的推理机制,它主要包括最具体概念、最小公共包含、匹配问题以及概念的重写等等。非标准推理的提出主要是为了解决人们在知识库的构建、管理、维护等方面遇到的问题,它能...
关键词：描述逻辑 描述树 同态 最小公共包含 
异构传感器网络的一种可调节的拓扑控制算法
《计算机研究与发展》2010年第S2期45-49,共5页陈雷 张广泉 戎玫 
中国科学院计算机科学国家重点实验室开放课题基金项目(SYSKF0908);江苏省高校自然科学基金项目(08KJB520010)
在无线传感器网络(WSN)的拓扑控制问题中,良好的拓扑结构能够提高路由协议和MAC协议的效率,但是WSN易受外界环境的影响,所以需要设计拓扑结构也能随着环境的变化而变化.而以前的拓扑结构大部分都是固定的,它们的缺点是不能适合环境的变...
关键词：拓扑控制 异构 无线传感器网络 ATCH 输入图 
基于AHP的企业绩效网络考核系统设计被引量：4
《计算机工程与设计》2010年第11期2667-2669,2674,共4页邓式阳 杜玉越 董云清 
国家自然科学基金项目(60773034;90818023;60803032);山东省科技发展计划基金项目(2008GG30001024);中国科学院计算机科学国家重点实验室开放课题基金项目(SYSKF0804)
企业绩效具有多维性的特点,考核对象较多、考核指标复杂、主观评价指标权重难以确定使考核有一定模糊性,难以保证可靠与公平。使用层次分析法对考核指标划分层次结构,进行定性和定量分析,结构清晰,数据准确,提高了绩效考核的准确性。在...
关键词：层次分析 绩效考核 指标量化 判断矩阵 一致性检验 
描述逻辑系统FLEN中概念的最小公共包含算法研究被引量：5
《计算机研究与发展》2010年第6期1053-1059,共7页张维 侯金宏 曹发生 王驹 蒋运承 
国家自然科学基金项目(60663001);中国科学院计算机科学国家重点实验室开放课题基金项目(SYSKF0904);广西自然科学基金项目(桂科自0991100);贵州省科学技术基金项目(黔科合J字[2009]2068号);贵州省教育厅自然科学基金项目(黔教科2008090)
描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等.过去人们主要研究那些不含数量限制的描述逻辑系统,研究的是描述逻辑系统FLEN中的一种重要的非标准推理——概念...
关键词：描述逻辑 非标准推理 概念描述树 最小公共包含 算法 
一种集成类层次和系统层次的面向对象软件复杂性度量集被引量：3
《计算机研究与发展》2010年第S1期237-242,共6页李大鹏 郭平 陈新宇 
国家"八六三"高技术研究发展计划基金项目(2009AA010314);国家自然科学基金项目(90820010;60911130513);中国科学院计算机科学国家重点实验室开放课题基金项目(SYSKF0906)
分析了面向对象软件类级别的度量CK和Li方法以及系统级别的度量MOOD方法,并结合面向对象技术的特性用Weyuker度量评价标准对这些方法固有的缺陷和不足进行了分析.在此基础上,结合CK,Li和MOOD方法的优点提出了较为全面的综合考虑类级别...
关键词：软件度量 面向对象 CK LI MOOD ISCM 
基于MDA和可执行形式化的可信软件设计被引量：1
《计算机工程》2009年第19期138-140,共3页唐艳 杜玉越 刘伟 
国家自然科学基金资助项目(60773034);国家"973"计划基金资助项目(2004CB318001-03);中国科学院计算机科学国家重点实验室开放课题基金资助项目(SYSKF0804);山东省"泰山学者"建设工程专项基金资助项目
提出基于模型驱动架构的软件开发过程,利用可执行形式化规范,有效提高软件开发效率和可测试性,并通过基于可执行规范的运行时监控技术保证系统行为的可信性,降低由于软件测试阶段遗留的错误以及系统受到非法入侵所带来的风险。
关键词：可执行形式化 PETRI网 可信软件体系 模型驱动的体系结构 
独立于设计者的行动推理
《计算机研究与发展》2009年第11期1917-1924,共8页周生明 王驹 蒋运承 
国家自然科学基金项目(60573010;60663001);中国科学院计算机科学国家重点实验室开放课题基金项目(SYSKF0904);广西自然科学基金项目(桂科自0991100)~~
高水平的智能机器人要求能够独立地对环境进行感知并进行正确的行动推理.在情境演算行动理论中表示带有感知行动及知识的行动推理需要外部设计者为agent写出背景公理、感知结果及相应的知识变化,这是一种依赖于设计者的行动推理.情境演...
关键词：情境演算 行动推理 感知行动 知道逻辑 知识流 
3IBook:一个面向儿童的界面隐喻的分析、设计与评估被引量：3
《计算机辅助设计与图形学学报》2009年第10期1500-1506,共7页梁怀宗 华庆一 张凤军 刘庆芳 
国家"八六三"高技术研究发展计划(2006AA01Z328);中国科学院计算机科学国家重点实验室开放课题基金(SYSKF0704);国家自然科学基金(60873095)
计算的无处不在使得计算机已成为儿童学习、娱乐的工具,而设计和开发面向儿童的互动系统的主要瓶颈在于如何设计界面隐喻,使其更易于儿童理解和使用.通过对现有界面隐喻的分析,针对儿童的认知特征提出一个基于儿童卡通读物的界面隐喻—...
关键词：用户界面 界面隐喻 视频手势 儿童游戏 
带n-元存在量词的描述逻辑MSC推理被引量：2
《计算机学报》2009年第8期1500-1510,共11页蒋运承 唐素勤 
国家自然科学基金(60663001;60573010);中国科学院计算机科学国家重点实验室开放课题基金(SYSKF0904);广西自然科学基金(桂科青0640030;桂科自0991100;桂科自0832103)资助~~
分析了描述逻辑非标准推理的重要性,特别分析了描述逻辑MSC(Most Specific Concept)推理的研究现状和存在的问题.针对目前描述逻辑MSC推理不能处理n-元存在量词的不足,研究了带n-元存在量词的描述逻辑εL(n)的MSC推理问题.提出了一种新...
关键词：描述逻辑 n-元存在量词 描述树 描述图 非标准推理 MSC 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部