Basic Configuration. 27 The Schematic Design included in the RIDs conveys the general intent and layout of the 28 Project. The Basic Configuration means the following:
29 A. Those portions of the Schematic Design that depict the following:
30 1. The number and types of lanes and shoulders;
31 2. The approximate location of service interchanges;
32 3. The approximate location of grade separations;
33 4. The number of entrance and exit ramps at each service interchange;
34 5. A bridge, existing or new, at 63rd Avenue that provides connectivity to the Xxxxxxxx 00 Xxxxx Xxxxxxxx Xxxx development on the south (see zoning document Xxxxxxxx 00 Xxxxx Xxxxxxxx Xxxx Development.PDF in the RIDs) and to 63rd Avenue on the 37 north;
38 6. The approximate location of the bridges for multiuse crossings;
39 7. The approximate location and number of ramp lanes at I-10 (Papago Freeway) 40 system interchange;
41 8. The approximate location of frontage roads;
1 B. Within the lines delineating the outside boundaries of the Project set forth in the 2 Schematic ROW, as such boundaries may be adjusted from time to time in accordance 3 with the Contract Documents (including adjustments for ADOT Additional Properties, 4 Developer-Designated ROW and avoided parcels or partial parcels, in whole or in part);
5 C. The control of access limits as set forth in Section DR 440 of the TPs;
6 D. The provision of maintenance roads;
7 E. A pedestrian bridge at the Xxxxxx Street alignment (mid-mile between Xxxxxxxx Xxxx 0 xxx Xxxxx Xxxxxxx Xxxx;
9 F. A connector road at the Durango Street alignment (just south of the Roosevelt Xxxxxxxxxx 00 Xxxxxxxx xxxxx) between the northbound and southbound frontage roads; and
11 G. The avoidance of the environmentally sensitive areas as further described in Section DR 12 420 of the TPs.
Basic Configuration. 28 The Schematic Design included in the RIDs conveys the general intent and layout of the 29 Project. The Basic Configuration means those portions of the Schematic Design that depict:
30 A. The Schematic ROW and control of access limits as set forth in Section DR 440 of the 31 TPs;
32 B. The number and types of lanes;
33 C. The approximate location of Shoulders;
Basic Configuration. 29 The Schematic Design included in the RIDs conveys the general intent and layout of the 30 Project. The Basic Configuration means the following:
31 A. Those portions of the Schematic Design that depict the following:
32 1. The number and types of lanes;
33 2. The approximate location of Shouldersshoulders;
34 3. The approximate location of service interchanges;
35 4. The approximate location of grade separations;
36 5. The number of entrance and exit ramps at each service interchange;
37 6. A bridge, existing or new, at 63rd Avenue that provides connectivity to the Xxxxxxxx 00 Xxxxx Xxxxxxxx Xxxx development on the south (see zoning document Xxxxxxxx 00 Xxxxx Xxxxxxxx Xxxx Development.PDF in the RIDs) and to 63rd Avenue on the 40 north;
41 7. The approximate location of the bridges for multiuse crossings;
1 8. The approximate location and number of ramp lanes at I-10 Papago Freeway system 2 interchange;
3 9. The approximate location of frontage roads;
4 B. Within the lines delineating the outside boundaries of the Project set forth in the 5 Schematic ROW, as such boundaries may be adjusted from time to time in accordance 6 with the Contract Documents (including adjustments for ADOT Additional Properties, 7 Developer-Designated ROW and avoided parcels or partial parcels, in whole or in part);
8 C. The control of access limits as set forth in Section DR 440 of the TPs;
Basic Configuration. 9 The Basic Configuration is the Project elements referenced in the Contract Documents including 10 dimensions, details, access requirements, criteria, restrictions, and the following roadway and bridge 11 features:
Basic Configuration. The RTT-MBT model checker currently depends on the following basic con- figuration items: • the unrolling depth k ≥ 0 • the multi-model M The unrolling depth and the LTL formula have their obvious meaning. The multi-model is the overall system model that is exported from Modelio via XMI. This multi-model contains a connection diagram, which expresses which ports and signals are used as inputs and outputs of each sub-model. Con- figuring these items is the only necessity for executing the RTT-MBT model checker. Details regarding the configuration of these parameters via the command-line interface and the INTO-CPS application, respectively, are given in Sect. 4.2 and Sect. 4.3.
Basic Configuration. 30 The Schematic Design included in the RIDs conveys the general intent and layout of the Project.
