در فصل دوم طی دو مبحث جداگانه، پس از ذکر ماهیت و اهمیت نظریه کارشناس، به نقش آن در صدور رای پرداخته شده است.
فصل اول
تبیین مفاهیم، پیشینه واهمیت موضوع
دعوا به معنای ادعا باید در مراجع قضایی به اثبات برسد، در غیر این صورت منشأ اثر نخواهد بود. اثبات دعوا با توسل به وسایلی به عمل می آید که «ادله اثبات دعوا» خوانده می شود. در ایجاد یک نظام حقوقی منسجم، ادله اثبات دعوا از اهمیت بسیاری برخوردار است. چرا که تمامی رشته های حقوقی به بحث ثبوت حق می‌پردازند، در حالی که ادله اثبات دعوا ناظر به اثبات حق است. در واقع اگر نظام ادله اثبات دعوا صحیح و کارآمد نباشد، نظام حقوقی نمی تواند موثر واقع شود. در عالم حقوق فرض بر این است که تمامی افراد یک جامعه، حق خویش را تمییز و تشخیص نمی دهند و یا به حق خویش قانع نمی باشند. به همین دلیل افراد صاحب حق برای ستاندن حق خویش می بایست به دادگستری مراجعه نموده و حق خود را از این مرجع مطالبه نمایند. مطالبه حق توسط ادله‌ای صورت می‌گیرد که نزد قاضی مطرح می‌شود یا اینکه قاضی در جهت کشف حقیقت ناگزیر از تحصیل آن‌هاست.
(( اینجا فقط تکه ای از متن درج شده است. برای خرید متن کامل فایل پایان نامه با فرمت ورد می توانید به سایت nefo.ir مراجعه نمایید و کلمه کلیدی مورد نظرتان را جستجو نمایید. ))

