Example 7 Sample Clauses

Example 7. Let E be from Example 5. In Figure 4, the underlying SMC SMC (E) is presented. The average sojourn times in the states of the underlying SMC are written next to them in bold font. The average sojourn time vector of E is SJ = 1 , 1 , 0, 1 , 1 .  ρ2 χ2 θ2 ϕ2  The sojourn time variance vector of E is VAR = ( 1−ρ , 1−χ , 0, 1−θ , 1−ϕ ).  l+m   The TPM for EDTMC (E) is P∗ = 0 0 0 l l+m  3(l+m) 3(l+m) The steady-state PMF for EDTMC (E) is ψ∗ = (0, 1 , 1 , l , m ). 3χ 3θ(l+m) 3ϕ(l+m) The steady-state PMF ψ∗ weighted by SJ is (0, 1 , 0, l , m ). 3χθϕ(l+m) θϕ(l+m)+χ(ϕl+θm) its components ψ∗SJ T = θϕ(l+m)+χ(ϕl+θm) . The steady-state PMF for SMC (E) is φ = 1 (0, θϕ(l+m), 0, χϕl, χθm). ˜∈ ⊆ Let G be a dynamic expression and s, s˜ DR(G), S, S DR(G). The following standard performance indices (measures) can be calculated based on the steady- state PMF φ for SMC (G) and the average sojourn time vector SJ of G [72, 52]. • The average recurrence (return) time in the state s is φ(s) . • The fraction of residence time in the state s is φ(s). event determined by a condition that is true for all states from S is s∈Sφ(s). • The relative fraction of residence time in S w.r.t. that in S˜ is ∑ φ(s˜) . • The fraction of residence time in the set of states S or the probabi∑lity of the s∈ φ(s)S φ(s) • The rate of leaving the state s is SJ (s) . s˜∈S˜ s∈DR(G) φ(s) {Υ|Ξ⊆Υ} PT (Υ, s). • T∑he steady-state∑probability to perform a step with a set of activities Ξ is is s∈DR(G) φ(s)r(s), where ∀s ∈ DR(G), 0 ≤ r(s) ≤ 1. • Th∑e probability of the event determined by a reward function r on the states fin ˜L ∈ Let N = (PN , TN , WN , ΩN , N , MN ) be a LDTSIPN and M, M NPN . Then the average sojourn time SJ (M ), the sojourn time variance VAR(M ), the probabili- ties PM ∗(M, M˜), the transition relation M →P M˜, the EDTMC EDTMC (N ), ≃ the underlying SMC SMC (N ) and the steady-state PMF for it are defined like the corresponding notions for dynamic expressions. Since every marked plain dtsi- box could be interpreted as the LDTSIPN, we can evaluate performance with the LDTSIPNs corresponding to dtsi-boxes and then transfer the results to the latter. Let denote isomorphism between SMCs that binds their initial states, where two SMCs are isomorphic if their EDTMCs are so and the sojourn times in the isomorphic states are identically distributed. Proposition 1. For any static expression E, SMC (E) ≃ SMC (Boxdtsi(E)).

Example 7. Total Project Firm PIP Estimates ($14,000,000) exceed 148.387097% of total Seller PIP Estimates (148.387097% * $7,542,450) and Sellers have agreed to cure. Section 4.7.8(c) applies.

Example 7. The Company shall always conduct and maintain in Country, precise, complete, and systematic technical records in connection with financial reports showing a true and fair view of all of its operations and the status of proven, probable and possible ore reserves, including mining, processing, transportation and marketing in accordance with generally accepted accounting principles, stated in [host country currency] or in equivalent United States dollars. The financial and other reports may be presented in English and in US Dollars together with its conversion into [host country currency]. The Tax Return (SPT) with its appendices and tax payment liability shall be maintained in the ___ language and [host country] currency. The Company shall keep financial ‘record or notes and basic document and other supporting documents which relate to the Enterprise within ten (10) years. The Company shall furnish to the Government annual financial statements consisting of a balance sheet and income statement and all such other financial information in accordance with generally accepted accounting principles in Country and all such other information concerning its operations in reasonable detail and such detail as the Government may reasonably request.