Conditional diagnosability and strong diagnosability of shuffle-cubes under the comparison model

The growing size of multiprocessor systems increases the vulnerability to component failures. It is crucial to locate and replace faulty processors to maintain the system's high reliability. Processor fault diagnosis is essential to the reliability of a multiprocessor system and the diagnosabilities of many well-known networks (such as hierarchical hypercubes and crossed cubes [S. Zhou, L. Lin and J.-M. Xu, Conditional fault diagnosis of hierarchical hypercubes, Int. J. Comput. Math. 89(16) (2012), pp. 2152–2164 and S. Zhou, The conditional diagnosability of crossed cubes under the comparison model, Int. J. Comput. Math. 87(15) (2010), pp. 3387–3396]) have been investigated in the literature. A system is t-diagnosable if all faulty nodes can be identified without replacement when the number of faults does not exceed t, where t is some positive integer. Furthermore, a system is strongly t-diagnosable if it is t-diagnosable and can achieve (t+1)-diagnosability except for the case where a node's neighbours are all faulty. In addition, conditional diagnosability has been widely accepted as a new measure of diagnosability by assuming that any fault-set cannot contain all neighbours of any node in a multiprocessor system. In this paper, we determine the conditional diagnosability and strong diagnosability of an n-dimensional shuffle-cube SQ_n, a variant of hypercube for multiprocessor systems, under the comparison model. We show that the conditional diagnosability of shuffle-cube SQ_n (n=4k+2 and k≥2) is 3n?9, and SQ_n is strongly n-diagnosable under the comparison model.     

基于事件逻辑的改进Needham-Schroeder协议安全性证明

安全协议是现代网络安全的基础,密码协议的安全性证明是一个挑战性的问题。事件逻辑是一种描述分布式系统中状态迁移的形式化方法,用于刻画安全协议的形式化描述,是定理证明的基础。用事件序语言、事件类和一个表示随机数、密钥、签名和密文的原子类,给出身份认证协议可以被形式化定义和强认证性证明理论。利用该理论对增加时间戳的Needham-Schroeder协议安全性进行证明,证明改进的Needham-Schroeder协议是安全的。此理论适用于类似复杂协议形式化分析与验证。     

On Constrained MMVC of Discrete‐Time First‐Order Linear Stochastic Systems with PSI I: The Critically Stable Case

This paper is devoted to the study of the modified minimal variance control (MMVC) of discrete‐time first‐order linear critically stable stochastic systems with prospective strong intervention (PSI) and control input constraints. Due to different evolutionary characteristics of systems with PSI, that is, the two modes of tending to infinity and having bounded oscillations, the discrete‐time first‐order linear critically stable systems can be partitioned into two types regarding the signs of a key system parameter a. A necessary and sufficient condition for the state mean convergence of a system with a = 1 is derived and the corresponding design of MMVC is formulated. For the critical stable system with a =? 1, its oscillation amplitudes of state means can be effectively suppressed or the means can converge under control. Finally, the effectiveness and advantages of the proposed control strategies comparing with MVC are confirmed by numerical simulations.     

复杂地质高陡边坡锚索施工实践及若干技术控制标准的探讨

以雅砻江锦屏一级水电站大坝左岸550 m级高陡边坡预应力锚固工程为研究对象,在复杂工程地质条件下进行了超长、高承载力锚索施工实践,就锚索造孔技术、束体安装工艺、注(灌)浆技术、张拉工艺等方面进行研究与总结.然后,对监测资料进行分析评价,形成了一套复杂地质条件下高陡边坡锚索施工的技术与方法.文中还结合水电行业锚固施工规范、锚喷支护国标中的技术控制标准,对施工中存在的技术问题进行探讨,可为同类型高边坡锚固工程施工提供参考和借鉴.     

一个安全高效的学生综合管理系统

为了解决学生管理系统的安全性和效率问题,分析了已有系统的不足,提出了一个安全高效的学生综合管理系统的解决方案。该方案利用C/S结构安全中间件,进行SQL Server 2000安全设置弥补TDS(TabularData Stream)协议漏洞、与已有数据库系统数据共享等方法,保证了管理系统的可用性和有效性,克服了已有系统存在的安全性不高、效率低下的不足。基于PowerBuilder的前端和SQL SERVER 2000的后台的系统运行结果表明,该方案可行有效。     

Stability of solutions of stochastic functional-differential equations with poisson switchings and entire prehistory

The Markov properties of the solutions of Ito-Skorokhod stochastic functional-differential equations (SFDEs) with entire prehistory are considered, the concept of a weak infinitesimal operator is introduced for a Markov process that is a solution of an SFDE, and the strong solution of the SFDE is analyzed for stability. Translated from Kibernetika i Sistemnyi Analiz, No. 1, pp. 123–134, January–February 2009.     

Comments on “Aliasing Properties of Circular MISRs”

The analysis of aliasing probability presented in a recent article, Aliasing Properties of Circular MISRs [1], is based on an error model that cannot adequately represent real circuits. We show why conclusions presented in [1] should not be used in practice, substantiating our claim with experimental results.This work was supported in part by grants from the Natural Sciences and Engineering Research Council of Canada and in part by the British Columbia Advanced Systems Institute     

Proximity-Induced Fully Ferromagnetic Order with Eightfold Magnetic Anisotropy in Heavy Transition Metal Oxide CaRuO3

Ferromagnetic materials with a strong spin-orbit coupling (SOC) have attracted much attention in recent years because of their exotic properties and potential applications in energy-efficient spintronics. However, such materials are scarce in nature. Here, a proximity-induced paramagnetic to ferromagnetic transition for the heavy transition metal oxide CaRuO₃ in (001)-(LaMnO₃/CaRuO₃) superlattices is reported. Anomalous Hall effect is observed in the temperature range up to 180 K. Maximal anomalous Hall conductivity and anomalous Hall angle are as large as ∼15 Ω⁻¹ cm⁻¹ and ∼0.93%, respectively, by one to two orders of magnitude larger than those of the typical 3d ferromagnetic oxides such as La_0.67Sr_0.33MnO₃. Density functional theory calculations indicate the existence of avoid band crossings in the electronic band structure of the ferromagnetic CRO layer, which enhances Berry curvature thus strong anomalous Hall effects. Further evidences from polarized neutron reflectometry show that the CaRuO₃ layers are in a fully ferromagnetic state (∼0.8 μ_B/Ru), in sharp contrast to the proximity-induced canted antiferromagnetic state in 5d oxides SrIrO₃ and CaIrO₃ (∼0.1 μ_B/Ir). More than that, the magnetic anisotropy of the (001)-(LaMnO₃/CaRuO₃) superlattices is eightfold symmetric, showing potential applications in the technology of multistate data storage.     

Adaptive neural network dynamic event-triggered control for strong interconnected stochastic nonlinear systems with output constraint

This paper proposes a dynamic event-triggered mechanism based command filtered adaptive neural network (NN) tracking control scheme for strong interconnected stochastic nonlinear systems with time-varying output constraints. By designing a state observer, the unmeasured states of the systems can be estimated. The NNs are utilized to handle the unknown intermediate functions. In the controller design process, the asymmetric time-varying barrier Lyapunov functions are used to guarantee that the systems outputs do not violate the constraint regions. By integrating the command filter with variable separation technique, the controller design process is more simple, and the problem of algebraic-loop can be solved which caused by interconnected functions. According to the Lyapunov stability theory, it can be ensured that all signals of the systems are bounded in probability. Finally, the availability of the developed control scheme can be showed by the simulation example.     

Behaviour of sand–clay mixtures for road pavement subgrade

Materials forming sand grains and colluvial soil deposits have a distinct structure, consisting of a composite matrix of coarse and fine soil grains. The influence of sand grains content on the behaviour of sand–clay mixtures was investigated by a series of intensive laboratory experiments. The California bearing ratio (CBR), unconfined compression strength (UCS) and compaction tests were carried out on various contents of sand and clay mixtures. The sand–clay mixtures were prepared with sand contents of 0, 10, 20, 30, 40, and 50% by weight. The laboratory tests on these mixtures have indicated that their behaviour will depend on the relative concentration of the sand and clay samples. The results of the tests showed a decrease in the UCS, and an increase the CBR values with an increase in the amount of sand. An increase in dry unit weight and a decrease in respective moisture content by an increase in the amount of sand were observed in the compaction tests.