王珍

作品数：3被引量：4H指数：1
导出分析报告
供职机构：华中师范大学更多>>
发文主题：束流监控器监控装置基于像素强子更多>>
发文领域：自动化与计算机技术经济管理文化科学社会学更多>>
发文期刊：《小型微型计算机系统》《计算机科学》《中国科技期刊数据库 科研》更多>>
所获基金：软件工程国家重点实验室开放基金湖北省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
乐尔app互联网+时代运用移动终端进行心理疗愈与音乐推广的研究
《中国科技期刊数据库 科研》2019年第2期12-13,共2页王珍 张凌之 李金川 高晓鹏 
越来越快节奏的生活也随之给人们带来了有形无形的压力,在这个多元的世界,减压的方式方法多种多样,减压效果参差不齐。忙碌的当代生活使人们无法花费大量时间去排解压力。但随着如今创新2.0互联网新业态的发展,移动手机客户端的高度普及...
关键词：减压 心理 互联网 创新 音乐 音乐常识 
参数化运行时监控研究被引量：1
《计算机科学》2014年第11期146-151,174,共7页王珍 叶俊民 陈曙 辜剑 金聪 
湖北省自然科学基金面向项目(2010CDB04001);武汉大学计算机软件工程国家重点实验室开放基金项目(SKLSE 20080705);华中师范大学基本科研业务基金项目(CCNU11A02007);华中师范大学自制实验仪器设备与软件项目(201314)资助
随着计算机软件广泛应用于各类安全关键系统以及软件日趋复杂,软件可靠性变得越来越重要。作为一种广泛使用于各种平台的软件解决方案,运行时监控是提高软件可靠性的最灵活的解决方案之一。但随着运行时监控技术以及软件技术的发展,人...
关键词：运行时监控 参数化性质规约 参数化运行时监控 
一种源程序级软件验证方法研究被引量：3
《小型微型计算机系统》2014年第3期543-548,共6页叶俊民 王珍 戴跃庭 金聪 
湖北省自然科学基金面向项目(2010CDB04001)资助;武汉大学计算机软件工程国家重点实验室开放基金项目(SKLSE20080705)资助;华中师范大学基本科研业务基金项目(CCNU11A02007)资助
软件质量对使用软件的各行各业有很深的影响,因此验证软件是否满足某些关键性质成为一个重要的问题.提出一种基于C语言的源程序级验证方法,其主要思想是将C源程序转换为与控制流图等价的Kripke结构,将这一Kripke结构作为程序的抽象模型,...
关键词：模型验证 KRIPKE结构 控制流图 NUSMV 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部