با سلام خدمت کاربران در صورتی که با خطای سیستم پرداخت بانکی مواجه شدید از طریق کارت به کارت (6037997535328901 بانک ملی ناصر خنجری ) مقاله خود را دریافت کنید (تا مشکل رفع گردد).
ردیف | عنوان | نوع |
---|---|---|
1 |
Equivalence Checking of Quantum Circuits With the ZX-Calculus
بررسی هم ارزی مدارهای کوانتومی با ZX-calculus-2022 As state-of-the-art quantum computers are capable of running increasingly complex algorithms, the need for
automated methods to design and test potential applications
rises. Equivalence checking of quantum circuits is an important,
yet hardly automated, task in the development of the quantum
software stack. Recently, new methods have been proposed that
tackle this problem from widely different perspectives. One of
them is based on the ZX-calculus, a graphical rewriting system
for quantum computing. However, the power and capability of
this equivalence checking method has barely been explored.
The aim of this work is to evaluate the ZX-calculus as a
tool for equivalence checking of quantum circuits. To this end,
it is demonstrated how the ZX-calculus based approach for
equivalence checking can be expanded in order to verify the
results of compilation flows and optimizations on quantum
circuits. It is also shown that the ZX-calculus based method
is not complete—especially for quantum circuits with ancillary
qubits. In order to properly evaluate the proposed method,
we conduct a detailed case study by comparing it to two other
state-of-the-art methods for equivalence checking: one based
on path-sums and another based on decision diagrams. The
proposed methods have been integrated into the publicly available
QCEC tool (https://github.com/cda-tum/qcec) which is
part of the Munich Quantum Toolkit (MQT).
Index Terms: Quantum computing | formal verification | quantum circuit. |
مقاله انگلیسی |
2 |
انتشار پیامهای امنیتی به خودروها و بررسی با استفاده از چک کردن مدل در VANETs
سال انتشار: 2020 - تعداد صفحات فایل pdf انگلیسی: 7 - تعداد صفحات فایل doc فارسی: 21 بررسی مدلی یکی از تکنیکهای تایید رسمی است که به طور گسترده برای تایید و اصلاح خطاهای طراحی پروتکلهای ارتباطی استفاده میشود . بررسی مدل از الگوریتمها برای تایید درستی سیستم استفاده میکند . این مقاله یک توصیف کامل از روششناسی تایید پروتکلهای ارتباطی vanet با استفاده از جستجوگر مدل SPIN ارائه میکند . اکثر پروتکلهای ارتباطی vanet از واحدهای طرف جاده برای انتقال اطلاعات مربوط به ایمنی / ترافیک مربوط به وسایل نقلیه دور استفاده میکنند . این سیستم پیشنهادی یک سیستم تایید برای بررسی خطاهای طراحی و طراحی پروتکلهای ارتباطی vanet با استفاده از کنترلکننده مدل ارائه میکند . در نهایت , نتایج شبیهسازی و تایید ارائه میشوند .
. واژهای کاربردی: پروتکل ارتباطی | واحدهای طرف جاده | تایید رسمی | کنترلکننده مدل SPIN | اطلاعات ایمن |
مقاله ترجمه شده |
3 |
استقلال و دانش مالی در کمیته حسابرسی با عدم رعایت افشای مالی: مطالعه شرکت های ذکر شده با صدور توبیخ عمومی در مالزی
سال انتشار: 2015 - تعداد صفحات فایل pdf انگلیسی: 8 - تعداد صفحات فایل doc فارسی: 15 این مقاله، با هدف بیان صدور توبیخ عمومی توسط بورس مالزی، برای PLC مربوط به اطلاعات مرتبط مالی می باشد .مشخص شد که توبیخ عمومی به دلیل عدم مطابقت با نیازهای مربوط به افشای مداوم، با توجه به 145 نقضی که از سال 2009 تا 2013سر زده، تایید رسمی شده است.همچنین پی برده شد که بسیاری از شرکت های تصویب شده برای توبیخ عمومی، با حداقل نیازهای مورد نیاز برای استقلال و دانش مالی در کمیته حسابرسی ، موافقت کردند. این مقاله نوعی تجزیه و تحلیل محتوایی است و متشکل از شرکت هایی است که توسط بورس مالزی به دلیل عدم مطابقت با نیازهای لیست شده، توبیخ شده اند.
واژگان کلیدی: کمیته حسابرسی | توبیخ عمومی | افشای مالی | دانش مالی | مالزی |
مقاله ترجمه شده |
4 |
طراحی و بررسی مانیتور ماشین مجازی قابل اعتماد و سبک وزن برای ساختارهای چند هسته ای
سال انتشار: 2013 - تعداد صفحات فایل pdf انگلیسی: 10 - تعداد صفحات فایل doc فارسی: 31 مانیتورهای ماشین مجازی (VMMs)، نقش محوری و اصلی را در محاسبات ابری بر عهده دارند. قابلیت اطمینان و در دسترس بودن انها، برای محاسبات ابری بسیار مهم و حیاتی است. مجازی سازی و شبیه سازی دستگاه ها سبب بزرگ بودن کد بیس VMM و پیچیده بودن روابط میان سیستم عامل (OS) و VMM می گردد. این حالت از کد بیس سبب می شود تا بررسی امنیت VMM، به سختی صورت می گیرد. برای مثال، سوء استفاده از فراخوانی بیش از حد VMM توسط سیستم عامل- مهمان و مخرب می تواند کل VMM را معیوب سازد. همچنین پیچیدگی VMM، رسما بررسی صحت و دقت رفتار سیستم را دشوار می سازد. مقاله حاضر، به معرفی و ارائه نوع جدید VMM (سیستم عامل مجازی سازی (OSV)) می پردازد. رابط بوت چند پردازنده و رابط پیکربندی حافظه (در زمان بوت کردن در Linux kernel) در OSV مجاز می باشند. پس از بوت شدن، تنها عملکردهای ایجاد وقفه بین پردازنده ها توسط OSV متوقف می شوند، که سبب می شود ارتباط میان OSV و OS ساده و یا اسان گردد. این ارتباط با استفاده از بررسی مدل رسمی مورد تایید قرار می گیرد که اطمینان می دهد سیستم عامل مخرب نمی تواند از طریق رابط میانجی به OSV حمله نماید. در حال حاضر، OSV براساس معماری ساختار شبکه چند هسته ای AMD Opteron، اجرا می شود. نتایج ارزیابی ها نشان می دهد که اجرای لینوکس در OSV، دارای عملکرد مشابه با لینوکس محلی است. همچنین، OSV دارای %4-%13 بهبود عملکرد بیشتری نسبت به Xen می باشد.
کلمات کلیدی: مانیتور ماشین مجازی | مدل | سیستم عامل | چند هسته ای | تایید رسمی |
مقاله ترجمه شده |