Leon2微处理器流水线相关验证

微处理器的功能验证成为设计验证的瓶颈,指令集的组合验证对流水线处理器具有重要的意义。Leon2流水线相关验证找出了流水线相关的测试向量集,实现了测试程序的自动生成,构造自动化程度较高的验证平台。与指令随机组合测试的方法相比,有针对性地验证了引起流水线相关的情况,同时测试程序达到了较高的流水线状态覆盖率。     

�����ͽ�úú������Դ��̽�����½�չ

煤层气是一类赋存于煤层中的洁净能源。商业性的煤层气开发活动始于二十世纪八十年代 ,由于第 2 9条税收优惠政策的推动 ,以及技术创新的带动 ,美国煤层气量由 1985年的 2 38× 10 8ｍ3 ,迅速地增加到 1995年 2 76× 10 8ｍ3 ,十年内煤层气产量增加了 10 0倍 !其中近 96 %的煤层气产自圣胡安和黑勇士盆地 ;煤层气生产井数由 2 13口增加到 6 70 0口。由于理论和技术的进步 ,美国煤层气勘探开发的领域不断拓展 ,粉河盆地煤层气的开发便是其中较为典型的代表。粉河盆地独特的地质条件和煤储层特征 ,以及全新的完井技术使该盆地成为一个蓬勃发…     

嵌入式TCP/IP协议栈的设计与实现

详细描述了TCP/IP协议栈的裁剪、设计和实现方案.该协议栈以PHILIPS LPC2294微处理器、以太网控制器RTL8019AS为硬件平台,采用模块化层次化的结构设计,实现了ARP、IP、ICMP、UDP等协议模块.经过精简后的协议栈代码量小,结构合理,易于移植和扩充.     

在薄膜外延生长中的初期生长行为

文章运用动力学蒙特卡罗(KMC)方法模拟了在有表面剂情形下表面剂层下的岛在不同温度下的生长行为。分析了表面剂层下的岛密度随温度的演变关系。     

机油泵限压阀工作压力反馈控制方式研究

本文阐述了机油泵限压阀工作压力的两种不同的反馈调节方式,并通过试验分析不同的限压阀工作压力反馈方式的发动机机油压力分布规律,总结出机油泵限压阀采用主油道机油压力反馈控制,发动机高速运转时的主油道机油压力受机油温度和油道阻力影响小,机油压力更加稳定,能够对发动机主油道机油压力实施精确的控制,特别是对发动机低温运行工况机油压力过高和旧机油滤清器机油压力过低有很大改善。     

数字调节仪表与记录仪表

数字调节仪表和记录仪表是工业自动化控制系统中基础的常见仪表之一。上世纪80年代初至90年代中，随着微电子和微处理技术的迅速发展，显示直观、测量精确度高、具有PID自整定等功能的数字调节仪表和多通道、万能输入、大容量测量数据电子存储功能的新型记录仪表——无纸记录仪得到快速发展，在工业自动化系统中占有重要地位．促进了当时我国石油、化工、冶金、机械等各个行业自动化水平的提高。     

基于 GDB的多核 DSP平台调试器的设计与实现

随着科技发展,多核处理器正以其高性能、低功耗等优势逐步取代传统的单核处理器成为主场的主流。如何为多核平台开发搭建可靠高效的调试环境亦成为我们所面临的问题之一。基于GDB的移植,针对多核DSP平台提出了一种调试环境的构建方法,能够满足各种主流的调试要求,并具有实现简单,可靠性高的优点。     

3300毫米钢板轧机机架的优化设计及有限元分析(一)

本文系统地介绍了3300毫米钢板机机架的优化设计及有限元、光弹分析过程和方法,并提供了必要的应力应变图,从而使设计者获得了一个最佳方案,避免了盲目性,加快了设计进程。可供参考。     

表面剂诱导外延中的形核生长及多重分形分析

运用动力学蒙特卡罗（KMC）方法研究了表面剂诱导外延中岛的早期形核和生长行为。我们的模型包括三个主要的原子过程：增原子在表面剂台面上扩散、增原子与它下面的表面剂原子之间的位置交换（seed exchange形核换位）、已交换到衬底的增原子与它上面的表面剂原子交换位置重新回到表面剂台面（reexchange再换位）。模拟结果显示,在确定的沉积率下,形核密度N由于恢复交换随温度增加被激活而发生转变,对应的转变温度Tx将曲线N-T分成了两个不同的区域。在不同的温区,岛密度随沉积率的演变呈现不同的特性。多重分形谱用来定量表征不同生长条件下岛的分布。在转变温度T=Tx处,多重分形谱的宽度最小、顶值最高;随着温度的升高或降低,谱的宽度增大,顶值减小。     

嵌入式虚拟协同开发环境的设计与实现

为了提高嵌入式系统的开发效率和设计可靠性、提供在获得硬件原型之前的虚拟集成验证手段,本文引入了软硬件协同验证的概念,提出了一种新的基于网络的嵌入式虚拟协同开发环境实现方法,通过采用松耦合布局的指令集仿真器和逻辑仿真器来构建虚拟集成验证环境,并在此基础上优化逻辑仿真,分离和抑制不必要的逻辑仿真周期,有效地提高了协同验证仿真性能.