彭立 作品数:12 被引量:27 H指数:3 供职机构: 湖南第一师范学院信息科学与工程系 更多>> 发文基金: 国家自然科学基金 湖南省科技计划项目 湖南省教育厅科研基金 更多>> 相关领域: 自动化与计算机技术 文化科学 社会学 更多>>
计算机专业软件设计课程群建设的研究与实践 被引量:3 2011年 本文阐述了课程群的内涵,构建基于课程群内涵的软件设计课程群,并进行了实践教学。实践表明,完善的课程群建设,是改革传统课程教学模式、优化教学体系、提高教学质量的一种有效途径。 何昭青 阳西述 彭立 胡湘勇关键词:软件设计 课程群 课程群建设 教学质量 基于程序设计能力培养的计算机专业实践教学体系的思考 被引量:17 2012年 程序设计能力是计算机专业学生的基本能力,也是最重要的职业能力。如何提高计算机专业学生的程序设计能力,一直是研究的热点。多年的实践教学表明,"重实践教学,加强程序设计课程群建设,构建分层次、牵引递进式实践教学体系"是有效的策略和措施。 何昭青 彭立 傅红普关键词:程序设计能力 课程群建设 实践教学体系 uddiKey及其分配策略研究 2010年 UDDI要求实体在发布时必须被分配一key作为其唯一性标识。UDDIV2的key由UDDI节点生成,key的可读性差且不可移植。UDDIV3的uddiKey方案规定key必须采用URI格式,并通过引入key分区概念使发布者为新实体分配key成为可能。通过研究uddiKey的格式及两种分配方式,探讨了解决老版本key问题的办法,提出了单注册中心和多注册中心环境下的uddiKey分配策略,其核心内容是确保key的唯一性,特别是在多注册中心环境下,需要一根注册中心负责key空间的分配。 彭立一种描述逻辑SHIF的ABox一致性判定算法 被引量:2 2013年 为了判定SHIF的ABox一致性,提出了一种Tableau算法。该算法先通过预处理将ABox转换成标准形式,然后按照特定的完整策略将一套Tableau规则应用于ABox,直到将它扩展成完整的ABox为止。ABox与TBox一致,当且仅当算法能产生一个无冲突的完整的ABox。算法所采用的阻塞机制可以避免Tableau规则的无限次执行。为了提高算法的效率,该机制允许一个新个体被在其之前创建的任意新个体直接阻塞,而不仅仅局限于其祖先。通过对算法的可终止性、合理性和完备性进行证明,算法的正确性得以确认。 彭立 杨恒伏关键词:TABLEAU算法 UDDI和WS-Addressing共存的Web服务模型 2011年 WS-Addressing用端点引用(EndpointReference,EPR)来进行Web服务寻址,EPR是动态生成的服务端点描述,它不能直接存储在统一描述、发现和集成(universal description discovery and integration,UDDI)的静态数据结构中。为实现UDDI和WS-Addressing共存的Web服务模型,提供了在UDDI中支持WS-Addressing的方法,并通过购物车的实现来说明应用程序应如何支持WS-Addressing。 彭立关键词:WEB服务模型 浅谈如何提高软件测试课的教学质量 2014年 目前,软件测试人才短缺的问题愈来愈严重,造成该问题的主要原因在于软件测试课的教学不能满足社会的需要。本文从分析该课程的教学现状出发,针对其教学目标,就如何提高教学质量提出了一些建议。 彭立关键词:软件测试 教学现状 教学质量 Tomcat环境下JSP中文乱码问题的解决 被引量:3 2011年 Web服务器Tomcat的中文乱码问题给软件开发人员带来了很大的困惑。为解决这一问题,可通过分析各种编码方式之间的相互转换,发现中文乱码问题的根源,并对各种出错情况进行分析,找出解决问题的办法。 彭立关键词:TOMCAT JSP 中文乱码 电子专业英语教学研究 2014年 电子专业英语是电子信息类专业一门比较重要的专业课,它对学生日后的发展非常重要。本文研究了该课程的特点,分析了其教学现状,在教学内容、教学手段、教学方法和考核方式等方面就提高该课程的教学质量进行了探讨。 彭立关键词:教学内容 教学手段 教学方法 对软件工程课中数据流图教学的探讨 被引量:1 2014年 数据流图是软件工程实践中一种非常重要的建模工具。因为缺乏足够的重视,加之没有全面掌握数据流图的画法,学生对该知识点的掌握情况往往不尽如人意。本文对数据流图的教学进行了探讨,强调了数据流图对整个项目开发的重要性,阐明了数据流图中各种元素的含义以及绘图的原则。 彭立关键词:软件工程 数据流图 教学 描述逻辑SHIN的ABox一致性判定算法 2013年 为了判定描述逻辑SHIN的ABox一致性,提出了一种Tableau算法。给定TBox T、ABox A和角色层次H,该算法通过预处理将A转换成标准的ABox A′,按照特定的完整策略将一套Tableau规则应用于A′,直到将它扩展成完整的ABox A″为止。A与T和H一致,当且仅当算法能产生一个完整且无冲突的ABox A″。算法所采用的阻塞机制可以避免Tableau规则的无限次执行,该机制允许一个新个体被在其之前创建的任意新个体直接阻塞,而不仅仅局限于其祖先。通过对算法的可终止性、合理性和完备性进行证明,算法的正确性得以确认。 彭立 杨恒伏关键词:角色层次 TABLEAU算法 可终止性