EDA软件在电路设计中的应用

在EDA软件的基础上，介绍了仿真功能在数字逻辑电路设计中的应用。佐证了由传统实验教学向现代化创新性教学的重要性。并进行了三个数字电路仿真设计分析举例。     

基于CSM网络的监控模块设计思路

随着计算机与通信技术的高速发展。我们设计了一种运用GSM(全球移动通信系统)网络短消息进行通信的通用监控模块,可广泛应用在防盗、远程监控、农田信息采集设备的维护及现代农业田间管理自动化生产线的监控等。传统的监控系统通常是以计算机为中心的监测控制与调度自动化系统,     

基于指纹术的海量数据等同匹配判断算法

远程海量数据进行完整性审计工作,会占用大量通信信道,在此提出了基于指纹术的海量数据等同性匹配判断算法,对算法的有效性进行了证明.利用此算法进行海量数据等同性判断可大大提高工作效率,同时极大地减少了对通信信道的占用.     

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

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

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

流程工业综合自动化重点实验室依托于国家“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无人值班变电站综合自动化系统的设计及系统配置。