贝叶斯方法在代码转换器可靠性验证试验中的应用

针对高可靠性产品的可靠性验证试验时间长、费用高等特点,将贝叶斯方法引用到可靠性验证试验中。推导出服从指数分布的贝叶斯可靠性序贯试验方法。将贝叶斯方法与经典序贯试验方法进行比较,贝叶斯方法较大的减少了试验量和试验时间。在某型飞机代码转换器的国产化可靠性验证试验中应用该方法,实际应用结果验证了该方法的有效性。     

AN EXPONENTIAL INEQUALITY FOR AUTOREGRESSIVE PROCESSES IN ADAPTIVE TRACKING

A wide range of literature concerning classical asymptotic properties for linear models with adaptive control is available, such as strong laws of large numbers or central limit theorems. Unfortunately, in contrast with the situation without control, it appears to be impossible to find sharp asymptotic or nonasymptotic properties such as large deviation principles or exponential inequalities. Our purpose is to provide a first step towards that direction by proving a very simple exponential inequality for the standard least squares estimator of the unknown parameter of Gaussian autoregressive process in adaptive tracking.     

CORRECTED PROOF OF A THEOREM CONCERNING A CONJECTURE OF SINGH

A theorem concerning a conjecture of Singh is formulated in[2].But the argumentin [2] contains a serious gap which is in fact the essential point of the proof.A correct proofis presented here.     

状态空间法分析厚薄圆柱壳弯曲的多变量场

根据圆柱壳的控制方程及其混合变分原理 ,引入对偶变量即应力与位移作为状态变量 ,导出圆柱壳的状态方程 ,研究其解法。对于轴对称问题 ,应用分离变量法建立指数矩阵 ,将问题分解为两个一维问题。根据开莱 -哈密顿算法或直接展形法来计算指数矩阵 ,再根据应力与位移的边界条件 ,得到问题的定解方程 ,从而求得厚薄圆柱壳的两类场变量的统一解 ,即全部应力与位移量     

运用状态调节器配置控制系统的极点

本文对线性系统极点配置和状态调节器设计间的关系进行了探讨。在单输入系统中,定义了表明P、Q矩阵和原系统参数及所配置极点间关系的Pc阵列和Qc陈列,导出运用状态调节器对系统进行极点配置的充要条件。在一定程度上,允许时方便地扩展到多输入系统。     

关于整函数E-拟素性与拟素性的关系

本文证明了:若一个超越整函数F(z)满足下面条件之一:(1)F(z)是指数型(2)F(z)是非周期,且级P(F)<2或ρ(F)=2同时型ρ(F)<∞。则F(z)为拟素当且仅当F(z)为E-拟素     

关于两类循环矩阵的非异性

本分别给出了仅用r-循环矩阵及对称r-循环矩阵的元素本身和参数r，便可做出判断其非异性的五种方法。     

一类中立型泛函微分方程的周期解

利用指数型二分性及不动点定理，讨论中立型泛函微分方程x^′(t) g(t，x^′(t-r))=A(t，x(t-r1)x(t) ?(t，x(t-r2)的周期解问题，得到了其存在周期解的充分性条件。     

域的无限性在矩阵观点下的一种刻划

本文主要得到下列结果:设F是域,n为整数且n>2,则F是无限域当且仅当对于任意正整数m以及F上行向量皆非零的m×n矩阵A,存在F上元素皆非零的n×1矩阵X,使得AX的元素皆非零。