نتایج جستجو برای: based and synthesis approaches conformance
تعداد نتایج: 17386774 فیلتر نتایج به سال:
Process Conformance is a crucial step in the area of Process Mining: the adequacy of a model derived from applying a discovery algorithm to a log must be certified before making further decisions that affect the system under consideration. Among the different conformance dimensions, in this paper we propose a novel measure for precision, based on the simple idea of counting these situations wer...
a professional is someone whose work involves performing a certain function with some degree of expertise. but a narrower definition limits the term to apply to people such as teachers and doctors, whose expertise involves not only skill and knowledge but also the exercise of highly sophisticated judgment, and whose accreditation necessitates extensive study, often university-based as well as p...
applications such as high definition viedeo reproduction, portable computers, wireless, and multimedia demand, and ever-increasing need for ligh-frequency high-resolution and low-power analog-to-digital converters. flash, two-step flash, and pipeline convertors are fast but consume large amount of power and require large area. to overcome these problems, successive approximation converter blo...
in iran we already use laminate tubes only in cosmetics industry. laminate tube manufacturers via using the most modern technology of the world, faced with the laminate tube market being saturated in cosmetics industry for packaging the cosmetic creams and toothpaste. but considering the great food market and therefore laminate tube features such as beautiful packaging, ease of use for the fina...
It seems that finite state machines (FSM's) and (finite) labeled transition systems (LTS's) are competing descriptive models for system specifications in various areas, including communication protocols. Much work on the derivation of tests from a given system specification has been done separately for these two models. In this paper, we attempt to make a comparative study of existing approache...
کاتالیست یک سنتز جدید برای تیواترها توصیف شده است. واکنش الکل ها با آریل، هتروآریل و آلکیل تیو ل ها درحضور 1،3،5- تری آزو- 2،4،6- تری فسفرین-2،2،4،4،6،6 هگزاکلراید ((tapc به عنوان یک کاتالیست موُثر، بازده های خوب تا عالی از تیواترها را حاصل می کند. علاوه براین، واکنش تحت شرایط بدون فلز و بدون حلال پیش می رود، بنابراین یک مکمل جالب برای روش های شناخته شده سنتز تیواترها ارائه می دهد. یک مکانیسم ا...
abstract reception environment has considerable effects on accepting a translation. as the expectations of a target culture and its values and needs change throughout history, its criteria for accepting a translation or rejecting it will change accordingly (gentzler, 2001). the expectations of iran, as the reception environment in the present study, have changed after the islamic revolution. i...
gol-e-gohar iron ore mine of sirjan in southern part of iran is a large open pit that operates below the groundwater table and during mining operation, dewatering is required to prevent operation processes from flooding. current operation is going on by digging wells in or out of the pit and pumping to prevent flooding. as a result of the former dewatering operation a vast deep cone of depressi...
This paper presents and compares the possible energy savings in various approaches to outdoor lighting modernization. Several solutions implementable using currently-available systems are presented and discussed. An innovative approach using real-time sensor data is also presented in detail, along with its formal background, based on Artificial Intelligence methods (rule-based systems) and grap...
In this paper we explore the generation of conformance test cases for Recursive Tile Systems (RTSs) in the framework of the classical ioco testing theory. The RTS model allows the description of reactive systems with recursion, and is very similar to other models like Pushdown Automata, Hyperedge Replacement Grammars or Recursive State Machines. Test generation for this kind of models is seldom...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید