Second refinement Sample Clauses

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.
View Source
Second refinement. In the second refinement, a vital space (train_extended_occupancy) is defined: 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:
View Source

Related to Second refinement

  • 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. B. The following articles apply to ASEs who are employed in the summer session: Recognition, Wages (range adjustment only), DCP, Travel, Health and Safety, Leaves, Holidays, Duration, Workspace and Instructional Support, Parking, Grievance and Arbitration, Waiver, Management and Academic Rights, No Strikes, Non-Discrimination, Union Access and Rights, Union Security, Discipline and Dismissal, Emergency Layoff, Employment Files and Evaluations, Definitions, Severability, Labor-Management Meetings, and Classifications. C. The remainder of the articles in the agreement does not apply to ASEs who are employed in the summer session. D. The topic of Summer Session, and effects of changes on terms and conditions of employment for ASEs employed in Summer Session, shall be reopened for bargaining commencing no later than January 2, 2001.

  • Public Procurement The Parties shall cooperate to develop conditions for open and competitive award of contracts for goods and services in particular through calls for tenders.