نتایج جستجو برای: مدل ریاضی fluent
تعداد نتایج: 130310 فیلتر نتایج به سال:
The paper is an exercise in formal program development. We rigorously show how planning problems encoded as entailment problems in the uent calculus can be mapped onto satissability problems for propositional formulas, which in turn can be mapped to the problem to nd models using binary decision diagrams. The mapping is shown to be sound and complete. Preliminary experimental results of an impl...
This paper describes a polynomially-solvable subproblem of temporal planning. Polynomiality follows from two assumptions. Firstly, by supposing that each sub-goal fluent can be established by at most one action, we can quickly determine which actions are necessary in any plan. Secondly, the monotonicity of sub-goal fluents allows us to express planning as an instance of STP. Our class includes ...
In this paper we discuss conjunctive planning problems in the context of the fluent calculus and Petri nets. We show that both formalisms are equivalent in solving these problems. Thereafter, we extend actions to contain preconditions as well as obstacles. This requires to extend the fluent calculus as well as Petri nets. Again, we show that both extended formalisms are equivalent.
دیوار ترومب یا دیوار خورشیدی به عنوان یکی از روش‌های غیرفعال در گرمایش خورشیدی دسته‌بندی می‌شود. در این مقاله جریان هوای داخل محفظه دیوار ترومب توسط روش حجم محدود که از جمله روش‌های مرسوم دینامیک سیالات محاسباتی است، شبیه‌سازی شده است. در شبیه‌سازی‌ها از نرم‌افزار تجاری Ansys Fluent استفاده شده است. در ابتدا یک مدل مرجع معرفی شده و نتایج آن ارائه شده است سپس با استفاده از این مدل مرجع، پارامت...
آموزش معلمان در دوره های پیش از خدمت و ضمن خدمت، یکی از دغدغههای اصلی نظام های آموزشی بوده و هست. در این مقاله با تمرکز روی آموزش های ضمن خدمت معلمان ریاضی، یک «مدل نظری» برای کم کردن شکاف بین نظریه و عمل (تحقیق و تدریس) ارائه شده است. برای رسیدن به این منظور، ابتدا ضرورت توجه به دوره های ضمن خدمت معلمان بیان گردیده است. سپس با ذکر کاستیهای موجود در دوره های آموزش ضمن خدمت برای معلمان ریاضی ا...
چکیده ندارد.
در این تحقیق فرآیند های رشد توده زیستی ریزجلبک، تجمع لیپید سلولی و پارامتر های موثر بر هر یک از آن ها، به صورت دینامیکی شبیه سازی شد. ریزجلبک یک میکروارگانیسم تک سلولی است که برای شروع فعالیت فتوسنتزی خود به انرژی نورانی، دی اکسید کربن، مواد مغذی و کنترل پارامتر های محیطی نیاز دارد. شواهد آزمایشگاهی حاکی از آن است که میزان لیپید تجمع یافته در اکثر گونه های ریزجلبک سبز در شرایط محدودیت دسترسی به...
با توجه به نشت ترکیبات نفتی از لوله های سطحی و زیرزمینی، مخازن نگه داری و حوضچه های تبخیر پالایشگاه ها که منجر به آلودگی خاک این مناطق گردیده است، لزوم بررسی میزان غلظت آلاینده های خطرناک در خاک این مناطق ضروری است. میزان و گستردگی این نفوذ به خاصیت و ویژگی خاک (تخلخل، نفوذ پذیری، مقدار آب موجود در خاک و ....) و همین طور به ماهیت و کمیّت مواد آلاینده بستگی خواهد داشت. مشخص شدن میزان ماده نشت شده...
The real-world application of planning techniques often requires models with numeric fluents. However, these fluents are not directly supported by most planners and heuristics. We describe a family of planning algorithms that takes a numeric planning problem and produces an abstracted representation that can be solved using any classical planner. The resulting abstract plan is generalized into ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید