云南高校图书馆联盟文献共享服务平台- 国家自然科学基金(60973041)

国家自然科学基金(60973041): 作品数：25被引量：105H指数：5; 导出分析报告; 相关作者：刘淑芬王晓燕韩璐韩啸徐天琦更多>>; 相关机构：吉林大学河南理工大学吉林省计量科学研究院更多>>; 相关期刊：《Chinese Journal of Electronics》《吉林大学学报（理学版）》《吉林大学学报（信息科学版）》《电子学报》更多>>; 相关主题：角色计算机应用基于角色WEB服务质量MDA更多>>; 相关领域：自动化与计算机技术理学更多>>

Quantitative Verification of Knowledge Precondition for Open System: 《Chinese Journal of Electronics》2016年第2期227-233,共7页XU Weifeng LIU Shufen WANG Xiaoyan; supported by the National Natural Science Foundation of China(No.60973041); A quantitative verification method is proposed to quantitatively verify knowledge precondition of actions and plans. Probability epistemic game structure(PEGS) is proposed to model knowledge preconditions in open syst...; 关键词：Quantitative verification Knowledge precondition Alternating-time temporal logic（ATL） Open system

基于sFlow的分布式网络流量分析系统被引量：2: 《吉林大学学报（理学版）》2015年第5期987-991,共5页郭峰赫刘淑芬; 国家自然科学基金(批准号:60973041);吉林省科技发展计划项目(批准号:20112112); 设计一种分布式流量分析系统,该系统利用分布式计算方法处理大量的sFlow采集信息,避免了传统sFlow收集器在处理大量数据时成为系统瓶颈的问题.; 关键词：SFLOW技术网络流量分析 HADOOP 分布式系统

基于概率策略逻辑的VANET信息广播模型定量验证方法研究被引量：2: 《电子学报》2015年第8期1610-1615,共6页李树秋刘淑芬王晓燕徐伟峰陆闯; 国家自然科学基金(No.60973041); VANET网络中信息的发送和接收具有随机性和不确定性,IEEE 802.11p广播协议无法适应VANET网络拓扑动态变化,于是研究者们根据不同环境中的具体应用需求提出了各种VANET广播协议,如何对新提出的协议的性能以及可靠性进行分析与验证是一个...; 关键词：VANET 定量验证基于角色的概率系统概率策略逻辑

基于概率时间自动机Web服务质量的形式化建模分析被引量：1: 《吉林大学学报（理学版）》2015年第3期531-537,共7页陆闯刘淑芬王晓燕; 国家自然科学基金(批准号:60973041);国家高技术研究发展计划863项目基金(批准号:2009AA010314);吉林省科技发展计划项目(批准号:20115007); 针对拓展的Web服务体系结构,利用概率时间自动机(probabilistic timed automata,PTA)对Web服务组合进行形式化建模,将Web服务组合的过程理解为一个实时系统的运行过程,进而对Web服务组合的整体服务质量(quality of service,QoS)进行定...; 关键词：WEB服务组合概率时间自动机定量建模分析 WEB服务质量

构建单字词表识别未登录词的方法被引量：2: 《吉林大学学报（理学版）》2015年第2期307-310,共4页于童刘淑芬; 国家自然科学基金(批准号:60973041);吉林省科技发展计划项目(批准号:20112112); 针对目前中文分词技术主要依赖于常用词词典,而词典对未登录词识别率较低的问题,提出一种用双词典识别未登录词的方法,即构建一个常用词词典和一个单字词词典,二者相互结合进行分词,有效解决了对未登录词识别效率偏低的问题.实验表明,...; 关键词：单字词表未登录词中文分词双词典法

基于遗传模拟退火算法的改进K-medoids算法被引量：9: 《吉林大学学报（工学版）》2015年第2期619-623,共5页韩啸刘淑芬徐天琦; 国家自然科学基金项目(60973041); 针对标准K-medoids算法在大数据聚类应用中易陷入局部最优解以及聚类效果受初始中心限制的缺点,提出了基于遗传模拟退火算法的K-medoids改进算法。该算法结合遗传算法和模拟退火算法,可以增强标准K-medoids算法在聚类时的全局搜索能力,...; 关键词：计算机应用聚类 K-medoids算法遗传模拟退火算法

A Matching Algorithm Based on Association Rules in Ontology Based Publish/Subscribe System被引量：2: 《Chinese Journal of Electronics》2015年第1期65-70,共6页LIU Shufen CHI Meng YAO Zhilin; supported by the National Natural Science Foundation of China(No.60973041); In this paper, we introduce association rules into the event matching process, and propose a matching algorithm based on association rules in ontologybased publish/subscribe system. The algorithm discovers association...; 关键词：Association RULES ONTOLOGY MATCHING PUBLISH/SUBSCRIBE system.

基于转换的攻击图分析方法研究被引量：4: 《电子学报》2014年第12期2477-2480,共4页闫峰刘淑芬冷煌; 国家863高技术研究发展计划重点项目(No.2009AA010314863);国家自然科学基金(No.60973041); 攻击图是一种分析计算机网络脆弱性的有效工具,它以图的方式描述了攻击者利用系统漏洞和单元间脆弱性信息综合入侵目标网络的行为过程.针对攻击图的最优弥补集问题,文章论证了最优弥补集问题与加权碰集问题之间的等价性,并提供了相应的...; 关键词：攻击图最优弥补集转换全局最优解

基于故障树和Bayes网络组合的装备故障诊断被引量：4: 《吉林大学学报（理学版）》2014年第5期982-988,共7页刘淑芬杨双双王辉; 国家自然科学基金(批准号:60973041);国家高技术研究发展计划863重点项目基金(批准号:2009AA010314);吉林省科技发展计划项目(批准号:2011507); 针对故障树和Bayes网络在故障诊断中的局限性,提出一种使用故障树和Bayes网络组合的方式建立诊断故障Bayes网络,并基于诊断故障Bayes网络运用联合树推理进行故障诊断的方法.该方法解决了在复杂系统故障诊断过程中独立运用故障树和Bayes...; 关键词：故障树 BAYES网络联合树故障诊断

基于负载均衡的任务调度算法被引量：12: 《吉林大学学报（理学版）》2014年第4期769-772,共4页张腊刘淑芬韩璐; 国家自然科学基金(批准号:60973041); 基于传统任务调度算法,通过在调度过程中增设服务器最佳期望序列及负载均衡指数,采用任务连接数约束服务器选择,解决了传统任务调度算法对于集群负载均衡性能的忽略问题.实验结果表明,该改进算法能达到较高负载均衡度,同时缩短任务完成...; 关键词：负载均衡任务调度服务器集群

国家自然科学基金(60973041)