王敏 作品数:18 被引量:91 H指数:4 供职机构: 武汉大学化学与分子科学学院 更多>> 发文基金: 国家自然科学基金 国家教育部博士点基金 教育部科学技术研究重点项目 更多>> 相关领域: 自动化与计算机技术 理学 电气工程 化学工程 更多>>
面向嵌入式实时软件系统需求工程环境——SREE 被引量:3 2002年 1前言
软件开发的需求阶段需要严格定义被开发系统的需求规格说明书(Software Requirement Specifications,SRS).对于软件开发来说,SRS中的错误将导致开发成本、开发时间的增加,甚至是开发过程的失败,所以,SRS的正确和可靠极为重要.但由于许多因素,如问题的复杂性、设计人员交流障碍、用户对问题陈述的不完全和不一致以及需求易变性等,需求分析变得十分复杂.为有效地解决这些问题,人们主要围绕着需求分析模型和语言及CASE技术和工具进行了相关的研究,引入形式化技术和CASE工具的需求工程正不断向着需求工程自动化的方向发展. 舒风笛 毋国庆 王敏关键词:软件工程 软件开发 软件需求工程 嵌入式实时系统的软件需求检测 被引量:15 2002年 以需求描述模型HRFSM(hierarchical finite state machines based on rules)为基础,提出了一个嵌入式实时系统软件的动态执行模型(dynamic execution model,简称DEM)和基于该模型的检测方法.由于DEM能将控制流、数据流和时间有效地集成为一体,故提出的检测方法能检测嵌入式实时系统的软件需求的一致性和完全性.该检测方法由3种侧重点不同的检测形式组成,并能在检测过程中提供一些重要的检测信息.分析员可以利用基于该检测方法的工具灵活地对嵌入式实时系统的软件需求进行检测,以提高分析和检测软件需求的效率. 毋国庆 朱立松 王敏 蔡持峰 陈伟清关键词:软件开发 嵌入式实时系统 基于数据关联的分布式对象代理数据库划分方法 2016年 对象代理数据库是一种先进的具有复杂信息管理能力的数据库系统,随着数据量的剧增,实现其分布式存储变得十分重要.然而,对象代理数据库中的数据存在着很强的关联性,如果按照传统数据划分方式进行分布式存储,将导致查询效率低下.针对这一问题,本文提出了一种基于关联的高效数据划分方法:首先根据代理层次将关联对象聚集成对象簇,每个簇对应一个存储文件;然后提取对象簇的模式特征和语义特征,通过聚类算法将对象簇集划分为k个子集分配到各存储节点.将本文方法与随机分布式存储方法进行了比较实验,结果证明本文方法在查询效率方面具有明显优势. 王敏 彭承晨 李蓉蓉 彭煜玮关键词:分布式 对象代理数据库 数据划分 图象数据关联规则挖掘 被引量:31 2001年 本文在介绍了多媒体数据挖掘基本思想和图象数据主要特征基础之上 ,对图象数据关联规则挖掘进行了讨论 .首先对关联规则挖掘有关问题加以描述和分析 ,针对图象数据 ,定义了新的关联规则及其有关概念 ,并给出考虑项数量的原子特征和空间关系关联规则挖掘算法 Max Occur和 MAR- Spatial。 舒风笛 毋国庆 王敏关键词:多媒体数据挖掘 关联规则 图象数据 多媒体数据库 描述实时系统需求的模型 被引量:8 2001年 本文提出一个描述实时系统需求的模型 .在这个模型中 ,层次式有穷状态机被表示成规则和模板的形式 ,且一个模板对应于一个状态机 .由于与状态机相关的规则和信息可被写入到模板中 ,故用此模型写出的需求规格说明书可由多个模板组成 ,而且易于理解和阅读 .最后 。 毋国庆 杨捷 王敏 应时关键词:需求规格说明 实时系统 软件工程 软件开发 硫脲介质中单扫描示波极谱法测定臭氧 被引量:3 1996年 本文提出了一种线性扫描极谱检测臭氧的方法。在酸性磷酸盐缓冲溶液中(pH2.5)硫脲与臭氧进行反应。反应产物二硫二甲脒强烈地吸附在汞电极上,随着阴极化过程,在约-0.31V和-0.87V(vs.SCE,下同)产生两个还原峰。-0.31V的峰对于微量O3的极谱检测具有高灵敏度和选择性。其导数峰电流与O3浓度的线性范围为1.0×10-7~2.5×10-5mol/L检测限为4×10-8mol/L(1.9μg/L)。该方法已用大气中O3含量的连续监测。用循环伏安法,恒电位电解法研究了反应机制。第一个峰(-0.31V)归因于吸附的二硫二甲脒与汞通过前置化学反应产生HgS,然后此表面薄膜阴极溶出还原。 康彩艳 莫蔚明 王敏 蒋勉关键词:单扫描 示波极谱法 臭氧 硫脲 Java语言中模拟多重继承的研究与实现 被引量:1 2002年 文章通过比较Java与 C++在多重继承问题上的异同,分析了Java语言不支持多重继承的原因,并使用三种主要技术:转发、接口和向后引用给出了对多重继承的模拟,从而不但实现了多重继承的功能而且提供了比多重继承更简单、灵活,而且更强劲的功能。 肖海峰 毋国庆 王敏关键词:JAVA语言 面向对象 程序设计语言 嵌入式实时软件需求规格说明的原型化检测方法 2001年 提出了一个检测嵌入式实时软件需求规格说明的方法 .该方法将原型化方法 ,可执行的需求描述语言和动画显示集成为一体 ,并可模拟执行嵌入式实时软件的需求规格说明 .此外 ,也阐述了这个方法的基本原理和某些实现方法 .最后 ,讨论了这个方法及相关的支持环境的特点 . 王敏 毋国庆 朱立松 郑鹏 杨捷关键词:嵌入式实时软件 原型化方法 软件开发 基于分层抽样的重叠深网数据源选择 被引量:3 2017年 深网查询在Web上众多的应用,需要查询大量的数据源才能获得足够的数据,如多媒体数据搜索、团购网站信息聚合等.应用的成功,取决于查询多数据源的效率和效果.当前研究侧重查询与数据源的相关性而忽略数据源之间的重叠关系,使得不同数据源上相同结果的数据被重复查询,增加了查询开销及数据源的工作负载.为了提高深网查询的效率,提出一种元组水平的分层抽样方法来估计和利用查询在数据源上的统计数据,选择高相关、低重叠的数据源.该方法分为两个阶段:离线阶段,基于元组水平对数据源进行分层抽样,获得样本数据;在线阶段,基于样本数据迭代地估计查询在数据源上的覆盖率和重叠率,并采用一种启发式策略以高效地发现低重叠的数据源.实验结果表明,该方法能够显著提高重叠数据源选择的精度和效率. 江俊彦 彭智勇 吴小莹 彭承晨 王敏关键词:数据源选择 分层抽样 层次有穷状态机与多并发语义模型结合方法研究 本文提出扩充FSM的层次性和异构性,探讨了如何由FSM和各种并发模型构造HHNSM及HHNSM具有的特点. 舒风笛 武汉大学计算机科学系 毋国庆 王敏文献传递