中国民航新一代云计算智能数据中心研究及实现

中国民航新一代云计算智能数据中心建设的总体目标是构建面向新一代民航旅客服务系统的数据可视化、资源供给自动化、监控运维规范化的云计算平台。本文分析该云计算平台的产生背景以及国内外云计算平台的发展现状,介绍中国民航新一代云计算智能数据中心的业务架构和技术架构,最后总结了该平台落地的重大意义。     

物联网云计算平台测评体系的建立

随着物联网与云计算的发展,必然会随之出现一些问题,因此要有一个质量测评体系对之进行评定。本文首先对物联网云计算平台测试的发展现状进行了介绍,建立了物联网云计算平台的质量测评体系。从物联网与云计算的现状及发展入手,逐步分析问题,通过研究,采用各种手段,建立起一个质量测评体系与测试策略。     

物联网云计算平台测评体系的建立

随着物联网与云计算的发展,必然会随之出现一些问题,因此要有一个质量测评体系对之进行评定。本文首先对物联网云计算平台测试的发展现状进行了介绍,建立了物联网云计算平台的质量测评体系。从物联网与云计算的现状及发展入手,逐步分析问题,通过研究,采用各种手段,建立起一个质量测评体系与测试策略。     

基于云计算的数字化图书馆研究

对云计算的概念和特点进行分析,在此基础之上,从高校建设新一代数字化图书馆的角度,分析高校信息化与云计算服务相结合的优点.提出基于云计算的数字化图书馆的模型,对核心部分云平台服务层的实现作详细的论述,并对云计算未来的发展及应用进行展望.     

海量信息存储测评技术研究与服务平台建设

信息技术飞速发展,作为国家战略型新兴产业的云计算、物联网、三网融合等新一代信息技术已得到广泛应用,海量信息和用户出现爆炸式增长。信息量和用户量的剧增导致信息存储技术面临多种难题,如性能低、扩展性差、可靠性不高、数据可用性差、功耗巨大、兼容性差、海量信息管理困难、产品和系统评估困难等。为此,在国家863计划重大专项课题的支持下,建立了海量信息存储测评公共服务平台,制定了全面的测评指标体系和测评方案,满足从多个维度对海量信息存储系统进行综合测评,为用户解决海量信息存储问题提供了解决方案。     

云计算在移动学习中的平台构架及应用探析

云计算作为新一代的网络应用模式,给移动学习带来前所未有的发展机遇。基于这种新的变革对云计算在移动学习中的应用进行了初步探析,阐述了相关概念,探讨了云计算在移动学习中的应用优势及平台构架,并以实际案例展示云计算在移动学习中的具体应用。     

云计算服务质量测评指标体系研究

随着云计算服务的兴起,云计算服务质量的定义、度量和评价的一致性问题逐渐引起各大云计算服务提供商和云计算用户的关注。因此,研究云计算服务质量测评方法和指标体系,通过服务质量评估,为评估云计算服务水平提供数据支撑和决策依据,势在必行。为此,本文针对云计算服务质量的测评方法和评价指标体系缺失等问题,在掌握现有国内外云计算服务质量测评方法、解决方案及其应用情况的基础上,借鉴其成熟的模型和思路,开展云计算服务质量测评指标方法研究。通过搭建云计算服务质量测评指标体系,提炼云计算服务质量评估要求,让云计算服务质量测评真正落地。     

基于Azure的云安全研究

随着云计算的进一步推进和发展,云计算面临的安全问题变得越来越突出,特别是在云计算带来的诸多利益下,如何满足用户在云计算环境下对用户数据的机密性、完整性等相关性能的需求,已成为云计算安全的首要难题。文中以微软Azure平台为基础,从云安全分析人手,针对WindowsAzure云安全进行分析研究。在Azure架构下,探讨Azure云安全解决方案,分别从IaaS、PaaS、SaaS三个角度对微软Azure云平台安全方案给出应对措施,为进一步对微软Azure云平台进行更深层次的测评分析提供技术支持。     

基于Azure的云安全研究

随着云计算的进一步推进和发展,云计算面临的安全问题变得越来越突出,特别是在云计算带来的诸多利益下,如何满足用户在云计算环境下对用户数据的机密性、完整性等相关性能的需求,已成为云计算安全的首要难题。文中以微软Azure平台为基础,从云安全分析入手,针对Windows Azure云安全进行分析研究。在Azure架构下,探讨Azure云安全解决方案,分别从IaaS、PaaS、SaaS三个角度对微软Azure云平台安全方案给出应对措施,为进一步对微软Azure云平台进行更深层次的测评分析提供技术支持。     

云计算平台的搭建与研究

