Lecture 20 and 22 (Production-Based Models and Event-Based Approach)

Lecture 20 and 22 (Production-Based Models and Event-Based Approach)

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
CAP 4800/5805 Computer Simulation Concepts Lecture 20 and 22 Production-Based Models (continues) Beetle population growth The following first-order logic expressions represent a logistic growth rate of beetles (let p = population size, g = population growth, and t = current time) t ( t 1 ) p ( small , t 1 ) g( slow , t 1 ) t ( t 2 ) ( t 2 > t 1 ) p ( medium , t 2 ) g ( fast , t 2 ) t ( t 3 ) ( t 3 > t 2 ) p ( steady , t 3 ) g ( slow , t 3 ) Even though first-order logic provides one method of incorporating time into modeling, it is preferable to have a language that has a better integrated concept of time advance The class of languages that specify time as an integral component are known as temporal logic programming languages . Tempura Tempura is one of temporal logic programming languages Based on the concept of truth within a time interval σ . σ is an interval with a discrete number of states < σ 0 , σ 1 , …, σ | σ |-1
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 12/09/2009 for the course CAP 5805 taught by Professor Fishwick during the Fall '08 term at University of Florida.

Page1 / 4

Lecture 20 and 22 (Production-Based Models and Event-Based Approach)

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online