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

简介：研究发汗冷却控制系统中气动加热热流密度的参数辨识问题．证明了该参数辨识的存在及唯一性，给出了参数辨识所满足的充分必要条件，最后，根据得到的充分必要条件，尝试直接构造极小化序列，进而给出该系统参数辨识的算法．

简介：本文讨论形如d/dt(x(t)+D(t)x(t-k)=f(t,x(t),x(t-h),u(t))的非线性中立型控制系统函数能控性，给出该类系统的函数能控性和零函数能控性的判定定理，所得结果在实际系统的设计、分析等方面是非常实用的。

简介：利用线性代数理论中的厄米特二次型和若当标准形研究一类直接控制系统的绝对稳定性问题．进—步发展了控制系统稳定性理论中最近发展起来的一种新的研究方法——降维法．得到了用参数表示的代数形式的绝对稳定性的判别准则。

简介：研究了具有网络诱导时延和丢包的网络控制系统的镇定问题.在把随机时延和丢包看做对导数没有任何限制且满足Bernoulli分布的随机等价时延的基础上,根据等价时延在不同区间上的概率取值,给出了一个建立网络控制系统的新方法.基于Lyapunov稳定性理论,结合线性矩阵不等式方法,得到一个新的镇定标准.

简介：由于设备会随着使用时间的增加和自身寿命增长引起的退化而逐渐磨损失效进而发生故障．因此对于生产企业来说，想要提高自身竞争力，就要在生产过程中合理地安排预防性维护以减少设备故障导致的计划外停机，防止生产计划和生产线的中断，从而才能获取更多收益．本文从生产企业的角度出发，提出单机生产系统的非等周期不完美预防性维护与生产的联合优化策略，综合考虑生产价值、生产成本、生产延迟成本及各类维护成本等，构建了总利润率模型，目标是使总利润率最大化．其中涉及到的三类维护方式为（1）完美维护——即更换；（2）小修维护——即使设备“恢复如旧”；（3）不完美预防性维护——即使设备状态恢复到介于“完全如新”与“恢复如旧”之间的某状态．最后本论文通过数字实例，验证了新策略模型在实际生产应用中的有效性．

简介：本文尝试在概率论教学中从不同的侧面运用图示化方法辅助讲授，旨在加强学生对基本概念和定理的感性认识，从而增强对概率论这门课程的学习兴趣，以及提高分析问题和解决问题的能力。

简介：生产系统随着设备磨损往往会失控或发生故障,给企业带来巨大损失.本文以备货型生产系统为研究对象,根据其成品先入库后销售的特点,建立基于故障率的非周期的生产、维修、库存整合模型.模型以最小化单位总成本为目标,基于萤火虫算法的邻域结构改进粒子群算法,求解系统的最优生产率和维修策略,并分析比较不合格产品率、失控率对目标函数值和最优策略的影响.

简介：运用随机介质理论推导的纵向地表沉降理论公式计算盾构法施工引起的纵向地表沉降时。并不能预测盾构作业面前方负沉降，结合有关数据资料改进纵向地表沉降预测方法并通过可视化方法检验了这种预测公式的合理性．

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

简介：分布参数系统控制主要研究状态空间维数为无穷的系统的控制,本文讨论了分布参数系统控制的一些理论,介绍了作者的著作《无穷维线性系统控制理论》的基本内容。

简介：会计电算化信息系统,将手工条件下的会计核算工作集中在电子计算机中由会计核实软件来完成,由于会计信息处理方式的改变,给内部控制带来了一些新问题。本文围绕内部会计控制目标,结合会计电算化内部控制的特点,选择新的更多的控制对象,采取更好的控制方式,完善会计电算化信息系统内部控制,加强对会计电算化信息系统的开发和研制进行探讨与研究。

简介：<正>配方法是依据乘法公式a~2±ab+b~2=(a±b)~2的应用而得的数学方法.它是将一个代数式通过变形,配成某个代数式的完全平方或几个代数式的平方和的形

简介：基于被解释变量GDP与解释变量资本、劳动力、资本生产率、劳动生产率之乘积之间存在恒等关系，引入无残差对数方差分解法，构造了GDP增长中的全要素生产率贡献分离模型．实证分析表明，在1981—2013年全要素生产率对中国经济增长的贡献度为32．8％，但2011年以来出现了连续3年负贡献．面对异常严峻的经济增长质量形势，应当大力推进物化资本技术进步，积极推进人力资源转型提质，切实推进产业转型升级，全力推进产能优化调整．

简介：旋转刚柔耦合系统在航空航天、机器人、高速机构以及车辆等领域有着广泛的应用,主要描述负载在旋转刚体上的柔性梁的运动。对旋转刚柔耦合系统施加控制使得整个闭环系统达到:1)旋转刚体以预期的旋转角速度运动;2)负载在刚体上的柔性梁镇定。本文将从控制器设计的角度出发,介绍目前在旋转刚柔耦合系统控制方面取得的主要研究成果。

简介：研究完备度量空间中一类拟均衡问题的可解性，由此导出著名的Ekeland变分原理。

简介：膜计算的研究旨在借鉴细胞、组织,以及人类大脑存储与处理信息的方式,构造高性能生物计算模型,统称为膜系统。膜系统具有分布式结构,并行计算的运行方式,以及扩展性强与容错性高的特点,为生物系统建模从生物计算角度提供了全新的工具。主要介绍代谢膜系统、随机膜系统和多重环境的概率膜系统的概念,概述了这3类膜系统在生物系统建模中的应用及其相应的仿真软件。

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

简介：给出了一般形式的Ekeland变分原理,并根据新得到的结论讨论了泛函强制性条件与一般性弱PS条件之间的关系.

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