Software-based self-test (SBST) is being widely used in both manufacturing and in-the-field testing of processor-based devices and Systems-on-Chips. Unfortunately, the stuck-at fault model is increasingly inadequate t...
详细信息
Software-based self-test (SBST) is being widely used in both manufacturing and in-the-field testing of processor-based devices and Systems-on-Chips. Unfortunately, the stuck-at fault model is increasingly inadequate to match the new and different types of defects in the most recent semiconductor technologies, while the explicit and separate targeting of every fault model in SBST is cumbersome due to the high complexity of the test-generation process, the lack of automation tools, and the high CPU-intensity of the fault-simulation process. Moreover, defects in advanced semiconductor technologies are not always covered by the most commonly used fault-models, and the probability of defect-escapes increases even more. To overcome these shortcomings we propose the first fault-independent SBST method. The proposed method is almost fully automated, it offers high coverage of non-modeled faults by means of a novel SBST-oriented probabilistic metric, and it is very fast as it omits the time-consuming test-generation/fault-simulation processes. Extensive experiments on the OpenRISC OR1200 processor show the advantages of the proposed method.
Product oriented manufacturing is aligned with one of the Industry 4.0 trends consisting of integrating all production systems. This implies shifting from a traditional view of manufacturing processes focused on produ...
详细信息
Product oriented manufacturing is aligned with one of the Industry 4.0 trends consisting of integrating all production systems. This implies shifting from a traditional view of manufacturing processes focused on production line in order to reduce costs, to a more flexible and customized product manufacturing. On the other hand, Multi Agent Systems (MAS) have been proved to be a suitable way to fulfill these requirements. However, a key aspect of the use of novel technologies is to offer methodologies and tools for supporting the implementation of such systems. In this sense, this paper uses Model Driven engineering and MAS technology to propose an architecture that is able to launch and execute a manufacturing execution plan. It focuses on the information models managed by architecture agents that can be customized to particular manufacturing plants as well as on the definition of agent templates.
Motivated by the problems of vision-based mobile robot map building and localization, we present a comparative study of statistical methods for matching image features in a wide base line between learning and recognit...
详细信息
ISBN:
(纸本)9781538695777;9781538695760
Motivated by the problems of vision-based mobile robot map building and localization, we present a comparative study of statistical methods for matching image features in a wide base line between learning and recognition phases. A general methodology called feature-class method for the problem of fast matching image features in a wide base line is described in the context of mobile robots. The objective of this work is to discuss and to show the performance of such methods in an example of visual SLAM, with experiments done with real data.
The twin-field (TF) quantum key distribution (QKD) protocol and its variants are highly attractive because they can beat the well-known rate-loss limit (i.e., the PLOB bound) for QKD protocols without quantum repeater...
详细信息
This article has been removed: please see Elsevier Policy on Article Withdrawal (https://***/about/our-business/policies/article-withdrawal). This article has been removed at the request of the Authors and Editor-in-C...
This article has been removed: please see Elsevier Policy on Article Withdrawal (https://***/about/our-business/policies/article-withdrawal). This article has been removed at the request of the Authors and Editor-in-Chief because complete consent was not obtained by the authors in accordance with journal policy prior to publication. The authors and the journal sincerely apologize for this oversight.
In many of the marine applications, the availability of an accurate system to localize underwater targets using a group of surface vehicles equipped with acoustic sensors is of paramount importance. In this context, t...
详细信息
In many of the marine applications, the availability of an accurate system to localize underwater targets using a group of surface vehicles equipped with acoustic sensors is of paramount importance. In this context, the surface vehicles must keep a well-defined formation with respect to the targets so as to maximize the range-based information available for target localization. In this paper, a target position estimation algorithm together with a simple formation control law to maintain an optimal configuration that maximizes range-related information for target localization and tracking are presented. The setup studied consists of a group of surface vehicles moving in formation and a target performing a predefined mission. The optimal formation is computed by maximizing the determinant of an appropriately defined Fisher information matrix (FIM), subject to inter-vehicle collision avoidance and vehicle manoeuvring constraints. A centralized approach for the formation control is considered, where the trajectory planning is carried out by a supervisor that computes the control actions for each agent. The formation control is complemented with a collision avoidance logic based on a discrete event law. Simulations show that this strategy leads to an interesting and well defined behavior of the formation for localization and tracking.
In the last decade, the world of online education has seen the advent of Massive Open Online Courses. The secret behind those courses lies in the scale: potentially, millions of people can access them and take advanta...
详细信息
ISBN:
(纸本)9781538665343
In the last decade, the world of online education has seen the advent of Massive Open Online Courses. The secret behind those courses lies in the scale: potentially, millions of people can access them and take advantage of the educational resources wherever they are on the planet. Creating successful courses is challenging since it requires an extended portfolio of skills. However, not all the necessary attentions have been provided to the content creators who, most of the times, do not have an extended knowledge of the complex technologies required in order to efficiently prepare a MOOC. This paper focuses on this issue introducing a set of integrated e-learning tools offering an enhanced MOOC creation experience. The preliminary users already prepared some courses exploiting this novel approach and are willing to collaborate to craft the next improved version of the platform.
This paper investigates the problem of controlling a complex network with reduced control energy. Two centrality measures are defined, one related to the energy that a control, placed on a node, can exert on the entir...
详细信息
Due to their reduced maintenance costs, increased power efficiency and reduced power consumption, the Magnetic Levitation (Maglev) system make a significant contribution to the industrial application. Maglev's pro...
Due to their reduced maintenance costs, increased power efficiency and reduced power consumption, the Magnetic Levitation (Maglev) system make a significant contribution to the industrial application. Maglev's production of electricity (e.g. wind turbines), maglev trains and medical devices (e.g. artificial heart pump magnetically suspended) are typical applications. This paper suggests designing a nonlinear control for the Maglev system model which represented by a third-order model consists of the mechanical (ball position and velocity) and electrical (the current) subsystems. The controller is designed utilizing the Integral Sliding Mode control (ISMC) and based on the Backstepping approach. The tracking accuracy of the ball position to the desired reference is determined by computing the ultimate boundedness as a function to the controller parameters and that using the Lyapunov function. The numerical simulation results showed the robustness and the efficiency of the proposed controller where the tracking error limited by the computed bound.
Reliable and efficient Visual Place Recognition is a major building block of modern SLAM systems. Leveraging on our prior work, in this paper we present a Hamming Distance embedding Binary Search Tree (HBST) approach ...
详细信息
暂无评论