بدیهی است نوع و میزان اعتبار ادله اثبات دعوا در همه‌ی دعاوی یکسان نمی‌باشد. لذا برای بررسی تاثیرپذیری قاضی از ادله اثبات دعوی، لازم است اصول اساسی ادله اثبات دعوی در رابطه با تاثیر آن در صدور حکم مورد توجه قرار گیرد؛ چرا که به هرحال قواعد عمومی حاکم بر ادله اثبات دعوی بر تمامی ادله و از جمله علم قاضی و کارشناسی حاکم است.
از جمله اصول اساسی حاکم بر ادله اثبات دعوی، اصل آزادی تحصیل دلیل در حقوق کیفری است. اینکه در فقه و حقوق موضوعه ایران این اصل تا چه اندازه قابلیت اجرایی دارد و آیا اصولا این اصل با محدودیت هایی مواجه است یا خیر همواره بین حقوقدانان و فقها مورد بحث بوده است. یکی از اصول دیگر اصل آزادی ارزیابی دلیل است که با اصل قبلی تفاوت دارد. این اصل اشاره به اختیار قاضی در ارزیابی دلیل دارد. در راستای بررسی این دو اصل، بحث از علم قاضی که در فقه و حقوق موضوعه ایران هم به عنوان یکی از ادله اثبات برخی از جرایم احصاء شده است و هم به عنوان دلیلی که مقدم بر سایر ادله بوده و اساسا مبنای اعتبار سایرادله است، از اهمیت بسیاری برخوردار می باشد. اینکه ادله احصا شده در فقه و حقوق موضوعه تا چه میزان برای قاضی ایجاد علم می کند و این که آیا اساسا قاضی ملزم به پیروی از ادله احصا شده است، راهگشای تبیین مطالب بخش بعدی خواهد بود.
لذا، در این فصل، ضمن توضیح مفاهیم و ذکر پیشینه علم قاضی وکارشناسی به عنوان دو دلیلی که در این پژوهش، سعی در بررسی آن‌ها است ، به اهمیت موضوع نیز پرداخته میشود .
مبحث اول: تبیین مفاهیم
برای ورود به بحث نقش هر یک از دو دلیل علم قاضی و کارشناسی در دادرسی، اطلاع از مفاهیمی که شناخت موضوع مورد بررسی را تسهیل نماید و توانایی ایجاد ارتباط لازم را فراهم کند، ضروری است. در واقع با تبیین مفهوم و پیشینه هر علمی می توان به چارچوب آن علم، دشواری‌های دستیابی به آن و لزوم پاسداری از آن پی برد و به درک بهتری از اصول آن رسید.
گفتار اول: مفاهیم لغوی
۱-مفهوم لغوی علم
علم (science) از واژه لاتین «scientia» به معناى آگاهى و معرفت (knowledge) مشتق شده است ودر عربی علم به کسرعین در لغت به معنی دانستن دانش معرفت فهم یک مسأله میباشد.علم یک واژه عربی استکه از واژه علم به معنی آموزش مشتق شده و در اصطلاح عامیانه این کلمه در مورد هر نوع آگاهی که فرد در مورد محیط و مسایل پیرامون خود کسب میکند اطلاق میگردد لذا هر چه میزان آگاهی بیشتر باشد شخص عالم تر میباشد. در اصطلاح فقهی علم به معنای اطمینان است که آن را علم عادی هم نامیده اند. علم عادی در مقابل علم به معنی فلسفی و حکمت است که عبارت است از حالتی نفسانی که تحمل احتمال مخالف نمینماید. در امور قضایی و در علم حقوق اصل این است که علم عادی حجت است.^[۱]
۲- مفهوم لغوی کارشناسی
از نظر لغوی «کارشناسی» به معنای شناسایی کار^[۲]، معرفت امور و خبرگی^[۳] می‌باشد. «کارشناس» ^[۴]نیز یعنی دانای کار، حاذق در کار^[۵]، شناسنده امر، خبره و متخصص^[۶]، همچنین به معنای عاقل
و دانا^[۷]، دانشمند^[۸]، منجم و اخترشناس^[۹] به کار رفته است.واژه کارشناس را فرهنگستان زبان فارسی در اولین حوزه فعالیت خود (دهه ۲۰-۱۳۱۰) به جای واژه عربی خبره انتخاب کرد^[۱۰].
امروزه دو واژه «کارشناس» و «کارشناسی» از واژه های رایج در ادبیات علمی، فرهنگی و اجتماعی می باشند.
به موجب تعریف قانون استخدام کشوری، کارشناس در رشته های مختلف شغلی دارای ویژگی های متفاوت است، ولی یک رشته ویژگی های عمومی برای او وجود دارد که دارا بودن تحصیلات عالی، تجربه کافی و گذراندن دوره های تخصصی را شامل می شود^[۱۱].
با توجه به تعاریف مذکور، کارشناسی عبارتست از اظهار نظر در حیطه علم و تخصص، درباره موضوع مشخص و کسی که این امر را به عهده می گیرد، کارشناس نامیده می شود.
۳- مفهوم لغوی دلیل
ادله جمع مکسر دلیل و در لغت عرب به «آنچه باعث راهنمایی و ارزیابی می شود» و«چیزی که برای اثبات
امر به کار برده میشود» معنی شده است.^[۱۲]
فرهنگ کامل فارسی نیز دلیل را به عنوان گواه, راهنما,نشان
و…. و نیز آنچه برای اثبات امری به کار میرود آورده است.^[۱۳]
لغت نامه دهخدا نیز ان را به معنای راهنما ,راهبر, رهنمون و راه نماینده و…. گرفته است.^[۱۴]
بنابراین با توجه به تعاریف فوق,دلیل,وسیله اثبات واقع و کشف حقیقت است.
۴- مفهوم لغوی واژه تعامل
تعامل [ت م] (ع ص) با یکدیگر دادو ستد کردن. (از اقراب الموارد) فی سنه۸۰۰٫ نقودالعربیه.^[۱۵]
تعامل از ریشه عمل به معنای کار از باب تفاعل بین الاثنینی به معنای دادو ستد کردن برای یکدیگر کار کردن البته به معنای رفتار نیز می آید که در مقابل تفاعل به این معنا «متقابل» آمده است.^[۱۶]
گفتاردوم:مفاهیم اصطلاحی
۱- مفهوم اصطلاحی علم
به طور کلی علم به دو معناست یکی به معنی دانش و معرفت. به این معنا اخلاق، دین، تاریخ، سیاست، و حتی هر گونه شناخت و آگاهی، علم محسوب می شود. چنان که گاهی می گوییم: من به فلان اتفاق علم دارم.یعنی از آن اتفاق خبر دارم.معنای دیگر علم، دانش و معرفت خاصی است که یا از طریق عقل حاصل می شود مانند ریاضیات، و یا از طریق تجربه و آزمایش مانند فیزیک و شیمی و روان شناسی و جامعه شناسی. وحقوق مقصود ما از علم در این جا، معنای دوم علم است. هر علمی، مجموعه ای است از مسائل مرتبط با موضوع آن علم که حول آن موضوع سازمان یافته اند. مثلا، علم فیزیک، مجموعه مسائل و قوانینی است که حول موضوع آن، یعنی پدیده های طبیعی و روابط حاکم بر آن ها، سازمان یافته اند: همه علوم؛ چه عقلی و چه تجربی، اصول و قواعدی دارند که در میان همه آن ها مشترک است.برای نمونه، همه علوم، به امور کلی مربوطند؛ یعنی در پی کشف قوانینی هستند که در همه حال صادق باشد. مثلا هندسه راجع به همه مثلث ها به طور کلی بحث می کند و مثلث خاصی مورد نظر آن نیست. و یا فیزیک میکوشد قوانین جاذبه را کشف نماید؛ چرا که میخواهد به چیزی دست یابد که در همه حال صادق باشد و در هیچ شرایطی تغییر نکند.اساسا اگر علمی چنین نباشد، علم محسوب نمی گردد. البته میان علوم عقلی با علوم تجربی تفاوت های زیادی وجود دارد.علوم عقلی با انتزاع عقلانی پدید می آیند. عقل، جنبه ای خاص از عالم خارج را انتزاع می کند و آن را موضوع قرار داده و سپس درباره آن بحث کرده و آن را گسترش می دهد.مثلا، ریاضیات، علمی است که درباره مفهوم عدد صحبت می کند. خود این مفهوم، حاصل انتزاع عقل از عالم خارج است. ما در عالم خارج، چیزی به نام عدد نداریم، بلکه پس از مشاهده چیز های مختلف، و با تلاش فکری به این مفهوم دست می یابیم. اما علوم تجربی، به بررسی پدیدار ها می پردازند و در پی کشف قوانین حاکم بر این پدیدارها هستند. البته آن ها نیز از اصول عقلی پیروی می کنند، اما فعالیت این علوم، عقلی محض نیست؛ آن ها بر اساس مبادی و قواعد عقلی به آزمایش و مشاهده عالم خارج می پردازند؛ در حالی که علوم عقلی، هم اصولشان عقلی است و هم آنچه در باره آن تحقیق می کنند.به طور کلی باید گفت علم قاضی از جمله علوم تجربی است .
ویزگی های علم عبارت اند از :
الف:حجیت:حجیت علم به این معناست که حجت و دلیلی است که بر مبنای ان واقعیت مورد نظر کشف میشود .
ب:طریقیت:علم راهی است برای رسیدن به واقعیت امور.
ج:موضوعیت :منظور از موضوعیت داشتن علم این است که علم فی نفسه معتبر ودارای ارزش اثباتی است وصرف حصول ان مبنا و موضوع حکم قرار میگیرد .
در مبحث قضا وقتی سخن از علم به میان می ایدسه نوع علم متبادر به ذهن میشود اول علمی که برای تصدی امر قضا لازم است که همانا علم القضا میباشد .
دوم علمی که از پرونده ناشی میشودکه عوامل ان عبارت اند از معاینه محل پزشکی قانونی کارشناسی و… سوم علم شخصی قاضی یعنی علمی که خارج از محتویات پرونده و با مشاهده شخصی حاصل کند.
۲- مفهوم علم قاضی
دکتر لنگرودی در تعریف علم قاضی می گوید آن قطع جازم که عقلا احتمال خلاف نداشته باشد نیست بلکه منظور همان اطمینان و علمی است که قاضی رسیدگی کننده با ملاحظه محتویات پرونده به آن دست می یابد به طوری که اگر هر کس جای قاضی بود به آن دست می یافت. علامه حلی در این خصوص می فرماید: « داشتن وصف دانش و آگاهی و درجه ای از دانش که برای قضاوت لازم وضروری است» ^[۱۷]عده ای از حقوق دانان بین «علم عادی» و«علم قاضی» سکون نفس و علم قاضی فرق گذاشته اند و علم قاضی را چیزی غیراز علم عادی دانسته اند.^[۱۸]
برخی علم عادی و علم قاضی را در یک معنا دانسته اند و بلکه اذعان کرده اند:« بلکه این بحث- علم قاضی- شامل علم عادی و سکون نفس که عادتا احتمال خلاف آن نمیرود نیز می شود.^[۱۹] علم قاضی در اصطلاح عبارت است از معرفت قاضی در احراز و انتساب بزه به متهم از طریق عینی و محسوس ویا ذهنی. علم قاضی زمانی معتبر است که عینی و ملموس و قابل کنترل در مراجع تجدیدنظر باشد.^[۲۰]
در محور مباحث فقهی درباب علم قاضی, علمی است که علم شخصی(حاصل از مشاهده) و علم نوعی( حاصل از اسباب متعارف و محتویات پرونده) را با هم در بر می گیرد و فقیهان اسلامی بین این دو تفاوتی قایل نشده اند.^[۲۱]
چنانچه شیخ انصاری میفرماید« مراد از علم , علم عادی حاصل از اسباب عادی مانند حس, تواتر امثال ان است نه علم غیب که حاصل از اسباب غیر عادی است»^[۲۲]
ابو صلاح حلبی نیز می نویسد« بر قاضی واجب است هر گاه از طریق یکی از اسباب علم از قبیل مشاهده, تواتر, گزارش, خبر موثق یا ثبوت عصمت و امثال آن علم به صدق مدعی یا فکر پیدا کند به نفع وی حکم کند چه اینکه تفاوتی میان طرق حصول علم وجود ندارد»
^[۲۳]این در حالتی است که پاره ای از حقوق دانان بر این باورند که : « علم قاضی در منابع فقها و یا ماده ۱۰۵ قانون مجازات اسلامی منحصر در علم شخصی است.^[۲۴] که با توجه به آنچه بیان شد صحیح به نظر میرسد در میان احادیث نیز مواردی به چشم میخورد که اصدار حکم بر اساس علم و اطمینان قلبی را بر قاضی تجویز کرده است.^[۲۵]
بنابراین مقصود از علم قاضی قطع و یقین فلسفی ( چیزی که احتمال خلاف ان عقلا و عادتا محال است) نیست بلکه منظور علم عادی یعنی علمی که اغلب مردم یک جامعه وقتی که به آن حد رسیدند احتمال خلاف را به معلوم خود راه نمیدهند
۳- مفهوم اصطلاحی کارشناسی
در حالی که در قوانین موجود در حقوق ایران، از کارشناسی تعریفی به عمل نیامده است، نویسندگان مختلف، هر یک به فراخور ذوق و سلیقه خود، تعاریفی از کارشناسی ارائه داده اند. به عقیده برخی رجوع به کارشناس عبارت است از:« گماشتن اشخاص صلاحیت دار به اجرای تحقیقات و اظهار عقیده نسبت به امری که بین اصحاب دعوی مورد اختلاف است و رسیدگی به آن اطلاعات مخصوص لازم دارد»^[۲۶]. برخی دیگر بر این باورند که: «کارشناسی عملی است تحقیقاتی،‌ که اشخاص صلاحیت داری را به نام کارشناسان مأمور می کنند تا امر مورد اختلاف را که رسیدگی به آن اطلاعات فنی خاص لازم دارد، مورد بررسی قرار دهد و نظر خود را به دادگاه اعلام دارد»^[۲۷].

