卫丽
- 作品数：5 被引量：4H指数：1
- 供职机构：扬州大学信息工程学院更多>>
- 发文基金：江苏省自然科学基金更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 形式化B方法到UML类图的转化研究及应用被引量：1
- 2009年
- 形式化B方法是建立在严格数学基础上的软件开发方法,它用抽象机器符号来描述软件的规格说明;UML是面向对象的建模技术。文章提出一种将B的实现转换成UML类图的机制,从而以期实现B方法到面向对象编程的无缝连接,并结合免疫系统给出了应用实例。
- 邹盛荣郭忠伟彭昱静周塔顾爱华卫丽
- 关键词：形式化方法B方法UML类图
- 软件需求获取形式化的案例研究被引量：2
- 2009年
- 软件需求获取是软件建模和分析的基础,传统的软件需求建模方法主要有2个重大的缺陷:一是非形式化的需求描述常导致需求的歧义性和不一致性,因而难以确认和验证;二是易变性。针对此问题,结合实例提出用UML(Unified Modeling Language)的用例驱动获取软件需求,并将得来的需求用形式化B方法的机器来表示需求,实现了软件需求的形式化。实践证明,用例驱动的软件需求获取可以有效地获取正确、合理的软件需求,加上用形式化B方法的需求描述,可以有效地避免上述两大缺陷。
- 邹盛荣彭昱静郭忠伟刘春秋周塔卫丽顾爱华
- 关键词：UML用例驱动B方法
- 中文分词技术在搜索引擎中的探讨
- 2009年
- 本文通过深入探讨中文分词技术在搜索引擎中的算法描述,并详细介绍机器不断地学习新词、动态地维护词典的模型,尝试解决最棘手的处理新词问题,使其更好地为分词提供更智能描述特别是对新词。
- 顾爱华赵泉周塔彭昱静卫丽徐莹莹邹盛荣
- 关键词：中文分词搜索引擎新词
- 因子-蛋白网络的实证统计研究被引量：1
- 2009年
- 从复杂网络的角度对免疫系统因子-蛋白网络进行了实证研究。采用二分图及其投影的方法来描述因子-蛋白合作网,得到了平均距离、平均集群系数、集群系数分布、度分布、项目度分布、项目大小分布等统计性质,并根据这些统计性质进行了分析。结论表明这种复杂网络描述有助于发现和理解因子蛋白网络的一些新特性。
- 周塔邹盛荣顾爱华卫丽徐莹莹
- 关键词：二分图统计分布复杂网络
- Java软件的网络特性研究
- 2010年
- 复杂网络研究的日臻完善,使得我们运用复杂网络的研究成果分析和改善软件系统的稳定性、安全性成为可能。本文仅以JavaJDK的类关系为实例,根据其复杂网络的统计特性,通过分析其节点的累积度分布,得到JavaJDK演化的统计趋势。
- 卫丽顾爱华周塔徐莹莹杨晓飞
- 关键词：软件系统复杂网络
