پياده سازي منطق زماني LTL
یازده سال پیش منتشر شده
تعداد بازدید: 780
کد پروژه: 21820
شرح پروژه
صورت مسئله اي در کتاب سامرويل وجود دارد به نام Air Craft، ميخواهم اين مسئله را با منطق زماني LTL و يا يکي از گسترش هاي آن پياده سازي کنم (در واقع يک سري گزاره ي منطقي ميخواهم که بيان گر شرايطي باشد که لازم است برقرار باشد)
مسئله تقريبا اين طور است که در مورد حرکت يک هواپيما شرايطي ذکر شده است، مثلا ارتفاع هواپيما نبايد از يک مقدار مشخصي پايين تر بيايد و اگر آمد يک خطا است، يا مثلا اگر هواپيما از فلان ارتفاع بالاتر رفت يک اتفاقات ديگري بيفتد و ...
حالا من ميخواهم تمامي شرايط مذکوررا با زبان LTL يا يکي از گسترش هاي اون بنويسم و بعد بتونم در يک نرم افزار که LTL ميخونه بخونمش (مثلا نرم افزار هاي مدل چکر، يا مثلا رومئو، يا PAT)
قابل تحویل:
مهارت ها و تخصص های مورد نیاز
مهلت برای انجام
5روز
وضعیت مناقصه
بسته
درباره کارفرما
عضویت پانزده سال پیش
