Scrub Nurse Robot: SNR. C++ SNR Uppaal TA SNR SNR. Vain SNR. Uppaal TA. TA state Uppaal TA location. Uppaal

Σχετικά έγγραφα
3: A convolution-pooling layer in PS-CNN 1: Partially Shared Deep Neural Network 2.2 Partially Shared Convolutional Neural Network 2: A hidden layer o

ΕΥΡΕΣΗ ΤΟΥ ΔΙΑΝΥΣΜΑΤΟΣ ΘΕΣΗΣ ΚΙΝΟΥΜΕΝΟΥ ΡΟΜΠΟΤ ΜΕ ΜΟΝΟΦΘΑΛΜΟ ΣΥΣΤΗΜΑ ΟΡΑΣΗΣ

ΕΙΣΑΓΩΓΗ ΧΡΗΣΗΣ ΣΥΣΤΗΜΑΤΩΝ ΤΕΧΝΟΛΟΓΙΑΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΚΑΙ ΤΗΛΕΠΙΚΟΙΝΩΝΙΩΝ ΣΤΟΝ ΠΡΩΤΟΓΕΝΗ ΤΟΜΕΑ ΤΗΣ ΝΗΣΟΥ ΛΕΣΒΟΥ

Secure Cyberspace: New Defense Capabilities

Towards a more Secure Cyberspace

Εφαρμογή Υπολογιστικών Τεχνικών στην Γεωργία

(1) (2) MFA/SFA: material flow analysis/ substance flow analysis MFA/SFA

Legal use of personal data to fight telecom fraud

An Automatic Modulation Classifier using a Frequency Discriminator for Intelligent Software Defined Radio

ΔΙΠΛΩΜΑΤΙΚΕΣ ΕΡΓΑΣΙΕΣ

CorV CVAC. CorV TU317. 1

2 ~ 8 Hz Hz. Blondet 1 Trombetti 2-4 Symans 5. = - M p. M p. s 2 x p. s 2 x t x t. + C p. sx p. + K p. x p. C p. s 2. x tp x t.

From Secure e-computing to Trusted u-computing. Dimitris Gritzalis

Buried Markov Model Pairwise

ΖΩΝΟΠΟΙΗΣΗ ΤΗΣ ΚΑΤΟΛΙΣΘΗΤΙΚΗΣ ΕΠΙΚΙΝΔΥΝΟΤΗΤΑΣ ΣΤΟ ΟΡΟΣ ΠΗΛΙΟ ΜΕ ΤΗ ΣΥΜΒΟΛΗ ΔΕΔΟΜΕΝΩΝ ΣΥΜΒΟΛΟΜΕΤΡΙΑΣ ΜΟΝΙΜΩΝ ΣΚΕΔΑΣΤΩΝ

ΣΥΝΟΠΤΙΚΟ BIOΓPAΦIKO ΣHMEIΩMA

ΕΛΕΓΧΟΣ ΤΩΝ ΠΑΡΑΜΟΡΦΩΣΕΩΝ ΧΑΛΥΒ ΙΝΩΝ ΦΟΡΕΩΝ ΜΕΓΑΛΟΥ ΑΝΟΙΓΜΑΤΟΣ ΤΥΠΟΥ MBSN ΜΕ ΤΗ ΧΡΗΣΗ ΚΑΛΩ ΙΩΝ: ΠΡΟΤΑΣΗ ΕΦΑΡΜΟΓΗΣ ΣΕ ΑΝΟΙΚΤΟ ΣΤΕΓΑΣΤΡΟ

ΦΩΤΟΓΡΑΜΜΕΤΡΙΚΕΣ ΚΑΙ ΤΗΛΕΠΙΣΚΟΠΙΚΕΣ ΜΕΘΟΔΟΙ ΣΤΗ ΜΕΛΕΤΗ ΘΕΜΑΤΩΝ ΔΑΣΙΚΟΥ ΠΕΡΙΒΑΛΛΟΝΤΟΣ

Development of the Nursing Program for Rehabilitation of Woman Diagnosed with Breast Cancer

