ترجمه مقاله تکنولوژ‍ی جدید بسته بندی برای پرسازی محصولات نسوز (refractory)

دسته: فنی و مهندسی

حجم فایل: 583 کیلوبایت

تعداد صفحه: 6

تکنولوژ‍ی جدید بسته بندی برای پرسازی محصولات نسوز (refractory)

چکیده:

Haver & Boecker/ آلمان به عنوان یک گروه تکنولوژیکی، از موقعیت برجسته ایی در بازارهای جهانی تکنولوژی بسته بندی برخوردار است.

سیستم FILLING HAP THE (HAVER ADAMS PROCESS) یک سیستم بسته بندی FFS (FORM FILL SEAL) مبتکرانه برای قراردادن محصولات پودری در کیسه های پلاستیکی PE می باشد. این تکنولوژی جدید برای اولین بار در صنعت نسوز با موفقیت فراوان به کار گرفته شد. مزیت عمدۀ آن عبارت است از: بسته بندی متراکم، نظافت و پاکیزگی در طی پرسازی کیسه و در تمام طول مدت انتقال کل محصول، زنجیرۀ توزیع، محافظت بهینۀ محصول، افزایش تاریخ مصرف و بهبود ظاهر بصری. تأثیر مثبت دیگر آن ایجاد مقاومت زیاد در برابر پارگی است.

قیمت: 2,000 تومان

عنوان مقاله: اصل قانونی بودن جرائم و مجازاتها

دسته: علوم انسانی

حجم فایل: 113 کیلوبایت

تعداد صفحه: 5

چکیده: حقوق جزاء از اصولی پیروی می کند که هر کدام از این اصول هدف ایجاد نظم اجتماعی و حمایت از حقوق فردی و اجتماعی را تعقیب می نماید از مهمترین این اصول، اصل قانونی بودن جرائم و مجازاتها بوده که حاصل اصل قانونی بودن حقوق جزاست این اصل که در حقوق بین الملل (بند 2 ماده 11 اعلامیه جهانی حقوق بشر) و نیز شرع مقدس و تعالیم اسلام (قاعده قبح عقاب بلا بیان) به رسمیت شناخته شده در حقوق ایران طی اصول، 22، 23، 25، 32، 36، 37، 159، 166و 169 قانون اسلامی و مواد 2و11 قانون مجازات اسلامی مبنای قانونی خود را یافته است. در تعارض اصل قانونی بودن جرائم و مجازاتها با اصل 167قانون اساسی ونیز ماده 214 قانون آئین دادرسی کیفری نظرات مختلفی از جانب حقوقدانان مطرح شده که هر کدام سعی در حل تعارض و ارائه راهکار نموده اند.

قیمت: 1,000 تومان

تشخیص خشونت ویدئو با استفاده از تحلیل خصوصیات آرام (ترجمه)

چکیده

امروزه اینترنت ، اشتراک گذاری انواع اطلاعات را برای همگان آسان کرده است. با این حال، محتوای خشن در وب تأثیر زیان آوری روی کسانی که قدرت قضاوت درست را ندارند مخصوصاً نوجوانان می گذارد. این مقاله، روشی را برای تشخیص خشونت در ویدئو ارائه می کند، این روش تحلیل ویژگی آرام تبعیضانه (D-SFA) را معرفی می کند تا یادگیری توابع ویژگی آرام از انبوه صحنه ها در ویدئو انجام گیرد. پس از آن با توابع ویژگی آرام یادگیری شده، ویژگی های بدست آمده انباشته مربعی شکل (ASD) برای ارائه ویدئو استخراج می شوند. در نهایت، یک ماشین برداری پشتیبان خطی (SVM) برای طبقه بندی آموزش می بیند. ما همچنین یک دیتاست ویدئوی خشن (VV) با 200 نمونه خشونت آمیز و 200 نمونه بدون خشونت جمع آوری شده از اینترنت و فیلم ها ساخته ایم. نتایج تجربی روی دیتاست جدید، کارایی روش پیشنهادی را نشان می دهد.

مقدمه

