Search results for "embedded"
showing 10 items of 412 documents
High-temperature in-process inspection followed by 96-h robotic inspection of intentionally manufactured hydrogen crack in multi-pass robotic welding
2021
Abstract This investigation introduces two new techniques to quantitatively address the challenging problem of understanding Hydrogen Induced Cracking (HIC) in welding processes. The first technique is a novel procedure to create a known and controlled HIC in a welded sample. The second is an in-process monitoring technique to measure the initial formation and subsequent growth of the HIC in a multi-pass weld whilst being compatible with the high temperatures associated with the welding process. The HIC was initiated using a localised quenching method of the weld and its character was verified using both macrograph and microscopic investigations. During HIC initiation and growth, the sample…
An Auto-Operated Telepresence System for the Nao Humanoid Robot
2013
International audience; This paper presents the development process of an auto-operated telepresence system for the Nao humanoid robot with the main functionality of directing the robot autonomously to an operator-defined target location within a static workspace. The workspace is observed by an array of top-view cameras, which are used to localize the robot by means of a color-based marker detection technique. The system is accessible world-wide to the remote operator through any Internet-capable device via a web-based control interface. The web server responsible for coordinating the communication between system and operator is hosted on a cloud-based infrastructure online. The system was…
Tolerating malicious monitors in detecting misbehaving robots
2008
This paper considers a multi–agent system and focuses on the detection of motion misbehavior. Previous work by the authors proposed a solution, where agents act as local monitors of their neighbors and use locally sensed information as well as data received from other monitors. In this work, we consider possible failure of monitors that may send incorrect information to their neighbors due to spontaneous or even malicious malfunctioning. In this context, we propose a distributed software architecture that is able to tolerate such failures. Effectiveness of the proposed solution is shown through preliminary simulation results.
Improving the performance of embedded systems with variable neighborhood search
2017
Graphical abstractDisplay Omitted Embedded systems have become an essential part of our lives, mainly due to the evolution of technology in the last years. However, the power consumption of these devices is one of their most important drawbacks. It has been proven that an efficient use of the memory of the device also improves its energy performance. This work efficiently solves the dynamic memory allocation problem, which can be formally defined as follows: given a program that has to be executed by a circuit, the objective is to fit that program in memory in such a way that the computing time required to execute it is minimized. In this work, we propose a parallel variable neighborhood se…
Finding Software Bugs in Embedded Devices
2021
AbstractThe goal of this chapter is to introduce the reader to the domain of bug discovery in embedded systems which are at the core of the Internet of Things. Embedded software has a number of particularities which makes it slightly different to general purpose software. In particular, embedded devices are more exposed to software attacks but have lower defense levels and are often left unattended. At the same time, analyzing their security is more difficult because they are very “opaque”, while the execution of custom and embedded software is often entangled with the hardware and peripherals. These differences have an impact on our ability to find software bugs in such systems. This chapt…
Chip Formation and Control
2008
This chapter provides comprehensive engineering knowledge and modelling techniques applied in description of chip formation in the cutting zone and its separation from the bulk material, flow, and final breaking. Possible classification systems, including different chip shapes and physical mechanisms of their formation, are specified. The mechanisms of brittle fracture-based and shear-type chips are characterized in terms of plastic deformation and fracture mechanics. The models of the shear angle using different mechanical approaches are discussed. In addition, representative examples of FEM simulations of different types of chips for turning and milling operations are presented. Formulas …
TargetPlex FFPE-Direct DNA Library Preparation Kit for SiRe NGS panel: An international performance evaluation study
2021
AimNext generation sequencing (NGS) represents a key diagnostic tool to identify clinically relevant gene alterations for treatment-decision making in cancer care. However, the complex manual workflow required for NGS has limited its implementation in routine clinical practice. In this worldwide study, we validated the clinical performance of the TargetPlex FFPE-Direct DNA Library Preparation Kit for NGS analysis. Impressively, this new assay obviates the need for separate, labour intensive and time-consuming pre-analytical steps of DNA extraction, purification and isolation from formalin-fixed paraffin embedded (FFPE) specimens in the NGS workflow.MethodsThe TargetPlex FFPE-Direct DNA Libr…
Dissection of DLBCL microenvironment provides a gene expression-based predictor of survival applicable to formalin-fixed paraffin-embedded tissue
2018
Abstract Background Gene expression profiling (GEP) studies recognized a prognostic role for tumor microenvironment (TME) in diffuse large B-cell lymphoma (DLBCL), but the routinely adoption of prognostic stromal signatures remains limited. Patients and methods Here, we applied the computational method CIBERSORT to generate a 1028-gene matrix incorporating signatures of 17 immune and stromal cytotypes. Then, we carried out a deconvolution on publicly available GEP data of 482 untreated DLBCLs to reveal associations between clinical outcomes and proportions of putative tumor-infiltrating cell types. Forty-five genes related to peculiar prognostic cytotypes were selected and their expression …
Detection of human papillomavirus DNA in formalin-fixed, paraffin-embedded squamous papillomas of the oral cavity
2018
Background Squamous papillomas are exophytic proliferations of surface oral epithelium. Human papillomavirus (HPV) infection is widely accepted as the etiology of squamous papillomas however the virus cannot be detected in a significant percentage of lesions. Material and methods Using polymerase chain reaction (PCR), we tested 35 formalin-fixed paraffin-embedded (FFPE) squamous papillomas for the presence of HPV DNA. Results Six papillomas (17%) tested positive for HPV DNA; four contained HPV-6 and two contained HPV-11. Given that β-globin DNA was only identified in half of the samples, DNA degradation appears to have significantly impacted the results. Conclusions The results likely repre…