基于惩罚函数的谐波信号个数估计

在加性噪声情形下,惩罚函数方法是一种简洁有效的谐波信号个数估计方法。本文将此方法用于乘性和加性噪声并存情形,通过最小化目标函数得到谐波信号个数的估计,并且证明了估计的一致性。模拟实验也证实了该算法在乘性和加性噪声并存情形依然有效。     

拟线性椭圆方程的动力边界问题解的不存在性

讨论了具有双曲动力边界的拟线性椭圆方程解的不存在性。在边界条件为半线性双曲型且初始能量为负及边界源项满足一定条件下,采取了不同于特征函数方法的凸性方法得到了解的不存在性性。     

一种石油钻采设备关键零部件再制造性的成本评估方法

在分析石油钻采设备再制造流程的基础上,通过定量评估各再制造环节的成本支出,提出一种再制造性的成本评估方法.该方法着重考虑了工艺性成本、能耗性成本及环境性成本等因素对设备零部件再制造性的影响,提出直接从成本消耗角度评估再制造性的策略;废旧石油钻杆的再制造性和钻井泵曲轴的再制造性评估作为示范,对该方法进行应用测试.结果表明...     

花岗石可磨性的实验研究

提出了确定花岗石可磨性的实验方法，用该方法对三十多种花岗石的可磨性进行了实验，以此为依据，对花岗石的可磨性进行了分类。     

基于双甜点的页岩储层可压性评价方法

页岩储层的甜点和可压性评价是页岩油气勘探开发的重要评价指标,现场往往对储层甜点和可压性分别进行评价,而页岩储层甜点和可压性的评价参数和数学方法存在相似性,易造成二者概念混淆、相互关系不清和重复评价等问题．为明确二者的联系性,建立一致性评价方法,系统调研了国内外常用的甜点和可压性评价方法,从概念和评价方法出发,厘清了地质甜点、工程甜点及可压性的关联性,并基于甜点综合分析提出可压性评价方法．该方法利用现场地质、工程参数计算地质和工程甜度指数,构建储层的可压性指数和区域可压性评价图版,可快捷、定量地评价单井及区块的可压性优劣．通过选用四川盆地威远区块10口页岩气井的地质和工程参数,应用所建方法计算了甜度及可压性,发现可压性指数等比例地正向反映了实际测试产气量．该方法能为优化井眼轨迹、提高优质储层钻遇率和优化储层压裂施工方案提供有效的科学指导．     

基于试验和预计的雷达装备测试性评估方法研究

针对雷达装备研制阶段无法采用全状态的样机进行测试性试验与评价的难题,将测试性试验和测试性预计相结合,提出了基于试验和预计的雷达装备测试性评估方法。该方法结合雷达装备功能结构与研制工作的特点,将雷达各分系统按照沿用分系统、改进分系统或新研分系统3个方面进行划分,并分别开展测试性评估研究。最后,确定了雷达装备测试性评价方法和基本原则。介绍的方法对于开展其他复杂装备测试性评估也具有一定的借鉴意义。     

结合约束满足消除误判的等价性验证方法

通过对集成电路等价性验证方法中消除误判方法的研究,给出一种结合约束满足消除误判的方法。提出消除误判约束关系的概念,当等价性验证可能存在误判现象时,调用约束求解器对消除误判约束关系进行求解,进而消除误判。本方法不用借助其他辅助的数据结构、相应约束关系或启发式策略,极大地降低了等价性验证的复杂度。本方法还适用于不同抽象层次间等价性验证方法中误判的消除,可以消除系统级模型和寄存器传输级等价性验证方法中存在的误判。     

用布尔可满足性验证逻辑电路的等价性

提出了使用布尔可满足性来验证数字电路的等价性验证方法.这一验证方法把每个电路抽象成一个有限状态机,为两个待验证的电路构造积机,把等价性验证问题转换成了积机的断言问题.改进了Tseitin变换方法,用于把电路约束问题变换成合取范式公式.用先进的布尔可满足性求解器zChaff判定积机所生成的布尔公式的可满足性.事例电路验证说明了该方法的有效性.     

一种改进的基于场景的非均匀性校正方法

提出了一种改进的基于场景的非均匀性校正方法,该方法通过使用红外相机获得输入场景的均匀图像来进行偏移量的校正。其中典型非均匀性校正算法是基于黑体的两点校正法。然而,随着工作时间的增加,探测器本身温度会升高,会产生新的盲元和固定的图案噪声,从而影响图像质量。针对此问题,提出改进的非均匀性校正方法,该方法通过散焦的图像输入法可快速的生成均匀图像,并通过噪声分离的方法将带有非均匀性噪声的部分进行剔除,最终获得均匀图像,结果显示经该方法处理后极大的抑制了固定的图案噪声,使得图像的非均匀性得到极大的改善。     

关于预不变凸性准则的一个注记

凸性和广义凸性在工程、管理科学、最优化理论及经济学中起着重要的作用．对凸性和广义凸性判别准则的研究是数学规划中最重要方面之一．杨于2001年在半连续性下给出了预不变凸性的准则．利用集合的稠密性和弱近似凸性,进一步刻画函数的预不变凸性．在较弱的条件下,得到了预不变凸性的一个等价命题．所使用的方法与杨用的方法不同．     

用参数法求解一些特殊的线性代数方程组