با رشد سریع وبسایت های شبکه اجتماعی مثل فیس بوک، توئیتر و یوتیوب، ویدئوهای زیادی هر روز آپلود می شود. همانطور که ما از اطلاعات مفید این سایت ها لذت می بریم، برخی ویدئوهای حاوی خشونت نیز توسط کاربران قابل دسترسی هستند. در افرادی که قدرت قضاوت صحیح ندارند مثل کودکان و نوجوانانی که در معرض این محتوا هستند ممکن است منجر به رفتارهای خشونت آمیز شود یا حتی آثار جرم در آن ها با تقلید از آنچه در این فیلم ها دیده اند آشکار شود. بنابراین واضح است که نیاز به محافظت از چنین گروه های حساس جامعه با استفاده از تشخیص دهنده های اتوماتیک، کارا و مؤثر امری ضروری است. با وجود اینکه تشخیص خشونت موضوع داغی در بینایی کامپیوتر نیست اما امری بسیار مهم است. برخی روش ها تاکنون برای حل این مسئله پیشنهاد شده است. در [1] نویسندگان از هشت ویژگی رادیویی در زمینه زمان و فرکانس به عنوان ورودی دسته بندی کننده باینری استفاده کرده اند که محتوای ویدئو را با توجه به میزان خشونت در آن اندازه شناسایی می کند. سپس آن ها کار خود را با استفاده از شبکه های بیزین به مسئله طبقه بندی چند کلاسه تعمیم داده اند.

تشخیص خشونت ویدئو با استفاده از تحلیل خصوصیات آرام

• عنوان لاتین مقاله: Violence Video Detection by Discriminative Slow Feature Analysis
• عنوان فارسی مقاله: تشخیص خشونت ویدئو با استفاده از تحلیل خصوصیات آرام.
• دسته: روانشناسی - فناوری اطلاعات و کامپیوتر
• فرمت فایل ترجمه شده: WORD (قابل ویرایش)
• تعداد صفحات فایل ترجمه شده: 9
• جهت دانلود رایگان نسخه انگلیسی این مقاله اینجا کلیک نمایید
• ترجمه سلیس و روان مقاله آماده خرید است.

خلاصه

امروزه اینترنت، اشتراک گذاری انواع اطلاعات را برای همگان آسان کرده است. با این حال، محتوای خشن در وب تأثیر زیان آوری روی کسانی که قدرت قضاوت درست را ندارند مخصوصاً نوجوانان می گذارد. این مقاله، روشی را برای تشخیص خشونت در ویدئو ارائه می کند، این روش تحلیل ویژگی آرام تبعیضانه (D-SFA) را معرفی می کند تا یادگیری توابع ویژگی آرام از انبوه صحنه ها در ویدئو انجام گیرد. پس از آن با توابع ویژگی آرام یادگیری شده، ویژگی های بدست آمدۀ انباشتۀ مربعی شکل (ASD) برای ارائۀ ویدئو استخراج می شوند. در نهایت، یک ماشین برداری پشتیبان خطی (SVM) برای طبقه بندی آموزش می بیند. ما همچنین یک دیتاست ویدئوی خشن (VV) با 200 نمونۀ خشونت آمیز و 200 نمونۀ بدون خشونت جمع آوری شده از اینترنت و فیلم ها ساخته ایم. نتایج تجربی روی دیتاست جدید، کارایی روش پیشنهادی را نشان می دهد.

مقدمه

با رشد سریع وبسایت های شبکه اجتماعی مثل فیس بوک، توئیتر و یوتیوب، ویدئوهای زیادی هر روز آپلود می شود. همانطور که ما از اطلاعات مفید این سایت ها لذت می بریم، برخی ویدئوهای حاوی خشونت نیز توسط کاربران قابل دسترسی هستند. در افرادی که قدرت قضاوت صحیح ندارند مثل کودکان و نوجوانانی که در معرض این محتوا هستند ممکن است منجر به رفتارهای خشونت آمیز شود یا حتی آثار جرم در آن ها با تقلید از آنچه در این فیلم ها دیده اند آشکار شود. بنابراین واضح است که نیاز به محافظت از چنین گروه های حساس جامعه با استفاده از تشخیص دهنده های اتوماتیک، کارا و مؤثر امری ضروری است.

با وجود اینکه تشخیص خشونت موضوع داغی در بینایی کامپیوتر نیست اما امری بسیار مهم است. برخی روش ها تاکنون برای حل این مسئله پیشنهاد شده است. در [1] نویسندگان از هشت ویژگی رادیویی در زمینۀ زمان و فرکانس به عنوان ورودی دسته بندی کنندۀ باینری استفاده کرده اند که محتوای ویدئو را با توجه به میزان خشونت در آن اندازه شناسایی می کند. سپس آن ها کار خود را با استفاده از شبکه های بیزین به مسئلۀ طبقه بندی چند کلاسه تعمیم داده اند.

