云计算中服务虚拟的形式依赖分析

建立依赖结构形式化模型,以依赖结构为建模基础,结合该模型定义符合虚拟特性的服务虚拟,研究在某些操作下服务虚拟的代数性质,并讨论服务虚拟的正确性问题,为利用形式化模型建模虚拟服务管理及云服务虚拟中间件提供理论基础.     

安全测评是确保信息安全的“第一道屏障”

斯诺顿事件如同一记重拳,将众人的信息安全意识猛然击醒.信息安全最显著的特点是“出现的问题越大,受重视程度越高”,最显著的成效是“受重视程度越高,出问题的概率越小”.显然,在当今信息技术广泛应用,网络影响力日益增强的时代,信息安全的风险因受到各类威胁而不断增长.随着新技术、新应用越来越多,新风险、新问题也将越来越多.2013年,我国信息安全产品的规模已较2012年度增长了21.68％,而未来两年该规模总量还将出现翻番.作为保障信息安全重要手段之一的检测与评估工作,必然显得越来越重要.     

实践教学在教学体系中的改革探究

土木工程专业是一门致力于培养设计、施工和管理等方面的人才,土木工程专业的学习和应用需要学生对该专业有一定的现场动手能力,现场动手实践教学将理论教学和现场教学有效的联系起来,为以后的现场工程实践能力的培养打下基础。现场工程实践能力在土木工程工作中占着举足轻重的作用,实践能力的高低将会影响整个工程的质量和工程的整体进度。通过对实践教学平台的重视,提高学生专业实践能力,为学生在以后的工作中奠定扎实的专业基础。     

戈壁深处辨翼龙

<正>2014年6月,由中科院古脊椎所汪筱林等生物学家组成的国际合作研究团队,发表了最新的研究成果"天山哈密翼龙",这被认为是翼龙200多年的研究历史中,最激动人心的发现之一、那么,这种已经消逝的远古空中霸主,又显露出什么样的姿容?翼龙是一种神秘的,能够飞行的爬行动物,它飞向天空的时间比鸟类还要早约7000万年。不过,在最早飞向蓝天的3类脊椎动物(翼龙、鸟和蝙蝠)中,它也是惟一绝灭了的类群。早在1784年,意大利博物学家就描述了第一件来自德国的翼龙化石。20世纪初,中国科学院古脊椎动物与古人类研究     

浅析信息化视野下的高校图书馆流通管理工作——以云南师范大学图书馆为例

以云南师范大学图书馆流通部为例,分析了高校图书馆流通管理与服务工作现状及存在的问题,探讨了新时期高校图书馆流通部的服务管理工作。     

知识与伦理:20世纪前半期忠恕思想诠释

"忠恕"是重要的伦理学范畴,历来被当作为仁之方。20世纪前半期,康有为、蔡元培及冯友兰等以"推己及人"诠释忠恕,表现出对社会的同情与关爱。章太炎、胡适、梁启超及蒋维乔等以西方知识论为视角,大体上认为忠恕是归纳与演绎的科学方法。20世纪前半期对科学方法的推崇是以知识论诠释忠恕的时代背景,然而知识与伦理不可偏废,忠恕合知识与伦理,可作为现代社会寻求知识与伦理达到和谐状态的借鉴。     

新总统难产 两政权并立——黎巴嫩大选陷入僵局

黎总统选举中各派势均力敌,相持不下;叙、美从中插手,遭到抵制。选举已告流产,出现了两个政府并存的混乱局面。     

Ba_2Y_1Cu_3O_(6.9)F_y(y=0.5—1.0)超导体的制备和性质

一般认为,Ba_2Y_1Cu_3O_(6.5+x)体系具有超导性质是与Cu~(3+)存在有关,Cu~(3+)含量(2x/3·100％)可由x值来确定。由于氧原子体积较大,难以通过进一步增大x值来提高Cu~(3+)的含量,因此它们之间的依赖关系无法进行深入的了解。本文通过Ba_2Y_1Cu_3O_(6.9)吸氟作用,在氧空位处引入体积较小且电负性大的氟原子,以便较大范围地增加Cu~(3+)的含量,这一方法为研究依赖关系提供途径。