جدول ۴-۷: نتایج آزمون فرضیۀ اول

متغیر وابسته: رضایت بیمه گذاران
تحلیل توصیفی:
با توجه به آنکه مقدار احتمال (عدد معنی داری)، بین متغیر اطمینان و رضایتمندی بیمه گذاران، کوچکتر از ۵% می باشد، پس بین اطمینان و رضایتمندی بیمه گذاران از نظر آماری رابطه معنی داری وجود دارد. اینکه نوع رابطه بین این دو متغیر مستقیم یا عکس می باشد، بستگی به مثبت یا منفی بودن ضریب همبستگی دارد که به دلیل مثبت بودن آن می توان نتیجه گرفت که با اطمینان بالای ۹۵% فرض H₁ مورد تأیید قرار گرفته و رابطۀ مستقیمی بین اطمینان و رضایتمندی بیمه گذاران شرکت بیمه ایران وجود دارد. و این یعنی اینکه احتمالاً با افزایش اطمینان در فروش الکترونیکی، میزان رضایتمندی بیمه گذاران شرکت بیمه ایران نیز افزایش می یابد. بنابراین بین اطمینان و رضایتمندی بیمه گذاران بیمه ایران رابطۀ مستقیم و مثبتی وجود دارد.

( اینجا فقط تکه ای از متن درج شده است. برای خرید متن کامل فایل پایان نامه با فرمت ورد می توانید به سایت feko.ir مراجعه نمایید و کلمه کلیدی مورد نظرتان را جستجو نمایید. )