• فرمت: zip
• حجم: 0.95 مگابایت
• شماره ثبت: 411

مقاله پایگاه داده چند رسانه ای

دسته: شبکه های کامپیوتری

حجم فایل: 130 کیلوبایت

تعداد صفحه: 16

فهرست:

مقدمه: 2

مدیریت اطلاعات مالتی‌مدیا در پایگاه داده: 2

موارد مهم دیگر در مورد ذخیره‌‌سازی و بازیابی داده‌های مالتی‌مدیا: 3

: Continuous-Media Data.

ماهیت داده‌های مالتی‌مدیا: 7

مدل کردن داده‌های مالتی‌مدیا: 7

فرمت داده‌های مالتی‌مدیا: 9

پردازش Queryها: 10

پایگاه داده‌های تجاری که داده‌های مالتی مدیا را پشتیبانی می‌کنند: 13

منابع: 14

مقدمه:

به مجوعه متن، گرافیک و صدا برای نمایش اطلاعات.

در پایگاه داده‌های امروزی غالبا تنها از متن برای نگه‌داری اطلاعات استفاده می‌شود اما از حدود سال 1985 بحث پایگاه داده‌های مالتی‌مدیا مورد توجه قرار گرفت. اهمیت این نوع داده‌ها بسیار زیاد است. بنابراین تحقیقات بسیاری نیز در این زمینه صورت گرفته است که هدف از آنها ایجاد یک چهارچوب کلی برای درخواست، جمع آوری و ذخیره داده‌هایی مانند صوت و تصویر و عکس بوده است. ذخیره این نوع داده‌ها امکانات خاص خود را می‌طلبد. هر کدام از این نوع داده‌ها به چندین زیرمجموعه تقسیم می‌شوند و فرمت‌های مختلفی برای ذخیره و نمایش آنها وجود دارد به عنوان مثال عکسها را می‌توان با فرمت BMPیا GIF ذخیره کرد که هر کدام ویژگیهای خاص خود را دارند. مبحث پایگاه داده‌های مالتی‌مدیا یکی از مشکل‌ترین و پیچیده‌ترین مباحث در زمینه پایگاه داده‌ها است. مفاهیمی که در زمینه مباحث پایگاه داده‌های مالتی‌مدیا با آنها برخورد می‌شود را می‌توان به صورت زیر طبقه‌بندی کرد:

• معنا و مفهوم Query در این نوع پایگاه داده چیست؟
• چه نوع زبانی برای بیان این Query استفاده می‌شود؟
• نحوه ایجاد کامپایلر براین این نوع زبان.
• نحوه ایجاد فهرست روی این نوع از داده‌ها.
• تکنیکهای فشرده‌سازی داده‌ها.
• چگونگی نمایش نتایج Query.

اگرچه برای برخی از این موارد راه‌حل های مناسبی ابداع شده است اما برای برخی هنوز نتایج مفیدی بدست نیامده و مشکلات هنوز باقی است و باید برای آنها راه‌حل های مناسبی پیدا کرد.

مدیریت اطلاعات مالتی‌مدیا در پایگاه داده:

