徐正权
- 作品数：46 被引量：221H指数：10
- 供职机构：华中科技大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金湖南省教育科学“十五”规划课题更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 在多重网格上同时计算的叠缩法
- 1994年
- 讨论一种多重网格叠缩并行计算方法。此方法在多重网格上同时执行对所有未知量的运算，它的全部工作渐近估计为Ｏ（２ｌｏｇＮ），与标准Ｖ周期多重网格方法的计算复杂性等同。
- 徐正权石冰心陈锦江
- 关键词：多重网格
- 基于K-模拟的抽象
- 2007年
- 尽管近年来模型检测取得了很大的进步,但是对于大系统的验证能力依然有限。在众多的状态减少和压缩技术中,抽象技术是最有效的方法之一。本文给出了基于K-模拟的抽象的高效算法,并证明了在线性时序逻辑框架下抽象的可靠性和完备性。
- 袁志斌徐正权王能超
- 关键词：线性时序逻辑
- B^+-Tree的改进算法在可复用软构件库中的应用被引量：2
- 2002年
- 文章通过对B+-Tree索引算法的改进,将其应用到可复用软构件库中。该改进算法继承了B+-Tree的优点,结合可复用软构件库的特点,将构件库多维数据索引转化为B+-Tree一维数据索引进行存储、查询。通过对比分析,证明了该构件库索引算法大大改进了构件库中构件的查找效率。
- 徐正权颜爱萍
- 关键词：构件查询数据库
- UML在网络安全监控系统建模中的应用被引量：3
- 2004年
- 本文首先介绍了UML的特性,然后运用UML对网络安全监控系统中的数据采集系统进行了可视化的建模,建立了系统的需求模型和设计模型的各种视图,最后总结了用UML进行系统需求分析和设计的优越性。
- 海沫徐正权
- 关键词：网络安全监控系统UML数据采集系统局域网INTERNET
- 多重网格区域分裂分布式计算被引量：1
- 1996年
- 多重网格区域分裂分布式计算徐正权（华中理工大学）ＤＩＳＴＲＩＢＵＴＩＮＧＭＵＬＴＩＧＲＩＤＣＯＭＰＵＴＡＴＩＯＮＢＹＤＯＭＡＩＮＤＥＣＯＭＰＯＳＩＴＩＯＮ￥ＸｕＺｈｅｎｇｑｕａｎ（ＨｕａｚｈｏｎｇＵｎｉｖｅｒｓｉｔｙｏｆＳｃｉｅｎｃｅａｎｄＴｅｃｈｎ...
- 徐正权
- 关键词：分布式计算多重网格法偏微分方程
- 对工作流元模型的扩展及其应用研究被引量：5
- 2006年
- 本文介绍工作流类型与结构,并以工作流元模型为基础对其进行扩展,论述在B/S体系结构下如何将XML与Java相结合构建柔性的、可装配的工作流系统,以期为软件开发与复用提供新的研究视点。
- 徐正权王治国
- 关键词：工作流J2EEXML
- 基于ECA规则的工作流过程建模被引量：6
- 2006年
- 本文介绍了以树型结构定义工作流过程模型的方法和步骤,并根据节点之间事件、状态的依赖关系导出相应的ECA规则,阐述了如何得到和实现以ECA规则表示的工作流过程模型建立一个基于事件触发规则的工作流执行过程。
- 徐正权王治国
- 关键词：工作流ECA触发器
- 软件体系结构模型的形式化研究．
- 2003年
- 本文用软件体系结构描述语言WRIGHT对三层C/S模型进行形式化描述,指出这种描述的优点以及软件体系结构模型形式化研究的重要性.
- 徐正权海沫
- 关键词：软件体系结构软件系统三层C/S模型形式化
- 类库系统研究及其与软件库的融合被引量：2
- 2007年
- 用软件生产软件面临的主要问题之一是有效的储备可复用的软件。软件由许多部分组成。各部分是彼此关联的。为了那些已经存在的传统相关联的软件资源能够利用Internet技术进行网络发布和互操作,提出一种新的SoftStore软件库系统模型——SSLM,并结合一个实际的类库系统讨论SoftStore软件库的具体应用。
- 徐正权谢卫平
- 关键词：软件复用软件库类库构件库
- SoftMaker——制作软件的软件被引量：3
- 2007年
- 介绍华中科技大学计算机学院软件工程研究室研制的软件生产线SoftMaker体系结构设计和主要功能.该系统建立在软件库SoftStore基础之上,采用Web技术实现对库中资产的访问,是一个支持复用的软件开发环境.SoftStore保存多概念、多层次、多粒度、多形态的可复用软件资产.管理由StoreKeeper实行.开发者在SoftDeveloper引导下,通过SoftReuser复用SoftStore中的资产,生产软件产品或可复用制品.在大多数情况下,SoftDeveloper、SoftReuser和StoreKeeper只起任务提交作用.SoftAgent接受所提交的任务,负责协调与分派,向SoftStore请求服务并交换数据,为完成任务提供服务支持.
- 徐正权
- 关键词：软件复用软件库
