Formal Concept Analysis Support for Web Document Clustering Based on Social Tagging
作者：
Ouyang, Chunping* ;Yang, Xiaohua;Li, Xiaoyun;Liu, Zhiming
期刊：
Proceeding of 2012 International Conference on Uncertainty Reasoning and Knowledge Engineering, URKE 2012 ,2012年:304-307
通讯作者：
Ouyang, Chunping
作者机构：
[Ouyang, Chunping; Yang, Xiaohua; Liu, Zhiming; Li, Xiaoyun] Univ S China, Sch Comp Sci & Technol, Hengyang 421001, Peoples R China.
通讯机构：
[Ouyang, Chunping] U;Univ S China, Sch Comp Sci & Technol, Hengyang 421001, Peoples R China.
会议名称：
2nd International Conference on Uncertainty Reasoning and Knowledge Engineering (URKE)
会议时间：
AUG 14-15, 2012
会议地点：
Jakarta, INDONESIA
会议主办单位：
[Ouyang, Chunping;Yang, Xiaohua;Li, Xiaoyun;Liu, Zhiming] Univ S China, Sch Comp Sci & Technol, Hengyang 421001, Peoples R China.
关键词：
formal concept analysis;social tagging;document clustering
摘要：
Web document clustering is one of the most important research branches of Clustering Analyzing. The objective of web document clustering is to meet the need of retrieving web document efficiently from massive information in Internet. Recently social tagging is the important form of document organization in web 2.0, and the tagging as a document descriptor is used to improve the effectiveness of web searching. But a web document usually belongs to various category of tagging, which may lead to the difficulty of browsing web document based on single tagging. This paper explores the use of Formal Concept Analysis (FCA) as mathematical tool to analyze the social tagging of web document, and presents a model for web document clustering based on tagging semantic. Furthermore, taking community web site Douban as an example, the model is applied to allow users to tag and serendipitously browse web document using Formal Concept Analysis.
语种：
英文
展开
Sketch of implements for mining contracts based on framework of software quality assurance
作者：
Liu, ShuKun* ;Yang, XiaoHua;Chen, JiFeng
期刊：
Advanced Materials Research ,2012年460:240-243 ISSN：1022-6680
通讯作者：
Liu, ShuKun
作者机构：
[Liu, ShuKun; Chen, JiFeng] Hunan Int Econ Univ, Dept Comp, Changsha, Hunan, Peoples R China.;[Yang, XiaoHua] Univ South China, Dept Comp Sci & Technol, Hengyang, Peoples R China.
通讯机构：
[Liu, ShuKun] H;Hunan Int Econ Univ, Dept Comp, Changsha, Hunan, Peoples R China.
会议名称：
International Conference on Advanced Materials and its Application (AMA 2012)
会议时间：
APR 28-29, 2012
会议地点：
Changsha, PEOPLES R CHINA
会议主办单位：
[Liu, ShuKun;Chen, JiFeng] Hunan Int Econ Univ, Dept Comp, Changsha, Hunan, Peoples R China.^[Yang, XiaoHua] Univ South China, Dept Comp Sci & Technol, Hengyang, Peoples R China.
会议论文集名称：
Advanced Materials Research
关键词：
Compile;Contract;Software quality;Trace file
摘要：
In this paper, the main function of program contract in the software quality assurance is showed combined with the technology of static analyzing and dynamical analyzing. And the meaning of contract is described as well. Daikon and Diduce which are the main tools for detecting the program contract are introduced carefully. Not only the work process of Daikon and Diduce is explicated but also the main characters of them are showed. Combined with the framework of software quality assurance, the main differences between Daikon and Diduce are listed and the theoretical model of detecting contract is expressed in detail.
语种：
英文
展开
基于GEP的线性指数函数型程序不变量动态发现方法
作者：
阳小华;黄彩霞
期刊：
南华大学学报(自然科学版) ,2012年26(1):63-67 ISSN：1673-0062
作者机构：
南华大学计算机科学与技术学院,湖南衡阳,421001;[阳小华; 黄彩霞] 南华大学
关键词：
程序运行轨迹数据;启发性信息;线性指数函数形式;程序不变量;不变量动态发现
摘要：
不变量是用来描述程序运行时保持不变性质的逻辑断言．根据关系数据理论，程序不变量可分函数依赖型和非函数依赖型程序不变量．着眼于函数依赖型程序不变量，借助GEP的函数发现特点和Daikon对线性程序不变量的发现能力，重点对线性指数函数型程序不变量动态发现方法进行研究，通过实验证明了GEP对线性指数形式的函数有较高的发现效率，可以扩展Daikon在线性指数函数型程序不变量方面的预置形式以达到从程序轨迹数据中发现该类程序不变量的目的．
语种：
中文
展开
一种乏燃料后处理系统安全工程能力成熟度评估系统
作者：
刘志明;阳小华;刘振海;万亚平;白小峰
期刊：
核安全 ,2012年(1):56-60 ISSN：1672-5360
作者机构：
南华大学计算机科学与技术学院 湖南衡阳421001;中国核工业集团四○四有限公司安防处 甘肃兰州732850;[刘志明; 万亚平; 刘振海; 阳小华] 南华大学;[白小峰] 中国核工业集团公司
会议名称：
2011核能行业仿真技术及应用研讨会
会议时间：
2011-07-01
会议地点：
北京
会议论文集名称：
2011核能行业仿真技术及应用研讨会论文集
关键词：
乏燃料后处理系统;本体;证据
摘要：
SSE-CMM可用于过程改进、能力评估和提高用户的信任度，是组织和实施安全工程的通用方法，是系统安全工程领域成熟的方法体系。SSE-CMM结合了计算机科学中的CMM模型、管理学中的全面质量管理思想和统计理论，将系统安全工程转换为一个具有良好定义的、成熟的、可测量的先进工程学科。SSE-CMM评估面临领域知识缺乏、数据量大、证据类型多样、过程繁琐、证据与问题匹配复杂等问题。为有效提高评估效率，本文依据本体论、证据理论、语义网、智能信息检索、智能自动匹配等技术和方法，针对乏燃料后处理系统，设计了一种基于领域本体的智能评估软件系统，主要包括领域本体建模和管理、证据自动收集、问题和证据自动匹配、过程评估等4个子系统，技术体系结构分为数据层、本体层、知识层、服务层、表示层5层。
语种：
中文
展开
一种上下文驱动的信息检索多维匹配模型研究
作者：
李晓昀;阳小华;余颖;欧阳纯萍;万亚平;...
期刊：
计算机应用与软件 ,2012年29(9):148-150,225 ISSN：1000-386X
作者机构：
[李晓昀; 阳小华; 余颖; 欧阳纯萍; 万亚平; 马家宇; 刘志明; 蒋辉] 南华大学计算机科学与技术学院
关键词：
信息检索;多维匹配;上下文;体裁;工作任务
摘要：
为改善信息检索服务效果,提出一种多维匹配模型,在内容维度之外,将信息检索过程中的上下文作为独立维度进行匹配。隐性匹配将各类上下文归为两类:与用户相关的和与文档相关的,两者一一对应。实验表明该模型能大大提高返回结果相关度,亦验证了计算文档相关度时隐性维度有更大权重,即在特定信息需求下,上下文相对于内容具有更大决定性。
语种：
中文
展开
体裁在信息检索中的应用
作者：
李晓昀;阳小华;万亚平;余颖;马家宇;...
期刊：
计算机时代 ,2012年(5):29-31,34 ISSN：1006-8228
作者机构：
南华大学计算机科学与技术学院,湖南衡阳,421001;[李晓昀; 刘志明; 万亚平; 余颖; 阳小华; 马家宇; 蒋辉] 南华大学
关键词：
体裁;信息检索;上下文;匹配;任务
摘要：
体裁是信息检索中重要的上下文因素之一。文章阐述了体裁的含义,重点说明了数字体裁的含义、识别与描述,介绍了体裁在信息检索中的应用现状,并分析了体裁在应用中所面临的识别、标注等问题;同时指出在未来发展中,体裁作为检索目标与文档目标的表现方式之一,应独立于内容与用户当前任务进行单独匹配。为将体裁作为独立维度应用于检索系统以提高返回结果相关度,引入DCG作为评价指标。实验结果表明,该方法能有效提高检索效果。
语种：
中文
展开
一种基于图深度优先搜索的基本路径集自动生成优化算法
作者：
吴取劲;阳小华;鹿江春;余童兰
期刊：
南华大学学报(自然科学版) ,2012年26(3):87-90 ISSN：1673-0062
作者机构：
南华大学计算机科学与技术学院,湖南衡阳,421001;[吴取劲; 鹿江春; 阳小华; 余童兰] 南华大学
关键词：
软件测试;深度优先搜索;基本路径
摘要：
本文介绍了一种结合边访问标志集合使用图深度优先搜索方法遍历控制流程图，生成最小长度测试序列基本路径集合的优化算法．以矩阵工具为算法提供输入，利用回滚机制避免程序控制流中环造成的不收敛，提出引入结点复用路径最小长度记忆机制对结果进行优化，获得最小长度测试序列的优化基本路径集合作为算法输出．
语种：
中文
展开
软件工程项目驱动教学模式的研究与实践
作者：
左贵启;徐卓然;阳小华
期刊：
中国电力教育 ,2012年(19):30-31 ISSN：1007-0079
作者机构：
南华大学计算机科学与技术学院,湖南衡阳,421001;[阳小华; 徐卓然; 左贵启] 南华大学
关键词：
软件工程;项目驱动;实践能力;培养模式
摘要：
较详实地介绍了导师制下项目驱动教学模式的理论研究和在软件工程专业实践试点的情况,提出了进一步完善、优化"导师制下的项目驱动软件工程专业人才培养模式"并将其拓展成整体的初步设想。
语种：
中文
展开
一种基于桌面信息的个性化推荐方法
作者：
李晓昀;余颖;阳小华;万亚平;马家宇;...
期刊：
南华大学学报(自然科学版) ,2012年26(1):54-57+67 ISSN：1673-0062
作者机构：
南华大学计算机科学与技术学院,湖南衡阳,421001;[李晓昀; 刘志明; 万亚平; 阳小华; 余颖; 马家宇; 蒋辉] 南华大学
关键词：
桌面;个性化推荐;信息抽取;个人信息空间
摘要：
针对当前信息检索服务中存在的固有缺陷，提出了一种基于用户桌面信息抽取的个性化推荐方法．详细介绍了通过用户桌面资源信息抽取建立长期用户模型，以及通过工作场景信息抽取建立短期用户模型的算法．长期用户模型提供了完整全面的用户兴趣偏好信息，短期用户模型则为预测用户当前信息需求提供了依据．实验结果表明，基于用户桌面信息抽取的个陛化推荐服务能较好地预测用户当前需求、具有良好的推荐效果．
语种：
中文
展开
Personalized recommendation based on desktop context
作者：
Li, Xiao-Yun;Yu, Ying;Yang, Xiao-Hua;Ma, Jia-Yu;Liu, Zhi-Ming;...
期刊：
Lecture Notes in Electrical Engineering ,2012年124 LNEE(VOL. 1):383-388 ISSN：1876-1100
作者机构：
[Li, Xiao-Yun; Yu, Ying; Ma, Jia-Yu; Yang, Xiao-Hua; Wan, Ya-Ping; Liu, Zhi-Ming; Jiang, Hui] School of Computer Science and Technology, University of South China, Hengyang, Hunan, China
摘要：
Aimed to the inherent detects in present information retrieval service, this paper proposed an approach to exploit desktop context to provide personalized recommendation service. The files restored on the local disk and the documents opened in a work scenario were regarded as two separate parts serving for personalizing. The algorithm for extracting to desktop resources to build the long-term document model was introduced in detail, which further provides information to build a user's interest model. And the method to establish the short-term model in a work scenario to predict the user's current information need was also introduced. The experiments were conducted to offer recommended items in a message window and analyzed the implicit information of each user's corresponding behaviors. The results showed that users were interested in recommended items and the performance was stable. ©2012 Springer-Verlag GmbH.
语种：
英文
展开
一种基于兴趣聚集的P2P元数据管理机制
作者：
刘志明;万亚平;蒋辉;阳小华;沙基昌
期刊：
计算机工程 ,2012年38(22):47-49,54 ISSN：1000-3428
作者机构：
[刘志明] 南华大学计算机科学与技术学院,湖南衡阳421001;[刘志明] 国防科学技术大学信息系统与管理学院,长沙410073;南华大学计算机科学与技术学院,湖南衡阳,421001;国防科学技术大学信息系统与管理学院,长沙,410073;[沙基昌] 中国人民解放军国防科技大学
关键词：
元数据;半结构化;对等系统;Bloom过滤器;跟踪强化因子
摘要：
基于半结构化的P2P存储系统,设计一种基于兴趣聚集的元数据管理机制。采用分层的Bloom filter结构存储并维护热点和本地元数据信息,将元数据的查询请求路由到不同的超级节点上,实现元数据的分布式管理。实验结果表明,该机制能明显提高元数据的查询效率和访问速度,具有较好的适应性和可扩展性。
语种：
中文
展开
基于校内实训的地方高校卓越软件人才培养探析
作者：
闫仕宇;阳小华;刘志明;刘立
期刊：
计算机教育 ,2012年(14):100-103 ISSN：1672-5913
作者机构：
南华大学计算机科学与技术学院,湖南衡阳,421001
关键词：
校内实训;软件实训;人才培养
摘要：
针对地方高校软件实训存在不足的现象,以南华大学＂软件工程卓越班＂为研究背景,介绍校内软件实训的特点,提出结合地方高校实际情况,充分利用校内资源,建立校内实训基地的策略。
语种：
中文
展开
基于建构主义的程序设计教学实例设计
作者：
杨剀;黄玲玲;阳小华
期刊：
计算机教育 ,2011年(3):84-87 ISSN：1672-5913
作者机构：
南华大学,计算机科学与技术学院,湖南,衡阳,421001;[黄玲玲; 阳小华; 杨剀] 南华大学
关键词：
建构主义;程序设计教学;实例设计;意义建构
摘要：
在程序设计教学中，实例设计的优劣影响整个程序设计的教学效果。本文以VB程序设计教学为例，提出一种基于建构主义学习理论、融合情境创设教学理念的实例设计方法。使用生活中真实熟悉的软件实例，从整体上由浅入深渐进式把握程序设计的教学。教研组多次教学实践证明，使用该方法设计实例进行教学，易于激发学生的学习兴趣和探究欲望，利于学生的主动意义建构。
语种：
中文
展开
基于随机Petri网的P2P存储系统可靠性模型和分析
作者：
刘志明;沙基昌;阳小华;万亚平
期刊：
计算机科学 ,2011年38(4):80-83 ISSN：1002-137X
作者机构：
[刘志明; 沙基昌] 国防科技大学信息系统与管理学院;[阳小华; 万亚平] 南华大学计算机应用研究所
关键词：
随机Petri网;P2P存储系统;可靠性;副本冗余
摘要：
可靠性是可信性研究的基本内涵之一,也是P2P（Peer-to-Peer）存储系统研究的关键。P2P存储系统结点具有高动态特征,结点频繁地上下线给系统的可靠性分析带来困难。结点的暂时离线会增加副本数量,从而导致系统不必要的损耗。较多的副本数量会增加系统的可靠性,但是同时会导致系统的一致性维护成本增加。而较少的副本数量又会导致系统的可靠性显著降低。针对副本的数量和可靠性之间的关系,采用随机Petri建立了P2P存储系统的可靠性模型并加以分析,围绕数据可靠性度量要求和数据副本的数量建立关系模型,从理论上指明研究系统可靠性的目的和基本原则,这可以在系统组建之初帮助优化系统的设计。
语种：
中文
展开
Elimination of redundant invariants
作者：
Yu Tong-lan;Yang Xiao-hua* ;Liu Jie;Luo Yang;Wu Qu-jin
期刊：
Advances in Intelligent and Soft Computing ,2011年112:275-279 ISSN：1867-5662
通讯作者：
Yang Xiao-hua
作者机构：
[Luo Yang; Liu Jie; Yu Tong-lan; Wu Qu-jin; Yang Xiao-hua] Univ S China, Sch Comp Sci & Technol, Hengyang, Hunan, Peoples R China.
通讯机构：
[Yang Xiao-hua] U;Univ S China, Sch Comp Sci & Technol, Hengyang, Hunan, Peoples R China.
会议名称：
International Conference on Informatics, Cybernetics, and Computer Engineering (ICCE2011)
会议时间：
NOV 19-20, 2011
会议地点：
Melbourne, AUSTRALIA
会议主办单位：
[Yu Tong-lan;Yang Xiao-hua;Liu Jie;Luo Yang;Wu Qu-jin] Univ S China, Sch Comp Sci & Technol, Hengyang, Hunan, Peoples R China.
会议论文集名称：
Advances in Intelligent and Soft Computing
关键词：
Equivalence redundancy;Implication redundancy;Invariant;Invariant Redundancy;Transitivity redundancy
摘要：
Redundant invariants increase processing time and memory consumption, which make serious effect on the application of invariants. The elimination of invariant redundancy is an important part in the invariant study. Now most methods of invariant redundancy elimination are based on optimization of invariants detecting tool which lack the principles analyse and system solutions of redundant invariants themselves. This paper first analyses the theory about classification and forming reasons of redundant invariant and then discusses the judgement of three kinds of invariant redundancy: equivalent redundancy, transitivity redundancy and implicating redundancy. Finally, the paper proposes the algorithms of eliminating invariant redundancy. The study has great value to the application of invariants which can significantly improves the efficiency by saving the time and space in processing. ©Springer-Verlag Berlin Heidelberg 2011.
语种：
英文
展开
节点在线率和资源热度相关的P2P存储系统副本复制和修复策略
作者：
刘志明;沙基昌;万亚平;阳小华
期刊：
计算机工程与科学 ,2011年33(2):186-190 ISSN：1007-130X
作者机构：
国防科学技术大学信息系统与管理学院,湖南,长沙,410073;南华大学计算机科学与技术学院,湖南,衡阳,421001;华中科技大学计算机科学与技术学院,湖北,武汉,430074
关键词：
节点在线率;资源热度;副本;修复策略
摘要：
在半结构化的P2P存储系统结构下,副本是提高数据可用性的有效保证。本文结合资源所在节点的在线率和资源访问的频度来衡量所需要的资源副本数量。它较好地反映了高动态P2P网络中节点的行为特征,并据此设计了冗余数据修复策略。实验表明,设计的方法虽然占用了一定的维护带宽,但是网络中资源的可用率得到了显著提高。
语种：
中文
展开
领域本体在课件自动生成中的应用研究
作者：
刘霞;阳小华
期刊：
现代计算机：中旬刊 ,2011年(9):41-43+56 ISSN：1007-1423
作者机构：
南华大学计算机科学与技术学院,衡阳,421001
关键词：
本体;领域本体;课件;自动生成
摘要：
鉴于本体在描述概念方面所具有的优势．结合教学内容自身的特点．提出在课件自动生成中应用领域本体的方法．以解决当前课件制作过程中存在的费时费力、通用性不强、无法自动更新等问题。在课件的自动生成中应用领域本体，不仅能够改善目前课件手工制作的现状．而且从某种意义上来说自动生成的课件还能够自动更新。
语种：
中文
展开
基于SSE-CMM的核安全文化评价模型
作者：
阳小华;刘志明;万亚平;彭国建;刘征海
作者机构：
[阳小华; 刘志明; 万亚平; 彭国建; 刘征海] 南华大学计算机科学与技术学院;[阳小华; 刘志明; 万亚平; 彭国建; 刘征海] 南华大学核能经济与管理研究中心
会议名称：
中国核学会2011年年会
会议时间：
2011-10-11
会议地点：
贵阳
会议论文集名称：
中国核学会2011年年会论文集
关键词：
核安全文化;评价模型;通用实践
摘要：
安全文化表征企业安全生产和发展的水平，对确立企业安全目标具有十分重要的意义。传统的核安全文化评价 模型强调个体和组织的思维和行为方式，重视评价的结果而忽略过程，评价指标的确定缺乏客观依据。本文结合SSE CMM，通过在安全文化和SSE CMM的基本过程域和通用实践之间建立一个初步的映射关系，设计一个具备科学性、 完备性并与实际相结合的多维核安全文化评价体系，它集中于对企业系统安全工程过程的评估，为核安全文化的研究 提供了新的思路和科学依据。
语种：
中文
展开
案例教学在软件设计课程中的应用
作者：
徐卓然;阳小华;刘立;李萌
期刊：
福建电脑 ,2011年27(10):43-44 ISSN：1673-2782
作者机构：
南华大学计算机学院软件工程系,湖南衡阳,421001;[李萌; 阳小华; 徐卓然; 刘立] 南华大学
关键词：
软件设计;案例教学
摘要：
本文针对软件设计课程中传统教学法存在的弊端,引入案例＋实践教学的思想,探索性地提出了基于案例教学的软件设计教学方法。该教学法在实践中的应用能大幅度提高学生的学习能力、实践能力、创新能力和团队合作精神。
语种：
中文
展开
基于PXE的无盘Windows XP在计算机实验室的应用
作者：
杨剀;黄玲玲;阳小华
期刊：
中国教育信息化 ,2011年(01):86-88 ISSN：1673-8454
作者机构：
南华大学计算机科学与技术学院
关键词：
无盘Windows XP;计算机实验室;有盘工作站
摘要：
高校计算机实验室管理与维护的核心是保证系统软件和应用软件的正常使用。目前计算机实验室广泛采用硬盘还原卡来保护计算机系统,本文分析其优势以及带来的问题,并提出在计算机实验室采用基于PXE的无盘Windows XP启动有盘工作站的"无盘"与"有盘"相结合的管理方式,不仅可以很好地解决使用还原卡保护系统带来的问题,并且系统安装与升级、管理与维护非常方便,大大减少实验室维护工作量。
语种：
中文
展开
