Second refinement Sample Clauses

Second refinement. In the second refinement, a vital space (train_extended_occupancy) is defined: Refinement_Plan_Requirement_6 : A relation (train_extended_occupancy) defines the cells directly and indirectly occupied by each train. train_occupancy is included in train_extended_occupancy. train_extended_occupancy contains the cells actually occupied by the train, and the cells that may be occupied (stopping distance downstream, rolling back upstream, gauge occupancy over a switch) These requirements are also modelized as invariants:
Sample 1
AutoNDA by SimpleDocs
Second refinement. Refinement_Plan_Requirement_6 : A relation (Train_extended_occupancy) defines the cells directly and indirectly occupied by each train. Train_occupancy is included in Train_extended_occupancy. Train_extended_occupancy contain the cells actually occupied by the train, and the cells that may be occupied (stopping distance downstream, rolling back upstream, gauge occupancy over a switch) Refinement_Plan_Requirement_7 : A relation (Topology) associates to each cell the cells immediately nearby . This relation is not a constant (the switch modify this relation). This relation is oriented and depends of the direction (up/down) of the track. For a given direction, a cell can have one or zero nextby cell (zero for end of track, or in the case of a switch in intermediate position). Refinement_Plan_Requirement_8 : For each cell X, if Y is the nearby cell in down direction, Then X is the nearby cell of Y in the up direction. For each cell X, if Y is the nearby cell in up direction, Then X is the nearby cell of Y in the down direction. Refinement_Plan_Requirement_9 : The train front occupy one cell, the train rear occupy another cell. These two cells define a motion direction for the train. Refinement_Plan_Requirement_10 : A train can change its location (modifying Train_ extended_occupancy). Refinement_Plan_Requirement_11 : no collision : Two different trains cannot occupy (with Train_extended_occupancy) the same cells at the same time.
Sample 1

Related to Second refinement

  • Supply Chain Monitoring A copy of the supply chain monitoring process, which should include details of the process for monitoring the financial viability of the supply chain (including timing), together with any known risks to supply chain stability and material changes to the supply chain. This should include extracts from Board level meetings, risk registers etc where any of the above items have been discussed. Annex 1 1 Information from Contractors who are not required to submit form AR01 to Companies House

  • Procurement Planning Prior to the issuance of any invitations to bid for contracts, the proposed procurement plan for the Project shall be furnished to the Association for its review and approval, in accordance with the provisions of paragraph 1 of Appendix 1 to the Guidelines. Procurement of all goods and works shall be undertaken in accordance with such procurement plan as shall have been approved by the Association, and with the provisions of said paragraph 1.

  • Recycling If this Agreement provides for the purchase or use of goods specified in PCC 12207 (for example, certain paper products, office supplies, mulch, glass products, lubricating oils, plastic products, paint, antifreeze, tires and tire-derived products, and metal products), this section is applicable with respect to those goods. Without limiting the foregoing, if this Agreement includes (i) document printing, (ii) parts cleaning, or (iii) janitorial and building maintenance services, this section is applicable. Contractor shall use recycled products in the performance of this Agreement to the maximum extent doing so is economically feasible. Upon request, Contractor shall certify in writing under penalty of perjury, the minimum, if not exact, percentage of post consumer material as defined in the PCC 12200, in such goods regardless of whether the goods meet the requirements of PCC 12209. With respect to printer or duplication cartridges that comply with the requirements of PCC 12156(e), the certification required by this subdivision shall specify that the cartridges so comply.

  • Supply Chain Security Supplier shall implement and maintain a written security program that consists of physical and procedural controls: to (a) prevent unauthorized access to Supplier’s facilities; (b) prevent finished goods or equipment from being tampered with, stolen or damaged prior to Supplier’s delivery in accordance with the terms of this Order; and (c) detect when malicious activity has occurred (the “Supply Chain Security Program”). Supplier’s Supply Chain Security Program shall align to the World Customs Organization’s SAFE Framework of Standards to Secure and Facilitate Global Trade (“SAFE Framework”) or other global security programs recognized by the World Customs Organization. Supplier shall flow down and verify the requirements of its Supply Chain Security Program to its sub-tier suppliers, if applicable. Supplier shall test its Supply Chain Security Program at least annually or whenever there are material changes in Supplier’s operations, risks or business practices. Upon Buyer’s written and reasonable request, Supplier shall provide Buyer with: (i) a copy of Supplier’s Supply Chain Security Program; (ii) an executive summary of test results and a report of corrective actions (including the timing for implementation) to be taken to remedy any deficiencies identified by such testing; and (iii) any audit results or findings resulting from Supplier’s periodic audit or testing of its sub-tier suppliers’ security programs.

  • Summer Session A. All ASEs employed in the Summer Session shall receive the same general range adjustment as ASEs received in the preceding Fall term.

  • Commencement of Development 7.3.1 In the event that development on the Lands has not commenced within four (4) years from the date of registration of this Agreement at the Registry of Deeds or Land Registry Office, as indicated herein, the Agreement shall have no further force or effect and henceforth the development of the Lands shall conform with the provisions of the Land Use By-law.

  • TOOL STORAGE 1. A company shall provide on all construction jobs in towns and cities, and elsewhere where reasonably necessary and practicable (or if requested buy the employee), a suitable and secure waterproof lock-up solely for the purpose of storing employees’ tools, and on multi-storey and major projects the company shall provide, where possible, a suitable lock-up for employees’ tools within a reasonable distance of the work area of large groups of employees.

  • Procurement All goods, works and services required for the Project and to be financed out of the proceeds of the Financing shall be procured in accordance with the provisions of Section III of Schedule 2 to the Financing Agreement.

  • Cloud storage DSHS Confidential Information requires protections equal to or greater than those specified elsewhere within this exhibit. Cloud storage of Data is problematic as neither DSHS nor the Contractor has control of the environment in which the Data is stored. For this reason:

  • Cooperative Procurement To the maximum extent permitted by applicable law, we agree that this Agreement may be used as a cooperative procurement vehicle by eligible jurisdictions. We reserve the right to negotiate and customize the terms and conditions set forth herein, including but not limited to pricing, to the scope and circumstances of that cooperative procurement.

Time is Money Join Law Insider Premium to draft better contracts faster.