Analytical modeling of subthreshold current and subthreshold swing of Gaussiandoped strained-Si-on-insulator MOSFETs

This paper presents the analytical modeling of subthreshold current and subthreshold swing of short- channel fully-depleted （FD） strained-Si-on-insulator （SSOI） MOSFETs having vertical Gaussian-like doping pro- file in the channel. The subthreshold current and subthreshold swing have been derived using the parabolic approx- imation method. In addition to the effect of strain on silicon layer, various other device parameters such as channel length （L）, gate-oxide thickness （tox）, strained-Si channel thickness （ts_Si）, peak doping concentration （Np）, project range （Rp） and straggle （op） of the Gaussian profile have been considered while predicting the device characteris- tics. The present work may help to overcome the degradation in subthreshold characteristics with strain engineering. These subthreshold current and swing models provide valuable information for strained-Si MOSFET design. Ac- curacy of the proposed models is verified using the commercially available ATLASTM, a two-dimensional （2D） device simulator from SILVACO.     

基于Daikon与C++Test的自动测试用例集约简工具生成

程序似然不变量是程序中隐含的属性,可以应用于程序验证、软件测试技术、逆向工程等领域。针对自动化测试工具C++Test产生的测试用例集,利用程序不变量分析工具Daikon判断这些测试用例是否改变了当前的不变量;并将两种工具结合生产一种自动化测试用例集约简工具CDRT(C++Test And Daikon Reduction Testing),从而达到约简测试用例集的效果,再通过变异测试工具INSURE++对简化后的测试用例集进行评估。实验结果表明,CDRT工具能有效地约简测试用例集。     

一类连续模糊动态系统控制方法在Furuta摆中的应用

为了研究Furuta摆在倒立点附近的稳定控制问题，采用基于T-S模糊模型的一类连续模糊动态系统控制方法，首次进行Furuta摆的模糊状态空间建模，并采用模糊切换的思想，设计了Furuta摆在倒立点附近的稳定控制器，进而分析了系统稳定性。与已有的方法相比，该方法的优点是稳定区域大、调节时间短。数字仿真结果验证了方法的有效性。     

考虑关节角加速度约束的仿人机器人偏摆力矩控制方法

针对仿人机器人步行过程中存在的机器人关节角加速度约束影响控制性能的问题，提出一种考虑关节角加速度约束的仿人机器人偏摆力矩控制方法.该方法充分考虑了双臂在摆动过程中对偏摆力矩的影响，根据力矩平衡条件得到需要抵消的偏摆力矩的大小与方向，将偏摆力矩的控制问题转化为带约束条件的二次规划问题，并设计了一种在线变步长迭代算法计算得到优化后的双臂摆动轨迹.实验表明，该方法能有效抵消机器人步行中产生的偏摆力矩，避免控制过程中的"削峰"现象，有效提高机器人的步行稳定性.     

石英摆片导带“断裂”故障分析

叙述了真空蒸发金属膜的形成过程和膜层结构，运用金属原子迁移理论分析了挠性力平衡力速度传感器石英摆片导带“断裂”故障，提出了增强可靠性的技术途径。     

加速度地震检波器简谐振子有限元分析

介绍简谐振子的工作原理。利用ANSYS软件,采用有限元法创建了简谐振子质量块的实体模型,选择单晶硅作为简谐振子中质量块的材料;设置了模型的材料属性,采用智能分网的方式对模型划分网格,并对质量块模型施加沿x轴水平方向载荷,进行三维的静力分析和模态分析。静力分析得到实体模型的总位移是0.236×10-19μm;模态分析时只对前四阶模型进行了分析,根据其振型图及其总位移的应力云图,得到实体模型的二十阶振动模态的频率是78 001Hz,二十阶的总位移是0.122×10-6μm。     

基于ARID控制系统的固定式海洋风机纵摇控制

针对固定式海洋风机在随机风浪载荷及其联合作用下产生的具有倒立摆运动特征的纵摇,研究采用主动转动惯量驱动系统(Active Rotary Inertia Driver, ARID)对海洋风机纵摇进行控制的问题。ARID控制系统通过伺服电机驱动转动惯性质量产生控制结构摆动的最优力矩,从而减小海洋风机的纵摇运动。基于拉格朗日原理建立海洋风机-ARID控制系统的理论分析模型;采用Simulink对海洋风机-ARID控制系统的有效性进行验证,并分析系统参数(控制算法参数、转动惯量比等)对控制效果的影响规律;设计海洋风机-ARID控制系统的振动台试验,设置多种载荷激励形式,验证控制系统的稳定性与广谱有效性。数值模拟和试验结果均验证了所建立的分析模型的正确性,表明ARID控制系统对风机的纵摇运动具有显著的控制作用,为ARID控制系统在具有倒立摆运动规律的工程结构中的应用奠定理论基础。     

一种前馈型全摆幅恒跨导准恒增益CMOS运放设计

设计了一种适合在低电源电压下工作的前馈型输入级放大结构，在全摆幅的动态工作范围内，输入级跨导保持不变，采用负载电流补偿以保证增益近似恒定，输出采用前馈型AB类输结构，实现全摆幅输出。     

一种高增益宽频带的增益自举运算放大器

设计了一个应用于高精度流水线结构ADC中的高增益、宽频带全差分运算跨导放大器(OTA).整体运放采用了2级结构,第一级采用套筒共源共栅结构,并结合增益自举技术来提高增益;第二级采用共源放大器结构作为输出级,以增大运放的输出信号摆幅.该设计采用UMC 0.18μm CMOS工艺,版图面积为320μm×260μm.仿真结果显示:在1.8 V电源供电5 pF负载下,在各个工艺角及温度变化下增益高于120 dB,增益带宽积(GBW)大于800 MHz,而整个运放消耗16.36 mA的电流,FOM值为306 MHz·pF/mA.