۴-۶-۱-۱-۳ آزمون فرضیه دوم تحقیق
بین سهولت استفاده و رضایتمندی بیمه گذاران بیمه ایران رابطه وجود دارد.
:H₀ بین سهولت استفاده و رضایتمندی بیمه گذاران بیمه ایران رابطه وجود ندارد.
:H₁ بین سهولت استفاده و رضایتمندی بیمه گذاران بیمه ایران رابطه وجود دارد.
این فرضیه به صورت زیر در قالب فرضیۀ آماری تعریف می شود:
که در آن بیانگر ضریب همبستگی بین دو متغیر سهولت استفاده و رضایتمندی بیمه گذاران می باشد. چنانچه فرض صفر رد شود، فرضیه تحقیق تأیید می شود.
H₀: 0
H₁: 0
جدول ۴-۸: نتایج آزمون فرضیۀ دوم

PLC از اجزاء نیمه هادی ساخته می­ شود که دارای ضرایب اطمینان بسیار زیادی هستند. در نتیجه نگهداری سیستم­های PLC هزینه بسیار کمی دربردارد و احتمال از کار افتادن بسیار پایین است.
۲-۴-۱۰- مستند سازی
در صورت نیاز، چاپ مدار کامل PLC ظرف چند دقیقه امکان‏پذیر است و به طور کلی احتیاجی به جستجوی مدار PLC در بایگانی پرونده ها نیست. PLC در هر لحظه می‏تواند مدار واقعی را چاپ کند که برای تابلوهای رله­ای کار دشواری است.
(( اینجا فقط تکه ای از متن درج شده است. برای خرید متن کامل فایل پایان نامه با فرمت ورد می توانید به سایت nefo.ir مراجعه نمایید و کلمه کلیدی مورد نظرتان را جستجو نمایید. ))

۲-۴-۱۱- امنیت
تا زمانی که قفل سیستم PLC به درستی باز نشود، امکان تغییر در برنامه آن وجود ندارد. در حالی که در سیستمهای رله­ای، امکان تغییرات غیرمستند در تابلو کنترل وجود دارد. ممولا افرادی که در شیفت­های پایانی روز کار می‏کنند این تغییرات را با دقت در پرونده ­ها ثبت نمی‏کنند. البته ابعاد امنیتی سایبری PLC ها بحث جداگانه­ ای است.

• • 1. 1. استاندارد IEC 1131-3^[16]

     

در سال ۱۹۷۹ یک گروه متخصص در IEC کار بررسی جامع PLC ها، شامل سخت افزار، برنامه‏نویسی و ارتباطات به عهده گرفتند [۸]. هدف این گروه تدوین روش­های استانداردی بود که توسط سازندگان PLC به کار گرفته شود. این کار حدود ۱۲ سال به طول انجامید و نهایتا پس از بحث های موافق و مخالفی که انجام شد این استاندارد شکل گرفت. تنها استاندارد جهانی برای برنامه‏نویسی کنترل‏کننده‏های صنعتی IEC 1131-3 است که با استاندارد کردن رابط برنامه­نویسی، طراحی و عملکرد کنترل‏کننده‏های صنعتی را هماهنگ می‏کند.
این استاندارد از بخش­های زیر تشکیل شده است:

1. 1. اطلاعات کلی^[۱۷]: این بخش ضمن تعریف بخش­های مختلف PLC و وسایل جانبی آن، عملکرد هر قسمت مانند CPU، منبع تغذیه، ورودی­ ها و خروجی­ها و … را تشریح کرده و یک ساختار کلی را به عنوان الگو ارائه نموده است.

1. 1. ملزومات سخت­افزاری و آزمایش­ها^[۱۸] : این بخش حداقل ملزومات برای ساخت، سرویس، انبار کردن، حمل و نقل، عملکرد و ایمنی PLC ها و وسایل جانبی آن­ها را بیان کرده و تست­های کاربردی مربوطه را توضیح ­می­دهد.

1. 1. زبان­های برنامه نویسی^[۱۹]: در این بخش انواع داده‏هایی که می‏توانند در برنامه‏نویسی استفاده شوند مانند Bool، Byte، Time، Date، Word، Real، Integer و …. تعریف شده ­اند. هم­چنین^[۲۰]POU ها مانند تابع (FC) و تابع بلاکی^[۲۱](FB) مشخص گردیده­اند. IEC در این بخش ۴ زبان برنامه نویسی که قبلا نیز به کار می‏رفت را انتخاب کرده و یک زبان جدید نیز بر آن افزوده و جمعا ۵ زبان برنامه­نویسی را به عنوان استاندارد برنامه نویسی PLC ها معرفی می‏کند که در ادامه هر کدام به صورت مختصر توضیح داده می‏شود [۸]:

• • Instruction List) IL): یک زبان سطح پایین و از زبان های قبلی PLC است که به صورت متنی می‏باشد که بیشتر شبیه زبان اسمبلرهای میکروپروسسور است.

• • (Function Block Diagram) FBD: یک زبان گرافیکی است که قبلا نیز مورد استفاده قرار می گرفت. در FBD برنامه نویسی توسط یک سری بلوک های پایه که در کنار هم قرار می­گیرند انجام می­ شود.

• • (Ladder Diagram) LD: روش گرافیکی است که قبلا نیز استفاده می‏شد ولی به صورت پیشرفته­تر عرضه شده است. در روش جدید LD و FBD می توانند به صورت توام در برنامه به کار روند.

• • (Structured Text) ST: زبان جدیدی است که IEC به چهار زبان قبلی افزوده است. ST یک زبان سطح بالا شبیه C و پاسکال است و کاربردی عالی به ویژه در الگوریتم‏های پیچیده ریاضی دارد.

• • (Sequential Function Control) SFC: زبان برنامه‏نویسی جدیدی است که در آن برنامه به مراحلی که ترتیب الگوریتم­های کنترلی را نشان می‏دهد تقسیم می‏گردد و شامل طبقات مختلف برنامه است. هر گاه شرایطی که در بخش انتقال مشخص شده برآورده گردید، مرحله قبلی غیر فعال و مرحله بعدی فعال می‏شود.

1. 1. راهنمای کاربران^[۲۲]: این بخش راهنمای کاربر نهایی برای انتخاب و مشخص کردن ملزومات سیستمی است که سخت­افزار، نرم­افزار و ارتباطات در آن منطبق با استاندارد IEC 1131 باشد.

1. 1. ارتباطات^[۲۳]: در این بخش جنبه­ های ارتباطی از دیدگاه کنترل­ کننده تشریح شده است.

1. 1. این بخش خالی است و برای استفاده در آینده رزرو شده است.

1. 1. برنامه نویسی کنترل فازی^[۲۴]: این بخش در سال ۲۰۰۱ به استاندارد اضافه شد و برنامه نویسی کنترل فازی را معرفی می­نماید.

1. 1. راهنمای کاربرد زبان­های برنامه­نویسی^[۲۵]: این بخش صرفا راهنمای کاربران برای استفاده از زبان­های برنامه­نویسی است که در بخش ۳ معرفی شد.

      1. 1. روش‏های ارتقاء قابلیت کنترلی PLC ها

       

همانطور که در مطالب بالا ذکر شد PLC ها مزایای زیادی دارند که موجب گستردگی آن­ها در صنایع مختلف شده است. از طرفی روش­های کنترلی روز به روز در حال پیشرفت هستند اما محدودیت­هایی از جمله کمبود حافظه، قدرت پردازشی کم و زبان برنامه نویسی پیچیده در این PLC ها قابلیت اعمال این روش­های کنترلی پیشرفته را با مشکل روبه رو می­ کند. از این رو نیاز به این ارتقاء قابلیت کنترلی روز به روز بیشتر می‏شود و پیاده‏سازی آن­ها کمک قابل توجهی به بهبود عملکرد پروسه­های صنعتی خواهد کرد. روش­های متفاوتی برای ارتقاء قابلیت کنترلی این PLC ها وجود دارد که در زیر به تعدادی از آن­ها اشاره می‏کنیم.

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

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

1. 1. روش دیگر، ارتباط دهی این PLC با کامپیوتر و نرم­افزارهای جانبی است. نرم افزار Labview یکی از نرم­افزارهای قدرتمند برای اجرای روش­های کنترلی پیشرفته می‏باشد. قبل از آن باید ارتباط بین PLC و کامپیوتر برقرار گردد. این ارتباط از طریق نرم افزار OPC Server^[26] [۹، ۱۰] برقرار می­ شود، OPC Client نرم افزار مورد نظر (در اینجا Labview) با OPC Server ارتباط برقرار می­ کند و سپس OPC Server اطلاعات مربوط به فرایند را وارد نرم افزار Labview کرده و پردازش­های لازم را روی آن‏ها انجام داده و پس از آن اطلاعات پردازش شده از طریق OPC Server به PLC منتقل می‏شود.

1. 1. یکی دیگر از روش­های ارتقاء قابلیت کنترلی PLC ها پیاده­سازی الگوریتم­های کنترلی پیشرفته روی PLC ها با ساده­سازی­های ابتکاری و مهندسی است. امروزه الگوریتم­های کنترل پیشرفته همچون کنترل مدل پیش بین، به علت مزایای زیادشان، همچون به کارگیری انواع مختلف مدل­های پیش بینی، توانایی مدیریت قیود و کار با سیستم­های چندمتغیره و همراه با تاخیر زمانی و … جایگاه ویژه­ای در صنایع و دانشگاه­ها پیدا کرده ­اند. بنابراین استفاده از تکنیک­های برنامه­نویسی سریع و دقیق برای ساده­سازی این الگوریتم­های کنترلی پیشرفته، می ­تواند کمک قابل توجهی به صنایع در راستای بهبود کیفیت محصولاتشان کند.

در فصل هشتم نحوه پیاده‏سازی یکی از این تکنیک‏های کنترلی پیشرفته شرح داده شده است.

T5: اعمال تغییرات مربوط به VLAN توسط سوئیچ مجازی بر روی بسته در صورتی که پورت مورد نظر در حالت access باشد (از جمله برچسب گزاری)
T6: اعمال تغییرات مربوط به VLAN توسط سوئیچ مجازی بر روی بسته در صورتی که پورت مورد نظر در حالت trunk باشد.
T7: اعمال فرایند switching توسط سوئیچ مجازی بر روی بسته
T8: ارسال بسته به صورت unicast به سمت مقصد. در این حالت مقصد به همان سوئیچ مجازی متصل است. به عبارت دیگر مقصد بسته یک ماشین مجازی دیگر بر روی همان سرور ESX است.
T9: ارسال بسته به صورت unicast به سمت مقصد در حالتی که مقصد در خارج از سرور ESX قرار دارد.
T10: ارسال بسته به صورت multicast و یا broadcast به سمت خارج از سرور ESX
T11: ارسال بازخور به VMkernel در مورد ارسال بسته به سمت مقصد
T12: ارسال بسته به uplink سوئیچ مجازی در وضعیت بدون NIC-team
T13: ارسال بسته به uplink سوئیچ مجازی در وضعیت NIC-team همراه با اعمال سیاست گزاری teaming
T14: فراخوانی راه انداز کارت شبکه فیزیکی سرور
T15: ارسال بازخور به VMkernel در مورد ارسال بسته به خارج از سرور
T16: بارگزاری ماژول های لازم برای اجرای سوئیچ مجازی و تست سوئیچ

