为了降低硬件开销，越来越多的加法器电路采用传输管逻辑来减少晶体管数量，同时导致阈值损失、性能降低等问题。本文通过对摆幅恢复逻辑与全加器电路的研究，提出一种基于摆幅恢复传输管逻辑（Swing restored pass transistor logic, SRPL）的全加器设计方案。该方案首先分析电路的阈值损失机理，结合晶体管传输高、低电平的特性，提出一种摆幅恢复传输管逻辑的设计方法；然后，采用对称结构设计无延时偏差输出的异或/同或电路，利用MOS管补偿阈值损失的方式，实现异或/同或电路的全摆幅输出；最后，将异或/同或电路融合于全加器结构，结合4T XOR求和电路与改进的传输门进位电路实现摆幅恢复的高性能全加器。在TSMC 65 nm工艺下，本文采用HSPICE仿真验证所设计的逻辑功能，与文献相比延时降低10.8%，功耗延时积（Power-delay product, PDP）减少13.5%以上

MatLab是一种数值计算和图形图像处理工具软件,它的特点是语法结构简明、数值计算高效、图形 功能完备、易学易用。它在矩阵代数、数值计算、数字信号处理、提动理论、神经网络控制、动态仿真 等领域都有广泛的应用 本书从 MatLab的基础知识入手,在详细介绍各种命令的同时,向读者介绍了 Matlab在高等数学、 线性代数、符号运算、图形图像处理、数据处理等方面的应用和外部接口程序设计。本书侧重于利用大 量的实例来引导读者快速学习和掌握 MatLab的各种功能,并尽量与实际问题相结合,以体现其工程应用 的重要性。书中配有习题和参考答案,供读者练习附录则配有常用命令的列表,以供参考

在直径为650 mm的铝合金热顶半连续铸造过程中施加双源超声振动系统, 研究3种超声辐射杆浸入深度对铸锭宏观凝固组织的影响.基于铝合金铸锭凝固组织形貌的检测结果以及ANSYS等有限元软件对铸造过程中声场的仿真结果, 深入探讨了超声辐射杆在不同的施振深度下对铝合金铸锭凝固组织细化机制的影响.结果表明: 随着超声辐射杆施振深度的增加, 铸锭截面组织整体进一步细化, 晶粒形状由发达的枝晶变为等轴枝晶; 由于超声辐射杆端面以及柱面存在几个固定位置处振动波峰, 在铝熔体中不同的超声施振深度下存在不同的超声空化范围, 进而导致凝固组织的细化机制也不同

物联网是未来赛博使能业务的重要支撑平台。蜂窝网络则被认为是广泛分布在部署区域中的物联网终端数据接入的主要渠道，尤其在广域覆盖方面具有难以替代的价值。在满足覆盖要求的条件下，降低蜂窝网络基站的下行发射功率在绿色通信方面具有重要的研究意义。由此提出了一种基于优化目标平滑近似和均方根传播策略的梯度下降算法，在满足物联网业务覆盖率的条件下最小化基站的总下行发射功率。首先，使用罚函数方法将复杂约束条件的异构蜂窝网络优化问题转化为简单约束形式的优化问题；其次，将不可导的目标函数通过平滑近似转化为可导形式，并给出其对天线下倾角和下行功率参数的梯度解析形式；最后，使用均方根传播梯度下降算法进行转化后的目标函数优化。仿真实验结果表明该算法可以在满足覆盖率指标的条件下最小化基站的总下行发射功率，与现有元启发算法和普通梯度下降算法相比，具有良好的收敛速度，并能更好地抑制优化过程中振荡

讨论了空间机械臂在轨插、拔孔操作的阻抗控制问题。为此，结合系统动量守恒关系，空间机械臂替换部件末端输出插、拔孔主动力与孔内所受摩擦阻力作用关系，以及第二类拉格朗日方程，推导得到了载体位置、姿态均不受控制情况下，空间机械臂在轨插、拔孔操作过程系统动力学方程。同时，根据相关操作控制系统设计需要，利用系统位置几何关系分析、建立了空间机械臂替换部件末端相对基联坐标系的相对运动雅可比关系。之后，由空间机械臂替换部件末端位姿与末端输出插、拔孔主动力之间的动态关系并结合阻抗控制原理，建立了二阶线性阻抗模型。在上述工作基础上，针对空间机械臂在轨插、拔孔操作过程同时存在运动学与动力学不确定性的情况，设计了空间机械臂替换部件末端力/位姿跟踪指数型阻抗控制策略；并通过李雅普诺夫理论，证明了控制系统的稳定性。提到的控制策略具有结构简单、收敛速度快、稳定性好的特点。系统数值仿真，验证了上述控制策略的有效性

