虚拟可信平台技术现状与发展趋势

将虚拟化技术与可信计算技术结合,构建支持可信平台模块TPM/可信加密模块TCM的虚拟化平台--虚拟可信平台,是目前业界实现可信计算最为有效的一种解决方案。本文针对可信计算技术、虚拟化技术以及二者结合的虚拟可信平台技术的现状和发展趋势展开讨论,重点分析了国内外在虚拟可信平台研究、标准规范和应用中亟待解决的一些关键技术问题。     

博科通过开放式、多厂商虚拟化计算模块来释放云的能力

基于架构的数据中心网络解决方案提供商博科日前宣布,凭借新的博科虚拟计算模块,Brocade CloudPlex架构取得长足进步。这些捆绑式解决方案包括集成的、经过测试和验证的多厂商服务器、虚拟化、     

博科通过开放式、多厂商虚拟化计算模块来释放云的能力

博科近日宣布．凭借新的博科虚拟计算模块,Brocade CloudPlex架构取得长足进步。这些捆绑式解决方案包括集成的、经过测试和验证的多厂商服务器、虚拟化、网络和存储资源。     

桌面虚拟化在民航气象业务中的应用实现

随着信息技术的发展及民航气象信息化需求的提高,原本的传统终端式服务存在故障处理不及时,升级维护麻烦等特点.为了解决这一行业痛点,结合民航气象业务应用需求,提出了民航气象桌面虚拟化平台解决方案.介绍了桌面虚拟化概述,着重阐述了桌面虚拟化平台的设计、民航气象桌面虚拟化平台应用实现.     

体验数据中心4大特性——惠普推出适应性IT基础设施方案

凭借在IT系统与服务、电源与散热、管理、安全性、虚拟化和自动化等关键技术领域的优势以及全面的专业服务,惠普将新一代数据中心从理念变成现实。10月27日,设在中国惠普大厦的惠普动成长企业体验中心正式推出了帮助企业客户建设新一代数据中心的适应性IT基础设施解决方案,具体包含智能化数据中心、IT基础设施虚拟化、自动的资源供应与优化以及管理与安全解决方案等。客户可亲自体验以标准模块构建的,7×24小时运行、无人值守、完全自动化的新一代数据中心特性,以及了解当业务发生变化时,IT环境如何轻松敏捷地完成变更和资源调动,满足业…     

业界周讯

新闻戴尔重磅推出整体虚拟化解决方案戴尔日前宣布推出整体虚拟化解决方案,包含了全新的服务器、工具和服务。该整体解决方案的推出为各种类型的企业用     

化繁为简——惠普展示端到端虚拟化架构,助力CIO简化云计算

3月11日,2011惠普虚拟化架构解决方案大会(CVE)亚太巡展上海站隆重举行,来自惠普与IDC等产业合作伙伴高层共同向国内30余家媒体展示了惠普虚拟化架构解决方案,并就惠普端到端虚拟化架构如何帮助企业IT管理化繁为简,与媒体展开了深入沟通。     

涵盖服务器、存储、软件及服务 戴尔重镑推出整体虚拟化方案

戴尔于5月8日宣布推出阵容强大(包含了全新的服务器、工具和服务)的整体虚拟化解决方案. 虚拟化方案的采购、升级和部署大大简化.通过引入更新的在线工具、改善电子商务能力并拓展工厂预装服务,戴尔大大简化了虚拟化PowerEdge服务器的采购和部署途径.     

技术创新领跑虚拟化应用交付

云计算发展至今,很多企业经历了从观望到实实在在的实施落地项目,在如何帮助用户落地,体验更简单便捷的云服务,Radware持续推出的虚拟化应用交付(ADC)解决方案,正在逐步化解当前虚拟化面临诸多问题。从去年开始,Radware推出了面向云计算环境的虚拟应用交付基础架构VADI战略并实施升级,向用户提供了四种全新的服务,包括将传统的专用应用交付设备转变为虚拟化ADC实例等特殊功能,帮助用户轻松平稳地迈向虚拟化数据中心和云计算环境,从而大幅提升工作效率和业务灵活性。作为市场上一种新的应用,VADI中的虚拟机(VM)模块是专为应     

基于云计算的虚拟化技术在企业网络中的应用

针对采用STP与VRRP构建的企业网络存在部署难、扩展困难、可用性与可靠性差等问题,从上述问题分析了产生问题的根源,本文提出了采用云计算的网络设备虚拟化技术来构建企业网络的一种解决方案,通过仿真实验将虚拟化技术与动态链路聚合及虚拟化分裂检测机制有效融合,构建了一个稳定与可靠的企业网络.为了评估其方案的性能,在可用性、可管理性、扩展性等方面进行了多项对比分析,验证结果表明,云计算的虚拟化技术构建的企业网络在稳定性、健壮性等方面要优于传统方式构建的企业网络.     

用组合优化的方法进行兵力分配

科学分配兵力在现代战争中是一个重要问题 ,用组合优化的方法进行兵力分配 ,并通过建立数学模型、模型求解 (包括可行解分组、组合解优化、求解问题的最优解 )来完成 ,最后得出兵力分配的最优解     

The Pareto-optimal Solution Set of the Equilibrium Network Design Problem with Multiple Commensurate Objectives

