考虑质量衰退的批量调度与预防性维护的联合优化

针对生产调度过程中由于设备退化引起产品质量劣化的问题,构建了考虑质量与设备状态之间的耦合关系以及生产批次可分的批量流调度与预防性维护的联合优化模型。假设设备存在"受控"和"失控"两种状态,利用设备"失控"状态下产生的不合格品作为媒介描述上游设备与下游设备之间的随机依赖性,以最小化期望完工时间以及总成本为优化目标建立了数学模型;设计改进的差分进化算法对模型进行求解;通过数值实验验证了算法的收敛性,并通过对比实验对模型性能进行分析,结果显示了该联合优化模型的有效性。     

The tragedy of the canon; or,path dependence in the history and philosophy of science

We have previously argued that historical cases must be rendered canonical before they can plausibly serve as evidence for philosophical claims, where canonicity is established through a process of negotiation among historians and philosophers of science (Bolinska and Martin, 2020). Here, we extend this proposal by exploring how that negotiation might take place in practice. The working stock of historical examples that philosophers tend to employ has long been established informally, and, as a result, somewhat haphazardly. The composition of the historical canon of philosophy of science is therefore path dependent, and cases often become stock examples for reasons tangential to their appropriateness for the purposes at hand. We show how the lack of rigor around the canonization of case studies has muddied the waters in selected philosophical debates. This, in turn, lays the groundwork for proposing ways in which they can be improved.     

ARMA序列的样本均值和自相关函数的分布的一致收敛速度

设{x_t}是ARMA序列,其谱密度函数为g(w),自相关函数为r_k,且记A=sum from i=-∞ to +∞(r_i~2+r_(i-k)r_(i+k));又x_1,x_2,…,x_N是来自{x_t}的一段样本,样本均值和自相关函数分别是(?)和(?)_k,记N~(1/2)(2πg(0))~(-1)x和(N-R)~(1/2)A~(-1/2)((?)_k-r_k)的分布函数分别为F_N(x)和G_N(x),在一定条件下我们证明了(?)|F_N(x)-Φ(x)|≤C_1N~(-1/2),(?)|G_N(x)-Φ(x)|≤C_2(lnN)~2N~(-1/5)。其中C_1,C_2,均为常数,Φ(x)为标准正态分布,这对评估统计推断的精确度具有一定的作用。     

相关结构下的两重复合状态生命模型

研究在同单调相依结构下两重复合状态生命模型,比较了具有已知边际分布的二元分布相关序,得到了此相关结构下复合状态生命模型以及相应的剩余寿命随机变量的随机界.     

一种Fortran程序自动向量化的方法

本文从研究数据相关性出发,引进了适用于工程实现的语句间时序相关图。给出了定义,阐述了建立和化简该图的方法。本图准确地描述了语句间的时序相关性,因而可以方便地确定可向量化的语句和执行顺序,对两维和多维相关进行了分析,提出了相关判定公式,本文为自动向量化Fortran程序提供了一种理论依据和方法。     

频控阵波束特性及波形控制研究

梳理了相关研究文献,对频控阵的原理及特性进行了仿真分析,重点针对频控阵波束控制的研究现状进行分析总结。分析了频控阵雷达的发射接收信号处理的3种机制,针对其中2种机制应用线性约束最小方差(LCMV)准则进行自适应波束形成仿真分析。最后,提出一种基于可变加载约束的线性约束最小方差准则算法,基于频控阵雷达第1种处理机制,采用窄带滤波器在第m通道中只滤出载频为fm的信号的原理。为减少运算量,对权矢量范数设定一个上界约束,采用最速下降法得到权矢量和导向矢量。仿真结果表明:算法在5°误差存在情况下,可以在目标位置形成大增益,干扰位置形成零陷,时间较第1种处理机制下的自适应算法减少了27.3%。     

索赔盈余风险模型中精确大偏差

考虑了控制变化族(D族)上索赔过程与保费过程构成的索赔盈余风险模型,研究了此风险模型中带相依关系的随机变量的非随机和与随机和的尾概率渐近问题,利用求相依不同分布的随机变量的非随机和与随机和的精确大偏差方法,得到了带上延拓负相依和混合相依关系的不同分布的随机变量构成的索赔风险模型中的非随机和与随机和的精确大偏差渐近的结论,最后建立了索赔盈余风险模型中精确大偏差的渐近公式.     

紧固件通孔及沉孔尺寸的简易设计

常用紧固件通孔及沉孔的尺寸，与装配的螺栓或螺钉的公称直径均有显著的线性相关关系，从而建立起各种一元线性回归方程，以取代传统的查手册取值法；若用在CAD绘图软件的运行中，更能提高绘图设计的工效。     

多孔介质中Brinkman-Forchheimer模型的结构稳定性

利用能量不等式的方法, 并借助一些先验估计, 给出多孔介质中溶解度与温度有关Brinkman-Forchheimer方程组的解对边界系数的连续依赖性和收敛性结果. 结果表明, 该类方程组对边界系数具有结构稳定性.     

非齐次-方程典则解的正则性

利用构造论方法和Rung理论 ,不仅给出了单复变量空间C中非齐次 -方程的典则解对参数的依赖性 ,而且给出了多复变量空间Cn 中非齐次 -方程的典则解的正则性的归纳法证明 .