منابع مشابه
OSMOSE: automatic structural testing of executables
architecture and GAL program. An abstract architectureX is defined by a pairX = 〈R,M〉 where R is a finite set of variables ranging over m-words and M is a finite set of (disjoint) arrays of mwords, called memory regions (shortly, m-regions). Each m-region is indexed by non-negative integer values, called addresses. A memory location (m-loc) is defined as being either a register or the cell of a...
متن کاملOSMOSE: a Paradigm for the Liquid-Sensing Enterprise
With the spreading of sensors networks, the management of business reality has been progressively changed exploiting the inherent features of the future IoT and smart objects. Today’s enterprises need to become self-aware not only in terms of their networked ecosystem but also in face of their inner sub-systems and devices. Indeed, the integration of service and event technology, smart agents a...
متن کاملNegative Thinking
روانشناسی عامه، مشوقی است که " قدرت نیروی تفکر مثبت " را بدانیم از " مکالمه درونی مثبت " در جهت اعتلاء تفکر استفاده کنیم. " این فلسفه نیک اندیشی " نه در همه موارد اما یقیناً در پاره ای موارد کارآمد است. در بعضی از مواقع میزان مناسبی از احتیاط شک و حتی ظن می تواند در سالمتر نمودن انتخاب تأثیر شایانی داشته باشد.
متن کاملHydraulic Jump over Negative Slopes with Negative Steps
Many studies have been conducted on the characteristics of hydraulic jumps over horizontal basins. On sloping basins, however, few such studies have been performed so that the issue requires more investigation. A significant number of studies has also been conducted on basins with positive slopes but comparatively few have been carried out on basins with negative slopes. This study was carried ...
متن کاملHydraulic Jump over Negative Slopes with Negative Steps
Many studies have been conducted on the characteristics of hydraulic jumps over horizontal basins. On sloping basins, however, few such studies have been performed so that the issue requires more investigation. A significant number of studies has also been conducted on basins with positive slopes but comparatively few have been carried out on basins with negative slopes. This study was carried ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the American Chemical Society
سال: 1914
ISSN: 0002-7863,1520-5126
DOI: 10.1021/ja02181a004