一种更优的精度控制故障树解算方法

本文针对安全分析方法中故障树解算问题提出了一种完全依赖于所要求精度的近似算法——精度取舍法。详细给出了近似求解顶事件概率值的两个截断条件。结论表明,它在同时兼顾精度与时间的要求方面优于别的算法。     

随机系统利用变结构控制方法的镇定

本文研究了Ｉｔｏ型随机系统的变结构控制,构造了参数不具有噪声激励滑动流形与变结构控制律,对Ｉｔｏ型随机系统利用变结构控制方法给出镇定控制律,并用例子演示了本文结果的应用方法。     

Azimuth resolution improvement for spaceborne SAR images with quasi-non-overlapped Doppler bandwidth

The azimuth resolution improvement problem is solved via a coherent combination of synthetic aperture radar （SAR） ima-ges with the quasi-non-overlapped Doppler bandwidth. Prior to the spectra combination, SAR images should be coregistered, while phase biases induced by topography, atmospheric propagation delays and baseline measurement errors should be calibrated. However, the coregistration accuracy suffers from large Doppler decorrelation caused by the quasi-non-overlapped Doppler band-width. Furthermore, the method used to estimate phase biases from interferogram of azimuth prefiltered SAR image pairs wil fail when there is no overlapped spectrum. The fringe simulation and maximum sharpness optimization are adopted to deal with the problems. Accordingly, a novel algorithm to coherently synthesize SAR images is presented. The experiment with the Terra SAR X-band （TerraSAR-X） satel ite data validates the performance of the presented method.     

Multi-label dimensionality reduction and classification with extreme learning machines

In the need of some real applications, such as text categorization and image classification, the multi-label learning gradually becomes a hot research point in recent years. Much attention has been paid to the research of multi-label classification algorithms. Considering the fact that the high dimensionality of the multi-label datasets may cause the curse of dimensionality and wil hamper the classification process, a dimensionality reduction algorithm, named multi-label kernel discriminant analysis （MLKDA）, is proposed to reduce the dimensionality of multi-label datasets. MLKDA, with the kernel trick, processes the multi-label integrally and realizes the nonlinear dimensionality reduction with the idea similar with linear discriminant analysis （LDA）. In the classification process of multi-label data, the extreme learning machine （ELM） is an efficient algorithm in the premise of good accuracy. MLKDA, combined with ELM, shows a good performance in multi-label learning experiments with several datasets. The experiments on both static data and data stream show that MLKDA outperforms multi-label dimensionality reduction via dependence maximization （MDDM） and multi-label linear discriminant analysis （MLDA） in cases of balanced datasets and stronger correlation between tags, and ELM is also a good choice for multi-label classification.     

Memetic algorithm for multi-mode resource-constrained project scheduling problems

A memetic algorithm （MA） for a multi-mode resourceconstrained project scheduling problem （MRCPSP） is proposed. We use a new fitness function and two very effective local search procedures in the proposed MA. The fitness function makes use of a mechanism called ＂strategic oscillation＂ to make the search process have a higher probability to visit solutions around a ＂feasible boundary＂. One of the local search procedures aims at improving the lower bound of project makespan to be less than a known upper bound, and another aims at improving a solution of an MRCPSP instance accepting infeasible solutions based on the new fitness function in the search process. A detailed computational experiment is set up using instances from the problem instance library PSPLIB. Computational results show that the proposed MA is very competitive with the state-of-the-art algorithms. The MA obtains improved solutions for one instance of set J30.     

Discovering non-terminating inputs for multi-path polynomial programs

This paper investigates the termination problems of multi-path polynomial programs （MPPs） with equational loop guards. To establish sufficient conditions for termination and nontermination simultaneously, the authors propose the notion of strong/weak non-termination which under/over- approximates non-termination. Based on polynomial ideal theory, the authors show that the set of all strong non-terminating inputs （SNTI） and weak non-terminating inputs （WNTI） both correspond to tile real varieties of certain polynomial ideals. Furthermore, the authors prove that the variety of SNTI is computable, and under some sufficient conditions the variety of WNTI is also computable. Then by checking the computed SNTI and WNTI varieties in parallel, termination properties of a consid- ered MPP can be asserted. As a consequence, the authors establish a new framework for termination analysis of MPPs.     

Image separation using wavelet-complex shearlet dictionary

This paper presents a new method for image separation through employing a combined dictionary consisting of wavelets and complex shearlets. Because the combined dictionary sparsely represents points and curvilinear singularities respectively, the image can be decomposed into pointlike and curvelike parts as accurate as possible. The proposed method based on the geo- metric separation theory introduced by Donoho in 2005 shows that accurate geometric separation of the morphologically distinct fea- tures of points and curves can be achieved by l1 minimization. The experimental results show that the proposed method can not only be effective but also greatly reduce the computing time.     

Polynomial-rooting based fourth-order MUSIC for direction-of-arrival estimation of noncircular signals

A polynomial-rooting based fourth-order cumulant algorithm is presented for direction-of-arrival（DOA） estimation of second-order fully noncircular source signals, using a uniform linear array（ULA）. This algorithm inherits all merits of its spectralsearching counterpart except for the applicability to arbitrary array geometry, while reducing considerably the computation cost.Simulation results show that the proposed algorithm outperforms the previously developed closed-form second-order noncircular ESPRIT method, in terms of processing capacity and DOA estimation accuracy, especially in the presence of spatially colored noise.     

泥石流拦挡坝总坝高设定及坝后淤积计算

泥石流沟道治理中拦挡坝总坝高的设定和坝后淤积率的计算涉及治理工程的安全和经济效益,是一个无法回避的难点。以武都区已治理的23条沟道(共布设112道拦挡坝)作为研究对象进行比较分析,采用直线相关的回归方程对经验公式进行优化。结果表明:泥石流沟道运行9～11 a后,武都区43%的泥石流治理沟道总库容淤积和单坝淤积不足50%,属于过度治理;优化后的拦挡坝总高度计算公式既考虑了泥石流沟道治理的安全,又考虑了治理效益的最大化,更符合设计要求;推导的坝后回淤比降计算公式与原沟床建立了线性关系,便于设计人员应用,其计算结果约为治理前沟床比降的0.49～0.61倍,在前人研究的区间内,具有科学性和实用性。以上研究为武都区泥石流拦挡坝设计、创新及管理提供了可靠依据。     

应用Intel 8279芯片实现多路D／A转换

一种多路D/A转换器,它主要由Intel 8279芯片、一路基本D/A转换电路、一个模拟开关和相应的采样保持器组成,与其它的多路D/A电路相比,其不同之处在于它用8279中的显示RAM和扫描线实现转换数据的存放和对各路D/A的循环扫描,从而减轻了CPU的负担,而且电路简单,成本低.经过研究表明,这种电路不仅能实现8路8位的D/A转换,而且还能实现16路8位和8路16位的多路D/A转换。