N-version programming (NVP) and acceptance testing (AT) are established methods for obtaining highly reliable results from imperfect software. In NVP, several program modules are executed independently and the final result is derived by voting on the module outputs. In AT (as embodied, for example, in the recovery-block construct), outputs of a program module are subjected to an acceptance test...

The high level of security and the fast hardware and software implementations of the Advanced Encryption Standard (AES) have made it the first choice for many critical applications. Since its acceptance as the adopted symmetric-key algorithm, the AES has been utilized in various security-constrained applications, many of which are power and resource constrained and require reliable and efficien...

We describe a new class of spherically symmetric, high degree of freedom robots called “platonic beasts.” A robot in this family is kinematically equivalent to a symmetric polyhedron, such as one of the Platonic solids, with identical multi-purpose limbs attached to its vertices. The symmetry and regularity of the design have several advantages including robustness to toppling, novel gaits such...

Ground level magnetic field from overhead transmission lines (OHTLs) is of increasingly important considerations in several research areas due to their harmful effect on human health and environment. This paper computes the ground level magnetic field, under normal and abnormal conditions of Egyptian 500-kV single circuit transmission line, in three dimension (3-D) coordinates by using 3-D inte...

Ramesh Karri, Kaijie Wu, Piyush Mishra Yongkook Kim ECE Department, Polytechnic University IBM Corporation 6 Metrotech Center, Brooklyn, NY, 11201 Poughkeepsie, NY, 12601 [email protected],kwu03,[email protected] [email protected] Abstract Fault-based side channel cryptanalysis is very effective against symmetric and asymmetric encryption algorithms. Although straightforward hardwa...

The NNW-trending Dena Fault, with 140 km length, cuts the major structures of Zagros Fold-Thrust Belt in Borujen region. The fault has divided the region in two zones, in which different structural, andmorphological features as well assedimentation and seismtectonic characteristics have developed. This study presents a new interpretation for the kinematics of Dena Fault based on field evidence....

let $g$ be a finite group and $gamma(g)$ the prime graph of $g$‎. ‎recently people have been using prime graphs to study simple groups‎. ‎naturally we pose a question‎: ‎can we use prime graphs to study almost‎ ‎simple groups or non-simple groups? in this paper some results in‎ ‎this respect are obtained and as follows‎: ‎$gcong s_p$ if and only‎ ‎if $|g|=|s_p|$ and $gamma(g)=gamma(s_p)$‎, ‎whe...

in this paper, we investigate the existence of a positive solution of fully fuzzy linear equation systems. this paper mainly to discuss a new decomposition of a nonsingular fuzzy matrix, the symmetric times triangular (st) decomposition. by this decomposition, every nonsingular fuzzy matrix can be represented as a product of a fuzzy symmetric matrix s and a fuzzy triangular matrix t.