您的位置： 专家智库 > >

彭立

作品数：12 被引量：27H指数：3
供职机构：湖南第一师范学院信息科学与工程系更多>>
发文基金：国家自然科学基金湖南省科技计划项目湖南省教育厅科研基金更多>>
相关领域：自动化与计算机技术文化科学社会学更多>>

合作作者

文献类型

  • 12篇中文期刊文章

领域

  • 10篇自动化与计算...
  • 2篇文化科学
  • 1篇社会学

主题

  • 5篇教学
  • 3篇一致性
  • 3篇描述逻辑
  • 3篇TABLEA...
  • 2篇终止性
  • 2篇教学质量
  • 2篇可终止性
  • 2篇课程
  • 2篇课程群
  • 2篇课程群建设
  • 2篇UDDI
  • 1篇电子专业
  • 1篇英语
  • 1篇英语教学
  • 1篇英语教学研究
  • 1篇软件测试
  • 1篇软件工程
  • 1篇软件设计
  • 1篇设计能力培养
  • 1篇实践教学

机构

  • 12篇湖南第一师范...

作者

  • 12篇彭立
  • 3篇杨恒伏
  • 2篇何昭青
  • 1篇阳西述
  • 1篇傅红普

传媒

  • 3篇湖南第一师范...
  • 1篇计算机工程
  • 1篇计算机应用研...
  • 1篇计算机工程与...
  • 1篇计算机与现代...
  • 1篇微计算机信息
  • 1篇科技信息
  • 1篇新校园（上旬...
  • 1篇赤峰学院学报...
  • 1篇新校园（中旬...

年份

  • 3篇2014
  • 3篇2013
  • 1篇2012
  • 3篇2011
  • 2篇2010
共 12 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
计算机专业软件设计课程群建设的研究与实践被引量：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的中文乱码问题给软件开发人员带来了很大的困惑。为解决这一问题,可通过分析各种编码方式之间的相互转换,发现中文乱码问题的根源,并对各种出错情况进行分析,找出解决问题的办法。
彭立
关键词：TOMCATJSP中文乱码
电子专业英语教学研究
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算法可终止性
全选 清除 导出
共2页<12>
聚类工具0