Analyzing the Reliability of Degradable Networks

The reachability of a strongly connected network may be destroyed after link damage,Since many networds have directed links with the potential for reversal,the reachability may be restored by reversing the direction of links.In this paper,the reliability of a network that allows reversal of links in discussed.     

Shorts in self-checking circuits

It has been noted by several authors that the classical stuck-at logical fault model might not be an appropriate representation of certain real failures occurring in integrated circuits. Shorts are an important class of such faults. This article gives a detailed analysis of the effects of shorts in self-checking circuits and proposes techniques for dealing with them. More precisely, we show that, unlike other faults such as stuck-at, stuck-on, and stuck-open—which produce only single errors in the place they occur—shorts can produce double errors on the two shorted lines. In particular, feedback shorts can produce double errors on the two shorted lines. The double error is unidirectional for some feedback shorts and non-unidirectional for some others. Furthermore, in some technologies (e.g., CMOS), non-feedback shorts can also produce double non-unidirectional errors. We also show that unlike stuck-at, stuck-on, and stuck-open faults, redundant shorts can destroy the SFS property. Then we propose several techniques for coping with these problems and we illustrate the results by circuit implementation examples.The present study is given for NMOS and CMOS circuits but we show that it is valid for any other technology.     

ESTIMATION FOR NONNEGATIVE AUTOREGRESSIVE PROCESSES WITH AN UNKNOWN LOCATION PARAMETER

Abstract. Consider an AR(1) process given by X ^t=γ+ø X _t+ Z _t≥ 1. where 0 ≤γ, 0 ≤ø 1 are unknown parameters and the innovations Z _t, ≥ 1, are independently and identically distributed positive random variables. We propose estimates of (γø) which are obtained as the solution to a linear programming problem and establish their strong consistency. When the Z _ts have the exponential distribution. our estimate becomes the conditional maximum likelihood estimate given X ₀. Under the assumption of regular variation of the innovation distribution at its left and right endpoints (assumed to be 0 and ∝ respectively), we establish asymptotic limit laws for the estimates. Consistent estimators for a class of moving-average processes with heavy-tailed innovation distribution are also presented.     

强旋湍流气-固两相流动和煤粉燃烧数学模型及其在涡旋燃烧炉的应用(Ⅰ)——模型

结合新型燃煤涡旋燃烧炉的研制和冷、热态实验,建立并发展了二维强旋湍流气固两相流动和煤粉燃烧的数学模型,以此作为对涡旋燃烧炉内多相流动。传热和燃烧过程进行数值模拟和分析的基础。     

缺失数据下m相依样本的大样本性质

讨论了缺失数据在随机补充方式下均值的估计,证明了估计的相合性和渐进正态性,并给出了经验似然比统计量的渐进分布．     

无冲突Petri网系统活标识判定的结构化方法

为了有效求解无冲突Petri网系统活标识的判定及配置优化问题,提出无冲突Petri网系统活标识判定的一种结构化方法。该方法首先求取无冲突Petri网的各强连通分支;然后对每一含有元素个数大于2的强连通分支求取其无同步变迁库所索引集合;最终得到无冲突Petri网系统的无前置库所索引集合,基于该库所元素集合即可实现对活标识的快速判定及配置优化。通过例子具体说明了该方法的实现及应用。分析结果表明,所提方法具有多项式时间复杂度,较易于操作和程序化实现。     

具有“强积分小”系数的二阶泛函微分方程解的振动性质

本文研究下列二阶泛函微分方程解的振动性质: (r(t)x′(t))′+q(t)x′(t)+M(t,x(g(t)))=0给出了方程(*)存在非振动解的必要条件以及存在振动解的充分判据。     

一类超临界椭圆方程组正解的存在性

讨论了n≥3维球域上具零边值的一类椭圆方程组,Henon型椭圆方程组,它是Lane-Emden方程组的变形,即其主要非线性项各有一个在球心取零值的对称权重.通过建立对称Sobolev函数空间到加权Lp空间的嵌入定理,证明存在一条关于所论方程组非线性项指数(p,q)的双曲线,称为Henon双曲线,它位于临界Hardy-Littlewood-Sobolev曲线上方,使得对于Henon双曲线下方的点(p,q),方程组具有一组非平凡解.     

Elsa:一种面向跨区域架构的无协调分布式键值存储系统

作为具备高性能和高可伸缩性的分布式存储解决方案,键值存储系统近年来被广泛采用,例如Redis、MongoDB、Cassandra等.分布式存储系统中广泛使用的多副本机制一方面提高了系统吞吐量和可靠性,但同时也增加了系统协调和副本一致性的额外开销.对于跨域分布式系统来说,远距离的副本协调开销甚至可能成为系统的性能瓶颈,降低系统的可用性和吞吐量.提出分布式键值存储系统Elsa,这是一种面向跨区域架构的无协调键值存储系统. Elsa在保证高性能和高可拓展性的基础上,采用无冲突备份数据结构(CRDT)技术来无协调的保证副本间的强最终一致性,降低了系统节点间的协调开销.在阿里云上构建了跨4数据中心8节点的跨区域分布式环境,进行了大规模分布式性能对比实验,实验结果表明:在跨域的分布式环境下,对于高并发争用的负载, Elsa系统的性能具备明显的优势,最高达到MongoDB集群的7.37倍, Cassandra集群的1.62倍.     

The fractional Fourier transform and quadratic field magnetic resonance imaging

The fractional Fourier transform (FrFT) is revisited in the framework of strongly continuous periodic semigroups to restate known results and to explore new properties of the FrFT. We then show how the FrFT can be used to reconstruct Magnetic Resonance (MR) images acquired under the presence of quadratic field inhomogeneity. Particularly, we prove that the order of the FrFT is a measure of the distortion in the reconstructed signal. Moreover, we give a dynamic interpretation to the order as time evolution of a function. We also introduce the notion of ρ-α space as an extension of the Fourier or k-space in MR, and we use it to study the distortions introduced in two common MR acquisition strategies. We formulate the reconstruction problem in the context of the FrFT and show how the semigroup theory allows us to find new reconstruction formulas for discrete sampled signals. Finally, the results are supplemented with numerical examples that show how it performs in a standard 1D MR signal reconstruction.