Study on Re-adhesion control by monitoring excessive angular momentum in electric railway traction

1 (forward modeling) 2 (data-driven modeling) e- Quest EnergyPlus DeST 1.1. {X t } ARMA. S.Sp. Pappas [4]

Journal of the Graduate School of the Chinese Academy of Sciences. Application Dependent Software. Standard Application Components.

Ανάλυση σχημάτων βασισμένη σε μεθόδους αναζήτησης ομοιότητας υποακολουθιών (C589)

«Ευφυή Συστήματα Μεταφορών & εξελίξεις στην Ελλάδα»

Ceramic PTC Thermistor Overload Protection

Ιατρική τεχνολογία στο ΕΣΥ: η σκληρή πραγματικότητα


Optimization, PSO) DE [1, 2, 3, 4] PSO [5, 6, 7, 8, 9, 10, 11] (P)

The Greek Data Protection Act: The IT Professional s Perspective

ΔΙΑΚΗΡΥΞΗ ΔAΠΜ ΕΡΓΟ :

Schedulability Analysis Algorithm for Timing Constraint Workflow Models

SMD Transient Voltage Suppressors

HFC SERIES High Freq. Wound Ceramic Chip Inductors

MIDI [8] MIDI. [9] Hsu [1], [2] [10] Salamon [11] [5] Song [6] Sony, Minato, Tokyo , Japan a) b)

EM Baum-Welch. Step by Step the Baum-Welch Algorithm and its Application 2. HMM Baum-Welch. Baum-Welch. Baum-Welch Baum-Welch.

Διπλωματική Εργασία του φοιτητή του Τμήματος Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών της Πολυτεχνικής Σχολής του Πανεπιστημίου Πατρών

Ερευνητική+Ομάδα+Τεχνολογιών+ Διαδικτύου+

ΔΙΑΚΗΡΥΞΗ ΔAΠΜ ΕΡΓΟ :

Security and Privacy: From Empiricism to Interdisciplinarity. Dimitris Gritzalis

Stabilization of stock price prediction by cross entropy optimization

Detection and Recognition of Traffic Signal Using Machine Learning

Study of urban housing development projects: The general planning of Alexandria City

Πανεπιστήµιο Πειραιώς Τµήµα Πληροφορικής

ΒΙΟΓΡΑΦΙΚΟ ΣΗΜΕΙΩΜΑ ΛΕΩΝΙΔΑΣ Α. ΣΠΥΡΟΥ Διδακτορικό σε Υπολογιστική Εμβιομηχανική, Τμήμα Μηχανολόγων Μηχανικών, Πανεπιστήμιο Θεσσαλίας.

Δημήτριος Θ. Τόμτσης, Ph.D. Αναλυτικό Βιογραφικό Σημείωμα

Πληροφοριακά Συστήματα & Περιβάλλον

Αναζωογόνηση της Ορεινής Ολυµπίας

Προσωποποιημένη πλοήγηση σε εξωτερικούς χώρους: ανασκόπηση αλγορίθμων και μεθόδων επιλογής μονοπατιού

Current Status of PF SAXS beamlines. 07/23/2014 Nobutaka Shimizu

Maude 6. Maude [1] UIUC J. Meseguer. Maude. Maude SRI SRI. Maude. AC (Associative-Commutative) Maude. Maude Meseguer OBJ LTL SPIN

ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΣΧΟΛΗ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ

Πρόσκληση. DOSSIER-Cloud DevOpS-based Software engineering for the cloud

No. 7 Modular Machine Tool & Automatic Manufacturing Technique. Jul TH166 TG659 A

ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΕΙΡΑΙΩΣ

Εφαρμογή Υπολογιστικών Τεχνικών στη Γεωργία

Development of a basic motion analysis system using a sensor KINECT

Organizing the Protection of Critical ICT Infrastructures. Dimitris Gritzalis

Ultrasound Probe Calibration Method Based on Optical Tracking Systems

