نتایج جستجو برای: متدولوژی rup
تعداد نتایج: 1727 فیلتر نتایج به سال:
We describe work in progress on a new approach, and associated tools, for checking proofs produced by SMT solvers. The approach extends our previous work on LFSC (“Logical Framework with Side Conditions”), a meta-language in which different proof systems for different SMT solvers can be declaratively specified. In this paper, we show how the LFSC proof checker can delegate the checking of propo...
Adaptive software is used in situations where either the environment is unpredictable or the system is open. This paper presents a methodology named ADELFE, which is led by the Rational Unified Process (RUP) but is devoted to software engineering of adaptive multi-agent systems. ADELFE guarantees that the software is developed according to the AMAS theory. We focus this presentation on the addi...
[Purpose] The purpose of this study was to investigate the effect of the timing of leg support elevation on the horizontal force acting on the buttocks in a reclining wheelchair. [Subjects and Methods] The participants were 17 healthy men. Two experimental conditions were tested: the leg-down and leg-up conditions. The back support was reclined at increasing angles, from the initial upright pos...
سازمان ها در پاسخ به رقابت جهانی مجبور به افزایش توان عملیاتی و سرعت تولید هستند. پژوهشگران معماری های متنوعی برای سیستم های تولید کف کارگاه ارایه نموده اند که هر کدام دارای مزایا معایب و ویژگی های خاص خود هستند. هنگام طراحی یک سیستم کنترل لازم است تفکیکی طبیعی از فرآیندهای عملیات تولید مشخص نموده تا مدل کنترل مورد استفاده به دور از هر پیش داوری و ساختار ذهنی شکل گیرد. در این پژوهش ابتدا دو مدل...
Management of project planning, monitoring, scheduling, estimation and risk management are critical issues faced by a project manager during development life cycle of software. In RUP, project management is considered as core discipline whose activities are carried in all phases during development of software products. On other side service monitoring is considered as best practice of SOA which...
صدها متدولوژی ایجاد سیستم اطلاعاتی حسابداری وجود دارد که تا حد زیادی با یکدیگر متفاوت هستند. با این وجود، تعداد متدولوژی هایی که سازمانها در عمل از آنها استفاده می کنند، چندان زیاد نیست. به منظور انتخاب آگاهانه از بین متدولوژی های مختلف، باید آنها را طبقه بندی نمود به گونه ای ویژگی های اصلی و بنیادی آنها از ویژگی های غیراصلی مجزا شود. هدف این مقاله، ارائه یک طبقه بندی است تا به افراد دانشگاهی ...
This study was conducted to investigate the effect of decreasing concentrations dietary neutral detergent fiber (NDF) at high rumen undegradable protein (RUP) on performance, digestibility, chewing activity, blood attributes, and carcass characteristics in 32 weaned male Afshari lambs (90 days age; 26 kg initial body weight; BW). Dietary metabolic energy (ME) increased from 10.6–11.5 11.8 MJ/kg...
We consider planning of freight train classification at hump yards using integer programming. The problem involves the formation of departing freight trains from arriving trains subject to scheduling and capacity constraints. To increase yard capacity, we allow the temporary storage of early freight cars on specific mixed-usage tracks. The problem has previously been modeled using a direct inte...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید