A Fail-safe Logic Operator Using an Insulated Planar Transformer

A fail-safe logic circuit must switch the output signal to the logical value “0” when an operation circuit fails. A transformer has such favorable characteristics for fail-safe logic circuits as only the magnetic flux change is transmitted and a superposition of magnetic flux is realized. Thus those characteristics arc applied to a failsafe logic operator. A new fail-safe logic operator using an insulated planar transformer was developed for a fail-safe majority operation and a fail-safe interlocking. In this paper, the principle, structure, design and fundamental characteristics of the new fail-safe logic operator are described.     

On multilevel voting

Summary In a distributed system mutual exclusion is often used to maintain consistency when restricted operations are performed. Mechanisms guaranteeing mutual exclusions should be both resilient and efficient. Resiliency implies high resource availability in the face of failures, while efficiency implies low overhead incurred by performing restricted operations. In this paper, we propose and study a general paradigm, called multilevel voting, which provides a general framework to assist in the design of resilient and efficient mutual exclusion mechanisms. The proposed method uses multiple level quorum consensus. Unlike another method based on the use of multiple quorum consensus, the proposed model only contains one type of integrity constraints. This has the benefit of being conceptually simple and easy to reason about. The strong resemblance with the traditional quorum consensus makes it easy for the proposed paradigm to embed any technique based on traditional quorum schemes. We show that the proposed model represents the exact class of coteries. This means that not only does it have all the power of coteries, but also all schemes under the model are correct. Thus, should the need arise, we can interchange two schemes freely without using any extra mechanisms to ensure correctness. We study a number of issues that have impact on performance such as the degree of a multilevel scheme and the order of a coterie. We explain how the model can be extended also to model the schemes for the synchronization of read and write of replicated data. We provide algorithms for the design of multilevel schemes in the context of mutual exclusion and that of read and write of replicated data. J. Tang received the M.S. degree in computer science from the University of Iowa in 1983 and the Ph.D degree in computer science from the Pennsylvania State University in 1988. Since 1988, he has been an assistant professor with the Department of Computer Science, Memorial University of Newfoundland, St. John's, Newfoundland, Canada. His current research interests include distributed computing, fault tolerance in distributed systems, database modeling and multidatabase systems.This work was supported in part by the Natural Sciences and Engineering Research Council of Canada, individual operating grant OGP0041916     

基于DC-net的会议室电子选举方案

提出了一种新的适用于小规模选举活动的电子选举方案,其最大特点是能够提供无条件的完美选票秘密性保障。方案具有自计票功能,能够实现公平性和可验证性。敌手对选举结果的破坏等同于解离散对数问题。该方案建立在DC-net匿名广播协议基础之上,其安全性不依赖于任何信任中心,但需假定任意投票者之间存在秘密信道。     

A NOVEL MULTILINEAR PREDICTOR FOR FAST VISUAL TRACKING

This letter presents a novel prediction scheme employed for fast visual tracking. The proposed multilinear predictor is formulated as a higher order tensor, instead of the existing vector representations. This predictor is based on emploing the Canonical/Parallel factors (CP) decomposition to decompose a tensor as a sum of rank one tensors. In that way, the proposed scheme efficiently retains the underlying structural information of the input data, while reduces at the same time the compu-tational complexity by employing separable filter operations applied at different directions. The effi-ciency of the proposed scheme is demonstrated in the conducted experiments.     

基于Android手机与Internet投票系统的设计与实现

针对传统纸质版投票过程中繁琐费时的问题,提出一种基于Android手机与Internet投票系统的设计方法。搭建了一个通用的手机开发环境,开发出一个以Android手机为硬件基础,以ASP.NET环境设计的服务器以及Eclipse环境开发的手机投票软件为核心的投票系统。该系统通过Wi Fi连接到局域网,具有操作简易、安全易扩展、统计结果快速高效的特点,有很强的应用价值和推广前景。     

A Weighted Feature Voting Approach for Robust and Real‐Time Voice Activity Detection

This paper concerns a robust real‐time voice activity detection (VAD) approach which is easy to understand and implement. The proposed approach employs several short‐term speech/nonspeech discriminating features in a voting paradigm to achieve a reliable performance in different environments. This paper mainly focuses on the performance improvement of a recently proposed approach which uses spectral peak valley difference (SPVD) as a feature for silence detection. The main issue of this paper is to apply a set of features with SPVD to improve the VAD robustness. The proposed approach uses a weighted voting scheme in order to take the discriminative power of the employed feature set into account. The experiments show that the proposed approach is more robust than the baseline approach from different points of view, including channel distortion and threshold selection. The proposed approach is also compared with some other VAD techniques for better confirmation of its achievements. Using the proposed weighted voting approach, the average VAD performance is increased to 89.29% for 5 different noise types and 8 SNR levels. The resulting performance is 13.79% higher than the approach based only on SPVD and even 2.25% higher than the not‐weighted voting scheme.     

基于虚拟基线的干涉仪测向改进方法

复杂电磁环境下对复杂电磁信号进行测向是电子信息侦测的必要手段。并针对传统数字相位干涉仪解模糊和天线布设等技术问题,根据干涉仪测向基本原理,提出了一种基于虚拟基线的相位干涉仪方法,并利用大数判决准则对干涉仪测向估计方法进行了改进,改善和提升了测向性能。通过理论分析与仿真验证了该干涉仪设计与改进方法的有效性、可行的,同时该方法有利于工程实时实现,对实际工程应用有重要的参考意义,尤其是多长基线和多种天线阵形式的干涉仪系统。     

Nonlinear diffusion for orientation estimation

This letter presents an image orientation estimation method which is based on a combination of two techniques： quadrature filtering and nonlinear diffusion. The quadrature filters are used to get the orientation tensors for edges, then the orientation tensors are smoothed through nonlinear diffusion. Experimental resuits and analysis show the robustness of the proposed method.     

Design and Optimization of Full Comparator Based on Quantum‐Dot Cellular Automata

Quantum‐dot cellular automata (QCA) is one of the few alternative computing platforms that has the potential to be a promising technology because of higher speed, smaller size, and lower power consumption in comparison with CMOS technology. This letter proposes an optimized full comparator for implementation in QCA. The proposed design is compared with previous works in terms of complexity, area, and delay. In comparison with the best previous full comparator, our design has 64% and 85% improvement in cell count and area, respectively. Also, it is implemented with only one clock cycle. The obtained results show that our full comparator is more efficient in terms of cell count, complexity, area, and delay compared to the previous designs. Therefore, this structure can be simply used in designing QCA‐based circuits.