教学课程资源库 更多>>

关键词： 分算法   差分法   脱丙烷塔   脱丁烷塔   灵敏度分析   编译原理   优化时间   优化计算   硕士学位论文   计算图  

摘要： 在流程工业自动化系统中,优化起着非常重要的作用,如何提高优化的求解速度和精度是一个意义重大且富有挑战性的研究课题。而在优化计算过程中,导数是至关重要的信息,因为它代表了寻优过程的搜索方向。同时,导数求解的耗时在整个优化时间中往往占有很大的比重,尤其是在对大规模复杂计算流程进行优化时,求导耗时往往成为提高优化效率的瓶颈。由此,寻找一种精确又快速的求导算法是提高优化计算效率最有效的途径,这也是本文工作的重点所在。 通过研究当前热门的自动微分求导算法,并将其应用于精馏塔灵敏度分析过程,以及应用于本文建立的乙烯生产流程脱丙烷和脱丁烷塔的联塔模型的优化计算过程,再与传统的差分法和稀疏差分法进行比较,分析求导算法的不同对优化效率的影响。 本文的研究工作包括以下几个方面: 1.简要介绍过程系统优化的重要性,通过分析求导和优化的关系,强调求导在优化计算中的重要性。并介绍自动微分算法的发展和应用、基本原理和自动微分算法的发展。再着重分析和比较自动微分算法的两种实现方式:基于操作符重载和基于编译原理,并同传统的差分法和稀疏差分法进行比较分析,找寻最可行有效的求导算法。 2.对乙烯生产流程中两个重要的单元脱丙烷塔和脱丁烷塔,采用开放方程法在MATLAB平台建立联塔数学模型,并对联塔模型进行模拟计算,将计算结果同ASPEN流程模拟结果进行比较,以验证模型的合理性。 3.实例分析自动微分算法在精馏塔优化计算的灵敏度分析中的应用,包括将其应用于灵敏度分析过程,以及灵敏度的并行计算过程。 4.实例分析自动微分算法在过程系统优化计算中的应用,包括将自动微分应用于乙烯生产流程的脱丁烷单塔以及联塔的优化计算中,并比较和分析其对优化效率的影响。

关键词： 编译原理   抽象语法树   中间表示  

摘要： 本文介绍的是一种基于抽象语法树的代码改进工具的设计与实现,并且设计了一种类似于Java的JM(Java Minus)语言来具体说明这样的工具如何实现。 当前程序设计领域,代码质量自动检查工具和自动重构工具正在迅速发展,这方面的相关理论和实践尚处于探索阶段,本文在这一领域提出了自己观点,并且有选择性的实现了一部分典型功能。 文中主要利用抽象语法树来指导设计工具,利用生成的语法树作为基础数据结构,来实现代码的自动检测和自动重构。这一思想在编译理论初期由于计算机的速度和主存容量限制而没有很好地利用。当前的计算机处理速度和内存容量都与几十年前不可同日而语,编译理论也有迅猛的发展,所以目前树结构在这一领域的应用也是大行其道。这种使用树结构作为中间表示的思想不但可以用于编译器的设计,也可以用来设计软件工具,来帮助程序员更容易地编写程序。本文在这方面做出了自己的尝试。

关键词： 微软亚洲研究院 课程建设 教育部 编译原理 《计算机教育》 计算机课程 高等学校 紧密结合  

摘要： “教育部-微软精品课程”项目是教育部和微软合作实施的“长城计划”第二期重要内容，该项目旨在支持高等学校计算机课程建设，促进企业的核心技术与高校相应课程建设紧密结合，探索校企共建精品课程的新模式。2005年度，微软亚洲研究院收到35个申请，最终支持了15门课程。立项课程通过验收并符合国家精品课程申报条件的，将由教育部高教司推荐参评国家精品课程。这个项目在高校内反响很好，为了让更多高校计算机课程教师了解这一项目，微软亚洲研究院与清华大学《计算机教育》杂志合作，组织专题系列，特邀“精品课程”教师进行深入探讨。

关键词： 编译程序-程序设计  

摘要： 21世纪高等院校计算机科学与技术系列教材:本书介绍了计算机高级语言编译程序的基本原理和技术，主要内容包括：词法分析、语法分析、语法制导翻译的语义分析与中间代码生成、符号表与运行时存储空间的组织、代码优化以及目标代码的生成。

关键词： 编译程序-程序设计  

关键词： 编译原理   教学   软件   VC  

摘要： 结合教学的实际情况,本文设计并实现了一个辅助编译原理课程的教学软件。使用该软件可演示部分关键算法和难点,提高了教学效果;也可使学生从实践中进一步理解编译原理的基本原理和实现算法,提高软件的开发能力。

关键词： 教授简介   离散数学   王彦   石家庄经济学院   算法设计与分析   环境地质问题   编译原理  

摘要： 王彦祺教授,男,汉族,中共党员,1948年出生,黑龙江富锦人。1982年毕业于吉林工业大学(现为吉林大学)．应用数学专业,毕业后,一直在石家庄经济学院信息工程学院从事计算机教学和科研工作。1992年晋升为副教授,2001年晋升为计算机专业教授。1989年至1991年任学校计算站主任,2003年至今任信息工程学院基础教研室主任。

关键词： 迭代译码   低密度校验码   和积译码算法   之形码   无线局域网  

摘要： 低密度校验(LDPC)码是一种逼近香农限的好码，由于其良好的性能、近线形时间复杂度的编码算法、可并行实现的译码算法以及广阔的应用前景，LDPC码已经成为信道编码领域的研究热点之一。本文在现有理论的基础上，对LDPC码的基本原理和应用进行研究，取得了一定的成绩，为以后的深入研究打下基础。首先，在线性分组码的基础上介绍了低密度校验码的基本原理，总结了目前LDPC码常用的几种编码方法，并根据802.11n标准中校验矩阵的特殊性，介绍了基于这种特殊校验矩阵的两种简单易行的编码方法。然后，详细介绍了LDPC码的硬判决译码算法和软判决译码算法，重点分析了目前最为常用的和积译码即置信传播(Belief Propagation)算法。并介绍了LDPC码在AWGN下仿真的系统框图仿真步骤和编译码模块的具体实现。接着，研究了一种特殊的LDPC码—之型码，分析之形码的编译码算法及其复杂度。最后，研究了LDPC码的广泛应用，分析了其在WLAN中和未来移动通行中的应用，给出LDPC码在802.11n中的仿真结果，并与卷积码仿真结果进行比较，结果表明，在11n系统的各种工作模式和数据速率下，LDPC码的性能都比卷积码好。

关键词： 编译原理   教研室   吉林   编译器   编译程序  

摘要： '编译原理'课程是计算机专业必修的一门重要的专业基础课程,也是计算机系统软件中非常重要的一个分支,任何计算机语言的实现都离不开编译技术,因而,作为计算机专业的学生,学习和掌握编译程序的基本构造原理和实现技术,对今后进一步的学习、研究和工作奠定坚实的专业理论基础是十分必要的.

ISBN: (纸本)7560612431