کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4951165 | 1441195 | 2017 | 31 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Formal verification of stability and chaos in periodic optical systems
ترجمه فارسی عنوان
تایید رسمی ثبات و هرج و مرج در سیستم های نوری دوره ای
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
تأیید رسمی، منطق مرتبه بالاتر، سیستم های نوری، ثبات رزوناتور،
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
Optical systems are widely used in a wide range of safety, cost and mission-critical applications including biomedical devices and high-speed communication networks. Therefore, modeling and verification of such high-consequence systems is crucial for both theoretical and application viewpoints. In this paper, we propose a formal methods based approach to model and verify the properties of periodic optical systems which allow a cyclic passage of light through a sequence of optical components. We focus on two important properties namely stability and chaotic map generation which ensure the confinement of light and chaos generation, respectively. We use higher-order logic as a specification and reasoning framework and develop a library of necessary notions of periodic optical systems. Consequently, we demonstrate the utilization and effectiveness of our development by a couple of case studies: a Fabry Pérot resonator with fiber-rod lens and a phase-conjugated ring resonator.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Computer and System Sciences - Volume 88, September 2017, Pages 271-289
Journal: Journal of Computer and System Sciences - Volume 88, September 2017, Pages 271-289
نویسندگان
Umair Siddique, Sofiène Tahar,