Abstrakt. Vi tar upp införandet av stokastisk information i en explicit tidsinställd samtidig begränsningsprocess språk. En operationell semantik föreslås som ett preliminärt resultat. I vårt tillvägagångssätt finns bl.a. tillämpningar inom biologi. Motivering. Studiet av kvantitativ information inom språk för konvergens har nyligen fått en hel del fart. I många tillämpningar blir kvantitativ information avgörande vid raffinering av modeller med empiriska data, och är av avgörande betydelse för verifieringsändamål. Två huvudmodeller för kvantitativ information kan särskiljas från den omfattande litteraturen i ämnet. Med tanke på en beräkning som kan utföra olika, konkurrerande åtgärder, en probabilistisk modell ger en sannolikhetsfördelning över sådana åtgärder. I motsats, en stokastisk modell relaterar varje åtgärd till en slumpmässig variabel som bestämmer dess varaktighet: med tanke på en uppsättning konkurrerande åtgärder, den snabbaste åtgärden (dvs. Den med den kortaste varaktigheten) utförs. Följaktligen betraktas inte begrepp i en probabilistisk modell (t.ex. hastighet) är grundläggande i en stokastisk inställning. Det är inte förvånande att områden där tiden är viktig (t.ex. systembiologi, prestandamodellering) har funnit i språk med stokastisk information lämpliga ramar för analys. Konkurrent begränsningsprogrammering (CCP) [1] är en deklarativ modell för samstämmighet med starka band till logiken. I centrala motparter beskrivs systemen med partiell information som kallas begränsningar. Processer interagerar i en delad butik; de antingen lägger till nya begränsningar eller synkroniserar på den redan tillgängliga informationen. Tidsbegränsad samtidig begränsningsprogrammering (tcc) [2] är ett deklarativt ramverk för reaktiva system. I tcc representeras tiden explicit som diskreta tidsenheter där beräkning sker; tcc tillhandahåller konstruktioner för att styra processutförandet längs sådana enheter. Mot bakgrund av de stokastiska modellerna för kvantitativ information utgör den uttryckliga tiden i cc en berättigad fråga, nämligen att avgöra i vilken utsträckning begreppen stokastisk varaktighet och
J. Aranda m.fl. REF associerar en slumpmässig variabel till varje beräkning för att bestämma dess varaktighet: Med tanke på en uppsättning konkurrerande åtgärder utförs den snabbaste åtgärden (dvs. den med den kortaste varaktigheten).
Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming ?
{'venue': None, 'journal': None, 'mag_field_of_study': ['Computer Science']}