对偶函数的性质及其应用

布尔代数广泛应用于数字网络的分析和设计.对于每一个逻辑函数,根据对偶原理可以找出它的对偶函数.它也和狄·摩根定理一样可以用来对逻辑函数的化简. 本文讨论了对偶函数的性质及其在逻辑设计中的应用.     

汽车造型特征定量模型构建与应用

针对汽车造型特征难以定量化表达的问题,通过汽车造型特征空间构建和层次分析,对汽车造型的几何特征进行提取,并基于特征关系映射实验对汽车造型语义特征进行分析,构建了基于几何空间、语义空间及其映射关系的汽车造型特征定量化模型,并应用到设计实践中,初步解决了汽车造型设计主要依赖经验而定量工具缺乏的问题.     

The Design of Form Milling Cutter as the Curve of the Back of Tooth Is Logarithmic Spiral

Form milling cutter is built-for-purpose cutter which process the form surface, for example, usually process male and female circular arc face and form trench and so on. From the traditional concept, form milling cutter is divided into pointed tooth and relieving follow its structure. Relieving shaped cutter is more convenient than pointed tooth milling cutter, because only its rake face is needed to grind after it turn into blunting, so the current books which are used in college almost select relieving ...     

深基坑变形规律现场监测

给出了北京地铁某车站深基坑围护和变形监测方案,对基坑变形规律进行了现场监测研究,重点分析了基坑的水平变形、锚索内力和钢支撑轴力变化规律。结果表明,基坑开挖的深度与无支撑暴露的时间对围护桩的变形、锚索内力及钢支撑的轴力影响较大。随着基坑开挖深度的增加和钢支撑的施加,围护桩的变形形态由向坑内的前倾型曲线逐渐变为弓形。围护桩的水平位移、钢支撑的轴力也随着基坑开挖深度的增加而增大。随着钢支撑的施加,围护桩水平位移及锚索内力都趋于稳定,说明钢支撑、围护桩和预应力锚索联合支护形式能够有效地控制基坑变形,保证地铁车站安全施工。     

张掖城市空间形态演变及城水关系研究

基于航拍影像图和古籍文献数据,采用空间数据分析方法,研究1949—2012年张掖市城市空间形态动态演变规律及城水互动关系.结果表明:城市由缓慢发展转向快速发展,土地集约利用率提高.城水关系由远至近,由被动到互动,水系的城市生态功能日益凸显,水环境被赋予了更加丰富的内涵.基于可持续发展与水生态建设相协调的发展目标,未来张掖应从整治城市河道水系、构筑水生态安全格局,以及修复保护城市湿地、加强生态绿地建设等策略入手,打造城市水文化名片,推进城市可持续发展.     

N S方程全离散非线性Galerkin格式异步并行算法的计算稳定性分析

给出了Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程全离散非线性Ｇａｌｅｒｋｉｎ格式,提出了一种新的异步并行算法,并对其计算稳定性进行分析。文中证明了此格式的计算稳定性。     

多输入多输出非线性控制系统的输出反馈部分线性化问题

本文考虑多输入多输出非线性控制系统的输出反馈部分线性化问题,利用横山标准形得到充分必要条件,作为结果的一个应用,还考虑了系统的输出反馈完全线性化问题。     

特征值在高等代数中的作用

以高等代数中的定义、定理和例题为依据,论述了特征值具有化繁为简的作用,它还是实对称矩阵和二次型的本质所在.特别地,它是解决许多代数问题的重要工具.     

β-Hermite随机矩阵最大特征值精确渐近性的一般形式

对于相当广泛的边界函数和拟权函数,利用β-Hermite随机矩阵最大特征值的弱收敛定理、小偏差结论及广义βTracy-Wisdom分布的尾概率不等式,得到了其最大特征值的矩完全收敛性的精确渐近性的一般形式.     

关于局部对称拟常曲率黎曼流形上极小子流形

本文主要研究了局部对称拟常曲率黎曼流形N^n＋p 中的紧致极小子流形Mn，得到了局部对称拟常曲率黎曼流形关于第二基本模长平方和截面曲率的拼挤常数。