高职动漫设计人才培养新机制的探索与实践

人才的培养需要一套行之有效的机制来实施,需要从专业建设、师资建设、教材建设及学生综合素质培养上进行建设与实践,只有全方位一体化建设,才能培养社会需要的合格人才.     

计算机科学与技术特色专业建设的思考与实践

计算机科学与技术专业是培养计算机人才的重要阵地,近些年来,该专业的建设出现了下滑的趋势,在人才的培养上面出现了瓶颈.随着社会的不断发展,计算机科学与技术专业也需要进行特色建设,避免千篇一律的人才培养模式,否则难以适应社会的发展要求.高校计算机科学与技术特色专业建设需要加强对专业特色的定位和师资队伍的建设,并且要注重对学生实践能力的培养,使得特色建设真正走上正轨.     

高校计算机网络实验室建设研究与探讨

建设规范、有效的计算机网络实验室是实现高校培养具有高素质的网络技术型人才的关键,对于计算机网络实验室的建设不仅需要高校从计算机的硬件给予高度重视,还需要充实教师队伍的技术实力,实现在合理的规划硬件配置的前提下,抓紧对软件开发以及人员培养进程速度的提高,从而确保高校建设完成具有专业性能的计算机网络实验室。     

大数据视角下信息管理与信息系统专业建设探讨

大数据视角下信息管理与信息系统从业者的工作内容发生了巨大的变化,原有的专业建设已不能适应时代发展需求,高校需要重视培养实践型人才,必要时自主决定办学层次、规模、类型与专业发展,建设拥有自身特色的专业培养计划,重视跨学科发展,适应不同行业的数据信息管理需求.最后,需要重视创新能力、思维的培养,让学生主动融入到时代发展浪潮,参与推动大数据时代的发展.     

计算机科学与技术专业应用技术型人才培养研究

地方高等院校的计算机科学与技术专业建设要为区域经济和社会的服务,按照发展环境的需要培养应用技术型的人才。本文对教学计划和课程设置、教学实施、教学服务机制、师资队伍建设多个方面进行深入探讨．结合学生就业市场需求对应用技术型人才培养方案进行研究,按照课程群模式进行专业建设,为培养出有竞争力的毕业生打下基础。     

计算机专业实践基地建设与专业应用能力培养

介绍国内IT企业对计算机应用型人才的不同需要以及软件企业岗位设置与人员配置情况;分析本校计算机专业实践基地建设与学生专业应用能力现状。阐述"教研结合,分类培养;胜任一岗,一专多能"的实践基地建设思路以及建立与完善软件开发、通信与网络技术、软硬件销售等多种类型的计算机专业实践基地的措施,以便更好地实现本专业分类培养应用型人才的培养目标。     

湖南大学“智能科学与技术”本科专业建设探讨

"智能科学与技术"是近年发展起来的新兴学科,广泛涉及到机械、电子、人工智能等多方面技术。"智能科学与技术"本科专业建设对其自身发展、培养该方面高技术人才起着重要作用。本文从专业建设和目标、培养模式、教学方案、课程设置、教学改革与实践等方面进行探讨,探索适应于社会发展需要的"智能科学与技术"专业的人才培养模式。     

高职物联网应用技术专业建设探讨

随着物联网产业的快速发展,社会将大规模需要物联网研究及应用型人才,而高职类院校作为国家高技能应用型人才的培养基地,需要为社会培养高素质的物联网专业技术人才。基于物联网产业的发展,对物联网专业人才需求进行分析,对专业建设中课程体系与职业岗位的交互性进行探讨,分析基于物联网应用技术的校企合作人才培养模式。     

计算机组成原理精品课程建设的探索与实践

为培养高素质人才,全面提升高等教育教学质量,必须积极推进和实施计算机组成原理精品课程建设及其建设目标。本文从精品教材建设、教学内容规划、实践创新能力培养、教学方法与手段改革和教学团队建设等方面进行了探索与实践。     

高校智慧教室建设与应用思考

现如今,培养高素质专业人才已经成为高等教育事业发展的本质要求和根本使命,然而高等教育人才培育质量的有效提升,需要教育模式与教育手段伴随信息技术的进步实施改革和创新。本文以高校智慧教室的主要优势入手,分析高校智慧教室建设与应用面临的困境,提出高等院校智慧教室建设及应用对策。     

Assessing Ideational and Evaluative Skills and Creative Styles and Attitudes

This article describes the rationale for the multiphase creative problem solving process, and reports the findings from an empirical investigation conducted to facilitate the problem solving of managers. The ideational skills of the managers were assessed before and after training in a complete process of creative problem solving, along with their ideational attitudes, creative problem solving style (i.e., generator, conceptualizer, optimizer, or implementor), and evaluative skill (i.e., ability to recognize original ideas). The most important findings indicated that the training had a significant impact on the evaluative accuracy of the managers. They were significantly more accurate in their judgments about original ideas after training, both in their identification of original ideas and their recognition of unoriginal ideas. After training, the managers also gave more solutions and more original solutions to problems. Finally, several variables (e.g., the “preference for active divergence” attitude, and the conceptualizer process style) seemed to moderate the impact of training. Training was therefore effective, with specific effects that can be predicted from pre-training individual differences in attitudes and process style.     

Semantics and verification of monitors and systems of monitors and processes

In this paper we present a sound and complete semantics for the monitor concept of C.A.R. Hoare. First a method for specification of monitors, introduced by O.-J. Dahl, is reviewed. This method is based on the relation between the historic sequence of monitor procedure calls and the historic sequence of monitor procedure exits. Based on such specifications and our new monitor semantics we present a method by which it is possible to prove that a concrete monitor is an implementation of an abstract one. In the last part of the paper an axiomatic semantics for systems of concurrent processes and monitors is introduced. The method supports verification by separation of concerns: Properties of the communication to and from each process are proven in isolation by a usual Hoare style axiomatic semantics, while abstract monitors are also specified in isolation by the method reviewed in the first part of the paper. These properties of the components of the system are then used in a new proof rule to conclude properties of the complete system. Stein Gjessing received a Ph.D. (actually a Dr. philos.) from the University of Oslo (Norway) in 1985. Presently he is an Associate Professor at the Institute of informatics, University of Oslo, Norway. Dr. Gjessings research interests are in the area of concurrent and distributed programming, operating systems, formal specification and verification and programming languages.     

Integrating and automating analysis and optimization

The development of an interface coupling program on personal computers for an analysis software system such as ANSYS, SAP, etc. and an optimization software system, MOST, is presented. By controlling and directing the communications the interface coupler integrates the two programs while retaining their versatility and interactive features. The integrated system is used to solve a numerical example of active noise control for a three-dimensional enclosure, in which an energy density level of control points is minimized by adding the sound source to cancel the unwanted noise. The interface coupling program automates with relatively low cost the iterative process for designing an engineering system, remaining flexible in acoustical modelling and efficient in equation solving. Also, the coupling interface is developed in a general-purpose way so that it can be expanded easily to integrate more analysis software packages of different kinds.     

Rank and select revisited and extended

The deep connection between the Burrows–Wheeler transform (BWT) and the so-called rank and select data structures for symbol sequences is the basis of most successful approaches to compressed text indexing. Rank of a symbol at a given position equals the number of times the symbol appears in the corresponding prefix of the sequence. Select is the inverse, retrieving the positions of the symbol occurrences. It has been shown that improvements to rank/select algorithms, in combination with the BWT, turn into improved compressed text indexes.