در ده سال گذشته مبحث پایگاه دادهها بسیار مورد توجه قرار گرفته است و کارهای زیادی در این زمینه انجام شده، روشهای موثری برای مدیریت دادهها ابداع شده است. روشهای جدیدی هم برای مدیریت تایپ‌های داده‌ای مالتی‌مدیا مورد توجه قرار گرفته است. البته از آنجا که سیستمهای امروزی برای نگه‌داری داده‌های متنی طراحی شده‌اند هنگامی که از آنها برای نگه‌داری داده‌های مالتی‌‌مدیا استفاده شود باعث بروز مشکلاتی خواهد شد. این نوع داده‌ها را می‌توان هم در پایگاه داده‌های شیئ‌گرا و هم در پایگاه داده‌های رابطه‌ای مدیریت کرد. وقتی محققین توانستند عکس و ویژگیهای آن را به صورت مجموعه‌ای از تاپلها نمایش دهند و آنها را در پایگاه داده رابطه‌ای ذخیره کنند فکر می‌کردند که تمام تکنیکهایی که برای فهرست‌سازی، بهینه سازی Query، مدیریت بافرها، کنترل همزمانی مسائل امنیتی و ترمیم داده‌ها که برای داده‌های متنی به کار می‌رفت در مورد این نوع داده‌ها هم به خوبی کار خواهد کرد اما پس از مدتی کار و آزمایش بر روی این نوع داده‌ها متوجه شدند که روشهای موجود برای کار با داده‌های متنی در مورد داده‌های مالتی‌مدیا به علت ماهیت متفاوت این نوع داده کارایی خوبی ندارد. کارایی پایگاه داده‌های شیئ‌گرا هم چندان بهتر از ساختار رابطه‌ای معمولی نبود. بنابراین چنین به نظر می‌رسید که برای مدیریت داده‌های مالتی‌مدیا باید روشهای معمولی را تا حدی تغییر داد. امروزه ما می‌دانیم که استانداردهای کنونی باید تغییر کند اما هنوز بر سر نحوه تغییر آنها توافقی صورت نگرفته است.

قیمت: 20,000 تومان

مقاله آموزشی عوامل مستعد کننده اعتیاد

دسته: پزشکی

حجم فایل: 98 کیلوبایت

تعداد صفحه: 25

چکیده:

اعتیاد یک بیماری زیست شناختی، روانشناختی و اجتماعی است عوامل متعددی در اتیولوژی سوء مصرف و اعتیاد موثر هستند که در تعامل با یکدیگر منجر به شروع مصرف و سپس اعتیاد می شوند. عوامل موثر بر فرد، محیط فرد و کلیه علل و عوامل درهم بافته ای هستند که بر یکدیگر تاثیر می گذارند. درک کلیه علل و عوامل زمینه ای موجب می شود تا روند پیشگیری، شناسایی، درمان و پیگیری به طور هدفمند طرح ریزی شود.

بنابراین، آشنایی با عوامل زمینه ساز مستعد کننده در مقابل آن از دو جهت ضرورت دارد:

1- شناسایی افراد در معرض خطر اعتیاد و اقدامهای پیشگیرانه لازم برای آنان؛

2- انتخاب نوع درمان و اقدامهای خدماتی، حمایتی و مشاوره ای لازم برای معتادان.

عوامل مخاطره آمیز

عوامل مخاطره آمیز مصرف مواد شامل عوامل فردی، عوامل بین فردی و محیطی و عوامل اجتماعی است.

قیمت: 5,000 تومان

ایدلوئوژی اخلاقی حمایت کننده جهت کاربردهای مناسب (ترجمه)

چکیده

این مقاله به طبقه بندی تعاریف WLB بر طبق چارچوب ایدئولوژیهای اخلاقی پرداخته است. با درک و فهم چشم اندازی که تعریف WLB در آن شکل گرفته است، استفاده کنندگان عملی از آن و دانشگاهها بهتر می توانند به ارزیابی اهمیت آن برای کاربردهای خاص بپردازند. اگرچه هم اکنون، بسیاری از تعاریف دارای ماهیت مطلق بوده و بیان کننده تعادل مناسبی که می بایستی همه بدنبال آن باشند، هستند؛ نویسنده بیان می دارد که، تعاریفی که نشان دهد چشم اندازها موقعیتی و اقتضایی هستند برای دانشگاهها و افراد عمل گرا با ارزش تر می باشند. تعاریف ناشی از چشم انداز اقتضایی این فرصت را فراهم می نماید که به جستجوی فاکتورهایی برویم که در دستیابی به WLB برای گروهی خاص از افراد کمک کننده باشند. هنگامی که تعریف WLB برای گروهی خاص از افراد در سطح وسیعی مورد موافقت واقع گردد، آنگاه می توان معیارهای WLB و ابتکارات مربوط به آن را با توجه به این تعاریف ایجاد نمود. این موضوع می تواند فراهم کننده خطی برای تعیین محدودیت ها جهت تجزیه و تحلیل تطبیقی برنامه های WLB باشد. لذا در این مقاله، کاربردهای WLB برای مداخلات مدیریتتحول و مدیریت تغییر نیز مورد بررسی قرار گرفته است.

اختلاف نظرات درباره تعاریف WLB

