payamvha/North_RAG huggingface dataset:
آقای احمد مستوفی مازندران و دارالطباعه و بیوتات سلطنتی. فرزندان محمدتقی نوری. او دارای ۱۰ فرزند بود. فرزندان نوری به ترتیب عبارت اند از: آثار و تألیفات بدون در نظر گرفتن تعزیه نویسی. از محمدتقی نوری مازندرانی، که بی‌گمان همان محمدتقی بن علی‌محمد نوری (۱۲۰۱–۱۲۶۳ ق) پدر میرزا حسین نوری می‌باشد. ۳ رساله است، به یک شیوه و در پیوند به یکدیگر، هریک با سرآغاز و پایانهٔ جداگانه. در آغاز سومین، نام نگارنده «محمدتقی نوری مازندرانی»، و در پایانهٔ دومین، نام رساله «زبدة المسایل» آمده است. در ذریعه به ۲۵ نگاشتهٔ
«زبدة المسایل» آمده است. در ذریعه به ۲۵ نگاشتهٔ محمدتقی نوری پیشگفته برخوردم که جز رسالهٔ «صومیه» (ش ۳)، دو رسالهٔ دیگر در میان آنها نیست. از این عالم تالیفات ارزشمندی به یادگار مانده که اهم آن عبارتند از: تدریس و شاگردان. مرحوم نوری در فقه و اصول، ادبیات عرب و فنون نظم و نشر مهارت داشت. خطی نیکو داشت. شخصیتی دانا، خوش‌اخلاق، متواضع و خوش‌برخورد بود. مردم را به سوی علم و دانش داعی و خلق خدا را به سوی حق و حقیقت هادی بود. همت و پشتکار او در حوایج مردم افزون بود. متجاوز از سی نفر از اهالی محل خویش را به درجه
متجاوز از سی نفر از اهالی محل خویش را به درجه علم و کمال ارتقاء داد (در بین آنها شیخ عبدالنبی نوری استاد محمدتقی آملی و شیخ عباس کجوری نوری پیش‌نماز صاحب کتاب الاخلاق پدر شیخ فضل‌الله نوری) و عده‌ای از بی سوادان به همت او باسواد شدند. نگارش (تعزیه نویسی، تعزیه خوانی، نسخ و شعر مذهبی). «ضمناً تعزیه خوانان و ذاکرین و شاعران مذهبی نظیر علامه میرزا محمد تقی نوری اهل یالرود به تهران تردد داشتند و در مراکز علمی و مدارس حوزوی به تحصیل می‌پرداختند و حتی در بلده، یالرود، پیل، آنگه رود (انگرود) و … حوزه علمیه در ۶
پیل، آنگه رود (انگرود) و … حوزه علمیه در ۶ ماه از سال دائر بوده و این منطقه و شعرای این منطقه با اشعار نابی که می‌سرودند نقش به سزایی در برپایی مجالس تعزیه و همچنین سرودن اشعار فراوان برای مجالس چندگانه تعزیه داشتند و به نوعی می‌توان این منطقه را یکی از خاستگاه‌های تعزیه در ایران دانست ولی متأسفانه کمتر مورد اقبال اهالی تعزیه در ایران بوده‌اند.» صادق همایونی در کتاب تعزیه خود به نسخ محمد تقی نوری نیز اشاره نموده است و حتی هاشم فیاض در مصاحبه‌ای که داشته از این تعزیه نویس نام برده است. نمونه مقتل نگاری
از این تعزیه نویس نام برده است. نمونه مقتل نگاری (ماتمکده، متنی ادبی از دوره قاجار). کتاب ماتمکده اثری از میرزا محمدتقی نوری مازندرانی با نثر آهنگین و اشعار زیادی که دارد، اثری فاخر و هنری محسوب شده و در سیر ادبیات عاشورائی، قدمی رو به جلو است. پس از رایج شدن کتاب روضه الشهدا به علت نثر ادبی برجسته آن، تا مدت‌ها در محافل سوگواری بر اهل بیت، این کتاب مورد استفاده بود. این کتاب یک مقتل و به عبارتی مصائب المعصومین با نثری شیوا و ادبی از نیمه قرن سیزدهم محسوب می‌شود. ماتمکده تاکنون چاپ نشده بود و اکنون بر اساس
ماتمکده تاکنون چاپ نشده بود و اکنون بر اساس سه نسخه خطی تصحیح شده و با مقدمه‌ای مفصل منتشر شده است. آنچه مربوط به کتاب حاضر می‌شود و باید به آن اشاره کرد، گره خوردن نثر ادبی و مقتل‌نگاری از دوره صفویه به بعد است. با توجه به ادوار نثر پارسی و وضعیت نثر در این دوره، متن مستقل و برجسته‌ای سراغ نداریم، نه از منشیان و ادیبان وابسته به حکومت‌ها و نه از عالمان و اندیشمندان دینی. با ظهور سبک بازگشت ادبی در اواخر دوره زندیه و اوائل قاجار، نوشتن در گونه‌ها و انواع مختلف ادبی رایج شد و کم‌کم ادیبان و نویسندگان این
مختلف ادبی رایج شد و کم‌کم ادیبان و نویسندگان این دوره، سعی کردند اسطوره‌های نثر نویسی گذشته را الگو قرار دهند و بر منهج آنها، متونی پدیدآورند؛ این متون از منشأ دیوانی شروع شد و کم‌کم به متون مذهبی کشیده شد که اوج آن را در نثر بدایع نگار تهرانی می‌توان دید. ماتمکده توسط علیرضا اباذری و محسن شریفی دانا تصحیح شده و انتشارات سماء قلم در قم آن را چاپ و منتشر کرده است. "ماتمکده اثری مفصل با نثری ادبی و مسجع از یک عالم دینی و به عبارتی یک مرجع تقلید محلی در قرن سیزدهم است. البته باید متذکر شد که ماتمکده، مانند
سیزدهم است. البته باید متذکر شد که ماتمکده، مانند هر متن ادبی دیگر، دارای پستی و بلندی و فراز و نشیب است. گاهی سطح نثر پایین می‌آید، در برخی موارد نثر امتیاز خاصی ندارد، گاهی استفاده از آرایه‌های ادبی و سعی در آهنگین کردن کلمات و جملات، برای نویسنده ایجاد مشکل کرده است. همچنین استفاده زیاد از سجع و دیگر آرایه‌های ادبی گاهی باعث شده آرایش متن به سمت بزک برود؛ ولی تهیه گزیدهای از آن، می‌تواندنمونهایدرخشانازنثرعهدقاجارراارائهکند. ضمنآنکهقّوتوتوانیکعالمدینیبزرگ را در خلق چنین اثری بیان می‌کند. " 'تشويق
را در خلق چنین اثری بیان می‌کند. " 'تشويق العارفين' محمد كافي در كتاب تصحيح انتقادي تشويق العارفين چنين نقل ميكند : اين اثر منظومه اي است در 1024 بيت، در مواعظ و پند و اندرز . عناوين اين كتاب عبارتند از : نعت پيامبر اكرم (ص) ، مدح امام علي (ع) در ابتهال و مناجات با قاضي الحاجات ،‌در ذم نفس اماره ،‌در ذم علوم رسميه و بيان فساد علملء سوء، در مدحت علم ،‌در بيان آنانكه اظهار علم نمايند و در حقيقت عالم نيستند ،‌در تشويق به عالم نور و تذكير دارالسرور ، در نصيحت و پند به فرزند ، ‌در شكايت ابناي زمان و اتباع شيطان
پند به فرزند ، ‌در شكايت ابناي زمان و اتباع شيطان ، در مدح و‌ مخمس و تمثيل و ... . مخمس از كتاب تشويق العارفين "'بگذرد از هر دو عالم هر كه با ما كار دارد" "'بگذرد از خود پرستي هر كه عشق يار دارد" "'رنج گنج نيش نوش درد هجران يار دارد" "'هر كه عاشق شد چه باك از طعنه اغيار دارد" تعزیه «مهلت خواستن امام حسین» محمد تقی نوری. از جمله شاعرانی که در زمینه تعزیه نویسی تلاشی ارزشمند داشته‌اند، می‌توان از … محمدتقی نوری و سید مصطفی کاشانی معروف به میرعزا را می‌توان نام برد که خود تعزیه گردانی به نام بوده و مجلس تعزیه
برد که خود تعزیه گردانی به نام بوده و مجلس تعزیه حربن ریاحی منسوب به اوست. در دوره فتحعلی شاه میرزا محمد تقی نوری از محتهدین وقت تعزیه‌های متعددی سرود که از آن جمله تعزیهٔ مهلت خواستن امام حسین است و خود از نخستین تعزیه نامه‌ها به شمار می‌رود. در آغاز سلطنت ناصرالدین شاه دویست تا سیصد محل جداگانه برای برگزاری تعزیه، اعم از تکیه، حسینیه و میدان وجود داشته و هر کدام حدود دویست تا سیصد نفر را در خود جای می‌داده‌اند و این گویای رواج کامل تعزیه به شکل حقیقی امروز و دوران اوج آن است.» میرزا محمدتقی، از رجال
امروز و دوران اوج آن است.» میرزا محمدتقی، از رجال مذهبی عهد سلطنت فتحعلی‌شاه قاجار تعزیه نامه‌های بسیاری به رشته تحریر کشید. آقای مایل بکتاش، مجلسِ مهلت خواستن جناب امام حسین را از مجموعه دست نوشته‌های وی که تاریخ ۱۲۶۱ ه‍.ق دارد، ملاحظه کرده و بخش‌هایی از آن را در یکی از مقالات خود آورده است. به عنوان نمونه یخشیهاای از نسخه ای که تاریخ کتابت آن ۱۲۶۱ هجری است نقل می‌کنیم: ثنا می‌نمایم خدا را کزاو - سراسر جهان یافته رنگ و بو خدائی که روز و شب آرد پدید - خدائی که نیکو و زشت آفرید خدائی که افراشت این بیستون -
که نیکو و زشت آفرید خدائی که افراشت این بیستون - جهان را ز قندیل آن رهنمون ببسته بر او زرفشان تار را - بسوده بر آن سطح زنگار را بر این نطع فیروزه گوهر نشاند - ز اشراق آن دیده خیره بماند در ین مجمره ریخته بس عبیر - بسوزاندش از نار مهر منیر بمیراند و زنده سازد دگر - کند خاکسار و نوازد دگر ز فرتوت گیتی همه سالیان - هویدا از او کودکان بیکران همه نغز گفتار و شیرین زبان - همه نیک کردار زیبا بیان به رشته درآرد پس آن گوهران - فروشد به آن آنچه اندر نهان جهان با فراخی نمودش نهان - نه با رنج در حلقهٔ دیدگان یکی ذرٌه
نمودش نهان - نه با رنج در حلقهٔ دیدگان یکی ذرٌه صد رنگ از شان او - به یکدم زهی نغز فرمان او سه از چهار از هفت سازد عیان - دمادم به یک شان خدای جهان پی لذٌت دیده خاکیان - چه فیروزه گون ساخته آسمان چه بار گرانی میان هوا - نگه داشت از تار حرفی خدا جهان را یکی پرده‌ای ساخته - به رخ‌ها که نیکوش پرداخته خدائی که نیران و نور آفرید - پدیدار کرده شقی و سعید کرامت نمودی به ما دین خویش - هدایت نمودی به آئین خویش به ما آنچه دانی عطا کرده‌ای - از ارباب رشد هدا کرده‌ای به سرٌا و ضرٌا ستایش تراست - به پیدا و پنهان سزا
به سرٌا و ضرٌا ستایش تراست - به پیدا و پنهان سزا این مراست نمونه‌های نسخ خطی ۳۲ تعزیه محمدتقی نوری. در مجموع نمونه‌هایی از ۳۲ تعزیه نوشته شده توسط مبرزا محمدتقی نوری مازندرانی در کتابخانه و موزه ملی ملک و آستان قدس رضوی موجود است. نمونه نثر. در ادبیات منشیان و ادیبان درباری (دوره قاجار)، گاهی لغات رایج در دربار مانند لغات ترکی به کار می‌رود، اما در ماتمکده نشانی از این لغات نیست و بسامد لغات عربی بیشتر است. استفاده از آرایه‌های ادبی و صنایع مختلف معانی و بیان در این متن به وفور است. تشبیه، استعاره و کنایه
در این متن به وفور است. تشبیه، استعاره و کنایه از ارکان تصویر سازی و توصیفات است. توصیفاتی مانند: نمونه شعر. ز تأثیر آتشین داستان که - سوزد جهان از کران تا کران ز رفتار مانده کنون خامه‌ام - شده طی همه صفحه نامهام به ما نسبت غّی و هذیان دهند - اکاذیب، بهتان وطغیان دهند پی جیفه زخرف دار زور - بریدند پیوند غلمان و حور ببارد همیشه به ما کینشان - دل ما به درد آورد دینشان سراپا بسوزیم زین تند برق - درین بحر پرشور گردیم غرق ازین زهر سوزد زما ناف و حلق - به بی حد بهما تار این کهنه دلق به آزار این قبطیان پلید -
بهما تار این کهنه دلق به آزار این قبطیان پلید - هرآنکس که از ما نکو و سعید نویسنده قدیمی‌ترین نسخه‌ شبیه‌نامه. قدیمی‌ترین نسخه‌ شبیه‌نامه مربوط به میانه دوم حکومت فتحعلی‌شاه قاجار است. قدیمی‌ترین نسخه‌ای که در مورد شهادت امام پیدا شده، به نویسندگی «میرزامحمد تقی نوری مازندرانی» است که بسیار انسان اندیشمند و خردمندی بوده و کتاب‌های متفاوتی هم نوشته. جالب است که این عالم بزرگ دوره فتحعلی‌شاه دست به سرودن شبیه‌نامه زده. اینکه در آن دوره میرزامحمد تقی نوری مازندرانی دست به سرودن شبیه‌نامه بزند و تعدادی نسخه
دست به سرودن شبیه‌نامه بزند و تعدادی نسخه جذاب در دوره خودش بنویسد، خیلی عجیب است. جالب‌تر اینکه عین همان نسخه‌هایی را که در شبیه‌خوانی سروده، پیش‌تر به شکل نثر برای مرثیه‌خوانی در کتاب معروفی به نام «ماتم‌کده» نوشته بود. در واقع ما دو جور روایت نثر و نظم داریم از مجالسی که ایشان به آن پرداخته و این می‌تواند سند جذابی برای پژوهشگران باشد. نمونه مدح. علی نهر کوثر علی سلسبیل علی بی مثال و علی بی عدیل علی طوبی و سدرة النتهی علی صاحب تاج و تخت و لوا علی آیت الله و سر خدا علی شمس بیضا و بدر دجی علی روح اقدس علی
و سر خدا علی شمس بیضا و بدر دجی علی روح اقدس علی فیض حق علی روز تابان و روشن فلق مطالبی با قابلیت تحقیق و بررسی و دقیق شدن. میرزا محمدتقی نوری مازندرانی در بیست و هفتم شوال سال ۱۳۲۹ هجری در محله سعادت آباد اصفهان وفات کرده (و نه محله سعادت آباد نور مازندران) و در قبرستان تخت فولاد اصفهان، آرامگاه بابا رکن‌الدین بخاک سپرده شده. سنگ مزار اصلی وی از بین رفته (???) و چند سالی به همت مجموعه فرهنگی مذهبی تخت فولاد اصفهان سنگ مزاری جدید بر قبر ایشان گذاشته شده است. جلال‌الدین همایی پاقلعه ای اصفهانی نوه رضا قلی
جلال‌الدین همایی پاقلعه ای اصفهانی نوه رضا قلی خان همای شیرازی فرزند ملا بدیع خان بن ملاشاهشهان از ایل بیات فارس (که به اهتمام دکتر مهدی محقق مشهدی خراسانی و دکتر محمد خوانساری اصفهانی و دکتر محمدحسین ریاحی زندگی‌نامه او در کتاب و مقاله به تحریر درآمده) در تاریخ هفت جلدی بزرگ اصفهان - شامل تاریخ و جغرافیا و رجال و ابنیه و عمارات و مقابر و زبان و عادات و رسوم اصفهان از قدیمی‌ترین ایام تاریخی تا عهد حاضر - بسیار در مورد میرزا محمدتقی نوری مازندرانی می‌نویسد، از جمله: میرزا محمدتقی نوری مازندرانی اصفهانی از
از جمله: میرزا محمدتقی نوری مازندرانی اصفهانی از بزرگ‌ترین تعبیرکنندگان خواب دوران قاجار در اصفهان بود. او از خاندان نوری و فرزند محمدعلی نوری مازندرانی است. این عالم ربانی یکی از اعجوبه‌ها و نوادر تعبیر خواب در تاریخ ایران به شمار می‌رود و حقاً باید او را از اقران و همتایان ابن سیرین به شمار آورد. جلال‌الدین همایی از مراجعه میرزا عبدالحسین سیدالعراقین، سید ابوالقاسم دهکردی و ناصرالدین شاه قاجار برای تعبیر خواب به او اشاره می‌کند. میرزا محمدتقی نوری و علی بن قطب الدین بهبهانی توسط سید محمدباقر شفتی طارمی
بن قطب الدین بهبهانی توسط سید محمدباقر شفتی طارمی زنجانی (اصفهانی)، ملقب به حجه الاسلام، تفسیق (اصرار بر گناهان یا ترک مروت توسط شخص) شدند. میرزا محمدتقی نوری از شاگردان حاج محمدابراهیم کرباسی (حاج ابراهیم بن محمدحسن خراسانی کاخی، ۱۱۸۰ ق. اصفهان) بود و حدت ادارکی داشت؛ و تقویت از اقوال ضعاف می‌نمود؛ مانند این که در مضاف، قایل است به این که نجاست، از اسفل به اعلا سرایت می‌کند (بیماری از مریض به سالم منتقل می‌شود) و حال این که، این قول خلاف مشهور است. وجود القاب (و امضای) دیگر امثال شریعتمدار، حجت الاسلام،
(و امضای) دیگر امثال شریعتمدار، حجت الاسلام، فقیه الانام و ملجأالانام برای میرزا محمدتقی نوری مازندرانی مطلبی قابل تحقیق است. اشتباهاتی در شرحال نویسی میرزا محمدتقی نوری مازندرانی. میرزا محمدتقی نوری مازندرانی با اشخاص هم نام نوشته شده در زیر به اشتباه یکی گرفته می‌شود: محمدتقی نوری مؤلف سفرنامه مازندران. ملا محمدتقی نوری (... – پس از ۱۲۷۳ ق) مؤلف کتاب‌های الرساله الشهابیه و فی علاج الوبا؛ میرزا محمدتقی مجتهد (- پیش از ۱۲۹۴ ق) , از علمای مازندران و استرآباد (گرگان). در قرن سیزدهم هجری. از زندگی او اطلاع
(گرگان). در قرن سیزدهم هجری. از زندگی او اطلاع دقیقی در دست نیست. زیرا چند عالم مازندرانی و استرآبادی به همین نام در قرن سیزدهم می‌زیسته‌اند. به نوشته روزنامه وقایع اتفاقیه، و ناسخ التواریخ در جمادی الثانی ۱۲۷۳ ق وی به همراه چند تن دیگر از علمای برجسته مازندرانی و استرآباد (گرگان)، از جمله حاج ملا عبدالله مجتهد، حاج ملا محمد اشرفی، حاج میرزا حسین مجتهد و شیخ نصرالله قاضی پس از اشغال بندر بوشهر توسط انگلیسی‌ها، فتوای جهاد صادر کردند و در نامه‌ای به ناصرالدین شاه یا صدراعظم، آمادگی خود و داوطلبان مازندران و
شاه یا صدراعظم، آمادگی خود و داوطلبان مازندران و استرآباد را در نبرد با نیروهای انلیسی اعلام داشتند. میرزا محمدتقی ساروی مازندرانی. میرزا محمدتقی ساروی (مازندران) که از علمای مشهور ساری بود و به نوشته آقابزرگ تهرانی وفات او ظاهراً در ۱۳۰۶ ق بوده است. میرزا محمدتقی نوری خراسانی. میرزا محمدتقی نوری (محمدتقی بن محمدمهدی نوری) منشی و بعدها وزیر محمد ولی میرزا، والی خراسان در دهه‌های نخست فرمان‌روایی فتحعلی شاه قاجار بوده است. او از روزگاری که محمد ولی میرزا فرزند فتح علی شاه حاکم سمنان بود، در دستگاه اداری او
فتح علی شاه حاکم سمنان بود، در دستگاه اداری او خدمت می‌کرد. هنگامی که فتحعلی شاه قاجار در ۱۲۱۸ هجری قمری (۱۸۰۳ م)، محمد ولی میرزا را که حاکم سمنان بود به ولایت خراسان گمارد، نوری همراه وی در قالب منشی‌گری به آن جا رفت و کتاب خویش را نیز دربارهٔ روی دادهای همین سال‌ها در آن جا نوشت و در آن از فرمان‌روایی افشاریان در خراسان و کشاکش‌های پایانی قاجاران با آخرین بازمانده‌های افشاریان (نادرمیرزا) گزارش داد. او در سال‌های ۱۲۱۴ تا ۱۲۲۸ هجری (/ ۱۷۹۹–۱۸۱۳ م)، در خدمت محمد ولی میرزا بود و بر پایه بسیاری از دیده‌ها و
محمد ولی میرزا بود و بر پایه بسیاری از دیده‌ها و شنیده‌هایش، روی دادهای این سال‌ها را در اثر خود گنجاند. کتاب نوری اشرف التواریخ منبعی کم مانند است؛ زیرا او خود در این سال‌ها در اردوی محمد ولی میرزا هنگام محاصره مشهد در آن جا بود و ستیزه‌های قاجاران را با افشاریان می‌دید. نوری پس از شکست خوردن نادر میرزا از شاه قاجار، به بازجویی از وی فرمان یافت. محمد تقی طبیب نوری مازندرانی (کرمانشاهی). محمد تقی طبیب نوری مازندرانی (کرمانشاهی) ابن محمد نبی نویسنده "مصححات افلاطون - عصر قاجاریه" و "دررالانوار فی
"مصححات افلاطون - عصر قاجاریه" و "دررالانوار فی الاسرارالحجار" و "صنعةالطبیعة و سرائرالخلیفة -عصر قاجاریه" دارالسلطنه کرمانشاهان در ۱۲۹۳ق رساله از حکیم بلیناس در طبیعیات.
در زمینه سیستم‌های نرم‌افزاری و سخت افزاری درستی‌یابی صوری عبارتست از عمل ثابت کردن صحت یا عدم صحت الگوریتم‌های زیربنایی یک سیستم برحسب مشخصات صوری خاص با استفاده از روش‌های صوری ریاضیاتی. درستی‌یابی صوری می‌تواند در اثبات درستی سیستم‌هایی مثل پروتکل‌های رمزنگاری، مدارهای ترکیبی، مدارهای دیجیتالی با حافظه داخلی و .. راهگشا باشد. درستی‌یابی این سیستم‌ها از طریق اثبات یک نمایش صوری از یک مدل ریاضی انتزاعی سیستم صورت میگیرد. از جمله مؤلفه‌های ریاضی که اغلب در مدلسازی سیستم‌ها مورد استفاده قرار می‌گیرند می‌توان
سیستم‌ها مورد استفاده قرار می‌گیرند می‌توان به موارد زیر اشاره کرد: ماشین حالت محدود، شبکه پتری، ماشین خودکار زمانی، ماشین خودکار ترکیبی و جبر پردازه. راهکارهای درستی‌یابی صوری. یکی از روش‌ها و ساختارهای درستی‌یابی چک کردن مدل است. این روش شامل یک اکتشاف جامع سیستماتیک مدل ریاضی است. البته این روش برای مدل‌های محدود و بعضی مدل‌های غیرمحدودی که مجموعه‌های نامحدود حالت‌های آن قابل نمایش به‌طور محدود (با استفاده از انتزاع یا استفاده از مزیت‌های تقارن) است قابل استفاده می‌باشد. به‌طور معمول این راهکار از طریق
استفاده می‌باشد. به‌طور معمول این راهکار از طریق کاوش کردن تمامی حالت‌ها و انتقالات بین آن‌ها از طریق تکنیک‌های هوشمند و خاص-دامنه با هدف در نظر گرفتن تمامی گروه‌های حالت‌ها در یک عملیات و کاهش مرتبه زمانی محاسباتی آن از این طریق می‌باشد. درستی‌یابی صوری نرم‌افزار. درستی‌یابی صوری برای برنامه‌های نرم‌افزاری از طریق ثابت کردن آنکه برنامه، خصوصیات صوری رفتارش را ارضاء کند انجام می پذیرد. بخش‌های درستی‌یابی صوری عبارتند از درستی‌یابی استنتاجی، تفسیر انتزاعی، اثبات خودکار قضیه، سیستم‌های نوع. درستی یابی صوری
اثبات خودکار قضیه، سیستم‌های نوع. درستی یابی صوری زیر شاخه‌ای از تست نرم افزار است و به بررسی رابط کاربری نرم افزار از دید صوری برای کاربر نهایی می‌پردازد، در این نوع تست به بررسی رویکردهایی برای بهترین نوع ساختار صوری برنامه‌های نرم افزاری پرداخته می‌شود و با توجه به معیارهای بررسی شده درستی یابی صوری بررسی می‌شود. درستی‌یابی و اعتبارسنجی. درستی‌یابی یکی از جنبه‌های آزمودن میزان تناسب محصول برای هدف مدنظر است. درحالی که اعتبارسنجی این محصول را از جنبه کامل بودن بررسی می‌کند. به‌طور معمول کلیت فرایند
کامل بودن بررسی می‌کند. به‌طور معمول کلیت فرایند آزمودن تحت عنوان V &amp; V شناخته می‌شود. اعتبارسنجی: آیا نیاز را به‌طور درست متوجه شدیم و کالای درست را می سازیم؟ به‌طور مثال: آیا این کالا نیازهای حقیقی کاربر را برآورده می‌کند؟ درستی‌یابی: آیا همان داریم چیزی را میسازیم که مدنظرمان بود؟ به‌طور مثال آیا کالای ساخته شده با مشخصات پیش گفته شده اش تطابق دارد؟ فرایند درستی‌یابی متشکل از دو بخش ساختاری/ایستا و رفتاری/پویا می‌باشد. به‌طور خاص در مورد محصول نرم‌افزاری، یکی از این جنبه‌ها به بررسی کد پرداخته و
یکی از این جنبه‌ها به بررسی کد پرداخته و دیگری کد اجرایی را برای نمونه‌های ورودی اجرا و سنجش می‌کند. اما اعتبارسنجی تنها به صورت پویا صورت می پذیرد. به‌طور مثال از طریق آزمودن محصول برای کاربران معمول و غیرمعمول و میزان رضایت آنها.
پرنده خورشیدی بی سرنشین ایر استراتو یک هواپیمای خورشیدی با سایز متوسط می‌باشد که توسط شرکت ARCA در کشوررومانی طراحی گردیده است و هم‌اکنون در حال توسعه و آزمایش می‌باشد. این ربات پرنده به گفته سایت شرکت سازنده، می‌تواند دو برابر یک هواپیمای تجاری در همان سطح پرواز بکند و این عامل اصلی معروفیت وموفقیت این پرنده بی سرنشین می‌باشد. هدف اصلی از ساخت این سازهٔ پرنده، پر کردن خلأ موجود بین هواپیماهای بی سرنشین نظامی که طبیعتاغیر قابل دسترسی و بسیار گران می‌باشند و هواپیماهای ارزان‌تر تجاری با قابلیت‌های کمتر
و هواپیماهای ارزان‌تر تجاری با قابلیت‌های کمتر می‌باشد که می‌توان نتیجه کا ر را ترکیبی از قیمت مناسب محصول نهایی و کیفیت بالای یک هواپیمای گران‌قیمت در نظر گرفت. این طراحی شگفت‌انگیز، قابل دسترسی و کنترل از تقریباً تمامی نقاط زمین می‌باشد و می‌توان به راحتی آن را از طریق ماهواره یا ارتباط اینترنت از طریق بستر شبکه موبایل (GSM) کنترل نمود. همچنین این توانایی را دارد که تقریباً بر روی تمامی سطوح فرود بیاید یا از آن‌ها به هوا بلند بشود، اما چیزی که بیشتر از همه بیننده را جذب خود می‌کند، طراحی بسیار زیبا و
همه بیننده را جذب خود می‌کند، طراحی بسیار زیبا و جذاب نمای خارجی آن می‌باشد. در حال حاضر دو گونهٔ مختلف این هواپیما قابل عرضه می‌باشد: air strato explorer با سقف پرواز ۱۸۰۰۰ متر و air starto pioneer با سقف پرواز ۸۰۰۰ متر (با بهره‌گیری از انرژی خورشیدی و نیروی باتری‌ها به‌طور همزمان) که نمونه دوم اندکی از اولی کوچکتر می‌باشد. هر دو نمونه، هم‌اکنون در حال طی کردن مراحل آزمایش و نهایی شدن می‌باشند. این هواپیما قادر به حمل باری به وزن حداکثر ۴۵ کیلوگرم می‌باشد که شامل ابزارهای نظارتی، ابزارهای علمی و باتری‌های
شامل ابزارهای نظارتی، ابزارهای علمی و باتری‌های اضافه برای افزایش بی‌نیازی به دنیای خارج و افزایش آزادی عمل آن می‌باشد. اولین پرواز آزمایشی این پرنده در تاریخ ۲۸ ام ماه فوریه ۲۰۱۴ صورت پذیرفت. نمونه اولیه از یک مکانیسم درگیر شونده چرخدنده‌ای برای فرود بهره می‌برد و چهار موتور الکتریکی داشت. در نمونه بعدی، تیم مجری تصمیم گرفتند تا از سازه‌ای منجنیق مانند برای به پرواز درآوردن هواپیما بهره ببرند که از سیستم‌های پنوماتیکی تشکیل شده است و برای زمان فرود، از ترمزهای فرود و چتر بازشونده نجات به‌طور هم‌زمان
ترمزهای فرود و چتر بازشونده نجات به‌طور هم‌زمان استفاده بکنند. روند توسعه. در ابتدا، به دنبال یافتن جایگزینی برای بالون‌های stratospheric، که در مأموریت‌هایی مانند برنامه ExoMars استفاده شده بودند، طرح‌های اولین نمونه airstarto ریخته شد و نخستین خروجی آن در تاریخ ۱۰ فوریه ۲۰۱۴ بود. به دنبال گترش نمونه اولیه، در فاز بعدی یک سیستم تعلیق به آن اضافه شد و تعداد موتورها از دو به چهار افزایش یافت. در آزمایش‌های بعدی نمونه اولیه، مشحص شد که چرخدنده مخصوص سیستم تعلیق برای زمان فرود دچار نقص شده است و بازتاب این
برای زمان فرود دچار نقص شده است و بازتاب این موضوع در نشریات و خبرگزاری‌ها باعث شد تا ARCA تصمصم بگیرد به مدت نه ماه بدون پوشش خبری پروژه، به توسعه و بهبود طراحی خود بپردازد. بالاخره در تاریخ ۱۰ نوامبر، یک ویدئو ی کوتاه از این هواپیما در حال پرواز با دو نمونه رنگ زرد و قرمز در رسانه‌ها منتشر گردید. طراحی. بدنه هواپیما تماماً از کامپوزیت ساخته شده است که این امکان را می‌دهد تا آنتن رادیویی هواپیما، کاملاً در درون بدنه قرار بگیرد که این مزیت مهم این ساختار است. در زیر دوبال و در قسمت تحتانی بدنه، دو درگیر
است. در زیر دوبال و در قسمت تحتانی بدنه، دو درگیر شونده برای سرخوردن و سوار شدن بر ریل‌های دو طرف منجنیق پرتاب تعبیه شده است. همچنین درگیر شوندهٔ دیگری در زیر قسمت جلویی بدنه نصب گردیده است که هواپیما را به ریل میانی منجنیق پرتاب مقید می‌سازد. در نهایت دو ترمز نیز در دو انتهای بال نصب شده‌اند. محفظه در بردارنده چتر نجات نیز در قسمت جلویی بدنه قرار گرفته است و این امکان را می‌دهد تا چتر نجات در موارد اضطراری و در هنگام فرود مورد استفاده قرار بگیرد. در مدل نهایی هواپیما، شش موتور الکتریکی بر روی دو بال تعبیه
هواپیما، شش موتور الکتریکی بر روی دو بال تعبیه شده است که در مجموع نیروی پیشبرنده‌ای معادل با ۲۵۰ پوند ایجاد می‌کنند. بعد از برخاستن پرنده، در صورتی که هواپیما به ارتفاع مورد نظر رسیده باشد، سیستم کنترلی موتورهای اضافه را خاموش خواهد کرد و می‌تواند با حداقل دو موتور در آسمان به پیشروی ادامه دهد. با وجودیکه انرژی تویدی باتری‌ها همواره ثابت می‌ماند، با افزایش ارتفاع هواپیما از اثرگذاری نیروی پیشبرنده تولیدی توسط پروانه‌ها کاسته می‌شود اما با این وجود موتورها همچنان قادر هستند تا سرعت رو به جلویی برابر با ۱۵۲
قادر هستند تا سرعت رو به جلویی برابر با ۱۵۲ کیلومتر در ساعت برای نمونه کاووش گر و ۱۰۰ کیلومتر در ساعت برای نمونه پیشگام را فراهم آورد. همچنینطراحی سیستم تولیدکننده انرژی به گونه‌ای انجام شده است که در طول روز انرژی مورد نیاز هواپیما توسط صفحه‌های خورشیدی تأمین بگردد و در طول شب از انرژی ذخیره شده در باتری استفاد شود و باتری‌ها نیز در طول روز شارژ می‌گردند. صفحه‌های خورشیدی نصب شده قادر هستند توانی معادل با ۲۸۰۰ وات برای مدل کاووش گر و ۱۸۰۰ وات برای مدل پیشگام ایجاد بکنند. کنترل پرواز. این پرنده به سیستم
ایجاد بکنند. کنترل پرواز. این پرنده به سیستم خلبان خودکار و سیستم پایداری اینرسی پرواز مجهز می‌باشد. همچنین دستگاه فرستنده گیرنده GSM آن به گونه‌ای طراحی شده است که قابلیت کار در نسل بعدی سیستم حمل و نقل هوایی ایالات متحده را با مجهز شدن به سامانه ADS-B دارا باشد. کنترل این پرنده، از هرجایی که ارتباطات GSM وجود داشته باشد از طریق اینترنت میسر است و همچنین در دیگر نقاطی که این ارتباط فراهم نباشد از طریق ماهواره می‌توان آن را کنترل نمود. اگر ارتباط هواپیما با کنترل‌کنندگان به هر دلیلی قطع بشود، سیستم خلبان
کنترل‌کنندگان به هر دلیلی قطع بشود، سیستم خلبان خودکار از ورود هواپیما به محدوده‌های غیرمجاز جلوگیری کرده و سپس تلاش خواهد کرد تا با تیم پشتیبانی ARCA تماس برقرار نماید و از آن‌ها درخواست کمک بکند. همچنین در صورتی که نتواند با تیم پشتیبانی ارتباط برقرار نماید با باز کردن چتر نجات، اقدام به نشاندن پرنده در نقاط مجاز از پیش تعیین شده می‌نماید. از دیگر عملکردهای سیستم خلبان خودکار، عکس برداری از نقاط مشخص از پیش تعریف شده برای یک مدت زمان مشخص در غیاب نبود ارتباط با مرکز کنترل می‌باشد. لازم است ذکر شود که
ارتباط با مرکز کنترل می‌باشد. لازم است ذکر شود که ارتباط پرنده با مرکز کنترل بر روی زمین، با سیستم کدگذاری AES256 رمزگذاری شده است تا قابل شنیده شدن نباشد. پرتاب‌کننده پنوماتیکی. در هر دو مدل این پرنده از یک سیستم پرتاب با هوای فشرده بهره گرفته شده است. پیستون پنوماتیکی داخلی این سیستم قادر به ایجاد نیرویی برابر با ۲۲۰۰ پوند می‌باشد که می‌تواند هواپیما را در کسری از ثانیه به جلو به پیش براند. این پرتاب‌کننده برای داشتن دو ویژگی استحکام و سبکی به‌طور همزمان، از مواد کامپوزیتی ساخته شده است و از یک کمپرسور
از مواد کامپوزیتی ساخته شده است و از یک کمپرسور قوی که با منبع برق خارجی کار می‌کند بهره می‌گیرد. چتر نجات. چتر نجات بکار گرفته شده در این پرنده، قطری برابر با ۱۳ متر داشته و در یک محفظه در بدنه هواپیما تعبیه شده است. این چتر نجات این امکان را می‌دهد که مستقل از نیاز به زمین فرود در هر سطحی هواپیما را فرود بیاورد و همچنین به آسانی باز یا برای استفاده مجدد بسته می‌شود. صفحه‌های خورشیدی. موتورهای الکتریکی، علاوه بر استفاده از توان باتری‌های داخلی از انرژی تولیدی آرایه‌ای از سلول‌های خورشیدی نیز بهره می‌برند.
آرایه‌ای از سلول‌های خورشیدی نیز بهره می‌برند. باتری‌ها در طول روز توسط برق خورشیدی شارژ می‌گردند و در طول شب امکان پرواز را به هواپیما می‌دهند. در نیجه طول مدت پروازی برابر با ۱۲ ساعت برای این پرنده امکان‌پذیر شده است اما اگر به مدت زمان بیشتری نیاز باشد می‌توان نمونهٔ هایبرید این پرنده را سفارش داد که از یک ژنراتور برق تعبیه شده در درون هواپیما بهره می‌برد. گونه‌های این پرنده. مدل کاووشگر. این مدل گرانترین شکل این پرنده می‌باشد و دارای بیشترین ارتفاع پروازی می‌باشد. همچنین این تنها مدلی است که این
پروازی می‌باشد. همچنین این تنها مدلی است که این توانایی را دارد تا در لایه استراتوسفر جو زمین پرواز نماید. از دیگر مواردی که باید در رابطه با این مدل در خاطر داشت، مجهز بودن آن به دستگاه ارتباطی اینترنت GSM و ارتباط ماهواره‌ای بوده که در مدل دیگر این پرنده (پیشگام) به شکل پیش‌فرض نصب نمی‌شود و همچنین طول بال‌های آن نیز بلندتر بوده و به تبع آن سلول‌های خورسیدی بیشتر و مدت زمان پروازی بیشتری دارد که آن را نسبت به مدل دیگر برتری می‌دهد. قیمت پیش فروش این پرنده در حال حاضر، ۱۴۰۰۰۰ دلار تعیین گردیده است. طول: