User:Cbogart2

Hi, I'm Chris Bogart. I'm also cbogart but it won't email me the password, so I can't get back in to that account. I'm a student at Oregon State University. More about me

I'm using this as a sandbox

Here's a link to the band, Tool.

Headline text

$e^{x}dy/dx$--Cbogart2 04:34, 22 August 2005 (UTC)

---

Deterministic DEVS and Non-deterministic DEVS

Let $A$ and $B$ be two arbitrary sets. Then function $f:A\to B$ is called deterministic if give an $a\in A$, the values of callings $f(a)$ at different times are identical. Otherwise, $f$ is called non-deterministic.

A DEVS $M=<X,Y,S,ta,{\delta }_{ext},{\delta }_{int},\lambda >$ is called deterministic if $ta$, ${\delta }_{ext}$, ${\delta }_{int}$ and $\lambda$ are deterministic. Otherwise, $M$ is called non-deterministic.

The atomic DEVS Model for Ping-Pong Players

The atomic DEVS model for player A of Fig. 1 is given Player=$<X,Y,S,s_0,ta,{\delta }_{ext},{\delta }_{int},\lambda >$ such that

$X=\{?receive\}$

$Y=\{!send\}$

$S=\{(d,\sigma )|d\in \{Wait,Send\},\sigma \in {\mathbb{𝕋}}^{\mathrm{\infty }}\}$ and $s_0=(Send,0.1)$

$ta(s)=\sigma \text{ for all }s\in S$

${\delta }_{ext}((Wait,\sigma ),t_e),?receive)=(Send,0.1)$

${\delta }_{ext}((Send,\sigma ,t_e),?receive)=(Send,\sigma -t_e)$

${\delta }_{int}(Send,\sigma )=(Wait,\mathrm{\infty }),{\delta }_{int}(Wait,\sigma )=(Send,0.1)$

$\lambda (Send,\sigma )=?send,{\lambda }_{int}(Wait,\sigma )=\varphi$

Both of Player A and Player B are deterministic DEVS models.