(( اینجا فقط تکه ای از متن درج شده است. برای خرید متن کامل فایل پایان نامه با فرمت ورد می توانید به سایت feko.ir مراجعه نمایید و کلمه کلیدی مورد نظرتان را جستجو نمایید. ))

T17: اعلام آماده بودن سوئیچ مجازی برای کار
T18: اعلام اختلال در سوئیچ مجازی
T19: فرایند رفع ایراد سوئیچ
T20: بررسی میزان دسترسی پذیری سوئیچ
T21: عدم امکان رفع ایراد در سوئیچ مورد نظر
T22: ارسال بازخورد به VMkernel در مورد مشکل سوئیچ و reset شدن سیستم
این مدل نیز مانند مدل سیستم ذخیره سازی ارائه شده در بخش قبل، در واقع یک مدل لایه ۳ از مدل کلی دیتا سنتر ارائه شده در ابتدای فصل است.
در اینجا با فراخوانی سرویس شبکه توسط سیستم عامل ماشین مجازی، پروسه شروع به اجرا شدن می کند. در واقع با دریافت این درخواست و اجرا شدن T0 دو پروسه به طور موازی شروع می شود. در روال اول، با قرار گیری سیستم در وضعیت P1 روند فراخوانی ماژول های لازم برای ارسال بسته به شبکه انجام می شود و در پروسه دوم فرایند آماده سازی و تست سوئیچ مجازی انجام می گردد.
فراخوانی اول با ارسال یک درخواست به راه انداز کارت شبکه مجازی که می تواند یکی از انواع vmxnet، vlance و یا e1000 باشد انجام می شود. در این حالت با اجرای T1 ماشین مجازی بسته را تولید کرده و آماده ارسال آن به شبکه داخلی سرور ESX می گردد. در اینجا بسته پس از ارسال به سوئیچ مجازی خواهد رسید بنابراین لازم است سوئیچ مجازی آماده دریافت و پردازش بسته باشد. بنابراین پروسه دوم باید تمام شده باشد.
روال دوم، که با قرارگیری توکن در P12 آماده اجرا است، توسط T16 اجرا می شود. این گزار در واقع مرحله بارگزاری ماژول های نرم افزار لازم برای کار سوئیچ و تست نهایی سوئیچ است. در صورتی که این فرایند موفقیت آمیز باشد، سیستم از وضعیت P13 به T17 رفته و آماده بودن سیستم اعلام می شود. در اینجا با قرارگیری در وضعیت P15 آمادگی سیستم نشان داده می شود.
از سوی دیگر اگر سیستم موفق به آماده کردن سوئیچ برای پردازش بسته های خارج شده از ماشین مجازی نشود با اجرای گزار T18 سیستم به وضعیت خطا در سوئیچ مجازی رفته و در P14 قرار می گیرد. در این حالت با تلاش سیستم برای رفع خطای سوئیچ دو حالت محتمل است: در حالت اول مشکل برطرف شده و گزار T19 وضعیت سیستم را دوباره به P13 بر می گرداند که در این حالت سیستم دوباره آمادگی سوئیچ را برای پذیرش مسئولیت بررسی خواهد کرد. در حالت دوم سیستم موفق به رفع ایراد نرم افزاری سوئیچ نشده که با اجرای گزار T21 سیستم آماده اعلام بروز خرابی در سوئیچ و برگرداندن وضعیت پشته شبکه به حالت اول می شود. این حالت ممکن است به دلیل تنظیمات نادرست در بخش شبکه و یا از کار افتادن موقتی یکی از ماژول های نرم افزاری مربوط به پشته شبکه در ماشین مجازی و یا ESX رخ دهد.
در صورتی که سیستم به وضعیت P16 دچار نشود سوئیچ آماده سرویس دادن به ماشین مجازی خواهد بود. به این معنی که در نهایت با قرار گرفتن توکن در P15 آمادگی سوئیچ اعلام می گردد. با توجه به اینکه در روال اول پس از فراخوانی راه انداز کارت شبکه سیستم مجازی، بسته آماده خروج از ماشین مجازی است، در واقع یک توکن نیز در P2 قرار دارد. پس گزار T2 آماده اجرا شدن است.
اجرای T2 به معنی دریافت بسته توسط سوئیچ مجازی و پردازش آن در لایه ۲ می باشد. این مرحله شامل اعمال سیاست های port group از یک سو و سیاست های امنیتی از سوی دیگر است.
پس از این مرحله و قبل از اینکه بسته از سوئیچ خارج شود لازم است پردازش هایی مانند SPAN بر روی آن انجام شود. در صورت تنظیم این امکان توسط مدیر، در این مرحله یک کپی از بسته به پورت مورد نظر برای مقاصد مانیتورینگ ترافیک ارسال می شود. با اجرای T3 این فرایند انجام شده و با اجرای T4 پایان اجرای آن به سیستم اعلام می شود. بنابراین با قرار گیری سیستم در وضعیت P5 سیستم آماده برچسب گزاری VLAN بر روی بسته است.
با توجه به حالات گفته شده برای پردازش پروتکل VLAN، در صورتی که این وظیفه به سوئیچ واگزار شده باشد در این مرحله بر اساس اینکه پورت دریافت کننده بسته در کدام VLAN باشد عمل برچسب گزاری انجام می شود. همچنین اگر پورت در وضعیت trunk یا VLAN پیش فرض^[۲۰۷] باشد برچسبی روی آن زده نمی شود. همچنین اگر این فرایند به کارت شبکه مجازی ماشین مجازی و یا سوئیچ فیزیکی واگزار شده باشد این مرحله بدون تعیین برچسب پشت سر گذاشته خواهد شد. سپس در گزار T7 فرایند
switching بسته بر اساس آدرس MAC و جدول forward انجام می شود.
با قرار گرفتن سیستم در وضعیت P7 سوئیچ مجازی آماده ارسال بسته به خارج است. در این موقعیت سه حالت ممکن است رخ دهد. در حالت اول و بر اساس فرایند switching انجام شده در مرحله قبل، مقصد بسته یک ماشین مجازی بر روی همان سرور ESX است. در اینجا بسته بدون خارج شدن از سرور توسط سوئیچ مجازی به پورت مجازی مقصد ارسال می شود. در این مدل با اجرا شدن T8 سیستم در وضعیت P8 قرار گرفته و تنها کار باقی مانده ارسال یک بازخورد در مورد پایان کار به VMkernel است که با اجرای T11 این کار نشان داده شده است. پس از آن سیستم به وضعیت اولیه برای پردازش درخواست های دیگر بر می گردد.
در صورتی که مقصد بسته در خارج از سرور مذکور بوده و ارسال به صورت unicast باشد حالت دوم رخ خواهد داد. این حالتی است که سوئیچ مجازی بسته را به خارج از سرور و به سمت کارت شبکه فیزیکی ارسال می نماید. با اجرای گزار T9 سیستم در وضعیت P9 قرار گرفته و آماده ارسال بسته به خارج می شود.
در نهایت در صورتی که نحوه ارسال بسته به صورت multicast و یا broadcast باشد، حالت سوم اتفاق می افتد که در آن، بسته تنها به پورت های uplink سوئیچ ارسال خواهد شد. این یکی از خاصیت های منحصر به فرد سوئیچ های مجازی در ساختار VMware است که در آن ترافیک پخشی (broadcast، multicast) تنها به سمت خارج از سوئیچ ارسال شده و به دیگر پورت های مجازی همان سوئیچ فرستاده نمی شود.
بنابراین در پایان این مرحله در صورتی که لازم باشد ترافیک به خارج از سرور ESX فرستاده شود، سیستم در وضعیت P9 قرار خواهد گرفت. پس از این مرحله VMkernel در مورد اینکه کارت های فیزیکی شبکه باید به صورت team و یا غیر از آن استفاده شوند تصمیم گیری نماید. در صورت تنظیم شدن کارت ها به صورت team، مکانیزم خاصی برای ارسال بسته بر روی هر دو کارت به صورت همزمان به کار می رود که این مکانیزم شبیه برخورد دیگر سیستم عامل ها با کارت های team شده است. همچنین اگر چنین تنظیمی بر روی کارت ها انجام نشده باشد، بر اساس نحوه اتصال uplink سوئیچ مجازی به کارت های فیزیکی، کارت مورد نظر برای ارسال بسته انتخاب می شود. در مدل متناظر، در حالت اول گزار T12 و در حالت دوم گزار T13 اجرا می شود. در هر دو حالت پس از اجرای فرایند سیستم در وضعیت P10 قرار می گیرد که به معنی آماده بودن VMkernel برای فراخوانی راه انداز کارت شبکه فیزیکی است. با فراخوانی این راه انداز و اجرای گزار T11 بسته به راه انداز تحویل داده می شود تا توسط کارت به شبکه خارجی ارسال شود. در این مرحله و پس از ارسال بسته، لازم است با اجرای T15 بازخورد مربوط به مرحله انجام شده به VMkernel داده شود و سیستم به وضعیت اولیه برای دریافت درخواست های دیگر از پشته شبکه ماشین های مجازی برگردد.
در قسمت بعد سعی خواهیم کرد مدل ارائه شده در این بخش را تحلیل نمائیم.

