الگوریتم STR کلی (تعمیم یافته)
دسته بندی | ریاضی |
فرمت فایل | doc |
حجم فایل | 176 کیلو بایت |
تعداد صفحات | 25 |
الگوریتم STR کلی (تعمیم یافته)
داده ها: پارامتر d مرتبه رگولاتور یعنی درجه R* ، و درجه S* را بدانیم. چند مجموعه ای روبتگر Ao* به جای چند جمله ای C* که نامعلوم است (تقریب C*)
چند جمله ایهای پایدار P* و Q*
سیگنالهای فیلتر شده زیر بایستی معرفی شوند:
گام 1 : تخمین ضرایب R* و S* بروش LS:
( C* : note)
گام 2 : سیگنال کنترل را از روی محاسبه می کنیم
تکرار گامهای فوق در هر پریود نمونه برداری
در صورت همگرایی تخمین : S* و R* گام بعدی با قبلی برابر است)
=
ویا:
فرم کلی در صورت عدم حذف همه صفرهای فرآیند
اتحاد (2) به شکل زیر نوشته می شود:
C*Q*=A*P*R'*+q-dB-*S* R'* از این رابطه بدست می آید.
و سیگنال کنترل می شود:
کنترل فید فوردوارد (پیشخور) – STR (دانستن دینامیک فرایند لازم است)کنترل پیشخور برای کاهش یا حذف اغتشاش معلوم بکار می رود. خود سیگنال فرمان می تواند برای STR ، یک اغتشاش معلوم فرض شود
مثالهایی از اغتشاش قابل اندازه گیری (معلوم): درجه حرارت و غلظت در فرایندهای شیمیایی درجه حرارت خارجی در کنترل آب و هوا – ضخامت کاغذ در سیستمهای milling machinc
مدل فرضی :
چند جمله ایهای ، S* و T* بایستی تخمین زده شوند و آنگاه:
مثال : تاثیر فیلتر کردن (همان فرایند مثالهای قبل را در نظر بگیرید) {رفتار الگوریتم تصمیم یافته توضیح داده می شود}
Y(t)+ay(t-1)=bu(t-1)+e(t)+ce(t-1)
مقادیر واقعی پارامتر : a = -0.9 b=3 c=-0.3
فیلترها را بصورت زیر در نظر بگیرید
اتحاد: C * Q*=A*P*R'*+q-dB-*S*
در این مثال : از مدل فرآیند داریم
اتحاد
قانون کنترل:
R*P*=R'*P*B+*
فیلتر باید پیش فاز باشد که در نتیجه سیستم حلقه بسته بصورت پایین گذر فیلتر خواهد شد.
سئوال P1 و q1 را چگونه انتخاب کنیم؟
جواب: یک روش انتخاب بررسی اثر آنها بر روی واریانس y و u است. فرض کنید e(t) دارای واریانس 1 است.
حالت (a): no filtering P"q1=0
این حالت همان وضعیت کنترل حداقل واریانس است بدون هیچگونه فیلتر کردن .
حالت q1=-0.3 p1=0(b)
سه مبدا
الگوریتم STR کلی( تعمیم یافته):
داده ها: پارامترd، مرتبه رگولاتور یعنی درجه و درجه را بدانیم. چند جمله ای رویتگر ( بجای چند جمله ای که نامعلق است
( تقریب ) و چند جمله ای پایدار و سیگنالهای فیلترشده زیر بایستی معرفی شوند:
و
گام 1: تخمین ضرایب و به روش LS:
) Note: )
گام 2: سیگنال کنترل را از روی محاسبه می کنیم.
تکرار گامهای فوق در هر پریود نمونه برداری:
( گام بعدی با قبلی برابر است)
در صورت همگرایی تخمین:
و یا
فرم کلی در صورت عدم حذف همه صفرهای فرآیند اتحاد(2) به شکل زیر نوشته می شود: از این رابطه بدست می آید:
و سیگنال کنتر ل می شود ( مثال در پائین آمده نحوه انتخاب P Q فیلتر ) کنترل فیدفور وارد( پیشخور)STR-( دانستن دینامیک فرآیند لازم است)
کنترل پیشخوری برای کاهش یا حذف اغتشاش معلوم بکار می رود. خود سیگنال فرمان می تواند برای STR ، یک اغتشاش معلوم فرض شود.
( مثالهایی از اغتشاش قابل اندازه گیری(معلوم): در جه حرارت و غلظت در فرآیندهای شیمیایی در جه حرارت خارجی در کنترل آب و هوا- مشخصات کاغذ در سیستمهایmilling machine ).
مدل فرضی:
اغتشاش معلوم
چند جمله ایهای و و بایستی تخمین زده شود و آنگاه:
مثال: تأثیر فیلتر کردن( همان فرآیندهای مثالهای قبل را در نظر بگیرید) (رفتار الگوریتم تعمیم یافته توضیح داده می شود.)
مقادیر پارامتر: ، ،
ایده آل های خطی به ترتیب کوهن-مکوالی
دسته بندی | ریاضی |
فرمت فایل | doc |
حجم فایل | 111 کیلو بایت |
تعداد صفحات | 22 |
ایده آل های خطی به ترتیب کوهن-مکوالی
چکیده- G را یک نمودار غیرمستقیم ساده n راسی در نظر بگیرید و بگذارید برایده آل خطی مرتبطش دلالت کند. مانشان می دهیم که تمام نمودارهای و تری G ، به ترتیب کوهن- مکوالی هستند ، دلیل ما بر پایه نشان دادن این است که دوگانه الکساندر I(G) ،خطی و ازمولفه است.
نتیجه ما فرضیه فریدی را که می گوید ایده آل درخت ساده شده به ترتیب کوهن- مکوالی، هرزوگ، هیبی، می باشد، وفرضیه ژنگ که می گوید یک نمودار وتری کوهن-مکوالی است اگر و تنها اگر ایده آل خطی اش در هم ریخته نباشد، را تکمیل می کند. ما همچنین ویژگی های دایره های مرتب کوهن- مکوالی را بیان می کنیم و نمونههایی از گراف های مرتب غیروتری کوهن- مکوالی را هم ارائه می کنیم.
1-مقدمه
G را یک گراف ساده n راسی در نظر بگیرید پس G هیچ حلقه یا خطوط چندگانه ای پهن دو راس ندارد.) رئوس ومجموعه های خطی G توسط EG VG را به ترتیب نشان دهید. ما ایده آل تک جمله ای غیر مربع چهارگانه با K که یک میزان است و جایی که را به G ارتباط می دهیم.ایده ال ایده آل خطی Gنامیده می شود.
توجه اولیه این مقاله ایده آل های خطی گراف های وتری است. یک گراف G وتری است اگر هر دایره طول یک وتر داشته باشد. اینجا اگر ،خطوط یک دایره طول n باشند، ما می گوییم که دایره وری یک وتر دارد اگر دو راس xj xi در دایره به نحوی وجود داشته باشند که یک خط برای G باشند اما خطی در دایره نباشد.
ما می گوییم که یگ گراف G کوهن –مکوالی است اگر کوهن-مکوالی باشد. چنانکه هرزوگ، هیبی و ژنگ اشاره می کنند، طبقه بندی تمام گراف های کوهن-مکوالی شاید اکنون قابل کشیدن نباشند، این مسئله به سختی طبقه بندی کردن تمام مجموعه های ساده شده کوهن-مکوالی است.]9[.البته هرزوگ، هیبی و ژنگ در ]9[ ثابت کردند که وقتی G یک گراف وتری باشد،پس G در هر میدانی کوهن-مکوالی است اگر وفقط اگر به هم نریخته باشد.
ویژگی کوهن –مکوالی به ترتیب بودن، که شرایطی است ضعیف تر از کوهن-مکوالی بودن، توسط استنلی ]14[ در ارتباط با تئوری قابلیت جدا شدن غیرخالص معرفی شد.
تعریف 1-1- را در نظر بگیرید. یک M معیار B درجه دار کوهن –مکوالی به ترتیب نامیده می شود اگر یک تصفیه معین از معیارهای R درجه بندی وجود داشته باشد.
به نحوی که کوهن –مکوالی باشد، و ابعاد کرول خارج قسمت در حال افزایش باشند:
ما میگوییم یک گراف G کوهن-مکوالی به ترتیب است و در K اگر کوهن-مکوالی به ترتیب باشد. ما می توانیم به نتیجه هرزوگ، هیبی و ژنگ بر سیم البته با استفاده از این تضعیف شرایط کوهن-مکوالی. نتیجه اصلی ما فرضیه زیر است (که مستقل از خاصیت (K) است.
فرضیه 2-1 فرضیه 2-3.تمام گراف های وتری کوهن-مکوالی به ترتیب هستند.
بنابراین حتی گراف های وتری که ایده آل های خطی نشان در هم نریخته نیستند نیز هنوز یک ویژگی جبری را دارا هستند.فرضیه 2-3 همچنین حالت یک بعدی کار فردی در توده های ساده شده ]3[ را نیز عمومیت می بخشد.
مقاله ما به صورت زیر سازمان می یابد. در قسمت بعدی ، ما نتایجی از این ادبیات درباره دوگانگی الکساندر ودرباره گراف های وتری جمع می کنیم. در بخش 3،فرضیه 2.3 را ثابت می کنیم.
ما برخی از گراف های غیروتری در قسمت 4 را که دایره های کوهن-مکوالی را به ترتیب طبقه بندی می کنند بررسی می کنیم و در مورد برخی ازویژگی های گرافهای شامل دایره های –n برای n>3 تحقیق می کنیم.
همچنین شرایط کافی را برای گرافی که نمی تواند کوهن-مکوالی به ترتیب باشد ،ارائه می کنیم.
2-اجزا مورد نیاز
درطول این مقاله، G بر یک گراف ساده روی رئوس n با مجموعه نقطه ای VG ومجموعه خطی EG دلالت می کند. ایده آل خطی ،جایی که را به G مربوط می سازیم.
گراف کامل در رئوس n که بر Kn دلالت شده است،گرافی است با مجموعه خطی ، یعنی گراف این ویژگی را دارد که خطی بین هر جفت رئوس وجود دارد. اگر x نقطه ای در G باشد باید بنویسیم N(x) که بر همسایههای x دلالت کند،یعنی آن رئوسی که خطی را با x شریکند. ما ابتدا باید به حالتی توجه کنیم که G یک گرافی وتری است.گراف های وتری ویژگی زیر را دارند:
لم 21- G [6 7 12 15] را یک گراف وتری در نظر بگیرید، x را یک زیر نمودار کامل از G در نظر بگیرید.اگر ،پس نقطه ای به نام وجود داردکه زیرگراف به وجود آمده توسط مجموعه همسایه مربوط به x، یک گراف کامل باشد. این امر همچنین زیر نمودار به وجود آمده در را وادار می کند که یک زیر گراف کامل باشد.
یک پوشش راس گراف G یک زیر مجموعه از VG است به نحوی که هر خط G حداقل به یک راس A برخوردار داشته باشد. توجه کنیدکه ما هیچ وقت به داشتن یک راس مجزا در پوشش راس نیاز نداریم.
مثلا ، اگر ما گرافی در سه راس داشته باشیم و تنها خط موجود باشد، پس هر دو پوشش های راس هستند. پوشش های راس یک گراف G به دو گانه الکساندر مربوطند.
تعریف 2-2- I را یک ایده آل تک جمله ای غیرمربع در نظر بگیرید. دوگانه الکساندر غیرمربع ایده آل
است.
پس نتیجه ساده ای گرفته می شود:
لم 3-2- G را یک گراف ساده با ایده آل خطی در نظر بگیرید.پس
یک پوشش راس برای G است.
یک تجزیه درجه بندی شده آزاد حداقل به هر ایده آل همگون I از R مرتبط است.
که در آن R(j) بر معیار R به دست آمده از تغییر درجات R توسط j دلالت می کند.
تحقیق آشنایی با ریاضیات
دسته بندی | ریاضی |
فرمت فایل | doc |
حجم فایل | 94 کیلو بایت |
تعداد صفحات | 23 |
آشنایی با ریاضیات
مقدمه: آشنایی با ساختمان منطقی جمله هایی که مطالب ریاضی بوسیله آنها بیان می شوند مستلزم مفاهیم گزاره، گزاره نما، و اسم نماست. این مفاهیم که بخشی از منطق ریاضی مقدماتی محسوب می شوند می توانند مفاهیم و احکام ریاضی را قابل فهم و قابل توضیح نمایند. در عصر حاضر ایفای نقش منطق ریاضی در توجیه و قابل انتقال نمودن مفاهیم در پیشرفت و تکامل کامپیوتر بر هیچکس پوشیده نیست.
2.1 حساب گزاره ها
1.2.1 تعریف: گزاره جمله ای خبری است که یا راست است یا دروغ اگرچه راست یا دروغ بودن آن معلوم نباشد.
برای هر گزاره یک ارزش راستی یا دروغی یا مختصراً یک ارزش قائل می شویم. مثلاً هر یک از جملات«عدد 3 فرد است»،«عدد 6 زوج است» و« اصم است» گزاره هستند. هر یک از گزاره های اول و دوم راست هستند ولی راست یا دروغ بودن گزاره سوم یا مقدمات کنونی، برایمان معلوم نیست ولی در هر حال یا راست است یا دروغ.گزاره ها بطورکلی به سه دسته تقسیم می شوند: گزاره شخصی، گزاره کلی و گزاره جزئی( یا وجودی) نوع اول گزاره ای است که از شیء معینی خبر می دهد. و در این بخش مورد بحث ماست. نوع دوم و سوم را در بخش آینده تعریف و بررسی خواهیم کرد.
از ترکیب گزاره ها گزاره های مرکب حاصل می شود این عمل با رابطهای گزاره ای امکان پذیر است.
2.2.1 رابطهای گزاره ای: گزارها را با حروف p ، q ،v ،s و یا با حرف اندیس دار نظیر ، ،... نشان می دهیم و هر نوع ترکیبی از آنها با الفاظ زیر که رابطهای گزاره ای نامیده می شوند امکان پذیر است.
«چنین نیست که»،«و»،«یا»،« اگر»،« اگر و فقط اگر»
علایم ~ ، &، ، ( یا )، ( یا ) نیز به ترتیب برای این رابط ها بکار خواهند رفت. اینک به توضیح آنها می پردازیم:
3.2.1 نقیض: اگر Pگزاره ای باشد«چنین نیست کهP» را نقیض P می گوییم و با علامت ~P نشان میدهیم. علامت ~ را ناقص و گزاره ای را که ناقص در آن عمل می کند دامنة عمل ناقص می نامیم. پیداست که اگر گزاره ای راست(دروغ) باشد نقیض آن دورغ( راست) است.
بعنوان مثال نقیض گزاره«6 عدد اول است» گزارة«چنین نیست که 6عدد اول است.» و گزاره«6 عدد اول نیست» خواهد بود.
4.2.1 ترکیب عطفی: اگر pو q دو گزاره باشد گزاره«p q » را ترکیب عطفی p با q می گوییم و با علامت نشان میدهیم. علامت& را عاطف و p وq را مؤلفه های
عاطف نامیم. ترکیب عطفی فقط و فقط وقتی راست است که هر دو مؤلفه آن گزاره های راستی باشند.
از الفاظی که از نظر منطقی مترادف عاطف است لفظ« ولی= اما» است مثلاً گزاره«6 زوج است ولی اول نیست» به معنی« 6 زوج است و 6اول نیست» خواهد بود که البته گزاره ای راست است.
5.2.1 ترکیب فصلی: اگرp وq دو گزاره باشند گزارة«p یاq » را ترکیب فصلی p با q نامیده به علامت p v q نشان میدهیم. این گزاره فقط و فقط وقتی دروغ است که هردو مؤلفه آن دروغ باشند. توجه کافی به تفاوت این« یا» که یاء منطقی نامیده می شود با لفظ عادی« یا» که در استعمال عادی برای ترکیب گزاره ها بکار میرود مبذول دارید. در استعمال عادی لفظ«یا» گزارة ترکیب شده فقط وفقط وقتی راست است که یکی از مؤلفه ها راست و دیگری دروغ باشد این نوع«یا» را یاء مانع جمع می نامیم.
در منطق لفظ«یا» همواره به معنی منطقی بکار می رود و «یای» مانع جمع را با تکرار لفظ«یا» و نیز با لفظ« الا» مشخص می کنند. مثلاً گزاره های
« یا 5 فرد یا 5ز وج است»
« 5 فرد است والا زوج است»
به یک معنی هستند که مشخص کننده یای مانع جمع است.
6.2.1 ترکیب شرطی: اگر p و q دو گزاره باشند گزارة« اگر p آنگاه q » را ترکیب شرطی p باq می نامیم و آنرا به علامت ( یا ) نشان می دهیم.
در اینجا مؤلفه p مقدم و مؤلفه q تالی گفته می شود . ترکیب شرطی فقط وقتی دروغ است که pگزارة راست و q گزارة دروغ می باشد.
تذکر1: ارزشهای گزارة عطفی و گزاره از ترتیب مؤلفه ها مستقل است ولی ارزش گزارة شرطی چنین نیست، یعنی ممکن است راست ولی دروغ باشد و یا بالعکس دروغ و راست باشد
تذکر 2: بیان ترکیب شرطی« اگر p آنگاه q » در ریاضیات و نیز در زبان عادی به صورت های متنوعی امکان پذیر است که عبارتند از:
اگر p ، q ؛
هرگاه p آنگاه q ؛
در حالتی که p ، q ؛
q اگر p ،
q به شرطی p ؛
P و فقط وقتی که q ؛
P شرط کافی برای q است؛
q شرط لازم برای p است ؛
شرط کافی برای q آن است که p ؛
شرط لازم برای p آن است که q ؛
P مستلزم q است؛
q از p لازم می آید؛
.
7.2.1 ترکیب دو شرطی : گزارة
« اگر p آنگاه q و اگر q آنگاه p » (1)
ترکیب عطفی دو گزارة شرطی و است که می توان آن را به صورت زیر
نوشت:
مبحث بردارها
دسته بندی | ریاضی |
فرمت فایل | doc |
حجم فایل | 420 کیلو بایت |
تعداد صفحات | 50 |
مبحث بردارها
بردارها:
تساوی در بردار: موازی، هم جهت و هم طولی دو بردار به تساوی آن دو میانجامد.
مجموع دو بردار : روش متوازی الضلاع
روش مثلثی
خواص بردارها:
شرکتپذیری:
بردار صفر: انتها و ابتدای بردار بر هم منطبق است. و با o نشان میدهیم.
برای هر بردار دلخواه داریم
قرینه برای یک بردار: اگر بردار معلومی باشد برای برداری با همان اندازه و جهت مخالف آن قرنیه نام دارد و با مشان داده میشود.
تفاضل دو بردار: تفاضل دو بردار را بصورت زیر تعریف میکنیم:
تذکر: اگر بردار و اسکالر معلوم باشند حاصلضرب است. یعنی برداری با همان جهت ولی برابر طویلتراز اگر و برداری مختلف الجهت با ولی برابر طویلتر از اگر .
برداریکه: هر برداری به طول واحد را یک برداریکه گوئیم. اگر بردار نا صفر باشد یک بردار یکه است.
زاویه بین دو بردار: منظور از زاویه بین دو بردار ناصفر که با نشانداده میشود یعنی زاویهای که باید بچرخد تا جهتش با جهت یکی شود.
°
°
°
ضرب اسکالر( ضرب نقطهای یا داخلی)
منظور از حاصلضرب اسکالر دو بردار که با نشانداده میشود یعنی عدد:
زاویه بین دو بردار را میتوان از به یا از به سنجید. زیرا و
تذکر: 1.
2.
3. حاصلضرب صفرا ست اگر تنها اگر همچنین بردار صفر بر هر برداری عمود است.
مثال: مثال : اگر خط جهت دار و بردار معلوم باشد منظور از تصویر اسکالر روی L که به صورت نوشته میشود.
یعنی:
بطور کلی با معلوم بودن دو بردار منظور از تصویر اسکالر روی یعنی
قضیه: اگر و آنگاه :
نتیجه:
مثال : اگر بردار آنگاه:
هر برداری در ضرب شود مؤلفه اول بدست میآید و اگر در ضرب شود مؤلفه بدست میآید:
تذکر1:
آنگاه
2.
مثال: و را در صورتیکه با هم زاویه ° 60 بسازند. را بیابید.
ضرب برداری( خارجی)
برداری است که بر صفحه دو بردار عمود است.
منظور از حاصلضرب خارجی دو بردار که با نشان داده میشود یعنی بردار بطوریکه:
1- اندازة C برابر است با:
2- بر صفحه عمود است و در جهت حرکت یک پیچ( راست دست) ک تیغهاش از به باندازه میچرخد نشان داده
تذکر: هرگاه یا یا آنگاه
مساحت متوازیالضلاع ارتفاع قاعده
با توجه به فرمول قبل و شکل بالا نتیجه میگیریم که مساحت متوازیالضلاعی که توسط بردارهای و ساخته میشوند با ضرب خارجی برابر است.
و مساحت مثلث ساخته شده توسط دو بردار قبل نصف مقدرا قبلی است .
مساحت مثلث
تذکر: حاصلضرب خارجی با معکوس شدن و ترتیب بردارهای تغییر علامت میدهد.
مثال هرگاه . بردارهای متعاعد یک، باشند.
تذکر :1
2
3-ضربهای برداری شرکتپذیر نیستند.
قضیه: هرگاه :
آنگاه
مثال: مساحت مثلث به راسهای:
و و را بیابید.
* ضربهای سه تایی از بردارها
حاصلضرب سه تایی را در نظ بگیرید واضح است که:
که درآن مساوی ارتفاع(h) متوازی سطوح پوشیده بوسیلة بردارهای است و چون مساحت قاعده متوازیالضلاع است پس متوازیالضلاع برابر حجم متوازیالسطوح است.
قضیه:هرگاه و ، آنگاه
مثال: ثابت کنید
* صفحه:
یک صفحه بردار ناصفر عمود بر صفحه بطور منحصر بفرد مشخص میشود بردار n قائم بر صفحه نامیده میشود.
قضیه: هر صفحه معادلهای به شکل دارد که در آن A B C همگن صفر نیستند بر عکس هر گاه C B A همگی صفر نباشند هر معادله به شکل (1) معادله یک صفحه را مشخص میکند.
معادله صفحهای که از نقطة میکند و بردار قائم آن است عبارتست از
مثال: بازای دو نقطه معلوم:
صفحه مابر عمود بر خط گذرنده از رابیابید:
صفحه P به معادله عبارت است از:
مثال: معادله صفحهای و موازی دو بردار و و را محاسبه کنید.
مثال : معادله صفحه گذرنده از نقاط و و عمود بر صفحه باشد را بدست آورید.
N عمود بر صفحه مورد نظر
* خطوط در
خط ما با یک نقطه معلوم روی L و بردار دلخواه موازی L بطور مختصر به فرد مشخص میشود فرض کنید: نقطه دلخواهی در باشد در اینصورت هر گاه باشد یعنی که t یک اسکالر است.
معادلات پارامترهای خط
معادله متعارف خط L
با معادله خطی که از نقطه میگذرد و با بردار u موازی است.
تذکر:
اگر یکی از مخرجهای c b a در معادله متعارف صفر باشد صورت نیز باید صفر باشد مثلاَ اگر ، معادله خط بصورت زیر نوشته میشود.
مثال: معادله خط گذرانده از نقطه موازی خط
حل :
مثال:
فصل مشترک دو صفحه
را بدست آورید:
مثال:
معادله خط گذرنده از دو نقطه: ،
حل :
مثال :
ثابت کنید خط: و فصل مشترک صفحات و موازیاند:
و
حل :
بردار فصل مشترک
* توابع برداری:
در این فصل با ترکیب حساب دیفرانسیل انتگرال و بردارها مطالعه حرکت اجسام در فضا میپردازیم برای این منظور مؤلفههای عددی بردار شعاعی از مبدأ تا جسم را توزیع مشتقپذیری از زمن فرض کنیم و به این ترتیب بردارهای جسم را توصیف میکنند بدست میآوریم:
بردار شعاعی
از مبدآ تا نقطه که مکان زیر را در لحظه t از حرکتش در فضا بدست میآوریم.
* مشتق یک تابع برداری:
اگر و و توابعی با مقادیر حقیقی باشند از t باشند و بردار
یک تابع با مقادیر برداری از t باشد بردار مشتق F نسبت به t میباشد مانند حالت حرکت در صفح طول بردار بسرعت، مقدار سرعت جسم و جهت بردار سرعت جهت حرکت است.
مثال: بردار مکان یک جسم متحرک در لحظه t را مشخص میکند.
در مقدار سرعت و جهت ر مشخص کنید در چه لحظهای در صورت وجود سرعت و شتاب جسم بر هم عمودند.
جهت سرعت
در لحظه شتاب و سرعت بر هم عمودند.
* قاعده زنجیرهای:
اگر مکان ذرهای باشد که روی یک مسیر در حرکت است و اگر با قرار دادن تابعی از بجای متغیرها را عوض کنیم مکان ذره تابعی از S میشود داریم:
تحقیق نرم افزار مدیریت هتلداری
دسته بندی | کامپیوتر و IT |
فرمت فایل | doc |
حجم فایل | 5.784 مگا بایت |
تعداد صفحات | 180 |
هدف از سند حاضر، جمع آوری، تحلیل و تعریف ویژگیها و نیازمندیهای سطح بالا و حد و مرز های سیستم نرم افزاری هتلداری میباشد. از سوی دیگر در این سند به شناسایی اشخاص ذینفع در پروژه و محدودیتهایی که در تولید نرم افزار باید مدنظر قرار گیرند، پرداخته است. طرح کلی نیازمندیهای محوری سیستم نرم افزار مذکور را بیان میسازد که مبنای قراردادی برای نیازمندیهایی است که در طول پروژه در قالب موارد کاربرد و نیازمندیهای تکمیلی به طور کامل تشریح و پیادهسازی میشوند. این سند یک دید جامع از معماری سیستم مدیریت هتلداری را ارائه می دهد و همچنین طرحی را برای آزمایش سیستم مدیریت هتلداری شرح می دهد. این سیستم برای مکانیزه شدن قسمتی از امور بخش رزرواسیون هتل تقاضا کننده توسعه داده می شود .
کلمات کلیدی: اشخاص ذینفع، محدودیتها، نیازمندیها، معماری نرم افزار، رزرواسیون، مکانیزه شدن، آزمایش سیستم
فهرست مطالب
چکیده 1
مقدمه 2
1 فصل اول: کلیات.. 5
1.1... امکانات نرم افزار مدیریت هتلداری:6
2 فصل دوم: سند چشم انداز. 12
2.1... مقدمه. 8
2.1.1هدف.. 8
2.1.2محدوده. 8
2.1.3تعاریف، اعتبارات و اختصارات... 8
2.1.4منابع.. 8
2.1.5مرور. 8
2.2... جایگاه. 11
2.2.1شرح مسئله. 12
2.2.2شرح موقعیت درخواست... 12
2.3... شرح دست اندرکاران و کاربران.. 13
2.3.1خلاصه مشخصات ذینفعان.. 13
2.3.2خلاصه کاربران.. 13
2.3.3محیط کاربر. 14
2.3.4نیازمندیهای کلیدی ذینفعان و کاربران.. 14
2.4... دیدگاه. 15
2.4.1خلاصه تواناییها. 15
2.4.2مجوز استفاده و نصب... 16
2.5... مشخصات... 16
2.5.1چارچوب اطلاعات و خدمات قابل ارائه. 16
2.5.2استفاده از کاربران سیستم.. 16
2.6... محدودیتها. 17
2.7... دامنههای کیفی.. 17
2.8... اولویتها. 18
2.9... سایر نیازمندیهای.. 18
2.9.1استانداردهای کاربردی.. 18
2.9.2نیازمندیهای سیستم.. 18
2.9.3نیازمندیهای غیر وظیفهمندی.. 18
2.9.4نیازمندیهای محیطی.. 18
2.10. نیازمندیهای مستند سازی.. 18
3 فصل سوم: مشخصات تکمیلی سند چشم انداز. 19
3.1... نسخه ویندوز مورد استفاده. 21
3.2... طراحی برای سهولت استفاده. 21
3.3.... Online Help. 22
4 فصل چهارم: طرح تکرار. 24
4.1... مقدمه. 25
4.1.1اهداف.. 25
4.1.2دامنه. 25
4.1.3تعاریف و اصطلاحات... 25
4.1.4ارجاعات... 25
4.1.5دید کلی.. 25
4.2... طرح.. 25
4.2.1فعالیت های تکرار. 26
4.2.2موارد قابل تحویل.. 26
5 فصل پنجم: مورد کاری.. 28
5.1... هدف.. 29
5.2.... یکپارچه شدن بانک اطلاعاتی.. 29
5.3.... تسریع در عملیات مدیریت هتل داری.. 29
5.4.... اطمینان به سیستم مدیریت هتل داری.. 29
5.5.... هشدار به منظور موجودی اتاقها و سررسید زمان تحویل اتاق.. 29
5.6.... انجام بهتر ارائه خدمات... 30
6 فصل ششم: ریسک... 31
7 فصل هفتم: معماری نرم افزار. 35
7.1... محدودیت ها و اهداف معماری.. 37
7.2... دیدگاه موارد کاربری.. 37
7.3... دیدگاه منطقی.. 39
7.4... دیدگاه پروسس.... 40
7.5... دیدگاه استقرار. 40
7.6... اندازه و کارایی.. 40
7.7... کیفیت... 40
8 فصل هشتم: طرح آزمایش... 41
8.1.... نیازمندی های آزمایش.... 43
8.2.... آزمایش رابط کاربر. 44
8.3.... آزمایش کارایی.. 44
8.4.... آزمایش بار. 45
8.5.... آزمایش فشار. 45
8.6.... آزمایش پیکربندی.. 45
8.7.... آزمایش نصب... 45
8.8... استراتژی آزمایش.... 46
8.9.... انواع آزمایش.... 46
8.10. آزمایش سیستم.. 46
8.11. آزمایش رابط کاربر. 47
8.12. آزمایش کارایی.. 47
8.13. آزمایش فشار. 48
8.14. آزمایش کنترل دستیابی و امنیت... 48
8.15.. آزمایش FAILOVER/RECOVERY. 48
8.16. آزمایش پیکربندی.. 49
8.17. آزمایش نصب... 49
9 فصل نهم: نگاهی دیگر به مسئله. 51
9.1.... شرح مسئله :52
9.2... ذینفعان و کاربران سیستم.. 52
9.3... کارکردهای سیستم.. 54
9.3.1مدیریت... 54
9.3.2پذیرش... 55
9.3.3مالی.. 56
9.3.4رزرو. 57
9.4... مشخصات محصول.. 58
10 فصل دهم: نمودارها59
10.1.. نمودار موارد کاربردی.. 61
10.2.. نمودار ترتیبی.. 62
10.2.1نمودار ترتیبی رزرو میهمان.. 63
10.2.2نمودار ترتیبی پذیرش میهمان.. 64
10.3. نمودار همکاری.. 65
10.3.1نمودار همکاری پذیرش میهمان.. 66
10.3.2نمودار همکاری رزرو. 67
10.4.. نمودار کلاس... 68
11 فصل یازدهم: سناریو موارد کاربردی.. 70
12 فصل دوازدهم: مستند فرم ها، گزارش و کدها77
12.1. فرم لاگین.. 81
12.2. فرم ابتدایی.. 84
12.3. فرم مشخصات اولیه میهمان.. 92
12.4. فرم عملیات رزرو میهمان.. 98
12.5. فرم پذیرش میهمان.. 103
12.6. فرم جستجوی میهمان.. 110
12.7. فرم جستجو گروه. 116
12.8. فرم جستجو اتاق.. 118
12.9. فرم درج فاکتور. 123
12.10فرم مشاهده ی لیست فاکتورها 124
12.11فرم درج و جستجوی اتاق ها 131
12.12فرم مشاهده ی وضعیت اتاق ها 135
12.13 فرم پرسنلی 138
12.14فرم سیستم مالی کارکنان 143
12.15فرم مدیریت کاربران 146
12.16فرم گزارش میهمانان 148
12.17فرم گزارش پرسنل 153
12.18فرم گزارش مالی یک پرسنل خاص 155
12.19فرم تنظیمات 157
منابع و ماخذ
فهرست منابع لاتین 160
فهرست سایت های اطلاع رسانی164
فهرست جداول
جدول 1 امکانات نرم افزار مدیریت هتلداری... 6
جدول 2 جدول ریسک ها. 34
فهرست نمودارها
نمودار 1 موارد کاربردی... 61
نمودار 2 نمودار ترتیبی رزرو میهمان.. 63
نمودار 3 نمودار ترتیبی پذیرش میهمان.. 64
نمودار 4 نمودار همکاری پذیرش میهمان.. 66
نمودار 5 نمودار همکاری رزرو. 67
نمودار 6 نمودار کلاس.... 69
فهرست اشکال
شکل 1 فرم لاگین.. 81
شکل 2فرم ابتدایی.. 85
شکل 3 فرم مشخصات اولیه میهمان. 92
شکل 4فرم عملیات رزرو میهمان. 98
شکل 5 فرم پذیرش میهمان. 103
شکل 6 فرم جستجوی میهمان. 110
شکل 7 فرم جستجو گروه. 116
شکل 8فرم جستجو اتاق.. 118
شکل 9 فرم درج فاکتور. 123
شکل 10 فرم مشاهده ی لیست فاکتورها124
شکل 11 فرم درج و جستجوی اتاق ها131
شکل 12 فرم مشاهده ی وضعیت اتاق ها135
شکل 13 فرم پرسنلی.. 138
شکل 14 فرم سیستم مالی کارکنان. 143
شکل 15فرم مدیریت کاربران. 146
شکل 16 فرم گزارش میهمانان. 149
شکل 17 فرم گزارش پرسنل.. 153
شکل 18 فرم گزارش مالی یک پرسنل خاص... 155
شکل 19 فرم تنظیمات.. 157