EDA技术在PCB设计中的发展与应用

电子设计自动化(EDA)代表了当今电子设计技术的最新发展方向。随着计算机技术和EDA软件在电路设计领域中的应用,传统的印刷电路板(PCB)设计方法已经发生变化,EDA技术已成为现代电子系统设计和电子产品研制开发的有效工具,成为电子工程师应具备的基本能力。     

江苏技术师范学院周全法教授课题组承担的项目 电子电气废料资源再生利用——回收线路板中贵金属的湿法新工艺 荣获2006年常州市科技进步奖二等奖

科研新成果本刊讯2006年5月9日,在常州市2006年科技创新大会上,江苏技术师范学院周全法教授课题组承担的“电子电气废料资源再生利用——回收线路板中贵金属的湿法新工艺”项目,获得2006年常州市科技进步奖二等奖。该项目在用湿法冶金技术回收PCB中的贵金属时,在预处理工序,不再进行加热处理和线路板粉碎,节省了能源和生产成本;回收贵金属不使用氰化物;表面金银回收利用以后的废PCB用于回收铜等贱金属和塑料等有机物,铜的回收率高(98%以上),塑料再生利用好(98%以上的塑料可以制成再生塑料粒子);实现了生产用水少(全年75吨)和废水零排放、…     

国家教育部流程工业综合自动化重点实验室

流程工业综合自动化重点实验室依托于国家“211工程”首批重点建设学科——东北大学信息科学与工程学院控制科学与工程学科，在基础理论研究、应用技术开发、承担重大攻关项目等方面具有雄厚基础和丰富经验．     

A QUANTIFIER-ELIMINATION BASED HEURISTIC FOR AUTOMATICALLY GENERATING INDUCTIVE ASSERTIONS FOR PROGRAMS

A method using quantifier-elimination is proposed for automatically generating programinvariants/inductive assertions.Given a program,inductive assertions,hypothesized as parameterizedformulas in a theory,are associated with program locations.Parameters in inductive assertions arediscovered by generating constraints on parameters by ensuring that an inductive assertion is indeedpreserved by all execution paths leading to the associated location of the program.The method can beused to discover loop invariants-properties of variables that remain invariant at the entry of a loop.Theparameterized formula can be successively refined by considering execution paths one by one;heuristicscan be developed for determining the order in which the paths are considered.Initialization of programvariables as well as the precondition and postcondition,if available,can also be used to further refinethe hypothesized invariant.The method does not depend on the availability of the precondition andpostcondition of a program.Constraints on parameters generated in this way are solved for possiblevalues of parameters.If no solution is possible,this means that an invariant of the hypothesizedform is not likely to exist for the loop under the assumptions/approximations made to generate theassociated verification condition.Otherwise,if the parametric constraints are solvable,then undercertain conditions on methods for generating these constraints,the strongest possible invariant of thehypothesized form can be generated from most general solutions of the parametric constraints.Theapproach is illustrated using the logical languages of conjunction of polynomial equations as well asPresburger arithmetic for expressing assertions.     

微通道热沉的稳健优化设计

将田口稳健设计方法用于硅基微通道热沉的优化设计，建立了微通道热沉的简化性能分析模型，确定了影响其散热性能的关键参数，利用正交试验和信噪比分析实现了参数的稳健优化。利用外部监控程序对CAD和CAE软件的脚本进行动态修改，并且创建专门的进程来执行修改后的脚本，采用共享文件和延时的方法实现主进程、几何建模进程和性能分析进程的同步运行，实现了稳健设计过程的自动化。     

220kV无人值班站综合自动化系统设计

该文论述了220kV无人值班变电站综合自动化系统的设计及系统配置。     

电网调度自动化系统的通信软件设计

在电网调度自动化系统中，通信软件是主要内容和重点，它的成功与否关系到整个系统能否具有处理接口能力强，通信信息处理及时，直观，易于调试等特点。     

实用高精度数控直流电流/电压源

采用以串调稳压电路为基础，单片机电流／电压监控系统为核心的双闭环控制方法，既提高了数控直流电源输出电压的稳定性，叉保证了调节电流的精度，实现了用稳压电路输出稳定电流的直流电流源。为提高输出控制分辨率，采用单片机自动换档电路粗调与D／A0832细调配合使用方法．保证了输出高精度要求。电源还设置了RS232接口，可与计算机连接构成智能程控电源。该电源结构简单，元器件价廉．易扩展．实用性强。     

我市一批信息企业和企业家获得国家表彰

近日，全国信息产业科技创新会议在京隆重召开，会上颁发了《关于表彰信息产业科技创新先进集体和先进个人的决定》，安徽中科大讯飞信息科技有限公司、合肥工大高科信息技术有限责任公司、合肥恒大自动化控制系统有限责任公司、安徽科力信息产业有限责任公司4家企业获得表彰，刘庆峰、魏臻、吴晓如、朱庆龙、王家捷等被评为先进个人。     

基于QuartusII平台的数字系统设计

基于EDA技术设计数字系统已成为电子设计领域中的重要方式,本文以数字钟的设计为例介绍QuartusII平台的使用方法,给出了数字钟的部分仿真结果。