虚拟技术在计算机教学中的应用策略

在高职院校的教学过程中,计算机教学是一门至关重要的课程。随着计算机的广泛应用与普及,计算机教学受到了各大高职院校的广泛关注与高度重视。将虚拟技术应用到计算机教学,可实现高职院校计算机教学的进一步改革与创新。基于此,本文对虚拟技术在高职院校计算机教学中的应用进行分析,希望可以为高校计算机教学效果的提升提供一定帮助。     

云计算背景下高职院校计算机实验资源管理的问题以及对策

云计算技术是计算机领域中一项逐渐兴起的热门技术,相关功能也逐渐被应用到各项教育工作的开展过程中。云计算技术与高中院校计算机实验资源管理工作相结合,能够使计算机软件的实验资源管理工作更为轻松便捷,同时也能够对资源进行高效利用。基于此,本文通过深入探究云计算背景下高职院校计算机实验资源管理的问题以及相关对策,以期提升高职院校计算机实验资源管理工作的质量,为推动计算机专业课程教育工作质量的全面发展提供一些有价值的参考。     

基于JSP的学籍管理系统的分析

高职扩大招生以来,高职的在校学生也逐年增加,这就给高职院校的学籍管理带来了一定的管理难度。所以,结合Jsp技术,开发一款性能较稳定、数据较安全、高效的学籍管理系统就显的格外重要,本文结合我校的实际学籍管理工作,对学籍管理系统进行了分析,并提出了较好的解决方案。     

“产教融合”背景下高职《计算机应用基础》教学模式改革研究

本文着重基于对"产教融合"背景的分析探索高职院校《计算机应用基础》教学模式改革的新要求、存在的问题以及相应的策略,指出在新时代背景下,高职院校必须注重校企合作,以就业为导向创新《计算机应用基础》教学模式,打造多元化育人格局,融合"双创"教育理念,为促进高职院校应用型人才综合能力的培养提供一定的参考。     

工学结合模式下高职课程改革的探索与创新——以《大学计算机信息技术》课程为例

"工学结合"模式是高职院校培养高素质应用型人才的核心理念,从"工学结合"模式的基本特点出发,指出高职院校《大学计算机信息技术》课程改革的现状及问题,探讨基于"工学模式"下课程内容的优化整合、课程资源建设的完善、教学方法的更新、实践考核方式的规范等方面的改革与创新,以期助推高职院校信息技术人才培养目标的实现。     

高职院校计算机应用技术专业"双师型"师资队伍建设思考

计算机应用技术专业是为社会输送高素质计算机专业人才的重要平台,高职院校在专业建设中应当充分重视"双师型"师资队伍建设,以教师为主导,推动计算机应用技术专业人才培养.该文从"双师型"师资队伍建设存在的问题着手分析,基于计算机应用技术专业人才培养需求,提出了"双师型"师资队伍建设的策略供参考.     

浅议高职院校计算机应用基础教学

高职院校计算机应用基础课程教学的目的,就是要培养学生的计算机操作应用能力。高职院校的新生计算机应用能力参差不齐,高职院校的计算机应用基础课程教学改进创新势在必行。本文对高职院校计算机应用基础教学改进提出了一些切实可行的方法。     

基于物联网技术的高职院校学生管理工作创新研究

近几年来,我国高职院校招生规模不断扩大,高职院校的学生管理工作成为各大院校的重点工作。本文从物联网技术的角度出发,探究物联网技术在门禁识别、校园一卡通以及活动物品管理等方面的应用前景,具有很强的创新意义。     

翻转课堂在高职计算机教学中的应用探讨

计算机教学是近年来高职教学的重点课程,其教学模式也在不断研究与创新。"翻转课堂"的应用符合我国高职院校计算机现代化教学的需要,通过有效利用翻转课堂,提高了高职计算机教学体系的完整度和学生学习的积极性。笔者根据"翻转课堂"教学模式的特点,对现在高职计算机教学提出了应用策略。     

高职计算机应用基础中应用递进式实训教学的研究