اگرچه ادبیات درباره WLB کامل و انباشته می باشد، اما تعاریف WLB بسیار متنوع می باشد. Sharp به عنوان اولین روانشناسان به این نتیجه رسید که تحقیقش دچار کمبودی از اجماع و توافق در میان کسانی که در تحقیق وی مشارکت کرده بودند، می باشد. با توجه به اینکه کدام یک اخلاقی و کدام یک غیراخلاقی می باشد. به همین صورت در WLB نیز عدم وجود اجماع درباره تعریف کلمه «تعادل» و کاربردهای اخلاقی آن به عنوان یک مشکل مطرح است. هر کدام از تعاریف WLB دارای یک چشم انداز ارزشمند می باشد که تعیین کننده آن است که چه فاکتورهایی در رابطه با دستیابی به تعادل میبایستی مورد توجه واقع شود و می توان این تعاریف را با توجه به ارزش این چشم اندازها و با استفاده از طبقه (Forsyth (1980 از ایدلوئوژی های اخلاقی دسته بندی کرد. درک چشم انداز ارزشمند برای استفاده و کاربرد مناسب تعاریف WLB امری حیاتی می باشد.

تقریباً هر مقاله، تعریفی متفاوت از اینکه WLB در واقع چه می باشد، دارد. (Kirchmeyer (2000 به عنوان یک مؤلف و نویسنده فعال در زمینه WLB، این ادعا را تأیید کرده است که «کسانی که در مورد تعادل کاری می نویسند به طور دائمی و کلی تعریف خود را از این عبارت مشخص نکرده اند و به ندرت به دنبال معانی آن بوده اند. با این حال (Lewis، RaPQP و Gambel (2003 بیان کرده اند که عبارت، تعادل زندگی کاری، همچنان سؤال برانگیز است؛ چرا که این عبارت به طور کلی نقش های فعالیت غیرکاری را در برمی گیرد. Greenhous، Collin و Shaw در سال 2003 نیز بیان کرده اند که «تعاریف از تعادل در کل ناپایدار بوده و با هم سازگاری ندارند و در نتیجه اندازه گیری آن را نیز مشکل ساخته اند». با این حال (Woy danoff (2005 اشاره می کند که استفاده غیرهمسان از مفهوم تعادل در تحقیقات قبلی باعث ایجاد سردرگمی در ادبیات شده است.

مطالعه شانزدهم کمیسیون بین المللی آموزش ریاضی

مقدمه

کمیسیون بین المللی آموزش ریاضیات (ICMI) هر ازگاهی مطالعاتی را پیرامون موضوعات مورد علاقه در آموزش ریاضی انجام می دهد. این مقاله سند مذاکرات مطالعه شماره ۱۶ این کمیسیون با عنوان چالش ریاضیات در داخل و بیرون کلاس است.

ریاضی علمی سرگرم کننده، مفید و خلاقانه است. برای اینکه ریاضیات در دسترس افراد بیشتری قرار بگیرد، چه باید کرد؟

در همین راستا کمیته بین المللی آموزش ریاضی دست به مطالعاتی در زمینه ایجاد چالش با ریاضیات در داخل و بیرون کلاس درس زده است و تصمیم به برگزاری یک کنفرانس در تورند هایم نروژاز ۲۷ ژوئن تا ۳ ژولای ۲۰۰۶ دارد، که در این کنفرانس گروهی از ریاضی دانان و معلمان ریاضی از اقصی نقاط جهان دعوت به عمل خواهد آمد تا به تجزیه و تحلیل این موضوع بپردازند و در آخر گزارشی تهیه خواهند شد.

خصوصیات حرارتی و مکانیکی pvc انعطاف پذیر

• عنوان لاتین مقاله: Mechanical and Thermal Properties of the Plasticized PVC-ESBO
• عنوان فارسی مقاله: خصوصیات حرارتی و مکانیکی پی وی سی انعطاف پذیر
• دسته: محیط زیست - شیمی
• فرمت فایل ترجمه شده: WORD (قابل ویرایش)
• تعداد صفحات فایل ترجمه شده: 9
• لینک دریافت رایگان نسخه انگلیسی مقاله: دانلود
• ترجمه سلیس و روان مقاله آماده خرید است.

خلاصه

خصوصیات حرارتی و مکانیکی PVC منعطف با روغن دانه سویا اپوکسیده شده (PVC-ESBO) مورد بررسی قرار می گیرد. فعل و انفعال دافعی برای توضیح تاثیر اپوکسیده شدن ضریب PVC به همراه ESBO و نرم کننده ها مورد استفاده قرار می گیرد. دمای تبدیل شیشه ای PVC به عنوان تابع خطی اپوکسیده سازی نرم کننده ESBO می باشد. انرژی های فعال سازی PVC/ESBO تحت تاثیر واکنش غیر هیدروکلردار کردن و تکامل HCI می باشد. اضافه کردن ESBO باعث بهبود رفتار گرمایی PVC می گردد. انرژی های فعال سازی بالاتر تثبیت کننده های Ca-Zn، Ba-Zn مسئول تثبیت PVC-ESBO می باشند. سطح اپوکسیده کردن ESBO همچنین باعث بهبود خصوصیات مکانیکی و تثبیت حرارتی PVC می گردد.

تثبیت حرارتی پایین پلی وینیل کلراید (PVC) باعث محدود کردن کاربرد این پلیمر در صنعت می گردد. تلاش های زیادی برای بهبود تثبیت حرارتی و خصوصیات مکانیکی این پلیمر در سال های اخیر انجام گرفته است. پلی وینیل کلراید به تجزیه و از دست رفتن HCI حتی در دمای فراوری پایین تر منجر می گردد. فرض بر این است که هیدروژن فعال ظاهرا در PVC جایگزین می گردد. این امکان وجود دارد تا مانع حذف HCI توسط نمک اورگامتالیک و تثبیت PVC شده یا باعث توقف تاثیر کاتالیز HCI در این واکنش توسط اپوکسیده کردن شویم.

ص 2

ما اخیرا گزارشی را در مورد اپوکسیده کردن روغن دانه سویا بر روی عمل مکانیکی انعطاف پذیری PVC با استفاده از DOP داده ایم. ضریب ذخیره سازی (E) و از PVC- ESBO انعطاف پذیر برای نشان دادن میزان همگنی و تثبیت PVC مورد استفاده قرار می گیرد. چون میزان اپوکسیده سازی باعث بهبود دمای تبدیل شیشه شده و انتقال فاز دوم PVC به عنوان یک فرایند ترمودینامیک می باشد، ما به بررسی تاثیر حرارتی سطوح مختلف اپوکسیده سازی ESBO-PVC می پردازیم. در این مقاله ما به گزارش تثبیت PVC با تثبیت کننده کلسیم، باریوم، و روی پرداخته و نشان می دهیم که چگونه این نمک و سطح اپوکسیده سازی SBO زمان تجزیه و حرارت PVC-ESBO را تحت تاثیر قرار می دهد.

• فرمت: zip
• حجم: 0.67 مگابایت
• شماره ثبت: 411

مدل آماری ضریب تکثیر میازاوا در گروه های درآمدی خانوارهای مجزا

• عنوان لاتین مقاله: Miyazava Multiplier Model in disaggregated Household income Group
• عنوان فارسی مقاله: مدل آماری ضریب تکثیر میازاوا در گروه های درآمدی خانوارهای مجزا.
• دسته: آمار
• فرمت فایل ترجمه شده: WORD (قابل ویرایش)
• تعداد صفحات فایل ترجمه شده: 26
• جهت دانلود رایگان نسخه انگلیسی این مقاله اینجا کلیک نمایید
• ترجمه سلیس و روان مقاله آماده خرید است.

خلاصه

اهمیت کار میازاوا (1976) در درون یابی مدل ورودی- خروجی خانوارها، ماتریس های چندگانه متعددی را ایجاد می کند. بررسی کاملی از تعاملات اقتصادی- جمعیتی خاص در ساختار میازاوا و کاربرد آن، در چندین مقاله در آثار هوینگ و همکارانش (1999) یافت می شود. در این بخش، ما بعضی از علائم مورد استفاده در بخش های دیگر این مقاله را کنار می گذاریم، تا با کاربرد آن توسط مدل میازاوا آشنا شویم، از این رو تقریبا تمام مباحث بعدی و کاربرد چارچوب میازاوا همچنان از این علائم استفاده می کند. مشخصا، معنای آن این می باشد که به تعریف فرمول (تصویر فرمول) می پردازیم (به جای L، چون میازاوا از L برای اهداف دیگری استفاده می کند که در زیر مشاهده می کنیم).

• فرمت: zip
• حجم: 4.06 مگابایت
• شماره ثبت: 411