金属切削过程的三维数值仿真

近年来国内外对金属切削工艺的有限元模拟的研究已有较多的研究报道，但是这些研究大多局限于二维模型，在三维切削过程的数值模拟方面有待于进一步深入研究。在实际切削过程中，工件和刀刃都具有三维几何形状；它们的相对移动也不总是正交的；因此切削是在三维状态下形成的。利用动态显示积分有限元程序，建立率相关的热弹塑性模型模拟材料在高温区的热、力学行为；采用侵蚀接触算法描述刀具与工件以及刀具与切屑之间的相互作用；同时利用单元删除法实现切屑的分离与破坏，从而实现了金属块体切削过程的三维数值仿真。     

把握知识的交汇点 充分发挥向量的作用

向量作为新教材的一个亮点,倍受关注.由于向量集数、形于一体,涉及了代数、几何、三角等多门课程,而向量方法特别便于研究有关直线和平面的各种问题,因此对向量的学习和研究一定要溶于这些课程,并把握好向量与各课程间的交汇点,发挥其作用.     

广义向量均衡问题的解与解集的凸性

引进集值映射的锥真拟凹概念，讨论一类具有集值映射的广义向量衡问题解的存在性与解集的凸性。     

正弦定理的又一证法

现行数学课本 (试验修订本 )第一册 (下 )中关于正弦定理是利用向量的数量积证明的 .此种证法有三个难点 :①需分三种情况讨论 ;②作辅助单位向量j;③对向量等式的两边取与同一向量的数量积 .这对初学者来说是不易突破的 .下面介绍一种简单的证法 .定理　在△ABC中 ,BC=a ,CA =b ,AB=c,则 :asinA =bsinB =csinC.证明　如图建立直角坐标系 ,则 :A( 0 ,0 ) ,C(b ,0 ) ,又由任意角三角函数的定义可知 :B(ccosA ,csinA)所以AC =(b ,0 )AB =(ccosA ,csinA)CB =AB -AC =(ccosA-b ,csinA)以CA、CB为邻边作平行四边形ACBB′ ,由平行…     

向量优化问题广义有效点的一个存在性定理

利用集值映射不动点定理及最优化问题与变分不等式的关系给出线性G^↑ateaux可微的锥凸映射的广义有效点的一个存在性定理。     

钯合金膜分离器级串氢同位素分离

钯合金膜分离氢同位素是基于氕、氘、氚在钯中的溶解度、扩散系数和表面反应动力学特征的差异而进行的。与目前聚变堆燃料循环中广泛采用的低温精馏方法相比，钯合金膜分离方法的原料是气态，而且在分离过程中氢同位素气体以原子形态存在，具有原料滞留量小，装置设计简单等优点。然而对于钯合金膜来说，单位面积上透过的气体体积有限，在保持钯合金膜氢同位素选择性透过能力的前提下，在一定反应器规模下尽可能的增大钯合金膜的面积，从而提高钯合金膜分离氢同位素的能力就成了钯合金膜大规模应用时要解决的首要问题。在前期实验工作的基础上设计了钯合金膜分离器，但是单级分离器的氢同位素分离能力是有限的。为实现H2/T2混合气体的完全分离，可以将多级钯合金膜分离器以一定方式串接起来，构成一个具有连续分离特性的氢同位素分离系统。     

N[a,b]类中边界Nevanlinna-Pick插值(I)

用所谓的Hankel向量方法求解N[a,b]函数类中带边界插值数据的Nevanlina-Pick插值(BNP(N[a,b]))问题,并建立BNP(N[a,b])问题与[a,b]上的某种带约束条件的Hausdorff矩量问题之间等价的可解条件以及解之间明确的一一对应关系.这使得当BNP(N[a,b])问题有多解时,能通过带约束条件的矩量问题的可解性准则和解获得BNP(N[a,b])问题的可解性准则和解的参数化描述,而在唯一解的情况下,通过BNP(N[a,b])问题解的存在唯一性准则和唯一解来获得带约束条件的     

偏振小孔干涉仪

偏振小孔干涉仪是一种可实用的新型干涉仪。它综合小孔衍射技术、偏振技术和共光路设计为一体,具有条纹对比度可调、抗干扰能力强和非接触检验等优点,可广泛用于各种光学元件及其胶合层的检验。目测精度达1/10λ,计算机条纹处理精度可调。