混合寿命模型下的贝叶斯密度估计(英)

基于一类异族分布的混合寿命模型, 给出了在一/二组样本下的I/II型截尾试验下的贝叶斯密度估计方法; 给出了实例; 并提出了一些问题和解决方法.     

SF,F_2和SF_2分子的结构与势能函数

在6 311+G(2df,2pd) 和6 311+G(p,d)基组水平上,采用二次组态相互作用(QCISD)方法,对 SF2,SF,F2 分子进行了理论计算,得到了它们的结构参数、能量、谐振频率和力学性质,其结果与实验值符合得非常好.在此计算的基础上,用二原子分子Murrell Sorbie势能函数得到了 SF和 F2 分子的势能曲线,并推导出其光谱数据和力常数, 通过多体展式理论方法推导出了SF2 分子的解析势能函数,该函数正确反映了SF2 分子的结构特征和能量变化.     

极值原理在库存管理中的应用

在需求率依赖于销售价格的假定下,以总利润为目标,建立了经济订购批量的库存模型,并运用极值理论,研究了最优订货批量、最优销售价格及最优订货周期如何确定的问题,从理论上推导出了相应的计算公式,并提出了在实际应用中寻求最优策略的简单且可操作的方法.     

数字电路测试生成的二元判定图方法

测试是保证电路系统可靠性的重要手段,已成为集成电路设计与生产的一个组成部分,研究了基于二元判定图的数字电路测试生成方法,对布尔函数的表示和操作的二元判定图进行研究,详细讨论了其中的ite算符;给出了基于二元判定图的电路测试生成方法的实现步骤,并用实例进行了说明。     

微分代数方法求解凸二次规划问题

用微分代数方法求解凸二次规划问题,先把凸二次规划转化为带障碍项的凸规划,然后用微分代数方法求解,结果表明微分代数方法求解凸二次规划是切实可行的.     

Karhunen—Loeve展开基函数的小波分解算法

Karhunen—Loeve展开被广泛应用于信号处理，图像分析中的特征提取，动力系统中的模型简化等．文中提出了用小波方法快速估计Karhunen—Loeve展开式中基函数．通过把核函数投影到小波空间把积分问题离散化．应用正交小波变换，积分问题就被转化为矩阵特征分解问题．若核函数还是局部p阶光滑的，所得矩阵的维数可进一步降低，而精度却没有大的损失．实验结果表明所提出的算法是快速有效的．     

用二次分形插值构造一类正交多尺度分析

给出了利用二次分形插值函数构造一类连续、紧支撑和正交的多小波尺度函数的方法.不同于用仿射分形插值函数建立的正交小波, 尺度函数具有可微性,可用来建立微分方程的数值方案.     

桥梁移动荷载的识别与参数分析

采用样条函数逼近法对简支梁桥与多跨连续梁桥上移动荷载进行识别和参数分析．由欧拉梁理论与模 态叠加法,建立了移动荷载作用下的梁桥运动方程;利用样条最小二乘法逼近应变响应;由Tikhonov正则化方 法与奇异值分解得到了荷载识别的正则解．数值分析中,对简支梁和三跨连续梁上的移动时变力和车桥接触 力进行了识别,并对影响因素进行了参数分析．研究结果表明,采用样条函数逼近法能有效地识别简支梁与 连续梁桥上的移动荷载,具有很强的实用性和抗噪性能,且对简支梁桥移动荷载的识别精度和抗噪性能均高 于连续梁桥;采用Tikhonov正则化方法能够得到荷载识别的稳定解,并可提高识别精度和降低噪声敏感性．     

关于不动点与函数方程的若干命题

不动点定理是应用十分广泛的理论，本在函数方程中引入了不动点理论，给出了一些相关的命题及证明。     

基于Mathematica平台实现函数图形绘制及特性分析

函数图形绘制及其特性分析在科学应用及机械制造中具有相当重要的地位，中利用Mathematica软件平台通过具体实例给出了函数图形的绘制方法，并探讨了函数图形的相关特性及程序实现。