ΑΝΑΠΤΥΞΗ ΠΑΙΧΝΙΔΙΟΥ ΣΟΒΑΡΟΥ ΣΚΟΠΟΥ ΓΙΑ ΤΗΝ ΕΚΜΑΘΗΣΗ ΕΝΝΟΙΩΝ ΑΝΤΙΚΕΙΜΕΝΟΣΤΡΕΦΟΥΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΣΕ JAVA

Ταξινόμηση και διαχρονική παρακολούθηση των βοσκόμενων δασικών εκτάσεων στη λεκάνη απορροής του χειμάρρου Μπογδάνα Ν. Θεσσαλονίκης

ΑΝΩΤΑΤΟ ΕΚΠΑΙΔΕΥΤΙΚΟ ΙΔΡΥΜΑ ΠΕΙΡΑΙΑ ΤΕΧΝΟΛΟΓΙΚΟΥ ΤΟΜΕΑ ΣΧΟΛΗ ΤΕΧΝΟΛΟΓΙΚΩΝ ΕΦΑΡΜΟΓΩΝ ΤΜΗΜΑ ΠΟΛΙΤΙΚΩΝ ΜΗΧΑΝΙΚΩΝ Τ.Ε.

ΟΙΚΟΝΟΜΙΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ ΠΑΤΗΣΙΩΝ ΑΘΗΝΑ Ε - ΜΑΙL : mkap@aueb.gr ΤΗΛ: , ΚΑΠΕΤΗΣ ΧΡΥΣΟΣΤΟΜΟΣ. Βιογραφικό Σημείωμα

Ασφάλεια σε χώρους αναψυχής: Ένα σύστημα από έξυπνα αντικείμενα

The User Defined Functions of the Sonnet Lite free Electromagnetic Simulator. N.Ishitobi. Sonnet Giken Co. Ltd. Sonnet Lite S Sonnet Lite.

Τμήμα Πολιτικών και Δομικών Έργων

ΖΕΡΔΑΛΗΣ ΣΩΤΗΡΙΟΣ ΤΟ ΟΥΤΙ ΣΤΗ ΒΕΡΟΙΑ (1922-ΣΗΜΕΡΑ) ΘΕΣΣΑΛΟΝΙΚΗ

Ημερίδα διάχυσης αποτελεσμάτων έργου Ιωάννινα, 14/10/2015

Thin Film Chip Resistors

ΜΕΘΟΔΟΙ ΥΠΟΛΟΓΙΣΜΟΥ ΤΗΣ ΖΕΝΙΘΕΙΑΣ ΤΡΟΠΟΣΦΑΙΡΙΚΗΣ ΥΣΤΕΡΗΣΗΣ ΣΕ ΜΟΝΙΜΟΥΣ ΣΤΑΘΜΟΥΣ GNSS

Identification of Fish Species using DNA Method

Καρκίνος του Μαστού: Οι παράγοντες που επηρεάζουν τη ψυχοσωματική υγεία των γυναικών που υποβλήθηκαν σε μαστεκτομή και ο ρόλος του νοσηλευτή.

Ανάπτυξη Δυνατοτήτων στην Εκπαίδευση μέσω της Πρωτοβουλίας GEO

Protecting Critical ICT Infrastructures

Η εξέλιξη της έννοιας της Ορογένεσης στην ελληνική Μέση Εκπαίδευση κατά την περίοδο 1900 έως 1980.

ΠΑΝΔΠΙΣΗΜΙΟ ΜΑΚΔΓΟΝΙΑ ΠΡΟΓΡΑΜΜΑ ΜΔΣΑΠΣΤΥΙΑΚΧΝ ΠΟΤΓΧΝ ΣΜΗΜΑΣΟ ΔΦΑΡΜΟΜΔΝΗ ΠΛΗΡΟΦΟΡΙΚΗ

n 1 n 3 choice node (shelf) choice node (rough group) choice node (representative candidate)

ΗΜΥ 100 Εισαγωγή στην Τεχνολογία Διάλεξη 2

Supporting Information. Asymmetric Binary-acid Catalysis with Chiral. Phosphoric Acid and MgF 2 : Catalytic

3.8.1 J (7) (1883~1906) (1907~1931) A ~ (10) i J C-1 ~1973 C-2

