scholarly journals A State Validation System for Augmented Reality Based Maintenance Procedures

2019 ◽  
Vol 9 (10) ◽  
pp. 2115 ◽  
Author(s):  
Federico Manuri ◽  
Alessandro Pizzigalli ◽  
Andrea Sanna
Keyword(s):  
Augmented Reality ◽  
Automated Verification ◽  
The Novel ◽  
Novel Technology ◽  
Verification Tool ◽  
Vision Algorithm ◽  
Audio Computer ◽  
Elementary Action ◽  
Maintenance Process ◽  
To Receive

Maintenance has been one of the most important domains for augmented reality (AR) since its inception. AR applications enable technicians to receive visual and audio computer-generated aids while performing different activities, such as assembling, repairing, or maintenance procedures. These procedures are usually organized as a sequence of steps, each one involving an elementary action to be performed by the user. However, since it is not possible to automatically validate the users actions, they might incorrectly execute or miss some steps. Thus, a relevant open problem is to provide users with some sort of automated verification tool. This paper presents a system, used to support maintenance procedures through AR, which tries to address the validation problem. The novel technology consists of a computer vision algorithm able to evaluate, at each step of a maintenance procedure, if the user correctly completed the assigned task or not. The validation occurs by comparing an image of the final status of the machinery, after the user has performed the task, and a virtual 3D representation of the expected final status. Moreover, in order to avoid false positives, the system can identify both motions in the scene and changes in the camera’s zoom and/or position, thus enhancing the robustness of the validation phase. Tests demonstrate that the proposed system can effectively help the user in detecting and avoiding errors during the maintenance process.

Automatic 3D augmented reality RAPN with Indocyanine green guidance: A novel technology for a more precise surgical resection

2021 ◽  
Vol 79 ◽  
pp. S805-S806
Author(s):  
F. Porpiglia ◽  
D. Amparore ◽  
F. Piramide ◽  
E. Checcucci ◽  
P. Verri ◽  
...  
Keyword(s):  
Augmented Reality ◽  
Indocyanine Green ◽  
Surgical Resection ◽  
Novel Technology

Predicting Text Legibility over Textured Digital Backgrounds for a Monocular Optical See-Through Display

2017 ◽  
Vol 26 (1) ◽  
pp. 1-15 ◽  
Author(s):  
Vito Modesto Manghisi ◽  
Michele Gattullo ◽  
Michele Fiorentino ◽  
Antonio Emmanuele Uva ◽  
Francescomaria Marino ◽  
...  
Keyword(s):  
Image Analysis ◽  
Augmented Reality ◽  
The Novel ◽  
User Test ◽  
User Ratings ◽  
Background Image ◽  
Text Legibility

Text legibility in augmented reality with optical see-through displays can be challenging due to the interaction with the texture on the background. Literature presents several approaches to predict legibility of text superimposed over a specific image, but their validation with an AR display and with images taken from the industrial domain is scarce. In this work, we propose novel indices extracted from the background images, displayed on an LCD screen, and we compare them with those proposed in literature designing a specific user test. We collected the legibility user ratings by displaying white text over 13 industrial background images to 19 subjects using an optical see-through head-worn display. We found that most of the proposed indices have a significant correlation with user ratings. The main result of this work is that some of the novel indices proposed had a better correlation than those used before in the literature to predict legibility. Our results prove that industrial AR developers can effectively predict text legibility by simply running image analysis on the background image.

Different polar-map patterns using the novel technology for myocardial perfusion imaging (MPI)

2016 ◽  
Vol 32 ◽  
pp. 113
Author(s):  
C. Scabbio ◽  
O. Zoccarato ◽  
C. Marcassa ◽  
D. Lizio ◽  
L. Leva ◽  
...  
Keyword(s):  
Myocardial Perfusion Imaging ◽  
Myocardial Perfusion ◽  
Perfusion Imaging ◽  
The Novel ◽  
Novel Technology ◽  
Polar Map

An Open-Bisimilarity Based Automated Verification Tool for -Calculus Family of Process Calculi

