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

简介：1C题背景当代社会,道路交通问题已经成为一个不可忽视的社会问题,并变得越来越严重,如何解决这个问题已成为学者们关注的重点。随着汽车技术的发展,自动驾驶汽车系统已经成为当前研究的热点和未来汽车发展的重要趋势。在不增加车道或道路数量的前提下,学者们开始研究如何将自动驾驶汽车用于交通,以期改善日益严重的拥堵问题,并对其效能进行量化分析。

简介：研究了对于三车道的高速公路,自动驾驶汽车对混合交通流的通行能力及安全性的影响。引入变道欲望值、连续刹车率、空间速度方差和时间速度方差的概念,基于交通流元胞自动机模型,针对手动和自动驾驶2种汽车,建立了单向三车道的加减速和换道规则。选取6个评价参数,针对三车道模型,研究了随着自动驾驶汽车比例的增加,车道平均速度、平均速度的方差、交通密度、连续刹车率以及变道次数的变化情况。实验结果表明：在通行能力方面,当自动驾驶汽车的比例持续增加时,整个车道的平均速度、交通密度显著增加,从而大大提高了此交通网路中的通行能力;同时空间速度方差和时间速度方差会显著减少,说明整个交通流的平稳性增加了。在安全表现方面,当自动驾驶汽车的比例持续增加时,整个交通网路中的连续刹车率、变道次数先逐渐增加,然后逐渐减少,从而很好地刻画了安全性。最后分析了模型的优缺点,并指出了改进的方向。

简介：对算子T的Bishop性质(β)进行“局部化”，得到T的新的集值函数A（T），E1（T），E2（T），C1（T），C2（T），并讨论它们之间的相互关系以及它们与T的谱结构的关系．借助这些新概念我们得到算子的可分解性与次可分解性的新的充要条件和谱特征．

简介：在讨论多项式Pn（x）=a0+a1x+…+anxn当x→x0时的极限由ε求δ时,常用到放大不等式的技巧,方法难以掌握。本文给出了对任给ε>0求δ的一般公式,并在计算机上进行了检验。

简介：针对实践中存在的指纹图像错位问题,提出了基于深度学习的错位指纹图像自动识别算法.通过将错位指纹自动检测问题转化为一个四分类问题,搭建了一个深度卷积神经网络并用已知的标签进行有监督学习,将学习得到的模型用于预测给定指纹图像的类别.通过对模型性能的准确率、空图识别率和错位判正率3项指标的评价看出,本识别算法取得了良好的效果.

简介：一个线性无关的向量组,总有一个正交化的向量组与之等价。为寻求这个等价的正交化向量组,一般都是应用Schmjdt正交化方法。Schmidt正交化方法:设α1,α2,…,αn是一组线性无关的向量,令

简介：

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

简介：对算子T的Bishop性质（β）进行“局部化”，得到T的新的集值函数A（T），E1（T），E2（T），C1（T），Cx（T），并讨论它们之间的相互关系以及它们与T的谱结构的关系．借助这些新概念我们得到算子的可分解性与次可分解性的新的充要条件和谱特征．

简介：在科技日新月异的今天,随着计算机等技术的迅猛发展和办公自动化的深化,加快了档案工作融入信息社会的步伐。大力开发档案信息资源,积极稳妥地推进档案信息化建设,利用统一的网络平台整合档案信息资源、最大限度实现信息资源共享,为各项建设提供更加快捷、高效的服务,是档案工作实现跨越式发展的必然趋势。

简介：研究'右行左超车'规则在高速公路不同交通负荷下对通行能力及安全性的影响。引入超车欲望值及状态改变率的概念,基于交通流元胞自动机模型,建立了'右行左超车'规则下的单向双车道和三车道换道规则及相应的超车规则。选取5个评价参数,针对两车道模型,将'右行左超车'规则与无规则下的换道超车对交通效率与安全表现的影响进行对照试验。试验结果表明:在安全表现方面,低负荷状态下'右行左超车'规则较无规则情形要差,而在高负荷状态下,该规则较无规则情形好;在通行能力方面二者差别不大;试验结果还表明,无论是有规则还是无规则,提高车道的最大与最小限速不仅可以提升道路的通行能力,而且可以提升安全性。最后分析了模型的优缺点,并指出了改进的方向。

简介：数学新课程的有效实施需要相应的评价体系，数学教育评价体系在评价理念、评价内容、评价形式等方面都正在发生较大的变化，必须与时俱进地加以认识，才能真正把握数学教育评价的基本精神．

简介：利用对称内积的Schmidt正交化方法证明了各阶主子式不为零对称阵的LDLT分解.引入两个向量组关于弱内积广义正交的概念,并构造了将两组含相同个数向量的线性无关组化为广义正交组的广义Schmidt正交化方法.最后应用这一方法证明了各阶主子式不为零矩阵的LDU分解及一些相关的结果.

简介：小班化教育是一种优质的人文素质教育．学生少了，教学互动更多，师生的心也更近了．在小班条件下，教师能详细了解每一个学生的优点、缺点，不再是广而概之教学互动不再是教师单枪匹马，或者只有少数同学参与，而是几乎全员参与，互动能兼顾每一个学生所以不少教师把小班化教学实验称作是“米粒上的功夫”，要让每个孩子都得到关注，都能够发展．追求精耕细作，使“粒粒饱满，颗颗成熟”!

简介：本文证明了π-逆半群在其满幂π-正则子半群上的局部化在同构意义下存在唯一，且为其最大群同态象。由此可得π-逆半群的最小群同余。

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

简介：分析和评论了2014年美国大学生数学建模竞赛A题,以及获得OutstandingWinner的6篇论文。首先对试题进行分析,并结合已有文献指出A题的主要解题思路;然后,通过评述获奖论文,指出学生论文的优点及存在的问题;最后,对今年赛题的某些问题进行讨论。

简介：随着会计电算化的推进,计算机也正在被少数"别有用心"的人演变为作假的"工具",如何避开陷阱成为会计人工作中异常关心的问题。计算机作假是指利用计算机或对计算机系统实施的舞弊行为。主要包括偷窃、伪造、盗用、挪用及其他欺骗行为。会计软件开发在设计应用软件时,经过单位领导授意,加入了一些"特别"程序。如有的系统,账户试算平衡时,将借方总数直接移到贷方,造成借贷永远平衡的假象,有的系统,固定资产为负数时,仍旧可以提取折旧。这样,

简介：经济管理的计算工作中，最常见的要数会计核算与审计监督了。这两种专业的人员都离不开计算工作。不过，由于它们的工作对象和职能的不同，执行者使用的程序与方法各异，使担负任务的算具也应有别。鉴于我国之国情，许多有识之士呼吁：在推广会计电算化的同时，应大力提倡...