First Sensor Quad APD Data Sheet Part Description QA TO Order #

Fourier transform, STFT 5. Continuous wavelet transform, CWT STFT STFT STFT STFT [1] CWT CWT CWT STFT [2 5] CWT STFT STFT CWT CWT. Griffin [8] CWT CWT

ΚΛΙΜΑΤΟΛΟΓΙΑ CLIMATOLOGY

ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ

Α.Τ.Ε.Ι. ΠΕΙΡΑΙΑ - ΤΜΗΜΑ ΑΥΤΟΜΑΤΙΣΜΟΥ

clearing a space (focusing) clearing a space, CS CS CS experiencing I 1. E. T. Gendlin (1978) experiencing (Gendlin 1962) experienc-

An Advanced Manipulation for Space Redundant Macro-Micro Manipulator System

PUBLICATION. Participation of POLYTECH in the 10th Pan-Hellenic Conference on Informatics. April 15, Nafplio

Ηλεκτρονικές Υπηρεσίες Υγείας: Καθηγητής Γεώργιος Βασιλακόπουλος

Ceramic PTC Thermistor Overload Protection

CHAROONG THAI WIRE & CABLE PUBLIC COMPANY LIMITED

Υπηρεσίες Cloud στα Ευφυή Συστήματα Εμπορευματικών Μεταφορών και Εφοδιαστικής Αλυσίδας

BCI On Feature Extraction from Multi-Channel Brain Waves Used for Brain Computer Interface

2016 IEEE/ACM International Conference on Mobile Software Engineering and Systems

Πειραµατική διερεύνηση συµπεριφοράς στοιχείων Ω/Σ µε σπειροειδή οπλισµό

ΠΟΛΥΤΕΧΝΕΙΟ ΚΡΗΤΗΣ ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ ΠΕΡΙΒΑΛΛΟΝΤΟΣ

NMBTC.COM /

Connected Threat Defense

, Evaluation of a library against injection attacks

Thin Film Chip Resistors

Study of In-vehicle Sound Field Creation by Simultaneous Equation Method

Transcript:

Scrub Nurse Robot: SNR SNR SNR SNR Uppaal Uppaal timed automatonta SNR C++ Uppaal TA SNR SNR 1 1SNR3 SNR SNR C++ SNR Uppaal TA Vain Uppaal TA TA state Uppaal TA location TRON (Testing Realtime Systems ONline) TRON Uppaal TA Uppaal TRON 1,000 Java code JTRON C++ SNR Uppaal TA SNR SNR (1) SNR JTRON DTRON SNR C++ DTRON Uppaal TA C++ DTRON DTRON

SNR SNR C++ DTRON SNR C++ C++ (2) TC TC RFID 40 cm RFID 2RFID RFID 2 (3) SNR RFID RFID RFID 40 40 cm 1 cm 1,600 cm 40 10 40 cm 40 40 10 cm 80 RFID 80 RFID (4) SNR3 90 (5) (6) SNR

1 10 (1) SNR DTRON C++Uppaal TA 10 1 9 msec 2 10 1.11.2 msec DTRON 2 1.11.2 msec DTRON 0.50.6 msec DTRON C++Spread Spread Spread SNR 1.4 msec DTRON DTRON 0.7 msec 0.7 msec 0.5 msec (2) RFID RFID RFID 0.2 mm 1.0 mm 3 50 Ω RFID 4 3mm RFID RFID RFID 4RFID (3) 10 ms 80 ns 1 cm 0 mm RFID 0.2 mm 1.0 mm 5

