Abstract The 2D motion of a rigid rimless wheel on an inclined plane has been widely studied as first simple case passive walker. Usually, it is modelled hybrid dynamical system alternating continuous smooth phases and discrete impact ones. As in other bipedal walkers, the related research often devoted to analysis cyclic motions assumes that spoke-ground collision single-point one. This work f...

In this paper, we suggest a methodology for testing robustness of Real-Time Component-Based Systems (RTCBS). A RTCBS system is described as a collection of components where each component is modeled as a Timed Input-Output Automaton (TIOA). For each component, we handle two specifications: a nominal one and a degraded one. We extract test sequences from the nominal specification and we inject a...

It is often regarded as best-practice that the case the developer that writes a program, and the tester that tests the program, are different people. This supposedly allows unbiased testing. This separation is also motivated by economic reasons. As a result, the tester, especially in black-box testing, is oblivious to the underlying code. Thus, when a bug is found, the tester can only file a bu...

VLSI chips have been tested using various automatic test equipment (ATE). Although each ATE has a similar structure, the language for ATE is proprietary and it is not easy to convert a test program for use among different ATE vendors. To address this difficulty we propose a tester structure expression language, a tester language with a novel format. The developed language is called the general ...

In the context of language recognition, we demonstrate the superiority of streaming property testers against streaming algorithms and property testers, when they are not combined. Initiated by Feigenbaum et al., a streaming property tester is a streaming algorithm recognizing a language under the property testing approximation: it must distinguish inputs of the language from those that are ε-fa...

Traditional online wheel-set ultrasonic inspection method and inspection technology can not meet the new requirement of High Power Locomotive wheel-set online. In this article, features of locomotive wheel and defect distribution are analyzed, and a more strictly online inspection requirement is put forward. Based on which, an optimized multi arrangement of phased array and conventional ultraso...

general and specific combining ability of some rice lines and cultivars with irri sources were determined using the line × tester procedure (5 pure lines were crossed with 4 local cultivars as tester). parents and their progenies were planted in a randomized complete block design with three replications in the research field of iran rice research institute. traits such as yield and its componen...

A q-query locally testable code (LTC) is an error correcting code that can be tested by a randomized algorithm that reads at most q symbols from the given word. An important question is whether there exist LTCs that have the c3 property: constant relative rate, constant relative distance, and that can be tested with a constant number of queries. Such codes are sometimes referred to as “asymptot...