بررسی و تحلیل مدل
در این بخش با تحلیل خصوصیات رفتاری مدل، میزان انعطاف پذیری و پایداری آن و در نهایت خوش رفتاری سیستم را بررسی خواهیم کرد. به همین منظور خصوصیات Liveness، Safeness و Reversibility را بر روی آن بررسی می نمائیم.
به دلیل اینکه شبکه ۴٫۳۰ عضو هیچ یک از زیر مجموعه های شبکه های پتری از جمله state machine، marked graph، free choice net و simple net نمی باشد، نمی توان از قضایای بیان شده در مورد خواص آنها استفاده نمود. در ادامه با بهره گرفتن از روش های قابل اجرا بر روی شبکه های پتری کلاسیک برای مطالعه خصوصیات رفتاری لازم استفاده می کنیم.
۴٫۸٫۳٫۱٫ Reversibility
در این بخش استثنا بررسی reversibility در ابتدا آورده شده است زیرا برای بررسی خصوصیت liveness به آن نیازمندیم.
همانند قبل برای بررسی این خصوصیت به تعریف Reversibility رجوع می کنیم. با یاد آوری تعریف این مفهوم و نیز خاصیت Reachability از فصل ۲ داریم: شبکه پتری ()، Reversible خوانده می شود اگر برای هر وضعیت M، در دنباله قابل اجرا از (R())، از طریق M، reachable باشد.
با این تعریف، در شبکه های کوچک می توان با بررسی کلیه وضعیت های محتمل در شبکه، reachable بودن را از طریق آنها بررسی نمود. در صورتی که از طریق تک تک این وضعیت ها ( تا ) قابل دسترسی باشد این شبکه Reversible است. با توجه به اینکه این وضعیت ها تماما در گراف پوشای مدل منعکس می شوند می توان با بررسی یک به یک گره های گراف این حالات را بررسی نمود. گراف پوشای مدل پتری در شکل ۴٫۳۱ آمده است.
شکل ۴٫۳۱٫ گراف پوشای مدل پتری شکل ۴٫۳۰
اگر نشان دهیم که گراف ۴٫۳۱ یک گراف همبند قوی است، آنگاه مطمئن خواهیم بود که از هر گره به گره ی دیگر مسیر جهت داری وجود دارد. این بدان معنی است که از هر گره Si به S0 مسیری وجود دارد. بنابراین با بهره گرفتن از الگوریتم کزاراجو این گراف را برای یافتن حوزه های همبند قوی بررسی می کنیم.
نتیجه جستجوی اول عمق در گراف پوشا به صورت زیر خواهد بود:
DFS (G,S0)= {0,1,2,3,4,6,5,7,8,9,10,11,12,13,14,15}

