نتایج جستجو برای: preliminary model

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

پایان نامه :دانشگاه آزاد اسلامی - دانشگاه آزاد اسلامی واحد تهران مرکزی - دانشکده زبانهای خارجی 1391

since its introduction in 1959, translation quality assessment (tqa) has been among the most addressed research topics in translation studies. during recent years, there has been a crucial increase on the study of tqa. various methods have come on scene. although these methods are based on scientific theories, most of them have remained at the level of theory. juliane house’s model is among tho...

This research is a survey and exploratory study to present a conceptual model for the sustainable development of Iran based on social entrepreneurship. Its approach for conceptual modeling is based on Path Analysis through Multiple Regression Method. The study has benefited from five questionnaires (four for the Delphi Method’s rounds and another for the conceptual modeling itself). The statist...

2006
M. Radimirsch E. V. Matthiesen G. Huszerl M. Reitenspieß M. Kaâniche I. E. Svinnset A. Casimiro L. Falai Anne Bock Markus Radimirsch Erling V. Matthiesen Gábor Huszerl Manfred Reitenspieß Mohamed Kaâniche Inge Einar Svinnset António Casimiro Lorenzo Falai

Keyword list: HIDENETS, dependability, communication systems, ad hoc networks, wireless, middlewaresolutions, car-to-car communication, applications, use cases, business impact, preliminary reference modelThis document provides the starting point for the development of dependability solutions in theHIDENETS project with the following contents:(1) A conceptual framework is define...

2007
Praveen Paritosh Will Bridewell

Building models of a complex system such as an ecosystem or a chemical plant is an arduous task that can take several person months to complete. One rarely knows the scope of the model, its assumptions and claims, at the outset of the task, let alone how to state those in a formal language. To make this task manageable, modelers start at the whiteboard – by making free-form drawings that captur...

2002
G. Biegel C. Brudna A. Casimiro J. Kaiser C. Liu C. Mitidieri P. Veríssimo

The present paper compares interaction and communication mechanisms used in distributed control systems, focusing on object-oriented and component-based development. The standard communication model used in distributed object-oriented systems is the remote method invocation. We argue that this client/server oriented model has some severe drawbacks when used in a control system where objects may...

1996
Erik M. Altmann Bonnie E. John

Expert programming involves the manipulation of large amounts of memory, including external memory represented on a display, semantic memory for expert knowledge, and episodic memory about what has transpired during a particular programming session. We present a computational cognitive model that emulates several minutes of expert, naturalistic programming behavior. The model has three high-lev...

2002
P. Barron G. Biegel V. Cahill A. Casimiro S. Clarke R. Cunningham A. Fitzpatrick G. Gaertner B. Hughes J. Kaiser R. Meier P. Veríssimo

Technological advances will allow the integration of smart devices which may comprise sensor components, computational devices and a network interface. The built-in computational component enables the implementation of a well-defined high level interface that does not just provide raw transducer data, but a pre-processed, application-related set of process variables. The paper deals with two is...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز 0

a semi-empirical mathematical model for predicting physical part of ignition delay period in the combustion of direct - injection diesel engines with swirl is developed . this model based on a single droplet evaporation model . the governing equations , namely , equations of droplet motion , heat and mass transfer were solved simultaneously using a rung-kutta step by step unmerical method . the...

2012
Eduardo de Senzi Zancul

The adoption of product lifecycle management (PLM) business approach requires the implementation of PLM systems. Currently there is a wide variety of PLM systems in the market, but the scope differences between existing systems hamper the selection process for manufacturing companies. This paper presents a reference model for PLM systems and discusses a preliminary proposal for the evolution of...

2003
N. Markey

We consider the problem of checking whether a finite (or ultimately periodic) run satisfies a temporal logic formula. This problem is at the heart of “runtime verification” but it also appears in many other situations. By considering several extended temporal logics, we show that the problem of model checking a path can usually be solved efficiently, and profit from specialized algorithms. We f...

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

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