将求解线性方程组数值解的双参数法进行推广,得到一种求解一些特殊的线性方程组的较为一般的方法--参数法,并具体给出利用三组参数求解拟三对角方程组和拟Hessianberg方程组的算法.此算法具有明显的优越性.比如,在求解拟三对角方程组时,和利用追赶法相比,乘除运算的次数由11n -16变为9n 20,所需要设定的向量组由5个降为4个.在求解拟Hessianberg方程组时,和Gauss消去法相比,除法运算的次数由1-2n(n 1)变为3n-4.这对求解大型的拟三对角方程组和拟Hessianberg方程组非常有利.当然,此种方程还可以用来求解其它一些方程组.     

一阶线性常系数微分方程组初值问题的留数解法

通过拉普拉斯变换,把一阶线性常系数微分方程组化为代数方程组,再求出代数方程组的解,此代数方程组的解是含有孤立奇点的复变函数,这些孤立奇点实际上是系数矩阵的特征根。对代数方程组的解与指数函数的乘积施行拉普拉斯逆变换,就得到原微分方程组的解。     

抛物型时滞偏微分方程解振动的充要条件

讨论了一类多滞量延迟时滞抛物型偏微分方程解的振动性质 ,利用平均值方法将所讨论的偏微分方程转化为时滞微分方程的问题 ,获得了其一切解振动的充要条件 ;所得的条件将时滞偏微分方程解的振动判别问题转化为时滞微分方程解的振动判别问题 ;结果充分显示了解的振动是由时滞量引起的 ,指出了其与普通抛物型偏微分方程解的质的差异 ;同时也指出了时滞在振动中的影响作用以及时滞偏微分方程解的振动性质在生物学、医学、工程学、化学、物理学等学科中的广泛应用     

孤子方程广义的双Wronskian解(英文)

Wronskian技术是求解非线性偏微分方程精确解的直接而有效的方法之一.Wronskian解可以通过直接代入孤子方程的双线性方程中得到验证.将Wronskian元素满足的条件方程推广到任意矩阵方程,利用Wronskian技术,构造孤子方程的广义双Wronskian解.利用广义双Wronskian解可以得到孤子方程许多类型的精确解,如孤子解、有理解、周期解、Matveev解、complexiton解以及混合解.具体地研究了等谱Levi方程,得到了一些新的Wronskian恒等式,从而得到了Levi方程广义双Wronskian形式的精确解,并利用Wronskian技术对解进行了证明.     

几类变系数线性常微分方程的求解

在科学研究、工程技术中，人们常会遇到二阶或高阶变系数线性微分方程，一般形式的这类方程，无法用初等积分法求解，也没有通用的一般性方法。但这类方程中的一些特殊类型仍可求解。为了满足理论研究和工程实践的需要，一直以来，人们用不同的方法在不断的探讨这一问题，极大地扩展了变系数线性微分方程的可积类型。借助双变换-未知函数的线性变换和自变量的变换，将几类变系数线性微分方程化为常系数的线性微分方程，从而求得它们的通解，所得结论推广了名的Euler方程及前人的一些的工作。     

可控变质量高阶非完整系统Nielsen自然方程

本文应用万有D’Alembert原理把Nielsen自然方程推广到可控变质量高阶非完整系统,分别给出了广义坐标和准坐标的表述,最后证明了该方程与可控变质量高阶非完整系统广义Nielsen方程的等价性。     

具有周期边界的Fitzhugh-Nagumo方程的初边值问题

Hodgkin-Huxley方程是描述神经纤维膜电流、膜电压关系的微分方程,Fitzhugh-Nagumo方程是Hodgkin-Huxley方程的一种简化.讨论了Fitzhugh-Nagumo方程具有周期边界的初边值问题,利用Galerkin方法及常微分方程理论,证明了具有周期边界的Fitzhugh-Nagumo方程存在局部解,通过对局部解作一致先验估计证明了整体解的存在性;利用Gronwall不等式证明了Fitzhugh-Nagumo方程整体解的唯一性.     

非惯性参考系下旋转叶片系统的动力响应

应用拉格郎日方程和有限元素法考虑了刚体运动和弹性运动的耦合关系在非惯性参考系下建立了叶片系统的相对运动学方程，叶片的动力学方程中刚度矩阵是一个随时间变化的矩阵，应用模态分析法对其进行了解耦，得到一个二阶微分主程组，并用Matlab对方程进行了仿真，结果表明，刚体的运动使得叶片系统振动频率降低，反映出刚体运动对弹性体运动有一定的影响。     

非线性LC网络中的位函数与拉格朗日方程

本文研究了些非线性LC网络中的位函数，利用位函数可将网络的状态方程与拉格朗日方程联系起来，当复杂的LC网络不能用状态主程直接表示时，可利用位函数形成的拉格朗日方程代替状态方程，从而得到网络的解。     

Exact axisymmetric solutions for laminated transversely isotropic piezoelectric circular plate (Ⅰ)——Exact solutions for piezoelectric circular plate

Based on three-dimensional elastic equations for piezoelectric materials, the state equations for piezoelectric circular plate under axisymmetric deformation are derived. Applying Hankel transform to them and letting the free boundary terms resulting from Hankel transform be zero, a set of ordinary differential equations with constant coefficients and associated boundary conditions are obtained. Furthermore, two exact solutions corresponding to generalized rigid slipping and generalized elastic simple support are deduced. Then, the governing equations obtained reduce to equations for axisymmetric problem of transversely isotropic circular plate. Under the two types of boundary conditions of elastic simple support and rigid slipping, exact solutions are derived. Finally, numerical results are presented and applicability of the classical plate theory is discussed.