We formally develop category theory up to Yoneda’s lemma, using Isabelle/HOL/Isar, and survey previous formalisations. By using recently added Isabelle features, we have produced a formal text that more closely approximates informal mathematics.

این مقاله روشی به نام بخش بندی نظارت نشده سلسله مراتبی با استفاده از فشرده سازی پراتلاف داده برای تصاویر رادار روزنه ترکیبی (sar) ارائه می دهد که در آن از سوپرپیکسل ها به جای پیکسل ها استفاده شده است. در این مقاله، با ترکیب ویژگی هایی از قبیل لبه، بافت و شدت روشنایی به ادغام سوپرپیکسل ها پرداخته می شود که روند ادغام طی دو مرحله صورت می گیرد. با توجه به این که بسیاری از روش های مبتنی بر سوپرپیکس...

A translational motion estimation and compensation method is proposed based on the parametric by multiple stations in distributed inverse synthetic aperture radar (ISAR) imaging. For ship targets with complex motion, ISAR increases cross-range resolution of image expanding observation angle. However, translation methods a single station will destroy correlation between echoes, which reduces qua...

BACKGROUND a growing number of older patients undergo cardiac surgery. Some of these patients are at increased risk of post-operative functional decline, potentially leading to reduced quality of life and autonomy, and other negative health outcomes. First step in prevention is to identify patients at risk of functional decline. There are no current published tools available to predict function...

A new promising architecture of microwave personnel screening system is analyzed in this paper with numerical simulations. This architecture is based on the concept of inverse aperture synthesis applied to a naturally moving person. The extent of the synthetic aperture is formed by a stationary vertical linear antenna array and by a length of subject’s trajectory as he moves in the vicinity of ...

Inverse synthetic aperture radar (ISAR) imaging for maneuvering targets suffers from a Doppler frequency time-varying problem, leading to the ISAR images blurred in azimuth direction. Given that traditional methods have poor performance or low efficiency, and existing deep learning cannot effectively reconstruct deblurred retaining rich details textures, an unblurring method based on advanced T...

Traditionally, point cloud representations or Doppler spectrograms have been generated from short-range automotive radars for dynamic object detection and classification. In this work, we propose using inverse synthetic aperture radar (ISAR) images obtained range compensated turning targets the classification of different types vehicles. We experimentally demonstrate that ISAR provide rich feat...