2012 ◽  
Vol 4 (1) ◽  
pp. 55-83
Author(s):  
Shahram Rahimi ◽  
Rishath A. S. Rias ◽  
Elham S. Khorasani
Keyword(s):  
Expert System ◽  
Formal Verification ◽  
Interactive Systems ◽  
Automated Verification ◽  
Efficient System ◽  
Verification Tool ◽  
Verification Methods ◽  
System Verification ◽  
And Performance ◽  
The Right

The complexity of designing concurrent and highly-evolving interactive systems has grown to a point where system verification has become a hurdle. Fortunately, formal verification methods have arrived at the right time. They detect errors, inconsistencies and incompleteness at early development stages of a system formally modeled using a formal specification language. -calculus (Milner, 1999) is one such formal language which provides strong mathematical base that can be used for verifying system specifications. But manually verifying the specifications of concurrent systems is a very tedious and error-prone work, especially if the specifications are large. Consequently, an automated verification tool would be essential for efficient system design and development. In addition, formal verification tools are vital ingredient to fully harness the potential of component-based software composition. The authors developed such an automated verification tool which is highly portable and seamlessly integrates with the visualization, reduction and performance evaluation tools introduced (Ahmad & Rahimi, 2008; Rahimi, 2006; Rahimi et al., 2001, 2008) to provide a comprehensive tool for designing and analyzing multi process/agent systems. Open-Bisimulation (Sangiorgi, 1996) concept is utilized as the theoretical base for the design and implementation of the tool which incorporates an expert system implemented in Java Expert System Shell (JESS) (Friedman-Hill, 2003).

Formal Verification of Secrecy, Coercion Resistance and Verifiability Properties for a Remote Electronic Voting Protocol

2013 ◽  
Vol 7 (2) ◽  
pp. 57-85
Author(s):  
Khaoula Marzouki ◽  
Amira Radhouani ◽  
Narjes Ben Rajeb
Keyword(s):  
Formal Verification ◽  
Electronic Voting ◽  
Automated Verification ◽  
Verification Tool ◽  
Verification Methods ◽  
Pi Calculus ◽  
Security Properties

Electronic voting protocols have many advantages over traditional voting but they are complex and subject to many kinds of attacks. Therefore, the use of formal verification methods is crucial to ensure some security properties. We propose to model a recent protocol of remote electronic voting in the applied Pi-calculus. We focalized on some security properties such as fairness which expresses the impossibility of obtaining partial results, eligibility which requires that only legitimate voters can vote, coercion resistance which ensures that no voter may vote under pressure, and verifiability which supposes that anyone can verify the accuracy of the final result. We proved either manually or using the automated verification tool ProVerif that the protocol satisfies these security properties.

‘[C]allee me Oscar’: The Picture of Dorian Gray, Aestheticism, and Opium

2019 ◽  
Vol 9 (1) ◽  
pp. 70-87
Author(s):  
Ya-feng Wu
Keyword(s):  
The Novel ◽  
Critical Attention ◽  
Picture Of Dorian Gray ◽  
Dorian Gray ◽  
East End ◽  
House Beautiful ◽  
To Receive

Oscar Wilde's only novel, The Picture of Dorian Gray (1891), one of the flagship novels of Aestheticism, contains an intricate opium narrative that has yet to receive adequate critical attention. The novel consists of two nested units: the House Beautiful that subsumes a Gothic nursery where Dorian's portrait is placed, and London the Metropolis that harbours Blue Gate Fields in the East End. The former might be read as a miniature of the latter. This double mechanism hinges on a Chinese box in which opium is stored. The structure, which evolves from the classic opium narrative established by Thomas De Quincey's Confessions of an English Opium Eater (1821), enables Wilde to stage a critique on the connection between Aestheticism and the imperial trade of opium. Besides, Wilde's aesthete trio in the novel, Lord Henry Wotton, Dorian Gray, and Adrian Singleton, are cast as opium smokers in order to disrupt the imperialist mindset showcased in the cartoons appearing on trade cards and in magazines that satirise Wilde's promotion of Aestheticism. This essay contends that Wilde's opium narrative exposes the hypocrisy of Empire by demonstrating that the coloniser and the colonised are anamorphic reflections of each other.

Sign in / Sign up

Export Citation Format

Share Document