AOCS Modeling by Åbo Akademi Sample Clauses

AOCS Modeling by Åbo Akademi. This section presents some technical details of the attempted formal development of an AOCS model at Åbo Akademi. The Event-B project Modes_v2 [RD10], the current model, consists of the initial abstract specification and its two refinements. The model is “monolithic” though the events belonging to different managers can be easily identified. In future refinement steps, decomposition of the system (according to Figure 9) is planned, explicitly introducing communication mechanisms between components in the form of procedure calls and monitored variables. The initial specification (Global_modes) describes the overall system as a simple state machine in terms of global mode changes. The system is always in some current global mode, while the current mode transition is defined by coupling the current mode with the target mode. The accompanying context component introduces the data types and constants representing global modes as a total order. The operations in the machine abstractly describe the default scenario in which the system tries to achieve the top (most operational) global mode. The default mode scenario can be interrupted by the FDIR Manager, which non-deterministically issues mode transition requests, backtracking the system to the current or one of more degraded modes. The actual error handling and resolution is abstracted away until the second refinement step. The proved invariant properties relate the ordering of global modes with the current mode transition. For example, the fact that the current mode transition is FDIR-initiated is logically equivalent to the one that the target mode is less or equal (according to the global mode ordering) to the current mode. The first refinement (Unit_config) introduces a finite number of units that are monitored and controlled by the system. Each unit is in a certain local mode (configuration). The unit configurations should be always consistent with the current mode transition. At the moment when the target mode is reached (i.e., the current mode transition is successfully finished), the configurations of all units should be exactly as required by the target mode. Similarly as global modes, unit configurations are introduced as a total order. However, as been pointed out during discussions with SSF, a total order is a too strict requirement for unit configurations, while a partial order is a much more realistic assumption for this kind of systems. The necessary modifications will be done for the next versio...
Sample 1
AutoNDA by SimpleDocs

Related to AOCS Modeling by Åbo Akademi

  • Technical Standards Applicable to a Wind Generating Plant i. Low Voltage Ride-Through (LVRT) Capability A wind generating plant shall be able to remain online during voltage disturbances up to the time periods and associated voltage levels set forth in the standard below. The LVRT standard provides for a transition period standard and a post-transition period standard.

  • Selection of Subcontractors, Procurement of Materials and Leasing of Equipment The contractor shall not discriminate on the grounds of race, color, religion, sex, national origin, age or disability in the selection and retention of subcontractors, including procurement of materials and leases of equipment. The contractor shall take all necessary and reasonable steps to ensure nondiscrimination in the administration of this contract.

  • LIMITATIONS ON REVERSE ENGINEERING, DECOMPILATION AND DISASSEMBLY You may not reverse engineer, decompile, or disassemble the Software, except and only to the extent that such activity is expressly permitted by applicable law notwithstanding this limitation.

  • Required Coverages For Generation Resources Of 20 Megawatts Or Less Each Constructing Entity shall maintain the types of insurance as described in section 11.1 paragraphs (a) through (e) above in an amount sufficient to insure against all reasonably foreseeable direct liabilities given the size and nature of the generating equipment being interconnected, the interconnection itself, and the characteristics of the system to which the interconnection is made. Additional insurance may be required by the Interconnection Customer, as a function of owning and operating a Generating Facility. All insurance shall be procured from insurance companies rated “A-,” VII or better by AM Best and authorized to do business in a state or states in which the Interconnection Facilities are located. Failure to maintain required insurance shall be a Breach of the Interconnection Construction Service Agreement.

  • DEVELOPMENT OR ASSISTANCE IN DEVELOPMENT OF SPECIFICATIONS REQUIREMENTS/ STATEMENTS OF WORK Firms and/or individuals that assisted in the development or drafting of the specifications, requirements, statements of work, or solicitation documents contained herein are excluded from competing for this solicitation. This shall not be applicable to firms and/or individuals providing responses to a publicly posted Request for Information (RFI) associated with a solicitation.

  • CONTRACTOR TO PACKAGE DELIVERABLES The Contractor will package deliverables in accordance with good commercial practice and shall include a packing list showing the description of each item, the quantity and unit price unless otherwise provided in the Specifications or Supplemental Terms and Conditions, each shipping container shall be clearly and permanently marked as follows: (a) The Contractor's name and address, (b) the City’s name, address and purchase order or purchase release number and the price agreement number if applicable, (c) Container number and total number of containers, e.g. box 1 of 4 boxes, and (d) the number of the container bearing the packing list. The Contractor shall bear cost of packaging. Deliverables shall be suitably packed to secure lowest transportation costs and to conform to all the requirements of common carriers and any applicable specification. The City's count or weight shall be final and conclusive on shipments not accompanied by packing lists.

  • Solicitations for Subcontracts, Including Procurement of Materials and Equipment In all solicitation, either by competitive bidding or negotiation, made by the Contractor for work to be performed under a subcontract, including procurement of materials or leases of equipment, each potential Subcontractor or supplier shall be notified by the Contractor of the Contractor’s obligations under this Agreement and the Regulations relative to non-discrimination on the grounds of race, color, or national origin.

  • Infrastructure Vulnerability Scanning Supplier will scan its internal environments (e.g., servers, network devices, etc.) related to Deliverables monthly and external environments related to Deliverables weekly. Supplier will have a defined process to address any findings but will ensure that any high-risk vulnerabilities are addressed within 30 days.

  • Solicitations for Subcontracts, Including Procurements of Materials and Equipment In all solicitations either by competitive bidding or negotiation made by the Engineer for work to be performed under a subcontract, including procurements of materials or leases of equipment, each potential subcontractor or supplier shall be notified by the Engineer of the Engineer's obligations under this contract and the Regulations relative to nondiscrimination on the grounds of race, color, or national origin.

  • Solicitations for Subcontractors, Including Procurements of Materials and Equipment In all solicitations either by competitive bidding or negotiation made by the contractor for work to be performed under a subcontract, including procurements of materials or leases of equipment, each potential subcontractor or supplier shall be notified by the contractor of the contractor's obligations under this contract and the Regulations relative to nondiscrimination on the grounds of race, color, or national origin, sex, age, and disability/handicap.

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