国内高职院校在办学育才方针方面始终坚持"服务社会宗旨、就业教育导向",所以多年来他们在教学创新方面也不遗余力,紧紧围绕素质教育、新课改要求提出多种创新教法,希望大力推行教学改革进程。本文中主要围绕高职的《计算机应用基础》课程教学为例,将目前的"应用递进式"实训教学方法融入其中,结合教学思路与具体教学案例切实研究了其在高职计算机应用基础课程中的具体应用,希望以此丰富高职计算机专业教学方式与内涵。     

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.     

Models and Complexity of Problems of Design and Reconstruction of Telecommunication and Transport Systems

This article considers network synthesis problems arising in the design and exploitation of telecommunication and transportation systems. A formalization of network synthesis problems on graphs is proposed in which constraints on cut capacities are given and possibilities of failing some network components are taken into account. Approaches to the solution and analysis of the complexity of the considered problems are described.     

Teamcenter与NX集成客户化定制技术研究与实现

PDM产品实施过程中一项重要工作是系统集成与客户化定制。对Teamcenter Engineering(简称Teamcenter)与NX系统集成客户化定制中业务建模、属性映射等相关技术进行了研究,提出了Teamcenter与NX集成客户化定制的技术思路,并以客户化定制NX工程图纸标题栏为例,介绍了Teamcenter与NX集成定制实现的关键步骤及方法。     

椭圆拉伸变形长短轴的计算及应用

在CAD应用软件程序编制中,椭圆的长短轴是很重要的参数。应用相关数学知识推导出6个计算公式,可利用这些公式确定椭圆沿坐标轴拉伸变形后的长短轴大小与位置并在CAD软件中实现与之相关的功能。     

IPSEC与防火墙协同工作设计与实现

IPSEC提供网络层的安全服务，通过对IP报文的加密和验证，保证数据在传输过程中的安全．由于IPSEC封装了报文中一些重要信息，使得IPSEC与防火墙不能同时有效地工作．本文提出一种分层IPSEC(Layered IP Security，L_IPSEC)思想，即将协议头和数据部分分别进行安全处理．并将这种分层思想与分布式处理技术结合，设计与实现一种IPSEC与防火墙协同工作方案．     

智能业务和软交换互通的设计与实现

电信业的快速发展及下一代网络的全面建设促进智能业务与软交换实现互通。文中首先介绍了互通的种类和方案，并重点讲述了智能网和软交换互通过程中模型的重要部分——软交换侧的SSP。在此基础上，提出了智能网和软交换互通的实现方案，并且以智能用的典型业务FPH为例简明分析了方案，对利用业务服务器实现软交换中的智能业务进行了插述和分析。     

Kohonen与Madaline用于解析重叠光谱测定钨和钼

首先应用Kohonen网络对钨、钼的混合吸收光谱进行波长选择，在全光谱中优选最能代表光谱特征的波长，被选波长处吸光度作为Madaline网络的输入，设定输出目标函数为G（λ）＝∑Aiexp[-4(ln20）(λ-t）^2/2]，进行解析重叠光谱，同时测定了钨和钼，该法利用特征光谱代表全谱进行光谱解析，减少了解析光谱中大量的数据。     

智能业务和软交换互通的设计与实现

电信业的快速发展及下一代网络的全面建设促进智能业务与软交换实现互通.文中首先介绍了互通的种类和方案,并重点讲述了智能网和软交换互通过程中模型的重要部分--软交换侧的SSP.在此基础上,提出了智能网和软交换互通的实现方案,并且以智能网的典型业务FPH为例简明分析了方案,对利用业务服务器实现软交换中的智能业务进行了描述和分析.     

Binary perfect and extended perfect codes of lengths 15 and 16 and of ranks 13 and 14

Inaccuracies in computations in the paper of the authors on classification of perfect binary codes of lengths 15 and 16 and of rank 13 are fixed. An explicit construction of all extended perfect codes of length 16 and rank 13 with a given kernel size is presented. Perfect binary codes of length 15 and rank 14 obtained by the general doubling construction are classified.