您的位置： 专家智库 > >

开金宇

作品数：22 被引量：34H指数：3
供职机构：上海大学计算机工程与科学学院更多>>
发文基金：国家自然科学基金上海市自然科学基金河南省教育厅自然科学基金更多>>
相关领域：自动化与计算机技术历史地理文化科学更多>>

合作作者

文献类型

  • 17篇期刊文章
  • 2篇学位论文
  • 1篇会议论文
  • 1篇专利
  • 1篇科技成果

领域

  • 19篇自动化与计算...
  • 1篇文化科学
  • 1篇历史地理

主题

  • 4篇数据库
  • 3篇可靠性
  • 3篇可靠性分析
  • 3篇WEB服务
  • 2篇形式化
  • 2篇实时数据
  • 2篇实时数据库
  • 2篇系统可靠性
  • 2篇系统可靠性分...
  • 2篇课程
  • 2篇机械分词
  • 2篇甲骨
  • 2篇教学
  • 2篇教学改革
  • 2篇分词
  • 2篇WEB服务系...
  • 1篇代码
  • 1篇单点
  • 1篇单点登录
  • 1篇登录

机构

  • 13篇安阳师范学院
  • 10篇上海大学
  • 4篇广西大学
  • 4篇厦门理工学院
  • 2篇广西财经学院
  • 2篇许昌学院
  • 2篇上海市计算机...
  • 1篇苏州市职业大...
  • 1篇广西国际商务...

作者

  • 22篇开金宇
  • 4篇缪淮扣
  • 4篇高洪皓
  • 3篇莫林
  • 3篇许明
  • 2篇郑华
  • 2篇刘永革
  • 2篇程菊明
  • 1篇栗青生
  • 1篇王天林
  • 1篇李伟荣
  • 1篇肖蕾
  • 1篇韩江苏
  • 1篇葛彦强
  • 1篇王皙
  • 1篇高峰
  • 1篇刘尊敬
  • 1篇刘小韩
  • 1篇曾红卫
  • 1篇聂艳召

传媒

  • 2篇福建电脑
  • 2篇哈尔滨商业大...
  • 1篇价值工程
  • 1篇东南大学学报...
  • 1篇福州大学学报...
  • 1篇计算机应用与...
  • 1篇微机发展
  • 1篇小型微型计算...
  • 1篇计算机系统应...
  • 1篇计算机工程与...
  • 1篇微计算机信息
  • 1篇殷都学刊
  • 1篇计算机科学
  • 1篇苏州市职业大...
  • 1篇邵阳学院学报...

年份

  • 2篇2017
  • 3篇2016
  • 2篇2015
  • 4篇2014
  • 1篇2013
  • 1篇2011
  • 3篇2010
  • 2篇2008
  • 1篇2007
  • 2篇2006
  • 1篇2005
