高职院校智慧校园建设

为顺应全球教育信息化发展潮流,促进信息技术与职业教育教学深度融合,人们在数字校园的基础上提出了智慧校园这一新概念。智慧校园是高职院校信息化建设的重要组成部分,笔者分析了高职院校智慧校园建设的必要性,并研究了智慧校园建设内容、建设步骤及前后逻辑关系,为高职院校智慧校园建设提供一种可行的解决方案。     

高等职业院校云空间教学与管理的应用研究

网络学习空间建设是数字化校园的重要工作内容,对于促进教育信息化,推动高职教学模式创新起着非常重要的作用。该文分析了当前高职院校网络教学空间建设、管理中存在的问题,提出了高等职业院校云空间教学与管理的研究目标和内容,推动了高等职业院校空间建设与管理的基础理论和应用研究,为其他高职院校网络学习空间建设与管理提供可行性参考。     

高职院校网站群建设与安全分析

网站群在高职信息化建设中逐渐崛起,其统一管理平台、统一标准、统一部署、统一规范的特点对于促进学校数字化校园建设工作至关重要,其日趋成熟的网站群技术,为高职院校的校园网站升级改造提供了方向。文章主要分析了高职院校网站的现状,然后从网站群发展的趋势、网站群系统设计及安全性分析等方面着手阐述了高职院校网站群的建设。     

基于物联网的高职院校智慧校园建设研究

物联网技术的飞速发展推动了"数字校园"向"智慧校园"转变,为高职院校提供了一个智能化管理和服务环境,为学校的管理方式、教学方法和后勤保障带来根本性变革。笔者详细介绍了智慧校园的体系架构及平台建设,根据高职院校的实际需求,对高职智慧校园的建设进行了研究和探索。     

基于网络的高职学生心理咨询室的设计与实现

随着高职院校信息化建设的不断推进，校园网络已成为学校最重要的基础设施。在网络环境下，构建学生心理咨询室符合教育发展趋势。本文从校园实际需求出发，采用B/S开发模式，应用PHP开源技术和MYSQL数据库管理技术，构建动态心理咨询室。     

浅谈高职院校校园网的建设与应用

校园网是学校教育信息化的重要基础设施,在学校的教学、科研、管理和生活服务中起着越来越重要的作用。为适应现代教育的发展和要求,许多高等院校已开始了数字化校园的建设和规划。该文从高职教育对校园网的要求、网络及网络教学的特点出发,阐述了高职院校校园网的基础建设、应用和管理。     

基于云计算技术的现代网络技术辅助教学平台的设计与研究

随着网络技术的快速发展,云计算技术逐步渗透到各行各业。现阶段,高职院校都非常注重智慧校园网建设,很多高职院校都将智慧校园的建设放在学校重点发展项目。目前,云计算技术在设计现代网络技术辅助教学平台上的优势逐渐凸显,随着我国对教育系统信息化水平重视程度的提高,云计算技术被广泛的应用在教育系统中,以便于更好地提高教育信息化。     

浅析高职校园网络安全防护技术

随着我国教育信息化的不断开展与深入,校园网络在高职院校中的应用地位也愈来愈重要。本文就PKI技术植入VPN技术获得安全性更高的校园网络模型进行了深入研究和分析,以便确保高职校园网络能够更加安全使用。     

试论分布式区域教育教学资源中心网络架构的研究与设计

随着信息技术的,现代科技越来越多的被引用到学校教学实践,为师生提供了便捷的知识服务。教学信息化、校园数字化、图书馆信息化建设如火如荼。特别在开发教学教育资源方面,各个学校各具特色,成果丰富。但是在各自为政,无统一规划下的资源建设出现了许多矛盾问题,资源缺乏共享,教学资源内容单一。高职院校作为国家重要的人才培育基地,担负着未来现代化建设的重任。建设教学教育中学资源分布式系统是高职院校提高学生素质的关键,需受到重视。本文以现实案例为引导,希望为高职院校构建教学教育中心资源网络共享架构提供理论参考。     

基于“互联网+”智慧校园建设应用研究

本文以德州职业技术学院智慧校园建设为例探索研究高职院校智慧校园建设及应用,提出在数字化校园基础上升级校园网,采用云计算技术建立超融合服务器和云存储,集成学校应用,建立一站式智慧服务平台;建设使用现代信息化教学设备、数字化教学平台,探索实施适用的混合式教学方法,实现基于"互联网+"泛在学习。为高等职业院校智慧校园建设提供可行的参考方案。     

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]，进行解析重叠光谱，同时测定了钨和钼，该法利用特征光谱代表全谱进行光谱解析，减少了解析光谱中大量的数据。     

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.     

Oracle与Sybase体系结构的分析与研究

文章就当前非常流行的两大数据库系统Oracle和Sybase的体系结构、数据存储、备份处理及安全管理,从结构原理、应用等方面进行了系统地分析,总结了两系统的共性和个性,以利于实际应用。     

存储系统NAS和SAN的差异和统一

分析了目前已经实现的主流网络存储技术SAN和NAS之间的差异,比较了它们之间在各方面的优劣,描述了多种实现NAS和SAN融合的手段,指出网络化存储必然相统一和融合发展,得出了IP之上存储是未来发展方向的结论。     

XML和数据库之比较与转换

本文比较了XML与数据库的优缺点，并探讨了XML与数据库相互转换的问题。