14 mm 5 mm 2 mm 5 (4) SNR3 1 6070% 8 [%] 80 70 60 50 40 30 20 10 0 1 2 3 4 5 6 7 8 9 10 8 6 7 6 180 g 90 SNR SNR 7 (5) (6) 4 Scrub Nurse Robot Vol. 5 No. 1 2014pp. 51-57, Miyawaki F, Namiki H, Kano K, Development of Real-time Acquisition System of Intraoperative Information on Use of Surgical Instruments for Scrub Nurse Robot, Proceedings of the 18th IFAC (International Federation of Automatic Control) World Congress,, 2011, 9458-9463 Artemchuk I, Petlenkov E, Miyawaki F, Neural Network Based System for Real-time Organ Recognition During Surgical Operation, Proceedings of the 18th IFAC (International Federation of Automatic Control) World Congress,, 2011, 6478-6483 Artemchuk I, Petlenkov E, Miyawaki F, Gladki A, Neural Network based System for Real-time Organ Recognition by Analysis of Sequence of Endoscopic Images received during Surgical Operation, Proc. of 12th Biennial Baltic Electronics Conference (BEC2010) CD-ROM,, 2010, 349-352 12 Kazuki Kano, Fujio Miyawaki: RFID-Based Subsystem of Real-time Acquisition of Intraoperative Information on Use of Surgical Instruments in Scrub Nurse Robot System Improvement in Detection of Use of Electric Knife. World Congress 2012 Medical Physics and Biomedical Engineering (2012/05/28)

Beijing Fujio Miyawaki, Hiromi Namiki, Kazuki Kano: Development of Real-time Acquisition System of Intraoperative Information on Use of Surgical Instruments for Scrub Nurse Robot. 2011IFAC (2011/08/31) Milan Igor Artemchuk, Eduard Petlenkov, Fujio Miyawaki : Neural Network Based System for Real-time Organ Recognition During Surgical Operation. 2011IFAC (2011/08/30) Milan Kazuki KanoFujio MiyawakiOne Solution to Prevent False Recognition During Use of Electric Knife in RFID-based Real-time Acquisition System for Surgical-Instrument Information 50 (2011/04/30) Ryuhei SugaYuta Sugama, Yasuhiro Fukui, Fujio MiyawakiDevelopment of RFID Surgical Tray Enabling Scrub Nurse Robot (SNR) to Identify and Localize Surgical Instruments at a Spatial Resolution of 10 x 10 mm50 (2011/04/29) Hiroaki IshiiRyuhei Suga, Fujio Miyawaki Development of Application Program Enabling Scrub Nurse Robot (SNR) to Identify and Locate Surgical Instruments on RFID-based Surgical Tray50 (2011/04/29) Kazuhiro AokiYuta Sugama, Yasuhiro Fukui, Fujio MiyawakiDevelopment of Trocar-Cannula RFID Antenna for Film-type Tag to Acquire Information on Use of Surgical Instruments in Real Time in Endoscopic Surgery50 (2011/04/29) Fujio MiyawakiHiroaki Ishii, Ryuhei Suga, Kazuhiro Aoki, Tetsuo Morinaga, Yuta Yoshioka, Kazuki Kano, Yuji Oyatsu Development of Scrub Nurse Robot to support next generation of surgical operations50 (2011/04/29) I. Artemchuk, E. Petlenkov, F. Miyawaki, A. Gladki: Neural Network based System for Real-time Organ Recognition by Analysis of Sequence of Endoscopic Images received during Surgical Operation. 12th Biennial Baltic Electronics Conference (BEC2010) (10/10/4-6) Tallinn Hiromi Namiki Fujio Miyawaki, Daijyo HashimotoDevelopment of Real-time System to Acquire and Analyze Information on Surgical Instruments Used in Endoscopic Surgery49 (2010/06/25) Ryo OkamotoFujio MiyawakiMechanism Detecting Electrocautery-Associated Signals to Prevent False Recognition in RFID-Based Acquisition System of Surgical-Instrument Information 49 (2010/06/25) Ryuhei SugaHiroaki Ishii, Yasuhiro Fukui, Fujio MiyawakiDevelopment of RFID Surgical Tray System Enabling Location of Surgical Instruments on the Tray as Well as Their Identification 49 (2010/06/25) 1 5467295 21 6 26 2014 2 7 http://www2.miyawaki-lab.com/ http://www.miyawaki-lab.com/ (1) MIYAWAKI, Fujio (2) FUKUI, Yasuhiro OHUTI, Katsuhiro 2011 (3) YOSHIMITSU, Kitaro 2010