نتایج جستجو برای: متدولوژی rup

تعداد نتایج: 1727  

2011
Duckki Oe

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...

2002
Carole Bernon Marie Pierre Gleizes Sylvain Peyruqueou Gauthier Picard

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...

2015
Kenichi Kobara Hisashi Takahashi Daisuke Fujita Hiroshi Osaka Tomotaka Ito Tadanobu Suehiro Susumu Watanabe

[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...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی امیرکبیر(پلی تکنیک تهران) - دانشکده مهندسی صنایع 1387

سازمان ها در پاسخ به رقابت جهانی مجبور به افزایش توان عملیاتی و سرعت تولید هستند. پژوهشگران معماری های متنوعی برای سیستم های تولید کف کارگاه ارایه نموده اند که هر کدام دارای مزایا معایب و ویژگی های خاص خود هستند. هنگام طراحی یک سیستم کنترل لازم است تفکیکی طبیعی از فرآیندهای عملیات تولید مشخص نموده تا مدل کنترل مورد استفاده به دور از هر پیش داوری و ساختار ذهنی شکل گیرد. در این پژوهش ابتدا دو مدل...

Journal: :CoRR 2010
Sheikh Muhammad Saqib Shakeel Ahmad Shahid Hussain Bashir Ahmad Arjamand Bano

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...

ژورنال: :پژوهش حسابداری 2014
محمدحسین صفرزاده محمد عرب مازار یزدی

صدها متدولوژی ایجاد سیستم اطلاعاتی حسابداری وجود دارد که تا حد زیادی با یکدیگر متفاوت هستند. با این وجود، تعداد متدولوژی هایی که سازمانها در عمل از آنها استفاده می کنند، چندان زیاد نیست. به منظور انتخاب آگاهانه از بین متدولوژی های مختلف، باید آنها را طبقه بندی نمود به گونه ای ویژگی های اصلی و بنیادی آنها از ویژگی های غیراصلی مجزا شود. هدف این مقاله، ارائه یک طبقه بندی است تا به افراد دانشگاهی ...

Journal: :Agriculture 2021

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...

2012
Markus Bohlin Florian Dahms Holger Flier Sara Gestrelius

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...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید