简介：整体布局是超大规模集成电路设计自动化中的重要一环。简要介绍了整体布局中被广泛采用的方法:解析布局。解析布局由两部分组成:半周线长和密度约束。对两者的模型建立、光滑化、算法设计以及实现的过程进行了描述,最后给出了一个简单的算例作为演示。

简介：陶行知先生说“教育的根本意义是生活之变化”，只有当“教育”成为“生活”时，教育才是真正有意义的．新课程明确提出的知识、技能、情感态度价值观三维目标，即是对陶先生教育理念的全新解释．构建生活化的课堂，使社会即“学校”、“生活即教育”，让学生在“生活化”的课堂里敞开胸襟，去想象、去体验，从而使教学更生动、更有效．

简介：利用元胞自动机方法建立植物病虫害传播的数学模型。在此基础上,分别对两种不同病虫害来源的情况进行仿真。仿真结果表明,在参数给定的情况下,无论病虫来源于自身还是外界,植物病虫害的传播均在一定时间后达到稳定状态,不同状态元胞占有率相近;相同参数下,同病虫来源于自身相比,植物病虫从外界入侵时,植物被感染的变化率较低,病虫害传播路径较有规律,有利于病虫害源的确定和病虫害的治理。

简介：代数方法常被用来求最值问题，但有的过程繁琐，有的方法不明，无从下手．此时，若善用化归法，从几何的角度分析，充分利用图形的特征，便能轻松解题．化归，从字面上可理解为转化和归结，即把待解决的问题，通过某种转化，归结到一类已经解决或比较容易解决的问题中去，最终求得原问题解答的一种手段和方法．在这个过程中，如何转化是问题解决的关键，转化的方法有多种，其中数形结合是应用较多的一种转化方法．下面例说用化归法求最值问题．

简介：通过拟Abelian范畴的局部类构造出函子范畴的局部类，进一步研究函子范畴的局部化范畴与局部化范畴的函子范畴之间的关系．