نتایج جستجو برای: preliminary model
تعداد نتایج: 2236854 فیلتر نتایج به سال:
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...
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...
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...
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...
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...
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...
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...
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...
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...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید