2,063 Hits in 5.0 sec

AutoFocus — A tool for distributed systems specification [chapter]

Franz Huber, Bernhard Schätz, Alexander Schmidt, Katharina Spies
1996 Lecture Notes in Computer Science  
We describe the concept of AutoFocus, a tool for the specication of distributed systems.  ...  for exact consistency checks of a system under development.  ...  Introduction In this paper, we describe AutoFocus, a tool intended to be used for specifying distributed systems on a formal basis.  ... 
doi:10.1007/3-540-61648-9_58 fatcat:zwugcsgqrbdnxcnxzn46dyy3fa

Autofocus in infrared microscopy

Raphael Abele, Daniele Fronte, Pierre- Yvan Liardet, Jean-Marc Boi, Jean-Luc Damoiseaux, Djamal Merad
2018 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)  
Autofocus (AF) is a widely investigated subject in the fields of natural scene images, industrial assembly and biologic microscopy.  ...  This paper proposes a new effective AF method for infrared (IR) microscopy in the context of the Integrated Circuit industry (IC).  ...  The Human Visual System (HVS) is the most reliable tool for IQA: the main difficulty is the interpretation of human subjectivity with algorithms following objective rules and criteria [1] .  ... 
doi:10.1109/etfa.2018.8502648 dblp:conf/etfa/AbeleFLBDM18 fatcat:2v6exz3fcng7xjgqb7w7lsvk5y

Verified System Development with the AutoFocus Tool Chain

Maria Spichkova, Florian Hölzl, David Trachtenherz
2012 Electronic Proceedings in Theoretical Computer Science  
This work presents a model-based development methodology for verified software systems as well as a tool support for it: an applied AutoFocus tool chain and its basic principles emphasizing the verification  ...  of the system under development as well as the check mechanisms we used to raise the level of confidence in the correctness of the implementation of the automatic generators.  ...  Subsequently, the specifications are translated to FOCUS [6] , a framework for formal specifications and development of distributed interactive systems.  ... 
doi:10.4204/eptcs.86.3 fatcat:2c2xfqbpg5dklbvgse25sqrmpu

Sparse Blind Deconvolution for Distributed Radar Autofocus Imaging [article]

Hassan Mansour, Dehong Liu, Ulugbek S. Kamilov, Petros T. Boufounos
2018 arXiv   pre-print
A common problem that arises in radar imaging systems, especially those mounted on mobile platforms, is antenna position ambiguity.  ...  Thus, the radar autofocus problem becomes a multichannel blind deconvolution problem, in which the radar measurements correspond to observations of a static radar image that is convolved with the spatial  ...  There is extensive literature addressing the radar autofocus problem by developing tools that compensate for antenna position errors [7] - [12] .  ... 
arXiv:1805.03269v1 fatcat:d2fl2dl3jvegfao4cxjjqsgszm

13 AutoFocus 3 - A Scientific Tool Prototype for Model-Based Development of Component-Based, Reactive, Distributed Systems [chapter]

Florian Hölzl, Martin Feilkas
2010 Lecture Notes in Computer Science  
We give an introduction of the AutoFocus 3 tool 1 , which allows component-based modeling of reactive, distributed systems and provides validation and verification mechanisms for these models.  ...  Furthermore, AutoFocus 3 includes descriptions of specific technical platforms and deployments.  ...  in building large parts of the tool infrastructure, and to Wolfgang Schwitzer for his work on the deployment extension of AutoFocus 3.  ... 
doi:10.1007/978-3-642-16277-0_13 fatcat:gth3ss4zqfaezgcy7hmwlep4qu

Image Reconstruction Using Autofocus in Single-Lens System

Xuyang Zhou, Xiu Wen, Yu Ji, Yutong Li, Shutian Liu, Zhengjun Liu
2022 Applied Sciences  
For the case of only the object distance being unknown, a diffuser is used to scatter the coherent beam for speckle illumination to improve the performance of autofocus.  ...  For coherent diffraction imaging with a lens, autofocus is investigated to accurately determine the object distance and image distance.  ...  Acknowledgments: The authors would like to thank Miguel Victor for his writing advice, Cheng Guo for his experimental and methodological guidance, and Yong Geng and Jiaxin Wang for their suggestions on  ... 
doi:10.3390/app12031378 fatcat:l3y53xxyrvciliqsk5os5yecw4

SAR image reconstruction and autofocus by compressed sensing

S. Uḡur, O. Arıkan
2012 Digital signal processing (Print)  
A new SAR signal processing technique based on compressed sensing is proposed for autofocused image reconstruction on subsampled raw SAR data.  ...  In order to demonstrate the performance of the proposed technique in wide-band SAR systems, the measurements used in the reconstruction are formed by a new under-sampling pattern that can be easily implemented  ...  As a result, higher operational frequencies create significant challenges for autofocus techniques.  ... 
doi:10.1016/j.dsp.2012.07.011 fatcat:f42r6qeva5dhbcp2dvzdfl6gvu

Design Of Autofocus Microscope With Histogram Method For Tuberculosis Bacteria Observation

Mohammad Kholil, Riries Rulaningtyas, Winarno Winarno
2020 Indonesian Applied Physics Letters  
This research was conducted to design an autofocus microscope with a histogram method that can observe Tuberculosis (TB) bacteria.  ...  The microscope is designed to be equipped with a program to control the focus motor that moves the microscope tube and the program to digitally display the image and histogram of TB bacteria.  ...  The PC used in this study was a laptop with a specification of AMD A8 processor, 4GHz RAM and Windows 10 Operating Systems. The result of the digital microscope design was shown in Figure 3a .  ... 
doi:10.20473/iapl.v1i1.21331 fatcat:jur3ukpjgjc2rgd7zpuqr6r6cu

Noise evaluation of a point autofocus surface topography measuring instrument

Giacomo Maculotti, Xiaobing Feng, Maurizio Galetto, Richard Leach
2018 Measurement science and technology  
The evaluation is based on the determination of the metrological characteristics for noise as outlined in draft ISO specification standards by using a calibrated optical flat.  ...  In this work, the measurement noise of a point autofocus surface topography measuring instrument is evaluated, as the first step towards establishing a route to traceability for this type of instrument  ...  ACKNOWLEDGEMENTS The authors would like to thank EPSRC (Grant EP/M008983/1) for funding this work.  ... 
doi:10.1088/1361-6501/aab528 fatcat:ceydfcif3rbmfh4ge75qdosvoa

Universal autofocus for quantitative volumetric microscopy of whole mouse brains

L. Silvestri, M. C. Müllenbroich, I. Costantini, A. P. Di Giovanna, G. Mazzamuto, A. Franceschini, D. Kutra, A. Kreshuk, C. Checcucci, L. O. Toresano, P. Frasconi, L. Sacconi (+1 others)
2021 Nature Methods  
Here we introduce RAPID (rapid autofocusing via pupil-split image phase detection), a real-time autofocus method applicable in every widefield-based microscope.  ...  RAPID thus provides a flexible autofocus solution that is suitable for traditional automated microscopy tasks as well as for quantitative analysis of large biological specimens.  ...  Mode of Euro-Bioimaging ERIC, and by Ente Cassa di Risparmio di Firenze (a private foundation).  ... 
doi:10.1038/s41592-021-01208-1 pmid:34312564 fatcat:vjkd6wuozngktnpdbeftjqhwxm

Synthetic aperture radar imaging with motion estimation and autofocus

L Borcea, T Callaghan, G Papanicolaou
2012 Inverse Problems  
X-band persistent surveillance SAR is a specific application that is covered by our analysis.  ...  We introduce from first principles a synthetic aperture radar (SAR) imaging and target motion estimation method that is combined with compensation for radar platform trajectory perturbations.  ...  That the Wigner transform is a natural tool for detection and imaging of moving targets has been known.  ... 
doi:10.1088/0266-5611/28/4/045006 fatcat:qpt6acsfjneuxaexbrohd4ul6i

Non-Contact Dermatoscope with Ultra-Bright Light Source and Liquid Lens-Based Autofocus Function

Dierk Fricke, Evgeniia Denker, Annice Heratizadeh, Thomas Werfel, Merve Wollweber, Bernhard Roth
2019 Applied Sciences  
We present a prototype for such a system including solutions for autofocus and color reproducibility independent of ambient lighting.  ...  Autofocus and color reproducibility are specific challenges for the development of dermatoscopy for application beyond cancer screening.  ...  Here, a look-up table can be configured which relates every measured distance to a specific voltage for the liquid lens.  ... 
doi:10.3390/app9112177 fatcat:xdozg26lb5febagbhkdgzw4qpi

Tool supported specification and simulation of distributed systems

F. Huber, S. Molterer, A. Rausch, B. Schatz, M. Sihling, O. Slotosch
Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems  
We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems.  ...  Finally, we demonstrate how AUTOFOCUS can be used to simulate the specified system in its system environment using a graphic animation tool as an example.  ...  Acknowledgments For the work on AUTOFOCUS we thank all active students in our software engineering courses, especially G. Einert and G. Klein. For some comments we thank our anonymous referees.  ... 
doi:10.1109/pdse.1998.668174 dblp:conf/pdse/HuberMRSSS98 fatcat:x5fjzgtedjhqvdplckr645pjka

Residual flatness and scale calibration for a point autofocus surface topography measuring instrument

Giacomo Maculotti, Xiaobing Feng, Rong Su, Mauirizio Galetto, Richard K Leach
2019 Measurement science and technology  
Acknowledgments This work was supported by the Engineering and Physical Sciences Research Council (Grant Number EP/M008983/1) (EPSRC), and the authors would like to thank Mitaka Kohki for collaboration  ...  E distributes according to a uniform distribution, from which equation (7) follows [13] .  ...  The point autofocus instrument (PAI) is a non-contact instrument that measures areal surface topography through raster scanning, and is often used to measure optics, cutting tools and complex three-dimensional  ... 
doi:10.1088/1361-6501/ab188f fatcat:hmyz7exm2bhedbpqqr6lkh6lyu

ISAR Autofocus Imaging Algorithm for Maneuvering Targets Based on Phase Retrieval and Gabor Wavelet Transform

Hongyin Shi, Ting Yang, Zhijun Qiao
2018 Remote Sensing  
The imaging issue of a rotating maneuvering target with a large angle and a high translational speed has been a challenging problem in the area of inverse synthetic aperture radar (ISAR) autofocus imaging  ...  The approach first performs the range compression on ISAR raw data to obtain range profiles, and then carries out the GWT transform as the time-frequency analysis tool for the rotational motion compensation  ...  Qiao's work was partially supported by the President's Endowed Professorship program of the University of Texas system.  ... 
doi:10.3390/rs10111810 fatcat:h2dzwhc7xzglbmtdtmisy7n25u
« Previous Showing results 1 — 15 out of 2,063 results