开金宇

作品数：17被引量：22H指数：2
导出分析报告
供职机构：上海大学计算机工程与科学学院更多>>
发文主题：WEB服务可靠性分析机械分词实时数据库WEB服务系统更多>>
发文领域：自动化与计算机技术历史地理文化科学更多>>
发文期刊：《计算机工程与设计》《哈尔滨商业大学学报（自然科学版）》《东南大学学报（自然科学版）》《福州大学学报（自然科学版）》更多>>
所获基金：国家自然科学基金上海市自然科学基金河南省教育厅自然科学基金广西壮族自治区自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于概率模型检验的Web服务系统可靠性分析被引量：1
《东南大学学报（自然科学版）》2017年第A01期132-139,共8页高洪皓 开金宇 周家安 缪淮扣 黄婉秋 王皙 
国家自然科学基金资助项目(61502294,61572306);国家重点研发计划资助项目(2015BAH17F02);上海市自然科学基金资助项目(15ZR1415200);赛尔网络下一代互联网技术创新资助项目(NGII20160325);上海高校青年教师培养资助计划资助项目(ZZSD15071)
为了实现对Web服务系统进行可靠性分析,采用概率模型检验技术对其行为模型进行形式化验证是一种有效方法.但该方法需要对服务系统的分布式特征进行建模,因此利用分布式日志收集系统Flume NG实时收集Web服务器日志并对其进行预处理操作,...
关键词：WEB服务系统 概率迁移矩阵 概率模型检验 可靠性分析 分布式日志处理 
基于阈值筛选模糊分簇的WSN数据稳定汇聚算法被引量：4
《计算机工程与设计》2016年第9期2315-2320,共6页谷川 张志彦 开金宇 
国家自然科学基金项目(60875081);河南省教育厅自然科学研究计划基金项目(2009B520001)
为改善当前WSN数据稳定汇聚过程中难以动态筛选最佳簇头节点及数据传输过程中节点内部竞争过度导致数据传输抖动的问题,提出一种基于阈值筛选模糊分簇的无线传感网数据稳定汇聚算法。在分簇过程中基于模糊思想形成分簇阈值,根据阈值水...
关键词：无线传感器网络 数据汇聚 模糊分簇 阈值筛选 周期轮换 剩余能量 
Web服务计算组合流程QoS验证被引量：3
《计算机科学》2015年第12期120-123,147,共5页开金宇 缪淮扣 高洪皓 
国家自然科学基金项目(60970007;61170044;61572306;61502294);上海市自然科学基金项目(15ZR1415200);上海高校青年教师培训资助计划(ZZSD13008)资助
在满足功能需求的前提下,Web服务能否赢得市场,主要取决于其服务质量(Quality of Services,QoS)。采用概率模型检验的方法判断Web服务计算组合流程的服务质量是否满足系统质量需求。依据用户访问Web服务产生的访问日志,采用聚类的方法,...
关键词：Web服务质量需求 面向用户群组的服务流程QoS模型 概率模型检验 
面向概率服务组合系统的需求描述被引量：2
《小型微型计算机系统》2015年第11期2504-2509,共6页开金宇 缪淮扣 高洪皓 
国家自然科学基金项目(60970007;61170044;61572306;61502294)资助;上海市自然科学基金项目(15ZR1415200)资助;上海高校青年教师培训计划项目(ZZSD13008)资助
高度开放的计算环境使web服务系统面临各种不确定性.为了有效地配置计算资源以实现系统业务价值最大化,需要对不确定的概率服务组合系统需求进行建模.在LSC的基础上,提出一种基于三段式概率消息的需求描述语言p LSC,用于描述概率服务组...
关键词：随机场景 三段式概率消息 随机状态对象化 pLSC需求描述语言 
反应式软件形式化系统研究系统分析被引量：1
《哈尔滨商业大学学报（自然科学版）》2014年第4期477-481,共5页许明 开金宇 肖蕾 
厦门市科技计划项目(3502Z20133043)
从形式化系统理论出发,介绍形式化系统的组成和性质、形式化系统的发展,阐述了形式化系统理论在描述反应式软件系统行为状态变化理论方面的应用,展示了构建反应式软件系统行为状态变化的形式化系统的过程.为形式化系统方法在反应式软件...
关键词：形式化方法 形式化系统 形式化语言 迁移系统 计算模型 
基于LSC的形式化验证方法
《邵阳学院学报（自然科学版）》2014年第4期6-11,共6页许明 开金宇 
厦门市科技计划项目(3502Z20133043)
调查研究了LSC在形式化验证方法中的作用的研究发展现状,包括LSC在从系统行为需求描述转换形成模型检验的系统行为模型中的作用的研究现状,LSC在抽取待验证系统性质的作用的研究现状,LSC在模型检验中的作用的研究现状,展望了LSC在未来...
关键词：形式化验证技术 模型检验 LSC 
利用Matlab对甲骨文视频输入材料预处理研究被引量：1
《哈尔滨商业大学学报（自然科学版）》2014年第3期374-377,共4页陈荣赏 开金宇 冯杰 
河南省教育厅人文社会科学研究项目(2011-QN-201);河南省教育厅自然科学研究计划项目(2011B520003);安阳师范学院大学生创新基金(ASCX/2012-Z16);国家自然科学基金研究项目(60973051)
要对甲骨文材料进行信息化研究,输入甲骨文材料是必不可少的一项工作.对于原始象形的契刻文字甲骨文,当前的各种输入法都存在不可解决的弊端,通过视频设备输入甲骨文材料无疑是一种非常理想的解决方案.利用矩阵计算工具Matlab对甲骨文...
关键词：甲骨文字视频输入 归一化 灰度转化 去噪 二值化 细化 MATLAB 
用Python实现从XMI到SMV的程序转换器
《福州大学学报（自然科学版）》2014年第1期50-54,共5页许明 开金宇 
福建省教育厅科研资助项目(JA11241)
在使用NuSMV模型检验工具时,常常先使用UML的状态图对系统进行行为建模,然后再使用NuSMV输入语言的语法描述该模型,这个过程繁琐,有时会出现人为的转换错误.为此,设计了XMI2SMV代码转换器,并用Python编程语言实现了这个工具,降低了模型...
关键词：PYTHON XMI SMV代码 模型检验 
使用机械分词与特征扫描实现对甲骨卜辞的切分被引量：2
《苏州市职业大学学报》2013年第4期2-6,共5页陆公正 开金宇 
国家自然科学基金资助项目(61272259);国家自然科学基金资助项目(6087508);苏州市云计算智能信息处理高技术研究重点实验室开放基金资助项目(SXZ201303)
依据甲骨文语法及甲骨文词典对甲骨卜辞进行切分,是建立甲骨文语料库实现计算机辅助甲骨文考释的前提和基础.针对甲骨卜辞的切分,采用机械分词与特征扫描相结合的中文分词技术对200条比较完整的卜辞进行切分实验,将只使用机械分词和结...
关键词：甲骨卜辞 分词技术 机械分词 特征扫描 LUCENE 
甲骨刻辞词性标注语料库系统设计与实现被引量：2
《殷都学刊》2011年第2期32-34,共3页开金宇 刘永革 李欣 
国家自然科学基金重点项目(6087508)资助
使用计算机辅助甲骨学研究,建设甲骨刻辞词性标注语料库是必不可少的一项基础性工程。现在还没有现成的甲骨刻辞词性标注语料库,因此,有必要设计和实现甲骨刻辞词性标注语料库系统。这个标注系统结合人工标注、机器标注和人工审核,循环...
关键词：甲骨刻辞词性标注语料库 机械分词 特征扫描 最大概率标注法 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部