软件工程学生团队构建的案例分析
作者:
阳小华;李萌;刘志明;刘杰;刘立;...
期刊:
计算机教育 ,2011年(5):57-61 ISSN:1672-5913
作者机构:
南华大学计算机科学与技术学院,湖南,衡阳,421001;[刘志明; 李萌; 刘杰; 阳小华; 刘立; 蒋辉] 南华大学
关键词:
学生团队;团队构建;软件工程
摘要:
团队是当前企业的主要运作形式,软件行业尤其强调"团队"。本文以南华大学"软件工程实验班"为研究背景,重点分析软件工程学生团队的特点,依据团队构建的基本原理,在长期教学实践中积极开展实验,提出成功构建软件工程学生团队的具体策略。通过在实验班一年多的运用,验证了该方法的有效性,该策略具有普遍的指导意义。
语种:
中文
展开
基于隐性知识的信息检索多维匹配模型
作者:
阳小华;马家宇;刘志明;刘振宇;刘杰;...
期刊:
郑州大学学报(理学版) ,2010年42(2):14-17 ISSN:1671-6841
作者机构:
南华大学,计算机科学与技术学院,湖南,衡阳,421001;[李晓昀; 刘志明; 刘振宇; 刘杰; 阳小华; 马家宇; 蒋辉] 南华大学
关键词:
信息检索;隐性知识;多维匹配模型
摘要:
将隐性知识管理理论引入信息检索,分析用户查询过程和作者写作活动中存在的隐性知识,在3个层面上予以定义,建立基于隐性知识的信息检索多维匹配模型.从背景知识和行为模式等方面实现信息检索隐性维度的匹配,以解决用户查询意图和作者思想表达不充分的问题,从而提高信息检索的质量.
语种:
中文
展开
基于免疫原理的期刊工作流模糊预警模型
作者:
吴取劲;阳小华;罗扬;刘杰;伍大清
期刊:
电脑开发与应用 ,2008年21(4):10-12+15 ISSN:1003-5850
作者机构:
南华大学计算机科学与技术学院;南华大学计算机科学与技术学院 衡阳421001
关键词:
工作流;抗原;抗体;免疫
摘要:
在期刊工作流程的领域中,应用生命体免疫原理的方法对应用系统不变性质和相应异常的问题进行了探索,并构造出相应的预警模型。该模型中最突出的特点是利用免疫机理获取得信息进行正常机体的演进,不仅能够对故障进行预警而且能够帮助应用系统自我学习,提升适应环境变化的能力。
语种:
中文
展开
基于演进思想的程序断言动态发现模型研究
作者:
吴取劲;阳小华;罗扬;刘杰
期刊:
信息技术 ,2008年(5):10-12+107 ISSN:1009-2552
作者机构:
南华大学计算机科学与技术学院,衡阳,421001;[罗扬; 吴取劲; 刘杰; 阳小华] 南华大学
关键词:
程序断言;动态侦测;违例;免疫
摘要:
程序断言动态侦测技术具有很广的应用范围,如程序测试与排错、程序演进与重构、构件替换与程序容错等领域。相比于传统的程序断言侦测技术,文中介绍了一条简洁的异常排除与接纳并降低时间空间代价的实践思想,它来源于生物演进和计算机免疫技术的启发,为基于这一演进思想的程序断言侦测建立起一个演进模型。
语种:
中文
展开
C程序不变量动态发现编配工具的设计
作者:
刘杰;阳小华;余童兰
期刊:
微计算机信息 ,2008年24(12):233-234,237 ISSN:1008-0570
作者机构:
[刘杰; 阳小华; 余童兰] 南华大学计算机科学与技术学院
关键词:
程序不变量;不变量动态发现;编配工具
摘要:
程序不变量是用于描述程序运行过程中某些保持不变的性质的逻辑断言。程序编配的任务是通过对程序改造,暴露程序的运行轨迹,然后在通过对轨迹分析完成程序不变量的发现。程序编配是程序不变量过程中的关键步骤。本文介绍了C程序编配的工作原理和主要方法,并详细说明了采用内嵌法的编配工具的设计过程。
语种:
中文
展开
Java建模语言在程序不变量动态发现过程中的应用
作者:
刘树锟;阳小华;刘杰
期刊:
计算机工程与设计 ,2007年28(18):4536-4538,4545 ISSN:1000-7024
作者机构:
湖南涉外经济学院,计算机科学与技术学部,湖南,长沙,410205;南华大学,计算机科学与技术学院,湖南,衡阳,421001
关键词:
程序不变量;Java建模语言;重载;行为接口规范语言;契约;程序断言
摘要:
通过程序不变量动态生成技术,可以分析程序内部的关联属性,从而有助于设计高质量的程序代码以及规范化的程序架构。主要描述基于契约的似然程序不变量发现的基本理论模型,并结合Java建模语言进一步阐明程序断言动态生成技术及其现在产生的重点问题,针对提出的问题给出了相应的解决方法。
语种:
中文
展开
基于断言的程序正确性检测工具
作者:
刘杰;余童兰
期刊:
电脑与信息技术 ,2007年15(5):14-16+21 ISSN:1005-1228
作者机构:
南华大学计算机科学与技术学院,湖南,衡阳,421001;[刘杰; 余童兰] 南华大学
关键词:
程序正确性;检测;断言
摘要:
文章提出了程序断言检测工具设计方案和基于断言的程序正确性检测步骤。该工具的基本原理是Floyd提出的"用断言式方法"证明程序的正确性的方法,通过一个断言发现工具从程序中发现该程序断言,然后与程序要求满足的断言条件比较,判明其正确性。该工具在复杂条件下对程序正确性判断和大量重复程序检测上能发挥重要的作用。
语种:
中文
展开
Petri网的正向推理算法
作者:
陈星;刘杰;余童兰
期刊:
微计算机信息 ,2006年22(36):154-156+134 ISSN:1008-0570
作者机构:
421001,湖南,衡阳,南华大学计算机学院
关键词:
Petri网;知识表示;推理算法
摘要:
提出了一种建立在petri网的基本结构上的形式化正向推理算法,通过建立petri网的关联矩阵、标识向量和激发向量,将petri网与矩阵运算结合,可以在petri网模型中抽取一个子模型,从而把一个大的、复杂的系统转化为一个只与问题相关的小的系统来处理.该算法充分利用了petri网的并行处理能力,缩小了后续应用的范围,加速了后续应用的效率.
语种:
中文
展开
基于合约的似然程序不变量动态发现
作者:
刘树锟;阳小华;罗江琴;刘杰
期刊:
微计算机信息 ,2006年22(30):233-235+300 ISSN:1008-0570
作者机构:
衡阳南华大学计算机科学与技术学院;衡阳南华大学计算机科学与技术学院 421001湖南衡阳
关键词:
程序不变量;关联属性;程序断言;合约
摘要:
本文主要讨论基于合约的似然程序不变量的内涵,以及通过程序断言动态生成技术来发现程序不变量的意义。在此主要描述基于合约的似然程序不变量发现的基本理论模型以及该模型与动态不变量检测工具Daikon实体模型的比较,进一步论述程序断言动态生成技术。通过精确的程序断言动态生成,可以分析程序各变量之间的关联属性,以完成不变量的检测。从而有助于设计高质量的程序架构以及规范化的程序代码.
语种:
中文
展开
基于.Net的工程项目信息系统的设计与实现
作者:
罗扬;刘杰;肖建田;刘立
期刊:
南华大学学报(自然科学版) ,2006年20(1):29-32 ISSN:1673-0062
作者机构:
南华大学,计算机科学与技术学院,湖南,衡阳,421001;[罗扬; 肖建田; 刘杰; 刘立] 南华大学
关键词:
工程项目信息;B/S模式;组件;快速应用程序开发
摘要:
工程项目信息具有周期长、信息量大、数据形式多样等特点.文章分析了一个工程项目信息管理系统的功能,提出了基于.NET的五层组件式结构的解决方案.系统采用快速开发方法完成,不仅完全实现了面向对象和分布式特性,而且具有高度的可伸缩性和易维护性.
语种:
中文
展开
基于契约的程序动态分析技术研究
作者:
刘树锟;阳小华;刘杰;罗江琴
期刊:
计算技术与自动化 ,2006年(4):65-68 ISSN:1003-6199
作者机构:
南华大学计算机科学与技术学院
关键词:
契约;断言;程序不变量;程序动态分析
摘要:
在当今信息社会中,程序质量是一个具有重要意义的热点问题,基于契约的程序设计是提高程序质量的重要且有效的技术,但是形式化契约的制定是一件十分困难的工作,因此软件质量保证问题一直是令人困扰的难题,本文介绍契约式程序设计的基本概念与方法,并在此基础上,提出利用契约进行程序动态分析的主要思路及其基本过程并给出简单实例,从一种新的维度来思考保障软件质量的方法.
语种:
中文
展开
Lotus Workflow工作机制与应用研究
作者:
吴取劲;刘杰;夏石莹
期刊:
南华大学学报(自然科学版) ,2006年20(4):89-93 ISSN:1673-0062
作者机构:
南华大学,计算机科学与技术学院,湖南,衡阳,421001;[吴取劲; 刘杰; 夏石莹] 南华大学
关键词:
工作流;过程定义;活动
摘要:
Dom ino是OAS开发的主力平台,其上的工作流管理系统LotusW orkflow成功地将工作流原理机制引入到开发平台中,很好地适应了OAS开发对安全性、方便性以及动态变化的要求.本文对LotusW orkflow的工作机制进行了详细的剖析,介绍了其工作流的组织方式和引擎工作原理,并在此基础上成功地进行了OA应用系统的设计与实现.
语种:
中文
展开
Lotus Notes与支持ODBC关系数据库的连接方法
作者:
吴取劲;胡忠红;刘杰
期刊:
南华大学学报(自然科学版) ,2005年19(1):112-114 ISSN:1673-0062
作者机构:
[胡忠红; 吴取劲; 刘杰] 南华大学
关键词:
ODBC技术;数据源;LotusSeript语言;关系数据库;连接方法;源代码
摘要:
较详细介绍了Notes通过ODBC技术访问传统关系数据库的具体步骤和相应的源代码.将关系型数据库的事务处理能力与Notes文档数据库的工作流程处理能力结合起来,为解决OA开发相应的问题提供了一条可行的途径.
语种:
中文
展开
OA系统工作流的工程模型与实现
作者:
吴取劲;刘杰;夏石莹
期刊:
河海大学常州分校学报 ,2005年19(2):58-60+63 ISSN:1009-1130
作者机构:
南华大学,计算机科学与技术学院,湖南,衡阳,421001
关键词:
工程模型;流程;工作流引擎
摘要:
鉴于OA系统的实际业务不但需要经常调整,而且需要工作流程控制技术的支持,提出了一种工作流工程模型,该模型将OA系统的实际业务与工作流程控制结合在一起,缩短了业务流程或行政办公流程再设计的周期,降低了成本.现模型已应用到实际的应用系统中,取得了比较好的效果.
语种:
中文
展开
浅谈数据仓库
作者:
刘霞;刘杰
期刊:
福建电脑 ,2003年(6):24-25 ISSN:1673-2782
作者机构:
南华大学,计算机科学学院,421001;[刘杰; 刘霞] 南华大学
关键词:
数据仓库;联机分析处理;数据库;数据集合;数据字典
摘要:
本文详细阐述了数据仓库的基本概念、结构、构建与实施.
语种:
中文
展开
元搜索引擎系统合成算法的约束条件
作者:
阳小华;刘振宇;谭敏生;刘杰;张敏捷
期刊:
软件学报 ,2002年13(7):1264-1270 ISSN:1000-9825
通讯作者:
Yang, X.-H.(xiaohua1963@yahoo.com.cn)
作者机构:
[刘振宇; 刘杰; 谭敏生; 阳小华] 南华大学;澳大利亚伍龙贡大学;[张敏捷] 伍伦贡大学
通讯机构:
Sch. of Comp. Sci. and Technol., South-China Univ., China
关键词:
因特网;搜索引擎;元搜索引擎;排序;合成
摘要:
合成是元搜索引擎系统中一个重要的技术问题.给出了搜索引擎和元搜索引擎的形式化定义,对各种可能的元搜索引擎合成类型进行了划分.在此基础上,提出了元搜索引擎合成的一般性约束条件以及针对特殊类型的特殊约束条件.这些约束条件为构造好的元搜索引擎合成策略提供了基本保障.
语种:
中文
展开
基于特征信息的静态图像素材库研究与开发
作者:
王杰文;刘杰;肖云华;李建月
期刊:
南华大学学报(自然科学版) ,2002年16(4):54-56 ISSN:1673-0062
作者机构:
南华大学现代教育技术中心;南华大学计算机科学与技术学院;南华大学现代教育技术中心 湖南衡阳421001;[肖云华; 刘杰; 王杰文; 李建月] 南华大学
关键词:
图像;认知本能;信息区域分布;特征提取
摘要:
阐述了特征建模的基本概念 ,并根据格式塔心理学的认知本能特征和信息区域分布特性 ,提出了对静态图像进行特征提取的方法 ,最后给出了静态图像多媒体素材特征信息的描述模型
语种:
中文
展开
元搜索引擎查询结果的合成方法
作者:
阳小华;刘振宇;谭敏生;刘杰;左贵启
作者机构:
[阳小华; 刘振宇; 谭敏生; 刘杰; 左贵启] 南华大学计算机科学与技术学院
会议名称:
第十九届全国数据库学术会议
会议时间:
2002-08-26
会议地点:
郑州
会议论文集名称:
计算机科学
关键词:
查询结果;元搜索引擎;结果合成算法
摘要:
<正>1.引言搜索引擎(Search Engine)本质上是一种基于排序的因特网信息检索系统。它们接受用户的查询条件,计算文档与查询的相关性,以此为根据对文档集合进行排序,从中选取相关性超过特定标准的文档组成查询结果。由于因特网上的信息量十分巨大,没有一个搜索引擎能够覆盖整个网络。为了获得所需的信息,人们有时不得不使用多个搜索引擎。
语种:
中文
展开