A constructive algorithm for folding large-scale systems of linear inequalities

The conventional procedure for folding a system of linear inequalities based on the Fourier-Chernikov algorithm is supplemented with techniques for eliminating redundant inequalities, which considerably counteracts the increase in the system dimension. Exact and approximate methods are proposed, which are brought to algorithmic form and software implementation. Numerical results are discussed.     

Redundant Multithreading Architecture Overview

To overcome the ever-increasing susceptibility to transient-fault in processors, various redundant multithreading （RMT） architectures have been proposed, which is becoming a most effective approach for detecting and recovering from transient-fault. This paper surveys a wide range of RMT architectures-from the original AR-SMT（A-stream R-stream Simultaneous MultiThreading） to the most-recent SD-SRT （Slack-Decode Simultaneous Redundant Threading）, presenting traverse analyses and comparisons among them, and hereby demonstrates its evolution and tendency. Finally, some directions and suggestions are put forward for the further RMT research and development.     

考虑了表决机的TMR计算机硬件－软件系统可靠性分析

文章讨论了一个带表决机的三重冗余（ＴＭＲ）计算机的硬件－软件系统。假定系统的三个相同的处理机及表决机的寿命均服从指数分布，软件系统的失效率是与软件系统残留错误数有关的一个常数，所有的修理时间服从一般分布。从而求得了感兴趣的可靠性指标。     

两相同部件冷贮备可修系统解的定性分析

用强连续算子半群理论给出了两相同部件冷贮备可修系统动态非负解的唯一性证明，并证明了0是系统主算子的本征值，给出了0本征值对应的本征向量。     

超静定杆系结构荷载效应分布概型及数字特征

本文以结构网格分析法为基础,导出了超静定杆系结构荷载效应特征函数算式.由此,可求得超静定杆系结构荷载效应分布概型及其数字特征.     

基于Rollout算法的冗余多故障诊断策略

针对冗余系统的多故障诊断问题,分析了冗余多故障系统的相关性矩阵模型,通过对模型进行转换后,用Rollout算法对基于信息熵的诊断策略进行优化,提出了一种新的多故障诊断策略;该策略不需要计算最小碰集,而且具有先测试,最后修复的特点,在具体应用中更便于操作;实例计算结果表明,和现有算法相比,本策略得到的期望测试费用更低。     

Split Bregman iteration solution for sparse optimization in image restoration

It is always a challenging task to develop effective and accurate models for robust image restoration. In this paper, the family of sparse and redundant representation frameworks is considered as an alternative for the above problem. The principle of the family is expatiated on the development and research progress. Two well-known denoising methods are presented and analyzed on their properties. The K-SVD algorithm is an effective method for sparse representation. The iteratively approximate algorithms are always used for the solution of sparse coding operations. Here, a convexification of the l₀ norm to the l₁ norm is adopted in the implementation of K-SVD method. Then a split Bregman iteration solution is proposed for l₁ regularization problems in the performance of the sparse representation of the K-SVD algorithm. The split Bregman iterative method is well studied and fused into the famous K-SVD method. The PSNR (Peak Signal to Noise Ratio) and MSSIM (Mean Structural Similarity) are used to evaluate the performance of those methods. Experimental results on different types of images indicate that our proposed method not only achieve comparable results with the state of art methods, but also make the original method more efficient. Besides, it also provides a valuable and promising reference for image restoration techniques.     

基于冗余自由度的数控加工轨迹运动分解

为降低曲面数控加工中机床运动轴的冲击,提出了采用具有冗余自由度的数控机床实现复杂曲面高速进给加工的思路,通过增加数控机床冗余自由度运动轴,以分解冲击较大机床轴的运动.本文对冗余自由度下机床各轴之间的运动分解原理进行分析,给出了冗余自由度下合成加工轨迹的计算和误差确定方法,并以计算实例验证了所提出思路和方法的有效性.     

冗余度机器人速度及力传递性能的度量方法

在速度和力可操作椭球的基础上,定义了冗余度机器人机构速度和力方向的可操作度．利用速度和力方向可操作度,度量机器人在当前位形状态下沿指定方向速度和力的传递能力,并通过优化,确定速度和力的最佳传递方位和最佳操作位形．算例表明,平面冗余度机器人机构在给定位形条件下,传力性能强(弱)的方向上传速的性能弱(强)。