基于程序切片的电路提取技术

从HDL设计描述中提取电路在VLSI设计验证、低功耗分析、测试生成等方面有广泛的应用需求。提出了一种采用程序切片技术实现的新的电路提取方法,并深入论述了基于程序切片技术从Verilog描述中进行电路提取的理论基础。该方法可以为每一个感兴趣的信号获取其"链接切片"。与以前的方法相比,该方法的优点是细粒度的、不受书写格式的限制,并且能处理更多Verilog的语法元素。该方法已经被集成到现有设计流程中,实验结果表明其方便、高效,有良好的通用性。     

Resource Dependence and Armed Violence: Impact on Sustainability in Developing Countries

The dependence on oil, gas, and mineral exports arguably has a negative impact on economic growth in resource-rich, developing countries. This article looks at the impact of resource dependence on adjusted net savings (ANS) as an indicator of weak sustainability. Our results, based on a panel of 104 developing countries during the recent commodity price boom, confirm a negative relationship between resource extraction and sustainable development as measured by ANS. We further look at the specific role of armed conflict and armed violence as captured by the homicide rate. Armed conflict, which is positively associated with resource dependence, negatively affects ANS per capita according to both our OLS and instrumental variables (IV) estimates. Similarly, armed violence has a detrimental effect on sustainable development. Our IV estimate suggests that a one-point increase in the homicide rate decreases ANS per capita by $60. Since education expenditures are a critical ANS component, we further examine the impact of resource dependence and violence on human capital. Consistent with previous findings, resource-dependent countries underinvest in education but armed conflict and violence do not affect the instantaneous share of education expenditures, hinting at a detrimental effect working through physical and social capital rather than education.     

Mean residual life of coherent systems consisting of multiple types of dependent components

Mean residual life is a useful dynamic characteristic to study reliability of a system. It has been widely considered in the literature not only for single unit systems but also for coherent systems. This article is concerned with the study of mean residual life for a coherent system that consists of multiple types of dependent components. In particular, the survival signature based generalized mixture representation is obtained for the survival function of a coherent system and it is used to evaluate the mean residual life function. Furthermore, two mean residual life functions under different conditional events on components’ lifetimes are also defined and studied.     

狮子搏兔,亦用全力——谈《水浒传》对几个小情节的处理

《水浒传》的情节所体现出的作者的艺术造诣,一直为读者和批评家津津乐道。对于三个女人的情节,体现了现代文学理论的设计理念,值得我们重视。本文试从因果逻辑这一规律来考察这三个相似情节中的相异性,从中我们可以看出作者深厚的艺术功底。     

面向 MPP Fortran 的程序自动并行化初探

ＭＰＰＦｏｒｔｒａｎ是由Ｃｒａｙ公司推出的一种较有代表性的数据并行语言,本文首先介绍了ＭＰＰＦｏｒｔｒａｎ的主要特点,然后,以该语言为例,对面向ＭＰＰ系统程序自动并行化的主要内容进行了初步的探讨。     

Systems composed of two types of nonidentical and dependent components

A coherent system of order n that consists two different types of dependent components is considered. The lifetimes of the components in each group are assumed to follow an exchangeable joint distribution, and the two random vectors, which represent the lifetimes of the components in each group are also assumed to be dependent. Under this particular form of dependence, all components are assumed to be dependent but they are categorized with respect to their reliability functions. Mixture representation is obtained for the survival function of the system's lifetime. Mixture representations are also obtained for the series and parallel systems consisting of disjoint modules such that all components of Type I are involved in one module (subsystem) and all components of Type II are placed in the other module. The theoretical results are illustrated with examples. © 2015 Wiley Periodicals, Inc. Naval Research Logistics 62: 388–394, 2015     

Improving series and parallel systems through mixtures of duplicated dependent components

We discuss suitable conditions such that the lifetime of a series or of a parallel system formed by two components having nonindependent lifetimes may be stochastically improved by replacing the lifetimes of each of the components by an independent mixture of the individual components' lifetimes. We also characterize the classes of bivariate distributions where this phenomenon arises through a new weak dependence notion. © 2011 Wiley Periodicals, Inc. Naval Research Logistics, 2011     

Repairable consecutive‐k‐out‐of‐n: F system with Markov dependence

In this article, a model for a repairable consecutive‐k‐out‐of‐n: F system with Markov dependence is studied. A binary vector is used to represent the system state. The failure rate of a component in the system depends on the state of the preceding component. The failure risk of a system state is then introduced. On the basis of the failure risk, a priority repair rule is adopted. Then the transition density matrix can be determined, and the analysis of the system reliability can be conducted accordingly. One example each of a linear and a circular system is then studied in detail to explain the model and methodology developed in this paper. © 2000 John Wiley & Sons, Inc. Naval Research Logistics 47: 18–39, 2000     

论翻译中的文化依附

文化依附问题在翻译中至关重要。本文用若干有说服力的译例从文化偶合、文化并行、文化冲突、文化空缺四个方面介绍分析了在翻译过程中如何处理文化依附矛盾的问题。     

H.264/SVC的编码依赖问题研究

H.264/SVC(Scalable Video Coding)使用了多种预测编码机制,极大地提高了分级编码的编码性能,同时也引入了复杂的编码依赖关系,给编码器的优化控制带来了极大的难度。因此,有必要研究这种不可忽视的编码依赖关系。在介绍H.264/SVC的主要预测编码机制的基础上,分析归纳出H.264/SVC的编码依赖关系主要来源于帧间预测、层间帧内预测和层间残差预测,然后针对这三种预测机制的特点,结合文献[1]提出的帧间依赖关系,基于实验数据,建立了编码依赖模型,得到了用编码依赖测度表达的编码依赖关系。最后,将时域依赖模型应用到H.264/SVC基本层码率控制中,实验数据表明时域依赖模型能够提高码率控制的性能。