随着互联网和大数据的发展,云计算平台成为互联网时代比较受关注的课题,云计算平台具有计算速度快和高容量的特点.Hadoop开源分布式系统架构模型是云计算平台的基本模型,对Hadoop开源分布式系统架构的组件HDFS分布式文件系统和HBase分布式数据库进行了简单的分析,提出了云计算平台的搭建设计方案.     

ANALOGY AND METAPHOR AND SYSTEMS AND CYBERNETICS METHODOLOGY

Systems and cybernetic methodology have traditionally drawn upon the concepts of analogy and metaphor. These are, however, contentious on both philosophical and practical grounds. The work we present in this paper mostly aims to overcome the philosophical difficulties by uncovering the basic principles of analogic modeling and by showing how these can complement inductive and deductive reasoning. Analogy and metaphor are then shown to be complementary and can be considered to be on one spectrum, from creative metaphor to the more formal approach of analogy. Contention on practical grounds is allayed as the role of analogy and metaphor in systems and cybernetic methodology is outlined.     

联系的概念,实现及其应用

联系表示对象间的关系，对数据库及客观世界而言，是一种有很用的建模结构。     

VR、AR和MR-挑战与机遇

用户和计算机间的人机交互(HCI)不再仅仅局限于通过键盘和屏幕实现,而是在被虚拟现实VR(Virtual Reality)所逐步取代。VR的影响跨越HCI,使得整个计算机系统发生了变化。但是,众多词汇和概念困扰着大家,诸如虚拟环境、虚拟世界、虚拟现实VR、增强现实AR(Augmented Reality)和混合现实MR(Mixed Reality)等。因此急需辨清,以便促进虚拟现实的发展与应用。分析虚拟现实的由来和内涵,对VR/AR/MR给以清晰的定义和界定。对VR/AR/MR的特点和用途、关键技术支持、相关的建模技术、软件设计与工程及若干应用等进行深入的剖析,并对虚拟现实的发展趋势、挑战与机遇进行了分析和探讨。     

比较分析CPU超线程技术与双核技术的异同

超线程技术和双核技术是CPU发展历程中的重要技术。超线程技术把一个物理处理器模拟成两个虚拟的处理器,减少执行单元和一些资源的闲置时间,提高CPU的利用率。双核技术是将两个物理处理核心封装在一个CPU中,提高程序的执行效率。介绍CPU的基本模型,分析超线程和双核的技术原理,并从系统架构、并行程度和提升的效率三个方面比较它们的异同点。     

电力设备状态检修及计算机辅助分析预测

以近年来我国电力企业设备检修实践为基础，从状态检修管理体制、人员素质和技术检测手段等几个方面阐述了在向状态检修模式迈进的历程中所采取的措施、设想和面临的困难及解决的思路，并论述了计算机技术在其中的应用。     

曲线曲面的形态算法及应用

从积分几何中的概念出发,证明了凸体形态和运算的一个重要性质： Ｆ（ Ｓ,ｕ）＝ Ｆ（ Ａ,ｕ） Ｆ（ Ｂ,ｕ）,从而将两物体的形态和归结为法矢相同的点集的形态和,并提出法矢球的概念,将物体表面各点的法矢顺序对应至球,即得到该物体的唯一法矢球表示,通过对法矢球的合并,则得到两物体的形态运算结果,在理论上统一了二维、三维实体的形态运算,并给出二维、三维曲线、曲面的具体形态算法．此外还给出曲线、曲面形态算法的具体应用,如扫成曲面造型、字型合成、非刚体运动的广义内插等．     

一个数字认证签名系统的设计与实现

介绍了一种数字认证签名算法,用该算法设计实现的系统可用于对抗信息的冒充、篡改、重发等攻击。     

需求分析与获取的方法学与技术

本文给出需求工程的一般框架，在对需求分类的基础上主要讨论非功能性（即非行为性）需求，提出对软件需求规范和分析技术的要求，并强调对现有相关工作评价的其中两个方面。     

SPACE AND TIME IN COMPUTATION AND DISCRETE PHYSICS

A step can be regarded as an elementary ordering of two objects (or operators). A step is a distinction combined with an action that crosses the boundary of that distinction. The elementary step can be seen as a reference, as a division of space or as a tick of a clock. By looking at the structure of a step, we provide a context that unifies specific aspects of special relativity, Laws of Form, topology, discrete physics and logic design.     

RLD演绎及子句蕴含与子句包含关系的非等价性

软件复用的一个主要任务是可复用软件构件的表示与检索，由于一阶逻辑能够描述软件构件的计算语义，因此用一阶逻辑表示构件及用基于归结原理的自动定量证明技术检索构件的研究在软件工程领域得到了足够的重视，为了简化基于演绎的构件检索技术的程序设计结构及提高演绎效率，提出了最右线性演绎RLD（rightmost linear deduction)，并证明了它的完备性，同时，指出了子句蕴含与子句包含关系的非等价性，并给出了由子句蕴含关系推出子句包含关系成立的一个充分条件。