大口径光学元件磁流变加工驻留时间求解算法

为了解决大口径光学元件磁流变高精度加工问题,基于矩阵运算模型,提出了SBB(Subspace Barzilai and Borwein)最小非负二乘与自适应Tikhonov正则化相结合的驻留时间快速求解方法。同时,在一次收敛中采用双去除函数优化螺旋线轨迹下光学元件的加工,保证中心区域与全口径面形精度一致。仿真表明该算法与常用Lawson-Hanson最小非负二乘法相比,计算精度一致且求解效率大幅提高。对Φ600mm以彗差为主的光学表面模拟加工,峰谷(PV)值和均方根(RMS)值从初始的2.712λ与0.461λ中心区域全局一致收敛到0.306λ和0.0199λ(λ=632.8nm)。因此,提出的算法能够在有效保证面形收敛精度的同时快速获得稳定可靠的驻留时间分布,为磁流变抛光应用于大口径光学元件提供有力支持。     

基于个体排序的自适应遗传算法

针对遗传算法容易陷入局部最优的缺点,文中提出了一种基于个体排序的自适应遗传算法。在传统自适应遗传算法中,交叉概率和变异概率的自适应更新是依据个体的适应度值进行的。但是在算法后期,由于种群陷入局部极值,使得值的差异变小,更新时难以体现个体差异。借鉴序优化的思想,在所提改进算法中,将个体适应度值排序,并采用排序号替代适应度值。这种采用序差异取代值差异的方法能够增大种群中、后期的交叉概率和变异率的值,有利于避免算法陷入早熟收敛。文中对几种标准的函数进行了测试,结果表明,改进后的算法在收敛速度和收敛精度方面优于其他两种自适应改进算法。     

基于CPLD的通用PCI扩展总线桥设计

本文阐述了使用CPLD实现通用PCI扩展总线桥的设计方法，并且介绍了用verilog HDL语言进行PCI总线目标模块设计的方案，重点叙述了PCI扩展总线桥逻辑设计和verilog HDL实现模块的设计，最后给出了PCI扩展总线桥的仿真时序图。     

LCoS微型显示器的时序彩色化设计

设计了一种用单屏LCoS实现彩色VGA显示的时序彩色化方式,其占空比为1／18。并介绍了几种快速液晶材料。通过设计功耗约1．2mW的LCoS芯片,简述了采用EDA软件设计彩色LCoS芯片的方法及部分仿真结果。     

高速A/D转换器AD9481原理及应用

在采集速率要求高的场合,A/D转换器的性能起关键作用。AD9481是模拟器件公司的8位250 MHz采样率A/D转换器。介绍了AD9481的主要性能、引脚构成、内部结构、工作时序,提供了参考设计电路。最后给出了基于FPGA控制转换的原理框图。为基于AD9481的高速A/D转换电路设计提供了参考依据。     

结合关系建模与项重写技术的时序电路等价验证

提出一个新颖的时序电路等价验证的方法框架.该方法有效地结合了关系建模和项重写技术.首先利用带有测试条件的Kleene关系代数建模时序设计,进而通过对关系表达式的项重写来证明时序设计的等价性.与传统的基于状态空间遍历的时序等价验证方法相比,该方法提供了一种全新的思路.     

Mentor先进低功耗设计尽现Olympus-SoC布局绕线平台中

Mentor Graphics宣布在Olympus—SoC布局绕线系统平台上为因应低功耗IC实体设计流程而开发的各项新功能已臻完成，可立即满足客户的需求。低功耗流程处理能力是以先进制程为目标而开发并利用Olympus-SoC已获产品验证的变异性设计架构解决设计模式变异性、制程边角以及生产上的种种优化的问题。与传统解决方案的结果比较起来，Olympus-SoC的客户使用了这些低功耗流程中的新功能之后，除了享受到2～3倍更快的设计收敛时间并且节省了30％的功耗。     

级数绝对收敛与条件收敛的审敛法研究

由正项级数∞∑n=1 ｜un｜发散一般不能推出级数∞∑n=1 un发散。但是如果正项级数∞∑n=1 ｜un｜的发散性是由比值审敛法或根值审敛法所确定，则原级数∞∑n=1 un必然发散．     

基于VHDL的加热控制电路设计

本文介绍了以EDA技术作为开发手段的传统卫星加热控制器电路实现。本系统基于VHDL语言采用FPGA作为控制核心，实现了传统卫星加热控制器电路。该加热控制电路具有体积小、可靠性高、灵活性强等特点，便于产品模块化、小型化。     

Baskakov算子加权逼近的收敛阶

本文讨论了Ｂａｓｋａｋｏｖ算子加Ｊａｃｏｂｉ权逼近的收敛性，首先指出了按通常的加权范数，Ｂａｓｋａｋｏｖ算子是无界的。然后引入一种新的范数，在此范数下Ｂａｓｋａｋｏｖ算子具有压缩性，最后借助于Ｋ－泛函，我们着重讨论了它的特征刻划问题。