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\rightarrow 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 {T} ^{\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,\infty ),\delta _{int}(Wait,\sigma )=(Send,0.1)\,$

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

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