共 22 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
虚拟引擎的基本构成及其若干渲染算法研究被引量：1
2007年
虚拟引擎是构成虚拟现实应用的重要工具,不同的应用需求所要求的虚拟引擎的性能会有差异,其中提高画面显示速度和质量是其关键的技术。本文系统介绍了虚拟引擎的基本框架及其所包含的基本功能模块,并以渲染模块为重点,讨论了其所使用的若干关键算法,在实际的工程应用提供一定参考。
程菊明开金宇
关键词：虚拟引擎碰撞检测可见性裁剪
一种基于状态图的代码化验证方法
本发明涉及一种基于状态图的代码化验证方法，包括步骤：1)用ArgoUML状态图描述目标软件需求，进行需求分析；2)将ArgoUML输出的文件作为提取目标，抽取其状态图描述文件；3)解析状态图描述文件，获取状态图的节点状态...
高洪皓缪淮扣许杰品曾红卫开金宇
文献传递
用Python实现从XMI到SMV的程序转换器
2014年
在使用NuSMV模型检验工具时,常常先使用UML的状态图对系统进行行为建模,然后再使用NuSMV输入语言的语法描述该模型,这个过程繁琐,有时会出现人为的转换错误.为此,设计了XMI2SMV代码转换器,并用Python编程语言实现了这个工具,降低了模型检验工具的使用难度.
许明开金宇
关键词：PYTHONXMI
反应式软件形式化系统研究系统分析被引量：1
2014年
从形式化系统理论出发,介绍形式化系统的组成和性质、形式化系统的发展,阐述了形式化系统理论在描述反应式软件系统行为状态变化理论方面的应用,展示了构建反应式软件系统行为状态变化的形式化系统的过程.为形式化系统方法在反应式软件系统理论描述方面的应用进行总结,为形式化方法在更广泛的软件系统特定理论应用理清了思路.
许明开金宇肖蕾
关键词：形式化方法形式化语言
Web服务计算组合流程QoS验证被引量：3
2015年
在满足功能需求的前提下,Web服务能否赢得市场,主要取决于其服务质量(Quality of Services,QoS)。采用概率模型检验的方法判断Web服务计算组合流程的服务质量是否满足系统质量需求。依据用户访问Web服务产生的访问日志,采用聚类的方法,构建面向用户群组的Web服务流程的使用行为QoS模型。采用QoS扩展的状态图描述Web服务流程的QoS需求。然后,利用概率模型验证工具PRISM判断Web服务流程的QoS是否满足系统质量需求。验证面向用户群组的Web服务流程的使用行为质量模型是否满足系统质量需求,为服务流程结构的调整提供了依据。
开金宇缪淮扣高洪皓
基于概率模型检验的Web服务系统可靠性分析被引量：1
2017年
为了实现对Web服务系统进行可靠性分析,采用概率模型检验技术对其行为模型进行形式化验证是一种有效方法.但该方法需要对服务系统的分布式特征进行建模,因此利用分布式日志收集系统Flume NG实时收集Web服务器日志并对其进行预处理操作,针对日志采集频率问题采用Kafka进行日志缓存,通过Storm分析日志数据并构造用于描述服务可靠性的概率迁移矩阵.采用概率标签迁移系统PLTS描述服务行为模型,采用概率计算树逻辑PCTL描述服务系统需求性质,集成概率模型检验器PRISM支持自动化定量验证和分析,从而实现基于概率模型检验的Web服务可靠性分析.最后通过案例研究和验证数据分析证明所提方法的有效性和可行性.
高洪皓高洪皓开金宇缪淮扣黄婉秋缪淮扣
关键词：WEB服务系统可靠性分析
面向概率服务组合系统的需求描述被引量：2
2015年
高度开放的计算环境使web服务系统面临各种不确定性.为了有效地配置计算资源以实现系统业务价值最大化,需要对不确定的概率服务组合系统需求进行建模.在LSC的基础上,提出一种基于三段式概率消息的需求描述语言p LSC,用于描述概率服务组合系统中随机场景描述的不确定的需求.从马尔可夫随机过程特性出发,提出随机变量与消息相结合的三段式概率消息概念,p LSC语言是一种基于三段式概率消息的需求描述语言,将三段式概率消息中随机变量对象化,通过随机变量对象消息交互序列直观表示随机场景描述的系统需求.文中给出了p LSC语言的图形表示方法,并展示了p LSCEditor编辑工具用于图形化编辑随机场景.
开金宇缪淮扣高洪皓
利用Matlab对甲骨文视频输入材料预处理研究被引量：1
2014年
要对甲骨文材料进行信息化研究,输入甲骨文材料是必不可少的一项工作.对于原始象形的契刻文字甲骨文,当前的各种输入法都存在不可解决的弊端,通过视频设备输入甲骨文材料无疑是一种非常理想的解决方案.利用矩阵计算工具Matlab对甲骨文视频输入材料预处理时的关键技术,归一化,灰度转化,去噪,二值化,细化等进行了研究.实验证明利用矩阵计算工具Matlab进行预处理比其他处理方式方便、快捷、灵活、高效,可以为随后的视频材料甲骨文字识别做好准备工作.
陈荣赏开金宇冯杰
关键词：去噪二值化MATLAB
面向可靠性的微服务系统自适应调整技术研究
微服务架构是当前最流行的软件架构,当开发者从微服务架构获得敏捷开发时,可靠性成为系统运行的最大的痛点。本文重点研究了面向可靠性的微服务系统自适应调整中的两个重要问题:微服务系统可靠性分析和服务流程组合。本文在对软件系统可...
开金宇
关键词：可靠性分析
文献传递
甲骨文数字化研究平台
刘永革史创明赵世学葛彦强汪向征刘小韩李伟荣韩江苏高峰吴琴霞李娜开金宇聂艳召王天林刘尊敬
2009中国文字博物馆在安阳震撼开馆，甲骨文作为安阳地方名片，其研究变得越来越重要，但其研究手段很落后，资料检索困难，甲骨文字处理困难，尤其随着不断出土的甲骨新材料和日益增多甲骨文研究文献，使甲骨文研究者陷入了文献资料的...
关键词：
关键词：应用软件系统编辑器
全选 清除 导出
共3页<123>
聚类工具0