The focus of this paper is to develop a solution framework to study equilibrium transportation network design problems with multiple objectives that are mutually commensurate. Objective parameterization, or scalarization, forms the core idea of this solution approach, by which a multi-objective problem can be equivalently addressed by tackling a series of single-objective problems. In particular, we develop a parameterization-based heuristic that resembles an iterative divide-and-conquer strategy to locate a Pareto-optimal solution in each divided range of commensurate parameters. Unlike its previous counterparts, the heuristic is capable of asymptotically exhausting the complete Pareto-optimal solution set and identifying parameter ranges that exclude any Pareto-optimal solution. Its algorithmic effectiveness and solution characteristics are justified by a set of numerical examples, from which we also gain additional insights about its solution generation behavior and the tradeoff between the computation cost and solution quality.     

一个基于填充函数变换的对称TSP问题的局部搜索算法

该文提出了求对称TSP问题近优解的填充函数算法。首先，在用局部搜索算法求得对称TSP问题的一个局部极小解后，对该问题作填充函数变换得到一新的组合优化问题，新问题的局部极小解和最优解分别是原问题的局部极小解和最优解，而且在对称TSP问题的目标函数值大于或等于其目标函数当前极小值的区域中，新问题只有一个已知的局部极小解。随后用局部搜索算法求新问题的一个局部极小解，它或者是已知的局部极小解，或者是对称TSP问题的更好的局部极小解。对多个标准实例的计算试验表明，该文所构造的算法优于直接求解对称TSP问题的局部搜索算法。     

三维几何约束的球面几何求解

研究了球面几何学在三维几何约束求解中的应用，提出了球面求解法．该方法建立在姿态约束与位置约束解耦的基础上，并以求解关键的姿态约束为主，一旦姿态约束被解出，则位置约束很容易求解；同时将表征刚体姿态的矢量映射到球平面上的点，将姿态约束映射为球平面上两点的距离，借助球面几何的知识，能够高效、直观地推理出多数情况下姿态约束的解析解，而特殊的情况则结合数值法求解，并很好地解决了数值法的初值问题．     

一种新的求解MMKP问题的ACO&PR算法

针对多选择多维背包问题(MMKP)的特点,设计一种新型混合算法(ACO＆PR).该算法将线路重连算法(PR)嵌入蚁群算法(ACO),在搜索过程中既考虑解的质量,又考虑解的分散性.线路重连算法在重连过程中,向导解的属性逐步引入起始解属性中,可快速获得该线路上的最优解.实验结果表明,该算法优于其他现有较好的方法,获得了较好的结果.     

Linear systems of first order ordinary differential equations: fuzzy initial conditions

 We present two types of fuzzy solutions to linear systems of first order differential equations having fuzzy initial conditions. The first solution, called the extension principle solution, fuzzifies the crisp solution and then checks to see if its α-cuts satisfy the differential equations. The second solution, called the classical solution, solves the fuzzified differential equations and then checks to see if the solution always defines a fuzzy number. Three applications are presented: (1) predator–prey models; (2) the spread of infectious diseases; and (3) modeling an arms race.     

一类脉冲动力系统的状态反馈控制

对一类具有状态反馈控制的脉冲动力系统的动力学性质进行了研究．由周期解的扰动解得到了一个Poincare映射，利用Poincare映射讨论了系统周期解的分岔，并得到了半平凡周期解和正周期-1解存在和稳定的充分条件．定性分析和数学模拟表明，半平凡周期解通过fold分岔分钻出正周期-1解，正周期-1解通过flip分岔分岔出正周期-2解，再通过一系列flip分岔通向混沌，此外，讨论了脉冲状态反馈控制的效果．     

数字签名批验证的新方法

文章提出了一种关于数字签名批验证的新方法,按此方法设计的批验证方程是动态方程,而以前的批验证方程是静态方程,仅是新的批验证方程的一个特例.按以前的批验证方法,只有少数几种数字签名被设计成批验证方式,结果都存在伪造攻击,是不安全的,而按新的批验证方法,每一种数字签名都可以被设计成批验证方式,而且符合安全批验证协议的要求.在执行新的批验证时,不会改变验证的计算模式和复杂度,只是可能会增加少许计算量,因此新的批验证设计方法是可行的.     

一种动态划分的混合连续域蚁群优化算法

连续域蚁群优化算法在处理高维问题时易陷入局部最优,而且收敛速度较慢。针对这些问题,提出了一种改进的连续域蚁群优化算法。该算法将解划分为优解和劣解两部分,并在迭代过程中动态调整优解和劣解的数目。对于优解,利用全局搜索策略进行预处理,这样能提高算法的收敛速度和收敛精度。对于劣解,则利用随机搜索策略进行预处理,这样能扩大搜索范围,增强搜索能力。通过标准测试函数对所提算法进行测试,结果表明改进策略能够有效提高连续域蚁群优化算法的收敛速度并改善解的质量。     

A neuro-genetic-simulated annealing approach to the inverse kinematics solution of robots: a simulation based study

In this study, a hybrid intelligent solution system including neural networks, genetic algorithms and simulated annealing has been proposed for the inverse kinematics solution of robotic manipulators. The main purpose of the proposed system is to decrease the end effector error of a neural network based inverse kinematics solution. In the designed hybrid intelligent system, simulated annealing algorithm has been used as a genetic operator to decrease the process time of the genetic algorithm to find the optimum solution. Obtained best solution from the neural network has been included in the initial solution of genetic algorithm with randomly produced solutions. The end effector error has been reduced micrometer levels after the implementation of the hybrid intelligent solution system.