摘要：程序设计类竞赛是高校加强人才培养的重要手段。提出通过计算机程序设计竞赛助力地方高校创新型人才培养的有效模式。根据成果导向教育理论,在剖析大学生程序设计竞赛特点、地方院校学生水平和师资条件的基础上,构建适合地方高校的程序设计竞赛体系,进一步优化竞赛团队和人才培养模式,并形成贯穿全年的竞赛组织和培训机制。在此竞赛体系下,学生在ACM-ICPC和其他重要竞赛中不断取得突破,总体成绩位列同类院校前茅。计算机程序设计竞赛也促进了程序设计课程群教学改革,教学质量稳步提高,人才培养效果显著。实践证明,该模式是地方院校创新型人才培养的有效手段和重要途径。

摘要：桂林鸡血玉首饰化发展作为一个新的发展方向,符合当今玉雕行业的需求。本文对桂林鸡血玉的特征及其首饰化发展现状进行研究,从文化创意视角探讨桂林鸡血玉首饰化发展策略与前景,在此基础上结合现代人对珠宝首饰的时尚感、趣味性与功能性等的追求,从桂林地域文化中汲取灵感,创作了花非花、心心相印等系列以桂林鸡血玉为主石,与以桂花、心形为主要元素的白银镶嵌鸡血玉首饰。

摘要：本文通过博弈论模型的数理模型研究,试图寻找最优品牌战略和市场结构,实现全渠道零售的利润最大化。博弈论模型假设全渠道零售商同时具备线上与线下渠道,最优品牌战略和市场结构。研究推论表明,全渠道零售商存在最优品牌战略和市场结构,当品牌供应商并行使用多种零售渠道销售其产品时,最佳品牌战略是在线上和线下渠道商店之间采用尽可能大的品牌差异化,尤其是在价格对消费者不敏感且市场基础规模较大的情况下。此外,还发现最优市场结构是Stackelberg博弈模式,尤其是当两个渠道之间的产品品牌差异较小时。

摘要：实时系统复杂性的不断增加以及对可配置性和可重用性要求的不断提高,需要如面向方面和基于组件的软件工程方法的支持,同时实时系统的可信性要求采用形式化方法来开发实时系统。本文试图建立一种面向方面的实时系统形式化开发方法,这种方法对RT-Z进行了面向方面和面向部件的扩展,并通过实时组件模型在需求和设计阶段提供了对基于部件的系统开发方法(CBSD)和面向方面的系统开发方法(AOSD)的支持。本文给出了面向方面的实时Z(AO-RT-Z)的组件模型的框架结构、语法要求、方面的联结和功能接口和非功能接口的定义,重点讨论并证明了面向方面的实时Z(AO-RT-Z)作为规格描述语言的健全性。

摘要：山西大同作为国务院首批批准的24座历史文化名城之一，自北魏建都（当时称平城）至今已有1600多年的历史。大同现仍保存着丰厚的古都历史文化遗存，体现着皇城气象。有体现北魏宫城文化的平城遗址：有体现北魏礼制文化的明堂遗址：有体现北魏皇帝皇后陵寝文化的北魏金陵、方山文明太后陵；

摘要：阐述了并发Z语言是一类适合于并发实时软件系统设计的规格说明语言,其基本语义是Z语义的并发和实时扩展,提出了对这些扩展方法的分类原则,并通过微机仿真系统设计阐述了基于状态转化方法的并行Z规格说明在并发实时系统需求分析和设计开发中使用的一些基本方法、典型问题的处理原则以及操作间时序关系描述的基本手段.

摘要：软件重构在不改变程序行为的情况下通过对代码进行小的改进以提升设计,使之更容易理解和维护,面向方面的程序设计是软件开发的新技术,为了有效实施面向方面的软件重构,需要开发者识别面向方面程序的转化规则。然而,由于使用的AOP语言没有形式化的语义定义,难以确认转化和重构的程序运行行为。本文对MCI操作语义的面向方面的扩展使之支持程序的方面特征的描述,定义了两个程序的观测等价,讨论了AspectJ的形式语义模型的建立,在MCI的语义下形式化地精确证明了AddBefore-executing编程规则的观测等价性,其基本原理和方法可以适用于其他规则的证明,通过上述工作提出了面向方面重构的程序和它的面向对象程序原型等价性的证明方法。

摘要：本文讨论了在西文操作系统下汉字图形界面的实现方法。

摘要：在“大众创业、万众创新”的背景下,地方高校担负着培养应用型创新人才的重任,因此亟须转变人才培养思路,强化学生创新创业意识与创业能力,全面提高人才培养质量。本文以桂林理工大学博文管理学院产品设计专业为例,通过应用型创新人才培养模式分析,探索产品设计专业创新人才培养途径与措施,开展应用型创新人才培养实践,推进专业教育与创新创业教育融合,打造专业特色,培养社会紧缺的高素质应用型创新人才。

摘要：本文介绍了C语言菜单生成器的设计的思路,并给出了部分源程序。