Gabor框架的稳定性研究

对于Hilbert空间中的Gabor框架,定义A=inf x∈[0,a][∑n∈Z｜f（x-na）｜^2-∑k≠0｜∑n∈Zf（x-na）f^-（x-na-k/b｜]〉0,B=supx∈[0,a]∑n∈Z｜∑n∈Zf（x-naf^-（x-na-k/b）｜〈∞,通过算子放缩证明的方法,可知{Mb^mSa^nf}m,n∈Z构成L^2（R）的框架,且框架界为A/b,B/b.     

关于OPIAL不等式的推广

<正> 假设y(x)在[0,a]上绝对连续,且y(0)=0,则integral from n=0 to a(|y(x)·y′(x)|dx)≤a/2 integral from n=0 to a(|y′(x)|~2dx) (1)当且仅当y′(x)=b(常数)时,等号成立 (1)式叫Opial不等式 华罗庚把(1)式进行了推广,得到     

利用二次函数图象展示物理问题情景

二次函数y=ax2 bx c,当a＞0时,图象开口向上,顶点坐标为(-b/2a,4ac-b2/4a),如图1所示,表明:y随着x增大,先减小后增大;当a＜0时,图象开口向下,顶点坐标为(-b/2a,4ac-b2/4a)如图2所示,表明:y随x的增加,先增大后减小     

一类Beddington-Leslie型捕食系统的定性分析

