可重构制造系统重组过程中设备选择模型的研究

根据生产任务选择加工设备进行制造资源重组是实现可重构制造系统的关键问题之一，由于设备的选择涉及到多种因素，既有定量指标，又有定性指标，传统的依靠人工经验的方法显得力不从心。本文首先结合实际情况，提出了一套设备选择评价体系，通过对模糊判断矩阵采用最小对数二乘法确定各评价因素的权重系数，针对定性指标和定量指标采用不同的方法确定其性能指标值，通过模糊积分对评判指标进行综合评判，最后进行了实例研究。所提出的方法有效地简化了决策过程，为可重构制造系统设备选择提供了一套行之有效的方法。     

拟线性波动方程耦合组Cauchy问题的整体解存在定理

对于相对场相互作用系统〔‘l口切=F(切,吵,刀p,D必口砂=G(切,劝,刀甲,D妇t二0:(甲,叻)“(蜜:,舀2),(沪‘,功.)二(叮:,斤2)声..t‘苦.t 、产 ︸l 了、其中场变量伽,初为(t,x)任R+xR”的未知函数,F、G、古:、条、粉:、刀:为已知函数,口=a‘一△,D=(J.,a二:,…,a二。),有 定理若存在常数v。>o,使当1入】(v。时,)F{二o(囚’‘,),【Gl=o(囚.”),入==(入。,入:,…,入。,#。,拼,,…,拼,),F、G〔C’(R,,+舍),且八>2(a+1)la,a》z,对于任何正整数50>。/2(a+i)+i及s》〔an/(a+1)〕+s。+1,存在d>o,E>o,使当君:、么〔H,+’(R”)门研.+’,,“+”…     

M.K.D.V方程高阶全离散Galerkin有限元格式

本文用对角隐式Runge-Kutta方法(D.I.R.K),对M.K.D.V.方程在时间方向离散,采用增加扰动项的办法,得到了L~2模意义下时间方向具有三阶精度的格式。数值实例表明,其精度比无拢动项及C-N格式好。还证明了收敛性和稳定性,用Newton迭代法求解非线性方程组,并证明选取适当的初始值,Newton迭代仅需一步完成。     

Fuzzy相似矩阵方程

文献[1]提出了变次Fuzzy相似矩阵方程X^k。H＝S的概念，并且指出它有解的充要条件是方程Y。H＝S有解，且其解中含有1型阵。本文将给出方程Y。H＝S有解且其解中含有1型阵的充要条件，而完满地解决了变次Fuzzy相似矩阵方程的解的存在性问题。     

相对论性无自旋粒子在Hartmann势场中运动的精确解

在标量势等于矢量势的条件下,本文获得了具有Hartmann型势的Klein-Gordon方程的精确解.给出了束缚态的精确的能谱方程和归一化的径向波函数,对于散射态,获得了按“k/2π标度”归一化的径向波函数和相移的解析计算公式.讨论了散射振幅的解析性质和波函数、能谱方程以及相移的非相对论近似.     

Clifford分析中无界域上正则函数的边值问题

在引入修正Cauchy核的基础上,讨论了无界域上正则函数的带共轭值的边值问题：a(t)Φ (t) b(t)Φ (t) c(t)Φ-(t) d(t)Φ=g(t)．首先给出了无界域上正则函数的Plemelj公式,然后利用积分方程方法和压缩不动点原理证明了问题解的存在唯一性．     

关于正值函数无穷积分收敛性判别法的讨论

文 [1 ]给出了非负函数无穷积分收敛性的几个判别法 ,本文给出了比文 [1 ]判别法更精细的一个判别法 ,同时 ,通过与文 [1 ]中判别法的比较 ,说明它比文 [1 ]中的判别法都强 .     

论二次型与正交变换在重积分中的某些应用

二次型与正交变换是代数学的基本内容，其用途十分广泛，而重积分的计算往往存在技术性的困难，若利用“二次型”与“正交变换”的有关理论去解决某些重积分的计算问题是颇有功效的。本文将以“二型”与“正交变换”为工具，乘法的处理了一大批重积分的问题。     

Banach空间中一类强非线性发展方程的反周期解

本文讨论一类强非线性发展方程的反周期解的存在性。针对一大类既含有单调非线性算子又含有非单调非线性算子的发展方程。我们巧妙地结合单调算子理论与Leray-Schauder不动点理论，证明了其反周期解的存在性。最后，举例说明理论结果在2m阶拟线性抛物型方向的时间反周期问题中的应用。