作者：J.A. Kulisek ; ^{Jonathan.Kulisek@pnnl.gov} ; B.S. McDonald ; L.E. Smith ; M.A. Zalavadia ; J.B. Webster

关键词：Uranium hexafluoride ; Uranium enrichment ; Nondestructive assay ; Monte Carlo ; Neutron measurements ; Nuclear safeguards

刊名：Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment

出版年：2017

作者：Manas Ranjan Nayak ; Joyashree Bag ; Souvik Sarkar ; Subir Kumar Sarkar

关键词：Phase congruency ; Image watermarking ; Singular value decomposition ; Matlab ; VLSI ; FPGA

刊名：AEU - International Journal of Electronics and Communications

出版年：2017

作者：Amnon Rosenmann ^{rosenmann@math.tugraz.at" class="auth_mail" title="E-mail the corresponding author}

关键词：Multiple-valued logic ; Hardware verification ; Hardware simulation ; Verification complexity ; De Morgan Canonical Form

刊名：Journal of Applied Logic

出版年：2016

作者：Kristian Beckers^a ; ^{beckersk@in.tum.de} ; Isabelle Cô ; té ; ^b ; ^{i.cote@itesys.de} ; Thomas Frese^c ; ^{tfrese@ford.com} ; Denis Hatebur^b ; ^d ; ^{d.hatebur@itesys.de} ; Maritta Heisel^d ; ^{maritta.heisel@uni-due.de}

关键词：ISO 26262 ; Automotive ; Hazard analysis ; Risk assessment ; Safety goal ; Safety ; Functional ; Technical ; Requirement ; UML ; Validation and verification

刊名：Reliability Engineering & System Safety

出版年：2017

作者：Patric Seefeldt^a ; ¹ ; ^{patric.seefeldt@dlr.de} ; Peter Spietz^a ; Tom Sproewitz^a ; Jan Thimo Grundmann^a ; Martin Hillebrandt^b ; Catherin Hobbie^a ; Michael Ruffer^c ; Marco Straubel^b ; Norbert Tó ; th^a ; Martin Zander^b

关键词：Gossamer-1 ; Gossamer structures ; Deployable structures ; Solar sailing ; Controlled deployment

刊名：Advances in Space Research

出版年：2017

作者：Toni Mancini ; ^{tmancini@di.uniroma1.it" class="auth_mail" title="E-mail the corresponding author}Author Vitae ; Federico Mari ^{mari@di.uniroma1.it" class="auth_mail" title="E-mail the corresponding author}Author Vitae ; Annalisa Massini ^{massini@di.uniroma1.it" class="auth_mail" title="E-mail the corresponding author}Author Vitae ; Igor Melatti ^{melatti@di.uniroma1.it" class="auth_mail" title="E-mail the corresponding author}Author Vitae ; Enrico Tronci ^{tronci@di.uniroma1.it" class="auth_mail" title="E-mail the corresponding author}Author Vitae

关键词：Model Checking of Hybrid Systems ; Model checking driven simulation ; Hardware in the loop simulation

刊名：Microprocessors and Microsystems

出版年：2016

作者：Wei Guo^a ; Yunhua Li^a ; Yun-Ze Li^b ; ^{buaalyz@163.com" class="auth_mail" title="E-mail the corresponding author} ; Ming-Liang Zhong^b ; Sheng-Nan Wang^a ; Ji-Xiang Wang^b ; En-Hui Li^b

关键词：Dual heat sink system ; Hardware-in-the-loop ; Steady and transient ; Thermal control

刊名：Applied Thermal Engineering

出版年：2016

作者：Andrei Kornienko^* ; ^{andrei.kornienko@airbus.com" class="auth_mail" title="E-mail the corresponding author} ; Jochen Rieber^* ; ^{jochen.rieber@airbus.com" class="auth_mail" title="E-mail the corresponding author} ; Thomas Ott^* ; ^{thomas.ott@airbus.com" class="auth_mail" title="E-mail the corresponding author} ; Ramin Geshnizjani^** ; ^{ramin.geshnizjani@ifr.uni-stuttgart.de" class="auth_mail" title="E-mail the corresponding author} ; Walter Fichter^** ; ^{fichter@ifr.uni-stuttgart.de" class="auth_mail" title="E-mail the corresponding author} ; Jason Forshaw^*** ; ^{j.forshaw@surrey.ac.uk" class="auth_mail" title="E-mail the corresponding author} ; Guglielmo Aglietti^*** ; ^{g.aglietti@surrey.ac.uk" class="auth_mail" title="E-mail the corresponding author}

关键词：Agile Spacecraft ; Attitude Control ; Control Momentum Gyros ; Hardware in the Loop Testbed

刊名：IFAC-PapersOnLine

出版年：2016

作者：Michael Fritz^a ; ^{m.w.fritz@web.de" class="auth_mail" title="E-mail the corresponding author} ; Sebastian Winter^a ; Juergen Freund^a ; Stefan Pflueger^a ; Oliver Zeile^a ; Jens Eickhoff^b ; ^{jens.eickhoff@airbus.com" class="auth_mail" title="E-mail the corresponding author} ; Hans-Peter Roeser^a

关键词：System simulation ; On-board software verification ; Hardware-in-the-loop

刊名：Aerospace Science and Technology

出版年：2015

作者：Bartlomiej Gladysz^a ; ^b ; ^{bg@hadatap.pl" class="auth_mail" title="E-mail the corresponding author} ; ^{b.gladysz@wip.pw.edu.pl" class="auth_mail" title="E-mail the corresponding author} ; Cezary Lysiak^a

关键词：light-responsive RFID ; manual assembly ; INTERACT

刊名：Procedia CIRP

出版年：2016