研究一类Beddington-Leslie型捕食者-食饵模型{dx/dt=x(r1-a11x-a12y/a bx cy),dy/dt=ry(1-y/hx),应用微分方程定性理论,得出该系统极限环的存在性、唯一性以及正平衡点的全局渐近稳定性的充分条件.     

利用方程组的转化巧解曲线相交问题

解析几何中某些较复杂的两曲线相交问题,若能利用方程组的等价转化,可以使问题简单化,易于求解。下面举例来说明这一方法。例1.试判断直线l:Ax By C=0与椭圆C:x2a2,y2b2=1的位置关系。解:直线l与椭圆C相交、相切和相离,分别相当于方程组Ax By C=0x2a2 y2b2=l。(1),有二解、一解     

利用二次函数图像展示物理问题情景

二次函数y=ax2 bx c,当a>0时,图象开口向上,顶点坐标为(-b2a,4ac-b24a),如图1所示,表明:y随着x增大,先减小后增大;当a<0时,图象开口向下,顶点坐标为(-b2a,4ac-b24a)如图2所示,表明:y随x的增加,先增大后减小图1图2物理问题是研究物理量之间的关系,数学中的二次函数关系及图象,反     

关于Smarandache序列Pd（n）和qd（n）的均值估计

对任意正整数n,Pd（n）定义为n的所有正因子的乘积,gd（n）定义为n的所有小于n的正因子的乘积。若n=p1^a1p2^a2…px^as是n的标准分解式,算数函数Ω（n）=a1＋a2＋…＋as。用解析的方法研究关于Smarandache序列Pd（n）、qd（n）与Q（n）的混合均值,并给出两个较好的渐近公式。     

反函数的导数定理的一个注记

给出反函数的导数定理的改进形式:若f(x),x∈(a,b)与φ(y),y(A,B)互为反函数,x0∈(a,b),y0=f(x0),φ(y)在点y0处可导且φ′(y)≠0,f(x)在点x0处连续,则f(x)在点x0处可导,且f′(x0)=1/φ′(y0).并说明,f(x)在点x0处连续这一条件不可去掉。     

R^3,1中具有平行平均曲率向量的类时曲面

用可积系统方法给出了4维Minkowski空间R^3,1中具有平行平均曲率向量的正则类时曲面的表示。与类空曲面不同,这些类时曲面由Klein-Gordon方程ωxy＋｜H｜sinhω=0,ωxy-｜H｜coshω=0,ωxy＋1/2｜H｜eω/2=0所决定,表明这类曲面在R3,1中是丰富的。     

一类生化反应动力系统的极限环

研究生化反应中一类饱和反应的数学模型dxdt =a1 -xy a2 y2dydt=a3 xy-a2 y2 - vyy b应用微分方程定性理论 ,完整地解决了该系统极限环的存在性、唯一性和不存在性等问题。     

流形上的状态反馈控制策略

在流形上研究非线性系统的反馈镇定问题 ,针对线性化系统存在不可控不稳定子空间和不可控中心子空间几种情形 ,提出通过构造中心流形的控制策略 ,使线性化系统变为完全可控系统 .给出的系列定理表明 :①在线性化系统完全可控条件下 ,线性多输入反馈控制足可以使非线性系统镇定于原点 ;若原点为双曲的 ,则单输入线性控制是足够的 ;②线性化系统部份可控时 ,若不可控子空间是不稳定子空间 ,则存在中心流形控制器 ,使系统在原点邻域的平衡点上变为完全可控系统 ;若不可控子空间是中心子空间 ,则既可以通过中心流形将系统反馈镇定于原点 ,又可以重新构造中心流形使系统在原点的邻域内变为完全可控系统 ;③将存在不可控单零特征根的系统镇定于原点 ,构成了控制器的设计算法 .     

Relative Aging of Coherent Systems

In this article, we carry out the stochastic comparison between coherent systems through the relative aging order when component lifetimes are independent and identically distributed. We make use of the signature to characterize the structure of coherent systems, and derive several sufficient conditions under which the compared systems with the common size can be ordered in the sense of relative aging. Specially, we present some scenarios wherein the better a coherent system is, the faster it ages. Moreover, we discuss the relative aging of dual systems as well. Several numerical examples are provided to illustrate the theoretical results. © 2017 Wiley Periodicals, Inc. Naval Research Logistics 64: 345–354, 2017     

Some new results on the preservation of the NBUE and NWUE aging classes under the formation of coherent systems

We consider the classical problem of whether certain classes of lifetime distributions are preserved under the formation of coherent systems. Under the assumption of independent and identically distributed (i.i.d.) component lifetimes, we consider the NBUE (new better than used in expectation) and NWUE (new worse than used in expectation) classes. First, a necessary condition for a coherent system to preserve the NBUE class is given. Sufficient conditions are then obtained for systems satisfying this necessary condition. The sufficient conditions are satisfied for a collection of systems which includes all parallel systems, but the collection is shown to be strictly larger. We also prove that no coherent system preserves the NWUE class. As byproducts of our study, we obtain the following results for the case of i.i.d. component lifetimes: (a) the DFR (decreasing failure rate) class is preserved by no coherent systems other than series systems, and (b) the IMRL (increasing mean residual life) class is not preserved by any coherent systems. Generalizations to the case of dependent component lifetimes are briefly discussed.     

美国海军正在发展的水下探测系统

本文介绍了目前美国海军正在发展的几种水下探测系统。主要包括：先进可展开系统（ADS）,商用现成技术固定式分布系统（FDS-C）,商用声学流行技术快速嵌入计划（A-RCI）,潜艇拖曳阵系统（TB-29A）和无人水下航行器(UUV)。     

The joint signature of coherent systems

We investigate the joint signature of $m$ coherent systems, under the assumption that the components have independent and identically distributed lifetimes. The joint signature, for a particular ordering of failure times, is an $m$‐dimensional matrix depending solely on the composition of the systems and independent of the underlying distribution function of the component lifetimes. The elements of the $m$‐dimensional matrix are formulated based on the joint signatures of numerous series of parallel systems. The number of the joint signatures involved is an exponential function of the number of the minimal cut sets of each original system and may, therefore, be significantly large. We prove that although this number is typically large, a great number of the joint signatures are repeated, or removed by negative signs. We determine the maximum number of different joint signatures based on the number of systems and components. It is independent of the number of the minimal cut sets of each system and is polynomial in the number of components. Moreover, we consider all permutations of failure times and demonstrate that the results for one permutation can be of use for the others. Our theorems are applied to various examples. The main conclusion is that the joint signature can be computed much faster than expected.     

Bounds on parallel-processing of queues with multiple-phase jobs

Currently, both the hardware and software designs of many large computing systems aim at improved system performance through exploitation of parallelism in multiprocessor systems. In studying these systems, mathematical modelling and analysis constitute an important step towards providing design tools that can be used in building such systems. With this view the present paper describes a queueing model of a multiprocessor system operating in a job-shop environment in which arriving jobs consist of a random number of segments (sub-jobs). Two service disciplines are considered: one assumes that the sub-jobs of a given job are capable of parallel operation on different processors while the other assumes that the same sub-jobs must be operated in a strictly serial sequ'snce. The results (in particular, the mean number in the system and waiting time in queue) obtained for these two disciplines are shown to be bounds for more general job structures.     

自动消防系统在大型物流仓库中的应用

在分析物流仓库结构和功能的基础上,总结了物流仓库的火灾特点。通过对不同自动灭火系统的分析,认为自动喷水灭火系统是最适宜保护物流仓库的固定灭火系统。根据三种类型的自动喷水灭火系统的特点,讨论了湿式系统、ESFR系统和预作用系统的选用条件,阐述了系统进行设计时应注意的问题,最后列举出自动喷水灭火系统的应用实例。     

Analytic approximations for (s,S) inventory policy operating characteristics

The operating characteristics of (s,S) inventory systems are often difficult to compute, making systems analysis a tedious and often expensive undertaking. Approximate expressions for operating characteristics are presented with a view towards simplified analysis of systems behavior. The operating characteristics under consideration are the expected values of: total cost per period, period-end inventory, period-end stockout quantity, replenishment cost per period, and backlog frequency. The approximations are obtained by a two step procedure. First, exact expressions for the operating characteristics are approximated by simplified functions. Then the approximations are used to design regression models which are fitted to the operating characteristics of a large number of inventory items with diverse parameter settings. Accuracy to within a few percent of actual values is typical for most of the approximations.     

Some comparisons of residual life of coherent systems with exchangeable components

Most of the research, on the study of the reliability properties of technical systems, assume that the components of the system operate independently. However, in real life situation, it is more reasonable to assume that there is dependency among the components of the system. In this article, we give sufficient conditions based on the signature and the joint distribution of component lifetimes to obtain stochastic ordering results for coherent and mixed systems with exchangeable components. Some stochastic orders on dynamic (or conditional) signature of coherent systems are also provided. © 2014 Wiley Periodicals, Inc. Naval Research Logistics 61: 549–556, 2014     

雷达业务与技术勤务管理系统(RDMS)

智能化和工具化是RDMS的主要设计思想和技术特色,体现在RDMS的基于规则的计算工具、通用文档管理子系统和汉字通用报表工具。本文着重讨论这三部分的设计与实现问题。