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

简介：本文就可测函数是连续函数的推广做了进一步的论述。证明了任意可测集合上的连续函数都是可测函数。证明过程可启发人们对可测函数的结构进行更好的研究并由此对鲁津定理的理解更深透．

简介：本文证明了底空间M是纤维丛P的全测地子流形；并且在dimP-dimM=2时证明了若P是平坦的，则P的每一纤维也是全测地子流形。

简介：利用矩阵的广义奇异值分解，得到了线性矩阵方程A^TXA=B有中心斜对称解的充分必要条件及其通解的表达式．另外，导出了在矩阵方程的解集合中与给定矩阵的最佳逼近解的表达式．

简介：文[1]中提出了求解连续函数f(x)总体极小值的均值算法,并证明了算法的全局收敛性.若假设f(x)是定义在某可测集G上的可测函数,本文证明了均值算法产生的迭代序列全局收敛到f(x)的本质极小值,若进一步假设函数f(x)满足测度Lipschitz条件,还证明了求可测函数的均值算法是线性收敛的.

简介：本文从一个分式型的双向积分不等式出发，然后逐步推广到勒贝格重积分形式，并应用其主要结论，得到许多积分不等式．

简介：用解析法得出了在一般位置平面上作轴测图的一种作图方法，它为计算机绘制轴测图提供了数学模型．

简介：构造了一类步数为2（k＋1）的次黎曼流形．给出其上连接原点和t轴上一点测地线的条数和相应测地线的长度，同时得到其中最短的测地线．

简介：（四）一次函数及其图象目标测式（满分１００分，４５分钟完成）一、填空：（共４０分，每小题４分）１、点Ｐ（ａ，－ｂ）关于ｘ轴的对称点是，关于ｙ轴的对称点是。２、在直角坐标系中，ｙ轴左方的点的横坐标是数，ｘ轴上方的点的纵坐标是数。３、函数ｙ＝ｘｘ－２中，...

简介：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个评价参数,针对两车道模型,将'右行左超车'规则与无规则下的换道超车对交通效率与安全表现的影响进行对照试验。试验结果表明:在安全表现方面,低负荷状态下'右行左超车'规则较无规则情形要差,而在高负荷状态下,该规则较无规则情形好;在通行能力方面二者差别不大;试验结果还表明,无论是有规则还是无规则,提高车道的最大与最小限速不仅可以提升道路的通行能力,而且可以提升安全性。最后分析了模型的优缺点,并指出了改进的方向。