My Math Forum  

Go Back   My Math Forum > College Math Forum > Complex Analysis

Complex Analysis Complex Analysis Math Forum

LinkBack Thread Tools Display Modes
May 8th, 2014, 05:38 AM   #1
Joined: May 2014
From: UK

Posts: 1
Thanks: 0

Proof needed

Hi Guys

I am wondering if someone could help me in resolving the following

We use formula Occurs(a, t, D(t)) to denote that an atomic process occurs with respect to time t with a duration of D(t).
Axiom1. Occurs(a, t, D(t)) implies D(t) ≥ 0 & for all t1(In(t1, t) implies there exists t2(Part(t2, t1) & Occurs(a, t2)))
N.B. Axiom 1 applies to divisible intervals, non-divisible moments, and points.

Definition: A business process p is defined as a pair (A , R(A)) where
1. A = {Occurs(p1, t1, D(t1)), …, Occurs(pn, tn, D(tn))}
2. R(A) = {Relation(ti, tj) | 1 ≤ i, j ≤ n}
Specially, an atomic process can be taken as a special business process, since for any atomic process a, R({a}) = Null set
For a R(A), we use DR(A) to denote the deduced temporal constraint which contains all the relations of R(A), plus all the other relations that can be deduced from R(A). -----A formal definition of this, and some examples??????????????????

Definition: Business process (A1, R(A1)) is called a sub-process of business process (A2, R(A2)) if and only if:
1. A1  A2
2. DR(A1)  DR(A2).
ichishti is offline  

  My Math Forum > College Math Forum > Complex Analysis

needed, proof

Thread Tools
Display Modes

Similar Threads
Thread Thread Starter Forum Replies Last Post
Proof needed: is this sequence convergent? zhangchanghe214 Real Analysis 3 April 4th, 2012 01:29 AM
Help needed on this proof jonbryan80 Real Analysis 14 March 27th, 2012 02:35 PM
incircle in triangle - a proof needed johny91 Algebra 0 January 31st, 2011 12:35 AM
Help Needed CutieCutiePi Algebra 2 October 28th, 2009 07:34 PM
HELP needed on this Proof Christi123 Applied Math 2 June 26th, 2008 06:58 PM

Copyright © 2019 My Math Forum. All rights reserved.