مشارکت و ارتباط بابرند داخلی

نقش برند در موفقیت و شکست-وفاداری مشتریان به برند-توصیه برند به دیگران توسط مشتریان-مراجعات بیشتر به خاطر برند

۴

۱۶ تا ۲۰

بامگرت و مارکو اسچمیدت (۲۰۱۰)

تعهد به برند داخلی

احساس هم خانوادگی با همکاران-استفاده از همه توانمندی ها-احساس رضایت از کارکردن با این برند در مقایسه با برند رقبا-نزدیک بودن ارزش ها-یادگیری داوطلبانه مهارت ها

۵

۲۰تا۲۵

بورمن زپلین واُ ریلی (۲۰۰۹) ، چتمن (۱۹۸۶)

ارزش ویژه برندداخلی

احساس تأثیر بر برند-کار کردن با انگیزه درونی برند-کار داوطلبانه در جهت تاثیر مثبت بر برند-توصیه کارمند به دوستان در محافل خصوصی- در نظر گرفتن انتظارات مشتریان توسط کارمند-پشتکار در ارائه خدمات مطلوب

۶

۲۵تا ۳۰

بامگرت و مارکو اسچمیدت(۲۰۱۰)، زپلین(۲۰۰۶)

۳-۱۰)روایی پرسشنامه
روایی از واژه روا به معنای جایز و درست گرفته شده است و روایی به معنای صحیح و درست بودن است. مقصود از روایی آن است که وسیله اندازه گیری بتواند خصیصه مورد نظر را اندازه بگیرد. به بیان دیگر، وقتی اندازه گیری از اعتبار و روایی لازم برخوردار است که همه متغیرهای تأثیرگذار در مدل مورد توجه قرار گیرد. اهمیت روایی از آن جهت است که اندازه گیری های نا مناسب و ناکافی می تواند پژوهش علمی را بی ارزش و ناروا سازد. (خاکی۱۳۸۷ ،ص۲۸۸) چون در این تحقیق بهترین ابزار جمع آوری اطلاعات و اندازه گیری متغیرها پرسشنامه است، روایی پرسشنامه از اهمیت خاصی برخوردار می باشد. روایی تحقیق میزان سازگاری پرسشنامه را با اهداف نشان می دهد. مسأله روایی محتوا )پرسشنامه( این است که آیا پرسسش ها جنبه مهمی از هدف تحقیق را اندازه گیری می کنند یا خیر. (جان بست،۱۳۷۲،ص ۲۳۵)
در تحقیق حاضر اقداماتی برای افزایش میزان روایی پرسشنامه انجام شد که خلاصه آن به شرح زیر است:
(( اینجا فقط تکه ای از متن درج شده است. برای خرید متن کامل فایل پایان نامه با فرمت ورد می توانید به سایت nefo.ir مراجعه نمایید و کلمه کلیدی مورد نظرتان را جستجو نمایید. ))

پرسشنامه استفاده شده در تحقیق حاضر از مقالات و پایان نامه های مرتبط در این حوزه استخراج گردیده است و لذا پرسشنامه ای استاندارد است.پرسشنامه مذکور، مورد بررسی اساتید راهنما و مشاور وخبرگان دانشگاهی و مشاورین آماری قرار گرفت و اصلاحات نگارشی انجام و در پایان تأیید گردید. در نهایت پرسشنامه نهایی در بین کارکنان بانک ها )نمونه مورد بررسی( توزیع گردید.
۳-۱۱)پایایی پرسشنامه
پایایی یا قابلیت اعتماد ابزار سنجش که از آن به اعتبار ، دقت و اعتماد پذیری نیز تعبیر می شود عبارت است از اینکه ابزار اندازه گیری که برای سنجش متغیر طراحی شده است، اگر در شرایط مشابه ، در زمان یا مکان دیگر مورد استفاده قرار بگیرد ، نتایج مشابهی از ان حاصل شود . به عبارت دیگر ، ابزار پایا یا معتبر ابزاری است که از خاصیت تکرار پذیری و سنجش نتایج یکسان برخوردار باشد. (حافظ نیا ،۱۳۸۱)
برای محاسبه ضریب پایایی پرسشنامه از روش آلفای کرونباخ استفاده گردید. که این مقدار بر اساس داده‌های حاصل از پرسشنامه و خروجی نرم‏افزار اس‏پی‏اس‏اس برای هر کدام از متغیرهای تحقیق طبق جدول زیر به دست آمده است.

جدول ۳-۳: پارامترهای توصیفی و ضریب آلفای کرونباخ سوالات پرسشنامه به تفکیک متغیرها

مؤلفه/متغیر موردسنجش

تعداد سوالات

علامت اختصار

میانگین

واریانس

آلفای کرونباخ

تمایل به برند

۶