نتایج جستجو برای: csp
تعداد نتایج: 6017 فیلتر نتایج به سال:
Timed CSP extends CSP by introducing a capability to quantify temporal aspects of sequencing and synchronization. It is a powerful language to model real time reactive systems. However, there is no verification tool support for proving critical properties over systems modelled using Timed CSP. In this work, we construct a reasoning method using Constraint Logic Programming (CLP) as an underlyin...
CSP-OZ [C. Fischer, CSP-OZ: A combination of Object-Z and CSP, in: H. Bowman, J. Derrick (Eds.), Formal Methods for Open Object-Based Distributed Systems, FMOODS’97, vol. 2, Chapman & Hall, 1997, pp. 423–438] is a combination of Communicating Sequential Processes (CSP) and Object-Z (OZ). It enables the specification of systems having both a state-based and a behaviouroriented view using the obj...
BACKGROUND AND STUDY AIMS Cold snare polypectomy (CSP) for small colorectal polyps has lower incidence of adverse events, especially delayed postpolypectomy bleeding (DPPB). However, few data are available on comparisons of the incidence of DPPB of CSP and hot polypectomy (HP). The aim of this study was to evaluate the incidence of DPPB after CSP and compare it with that of HP. A propensity sc...
C. Hoare’s Communicating Sequential Processes (CSP) notation [12] to describe communication patterns of highly parallel systems is based on a well defined semantic and is accompanied by a wealth of research. This allows automatic checks for important properties like deadlock-freedom, livelock-freedom etc.. In order to obtain an executable system for simulation and later synthesis the algebraic ...
In the present paper, integrable semi-discrete and fully discrete analogues of a coupled short pulse (CSP) equation are constructed. The key to the construction are the bilinear forms and determinant structure of the solutions of the CSP equation. We also construct N-soliton solutions for the semi-discrete and fully discrete analogues of the CSP equations in the form of Casorati determinants. I...
CSP‖B is a combination of CSP and B which supports the design and verification of systems where control and state are both important. Recent work on combining the pi-calculus with B introduces mobility into the control of B machines and enables them to be passed around. This additional functionality is appropriate for modeling systems such as peer-to-peer networks. While the pi-calculus is appr...
The global awareness of the impacts of climate change is a key driver of the quick pace of development of renewable energy technologies. The concentrated solar plant (CSP) technology has emerged as a promising approach to harness solar energy, with several implementations under way around the world. Unlike PV and wind resources, a CSP allows the deployment of the thermal energy storage (TES), w...
در این مقاله مسئله طبقه بندی سیگنالهای eeg مبتنی بر تصور حرکتی برای یک سیستم واسط مغز-کامپیوتر (bci)، توسط طبقه بندی کننده مبتنی بر نمایش تنک (src) مورد توجه واقع شده است. این طبقه بندی کننده برای کارایی بالا نیاز به طراحی ماتریس دیکشنری قوی دارد. با توجه به کارایی بالای الگوریتم الگوهای مکانی مشترک (csp) در سیستمهای bci، از این روش برای طراحی ماتریس دیکشنری استفاده شده است. از معایب cspحساس به...
Rapeseed (Brassica napus L.) is a nutritious vegetable, while cadmium (Cd) pollution threatens the growth, productivity, and food security of rapeseed. By studying effects iminodisuccinic acid (IDS), an easily biodegradable environmental friendly chelating agent, on Cd distribution at organ cellular level, we found IDS promoted dry matter accumulation rapeseed increased contents photosynthetic ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید