A Variable-Step Rollback Algorithm Sample Clauses

A Variable-Step Rollback Algorithm. We describe in CSP the rollback MA with variable step that is proposed in [BBG+13]. The sets of termination and discard events are as follows: rbTermEvs(i) = {|xxXxxxXxxxxxx.x.xxxx , stepCancel.i, doStepOutcome.i.pending|} discardEvs(i) = {|doStepOutcome.i.discard |} i. pending is a termination event because this MA does not support the asynchronous execution of FMU steps. Function decStep decreases a step by some step increment and returns an optional: a xxxxxxxxx if subtraction yields a valid step, and the empty set otherwise. decStep(stp, inc) = {stp — inc} if (stp — inc) ≥ 1 A FMI rollback algorithm needs to save the state of the FMUs under its control before executing a step. To support this, we introduce some channels to store a state of some FMU, to read the state of some FMU and to reset the state store: channel storeSt, readSt : XXXXxx.Xxxx.Xx We introduce set FMUStStoreEvs to capture the events that deal with the FMU state store. FMUStStoreEvs = {|storeSt , readSt, reset |} We introduce channels rollback and finishedDoStep, which act as internal events to the processing of simulation steps. Event rollback indicates that a rollback is required; finishedDoStep indicates that all FMUs have executed their simulation steps for some communication time point and step. Process rollback MA (RBMA) takes an indexed collection of FMUs to sim- ulate ifmus, a co-simulation interval cint , the simulation’s allowed max step maxStp and a step increment stpInc; it follows the general structure of MAs depicted in Fig. 4. RBMA(ifmus, cint, maxStp, stpInc) = let TriggerMATerminate = terminateMA SKIP Terminate = MATerminate(ifmus) Startup = StartupFMUs(ifmus, cint ) Execute = startMA Startup; Simulate within Execute Δ Terminate Above, following the MA structure of Fig. 4, we say that the MA execution is interrupted by MA termination. MA execution starts upon event startMA, which is followed by the setup of the FMUs and their simulation. Process Simulate manages the FMU state store in parallel with process Simulate0 synchronised on event set FMUStStoreEvs, which is hidden as those events are internal to Simulate. Process Simulate0 starts the FMU stepping (CarrySteps), which starts with the start time of the co-simulation interval (fst (cint )) and the maximum step size maxStp; if one of the ter- mination events occurs while doing Simulate0 then MA termination is trig- gered. termEvs = consFMIEvs(ifmus, rbTermEvs) Simulate0 = CarrySteps(fst (cint ), maxStp) Θ within Sim...
Sample 1
AutoNDA by SimpleDocs

Related to A Variable-Step Rollback Algorithm

  • DISTRIBUTION OF CONTRACTOR PRICE LIST AND CONTRACT APPENDICES Contractor shall provide Authorized Users with electronic copies of the Contract, including price lists and Appendices, upon request. Contract Updates will be handled as provided in Appendix C – Contract Modification Procedures.

  • Encounter Data Party shall provide encounter data to the Agency of Human Services and/or its departments and ensure further that the data and services provided can be linked to and supported by enrollee eligibility files maintained by the State.

  • Flexible Work Schedule A flexible work schedule is any schedule that is not a regular, alternate, 9/80, or 4/10 work schedule and where the employee is not scheduled to work more than 40 hours in the "workweek" as defined in Subsections F. and H., below.

  • Payment Terms and Billing (1) Payment shall be made only after the Client Agency receives and accepts the Goods or Services and after it receives a properly completed invoice. Unless otherwise specified in the Contract, payment for all accepted Goods or Services shall be due within forty-five (45) days after acceptance of the Goods or Services, or thirty (30) days if the Contractor is a certified small contractor or minority business enterprise as defined in Conn. Gen.

  • Distribution of UDP and TCP queries DNS probes will send UDP or TCP “DNS test” approximating the distribution of these queries.

  • Alternate Work Schedule An alternate work schedule is any work schedule where an employee is regularly scheduled to work five (5) days per week, but the employee’s regularly scheduled two (2) days off are NOT Saturday and Sunday.

  • Distribution Upgrades The Connecting Transmission Owner shall design, procure, construct, install, and own the Distribution Upgrades described in Attachment 6 of this Agreement. If the Connecting Transmission Owner and the Interconnection Customer agree, the Interconnection Customer may construct Distribution Upgrades. The actual cost of the Distribution Upgrades, including overheads, shall be directly assigned to the Interconnection Customer. The Interconnection Customer shall be responsible for its share of all reasonable expenses, including overheads, associated with owning, operating, maintaining, repairing, and replacing the Distribution Upgrades, as set forth in Attachment 6 to this Agreement.

  • Contract Changes Changes may not be made in the terms and conditions of this contract without the agreement and written permission of the Director of Residence Life or the Director’s designee.

  • Claims Review Methodology ‌‌ a. C laims Review Population. A description of the Population subject‌‌ to the Quarterly Claims Review.

  • Split-Ups If after the date hereof, and subject to the provisions of Section 4.6 below, the number of outstanding shares of Common Stock is increased by a stock dividend payable in shares of Common Stock, or by a split-up of shares of Common Stock or other similar event, then, on the effective date of such stock dividend, split-up or similar event, the number of shares of Common Stock issuable on exercise of each Warrant shall be increased in proportion to such increase in the outstanding shares of Common Stock. A rights offering to holders of the Common Stock entitling holders to purchase shares of Common Stock at a price less than the “Fair Market Value” (as defined below) shall be deemed a stock dividend of a number of shares of Common Stock equal to the product of (i) the number of shares of Common Stock actually sold in such rights offering (or issuable under any other equity securities sold in such rights offering that are convertible into or exercisable for the Common Stock) and (ii) one (1) minus the quotient of (x) the price per share of Common Stock paid in such rights offering divided by (y) the Fair Market Value. For purposes of this subsection 4.1.1, (i) if the rights offering is for securities convertible into or exercisable for Common Stock, in determining the price payable for Common Stock, there shall be taken into account any consideration received for such rights, as well as any additional amount payable upon exercise or conversion and (ii) “Fair Market Value” means the volume weighted average price of the Common Stock as reported during the ten (10) trading day period ending on the trading day prior to the first date on which the shares of Common Stock trade on the applicable exchange or in the applicable market, regular way, without the right to receive such rights.

Draft better contracts in just 5 minutes Get the weekly Law Insider newsletter packed with expert videos, webinars, ebooks, and more!