针对环境中的低频振动能量,建立了一种双端固支梁振动式驻极体静电俘能器理论模型.利用Matlab/Simulink数值仿真对静电俘能器的各项关键参数进行了优化.分别研究了静电俘能器的输出功率、谐振频率、半功率带宽与驻极体表面电位、空气间隙以及负载电阻的关系.在研究中,外部激励加速度幅值及驻极体尺寸保持恒定.数值分析结果如下:(1)存在一个最佳表面电位使得静电俘能器的输出功率达到最大值,随着表面电位的增加,软弹簧效应逐渐增强使得俘能器谐振频率发生偏移,半功率带宽逐渐增大.(2)当表面电位一定时,存在一个最佳初始空气间隙使得功率达到最大,随着间隙的增大,半功率带宽随之减小.(3)当表面电位和空气间隙保持一定时,存在一个最佳负载使得功率达到最大,随着负载的减小,谐振频率发生偏移.(4)当空气间隙一定时,存在一个最佳负载使得带宽达到最大,且表面电位越大,相同负载下的带宽越大.实验测试了不同负载电阻下俘能器的输出特性:输出功率及半功率带宽都随着负载电阻的增大,先增大而后减小.当负载电阻为90MΩ时,对应的最大输出功率为0.188 mW;当负载电阻为330 MΩ时,对应的半功率带宽达到最大值为4.7 Hz

提出用嵌套饱和函数描述的控制律形式，可以同时解决速率和幅值约束的控制问题.建立浮空器的三自由度模型，将除螺旋桨推力外的其他作用力作为扰动项，进而把该系统化为类积分链式系统；基于嵌套饱和控制理论，研究了类积分链式系统的控制输入幅值及速率约束与控制器饱和函数参数的关系；以浮空器为研究对象，进行纵向和横向通道解耦控制器设计，实现控制系统输入的幅值和速率有界.利用Lyapunov稳定性原理证明了系统的全局稳定性，分析了可调控制器参数对改善系统的动态性能的影响，在考虑风扰动的情况下，仿真验证了控制器的有效性和鲁棒性

第六章 Verilog的数据类型及逻辑系统 • 学习Verilog逻辑值系统 • 学习Verilog中不同类的数据类型 • 理解每种数据类型的用途及用法 • 数据类型说明的语法 第7章 结构描述(structural modeling) • 如何使用Verilog的基本单元(primitives) • 如何构造层次化设计 • 了解Verilog的逻辑强度系统 第8章 延时模型 学习内容： 1. 如何说明块延时 2. 如何说明分布延时 3. 如何说明路径延时 4. 怎样在模块中说明时序检查 5. 标准延时格式SDF（Standard Delay Format) 第九章 编译控制的使用 • 开发商提供的Verilog库 • 用Verilog库仿真 • Verilog源代码加密 • 其它仿真器相关的问题

Keil 工程文件的建立、设置与目标文件的获得 单片机开发中除必要的硬件外，同样离不开软件，我们写的汇编语言源程序要变为 CPU 可以执行的机器码有两种方法，一种是手工汇编，另一种是机器汇编，目前已极少使用手工 汇编的方法了。机器汇编是通过汇编软件将源程序变为机器码，用于 MCS-51 单片机的汇编 软件有早期的 A51，随着单片机开发技术的不断发展，从普遍使用汇编语言到逐渐使用高级 语言开发，单片机的开发软件也在不断发展，Keil 软件是目前最流行开发 MCS-51 系列单片 机的软件，这从近年来各仿真机厂商纷纷宣布全面支持 Keil 即可看出

采用数值仿真的方法计算在铝电解槽预焙阳极上开槽后的气泡−电解质流场，从阳极底掌下电解质中气泡分布的角度考察阳极不同开槽方式对气泡排出的影响。结果表明：阳极不开槽时底掌下电解质中的气泡可以分为2 层，靠上的一层为方形薄层，靠下的一层为聚集于中部的半方半椭圆的气泡层，整个气泡层厚度较大且气泡含量多；开槽位置及开槽数量均对在阳极长度方向开槽的排气效果有较大影响，合理开槽能明显加快气泡的排放，消除中心聚集的部分气泡层；在阳极宽度方向开槽也可以促进气泡排放，但其效果主要受开槽数量的影响；在阳极竖直方向开槽对减小气泡层厚度和气泡含量作用不太显著