一、驾驭2GHz——Pentium 4芯片组技术对比(论文文献综述)
刘峰[1](2010)在《浮点乘加中混合算术加法可信性增强关键技术的研究》文中提出系统可信性是在正确性、可靠性、安全性、可维护性等众多概念的基础上发展起来的一个新概念。一般认为,系统具有高可信性是指系统的动态行为及其结果总是符合人们的预期,系统在受到诸如操作错误、环境变化、外部攻击等干扰时仍能成功地向用户提供连续的服务。工业界和学术界逐步认识到可信性已经成为信息系统的内在固有属性。然而,可信性不是安全性、可靠性等诸多属性的简单叠加。传统衡量系统质量的各个属性是从不同的视角定义的,它们之间存在相互关联和影响,将它们综合起来作为可信性的解释并不合理。目前,学者们仍不断尝试从各个角度、多种层次去诠释系统可信性,并以此为指导发展系统可信性增强技术。系统可信性研究范围非常广泛,涉及计算机系统的各个领域。小到简单的硬件模块,大到复杂的分布式网络系统都存在可信性问题。系统可信性研究既要对多个领域的共性问题进行理论探讨,也要针对具体应用领域的特点进行技术创新。本文在研究系统可信性一般性问题的基础上,着重对计算机算术领域混合算术加法中的可信性问题及其相应的可信性增强技术进行了研究和探索,希望对提高微处理器计算部件的设计水平有所帮助。本文在社会学、心理学等领域提出的信任模型和计算机领域现有的系统可信性模型的基础上,描述了一个通用的信任模型,并以该通用信任模型为基础,提出了一个新的系统可信性模型。本文提出的系统可信性模型总结了可信性的特点和主要研究内容,阐述了提高系统可信性的主要方法和途径。以提出的系统可信性模型为指导,本文着重研究了浮点乘加部件中混合算术加法的可信性问题,并以IBM POWER6微处理器中128位循环进位混合加法器为应用实例研究了算术加法可信性增强的关键技术,它们包括:硬件部件功能正确性分析和证明,硬件部件非功能属性(如功耗等)的评估与优化以及硬件系统高层次建模与模型转换等。针对算术加法部件的功能正确性,本文提出了基于半群理论的算术加法形式化分析和证明方法。本文首先基于半群理论和归纳法形式化地描述和证明了行波进位、超前进位、并行前缀等较基本的算术加法算法的正确性。以此为基础,本文提出了一种通用选择进位/并行前缀混合算术加法的系统结构,并分析和证明了该系统结构的正确性。然后,融合上述加法算法,本文提出了一种通用循环进位/并行前缀混合算术加法的系统结构,并分析和证明了该系统结构的正确性。本文的工作确保了遵从该通用循环进位/并行前缀混合加法系统结构而设计的加法器在算法层次的正确性。IBM POWER6 128位循环进位加法器是该通用系统结构的具体实例,因此其正确性也很容易得到了验证。针对算术加法部件功耗等非功能属性,本文提出了基于面向方面的硬件设计空间搜索方法,在设计早期就对硬件系统的功能和非功能属性进行分析和评估,提高了搜索满足多个约束条件的优化设计方案的效率。IBM POWER6循环进位加法器作为示例说明了该方法的有效性。此外,本文提出了基于模型驱动开发和面向服务建模的硬件高层次建模与设计方法。该方法通过提高系统设计描述的抽象层次和模型自动转换来提高系统开发的效率并增强系统设计的可信性。IBM POWER6的循环进位加法器同样作为示例验证了该方法的有效性。最后,本文还讨论了基于UML的高层次面向方面的硬件系统建模方法。
张越,龙子健[2](2005)在《新芯”向荣——5款新至强服务器比较评测》文中认为在英特尔发布了新核心Xeon平台后,国内外服务器厂商也逐步推出了新一代的服务器产品。虽然目前并没有充足的软件资源来发挥新Xeon在64位计算上的优势,但是新Xeon仍旧能够为用户带来强大的32位运算能力。为了使您在采购新服务器时有所依据,我们针对采用新Xeon的服务器进行了一个小规模专题测试。在本次服务器专题测试中,我们一共收到了5款采用了Nacona核心Xeon的服务器,其中既有传统的塔式服务器,也有适合密集放置的1U和2U机架式服务器。
苏锋,顾国林,王炳晨[3](2004)在《聆听主旋律——29款主流笔记本电脑评测》文中研究说明Dothan千呼万唤始出来,Sonoma犹抱琵琶半遮面。Intel在2004年 笔记本电脑新平台的发布计划一再推迟,与2003红红火火迅驰年相比, 2004年的笔记本电脑有些缺乏主题。但没有主题并不意味着没有主角, 也许正是因为主角太多,令我们找不出哪一个才是最重头的,哪一 个才是主题。2004年的笔记本电脑有太多的技术亮点,也有太多的 市场热点,更重要的是,我们有了太多的优秀产品可以选择。为了 不使大家在堆积如山的信息中迷失方向,请和我们一起来探寻2004 年笔记本电脑的主旋律,从中找出最动听、最优美的音符。
张剑[4](2002)在《驾驭2GHz——Pentium 4芯片组技术对比》文中研究表明致命诱惑:Pentium 4平台走向成熟 尽管还存在着指令效能偏低的先天缺陷,Pentium 4在今天无疑走向了成熟:Socket478封装大行其道、主频攀上了2Ghz,这些都对大家造成了致命诱惑而在芯片组和内存方面,Pentium 4也不再有麻烦——以i845D、SiS645和VIA P4×266A为代表的成熟产
二、驾驭2GHz——Pentium 4芯片组技术对比(论文开题报告)
(1)论文研究背景及目的
此处内容要求:
首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。
写法范例:
本文主要提出一款精简64位RISC处理器存储管理单元结构并详细分析其设计过程。在该MMU结构中,TLB采用叁个分离的TLB,TLB采用基于内容查找的相联存储器并行查找,支持粗粒度为64KB和细粒度为4KB两种页面大小,采用多级分层页表结构映射地址空间,并详细论述了四级页表转换过程,TLB结构组织等。该MMU结构将作为该处理器存储系统实现的一个重要组成部分。
(2)本文研究方法
调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。
实证研究法:依据现有的科学理论和实践的需要提出设计。
定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。
定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。
跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。
模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
三、驾驭2GHz——Pentium 4芯片组技术对比(论文提纲范文)
(1)浮点乘加中混合算术加法可信性增强关键技术的研究(论文提纲范文)
摘要 |
Abstract |
第一章 绪论 |
1.1 研究背景 |
1.1.1 系统可信性 |
1.1.2 计算机算术 |
1.1.3 浮点乘加部件 |
1.1.4 浮点乘加部件中算术加法可信性 |
1.2 系统可信性研究现状 |
1.2.1 信任模型 |
1.2.2 可信计算 |
1.2.3 系统可信性模型 |
1.3 浮点乘加部件中混合算术加法可信性问题研究现状 |
1.3.1 经典的并行算术加法算法 |
1.3.2 浮点乘加部件中的算术加法 |
1.3.3 如何提高浮点乘加部件算术加法的可信性 |
1.4 论文主要工作 |
1.5 论文结构 |
第二章 信任模型及系统可信性模型 |
2.1 引言 |
2.2 通用信任模型 |
2.2.1 可信性的演化 |
2.3 系统可信性模型 |
2.3.1 系统可信性维度(System Trustworthiness Dimensions) |
2.3.2 基于知识的系统可信性增强 |
2.4 再看浮点乘加部件中算术加法可信性 |
2.5 小结 |
第三章 浮点乘加部件中循环进位/并行前缀混合算术加法 |
3.1 引言 |
3.2 循环进位/并行前缀混合加法器的算法描述 |
3.2.1 循环进位算术部件系统结构 |
3.2.2 减法的实现 |
3.2.3 减法和加法的整合 |
3.2.4 End-around-carry logic unit |
3.3 循环进位/并行前缀混合加法器的实现 |
3.4 循环进位/并行前缀混合加法器不同设计方案分析比较 |
3.5 小结 |
第四章 基于半群理论的算术加法形式化分析与正确性证明 |
4.1 引言 |
4.2 基于半群理论的基本算术加法算法形式化分析与正确性证明 |
4.2.1 基础知识 |
4.2.2 串行前缀算术加法算法的证明 |
4.2.3 并行前缀算术加法算法的证明 |
4.3 选择进位/并行前缀混合算术加法通用系统结构及其正确性证明 |
4.3.1 基础知识 |
4.3.2 选择进位/并行前缀混合算术加法算法形式化证明框架 |
4.4 混合加法器实例的形式化证明 |
4.4.1 常规混合加法器的形式化证明 |
4.4.2 具有伪进位的混合算术加法器 |
4.5 循环进位/并行前缀混合算术加法通用系统结构及其正确性证明 |
4.5.1 基础知识 |
4.5.2 循环进位算术加法通用算法描述 |
4.5.3 循环进位/前缀混合算术加法通用系统结构 |
4.6 小结 |
第五章 面向方面的硬件设计空间搜索方法 |
5.1 引言 |
5.2 面向方面硬件设计空间搜索方法概述 |
5.2.1 AspectC++ 与 System C |
5.2.2 基于SystemC 和 AspectC++ 的设计空间搜索方法 |
5.3 基于面向方面的硬件系统原型构建与仿真 |
5.3.1 基于AOP 和 System C 的高层次建模方法 |
5.3.2 应用实例 |
5.3.3 仿真结果 |
5.4 基于面向方面的高层次功耗评估方法 |
5.4.1 基于AOP 的功耗评估流程 |
5.4.2 实例及其功耗模型说明 |
5.4.3 基于SystemC 和 AOP 的功耗评估方法 |
5.4.4 多功耗宏模型评估和多精度功耗评估 |
5.4.5 实验结果 |
5.5 小结 |
第六章 基于模型驱动开发和面向服务建模的硬件高层次建模与设计方法 |
6.1 引言 |
6.2 MDA 的基本概念 |
6.2.1 MARTE 简介 |
6.2.2 UML Profile for SOC 简介 |
6.3 面向服务的硬件系统建模与设计方法 |
6.3.1 面向服务的硬件建模与设计方法概述 |
6.3.2 UML Profile for SoC 到System C 的转换 |
6.3.3 MARTE 到 UML Profile for SoC 的转换 |
6.3.4 示例 |
6.4 硬件系统高层次建模对 AOP 支持的讨论 |
6.5 小结 |
第七章 结束语 |
7.1 本文的主要贡献 |
7.2 进一步的工作 |
致谢 |
参考文献 |
攻读博士期间取得的学术成果 |
攻读博士期间参加的科研项目 |
(2)新芯”向荣——5款新至强服务器比较评测(论文提纲范文)
Nacona新至强的核心 |
31级整数流水线 |
DBS更先进的电源管理 |
NX bit技术 |
EM64T内存扩展技术 |
传统模式(Legacy Mode) |
兼容模式(Compatibility Mode) |
纯64位模式(Full 64bit Mode) |
寄存器扩展 |
Nacona平台的基石 |
PCI Express总线大放异彩 |
系统中枢MCH |
面向未来的DDR2内存模组 |
E7520 MCH支持的内存镜像 (Memory Mirroring) 技术 |
基准测试 |
服务器 |
华硕AP1720-E2 |
Dell PowerEdge 2850 |
方正MR100 1100 |
清华同方超强TP300 2890 |
RAID卡 |
宝德PR2510 |
四、驾驭2GHz——Pentium 4芯片组技术对比(论文参考文献)
- [1]浮点乘加中混合算术加法可信性增强关键技术的研究[D]. 刘峰. 国防科学技术大学, 2010(04)
- [2]新芯”向荣——5款新至强服务器比较评测[J]. 张越,龙子健. 个人电脑, 2005(01)
- [3]聆听主旋律——29款主流笔记本电脑评测[J]. 苏锋,顾国林,王炳晨. 微电脑世界, 2004(15)
- [4]驾驭2GHz——Pentium 4芯片组技术对比[J]. 张剑. 电子与电脑, 2002(01)