摘要:
Routing-related scalability problems associated with the growth of the Internet are solved by assigning topologically encoded Internet addresses to each node within a network.
摘要:
Network convergence is greatly reduced because new routing paths are only selected when they are substantially better than pre-existing, best available paths.
摘要:
A system having electrical equipment integrated on a structure is provided. The system includes at least one electrical equipment located at a spaced apart relationship and mounted on at least one structure. A method is provided for isolation of electrical equipment. The method includes opening and closing a contact by engaging or disengaging one or more terminals of the electrical equipment correspondingly with a supply line or a distribution line by a mechanism for isolation. The mechanism can be a handle or a moving mechanism which is associated with a movement in a vertical direction or horizontal direction or with a movement that provides isolation.
摘要:
Methods and apparatus are provided for passive mid-stream monitoring of real-time properties. A passive mid-stream monitoring process is disclosed that determines whether a system is faulty. The passive mid-stream monitoring process obtains a real-time correctness property and a passively monitored mid-stream observation of the system. A timed correctness property, Aσ, is constructed from the passively monitored mid-stream observation. An intersection of the real-time correctness property and the timed correctness property is then determined to determine if the system is faulty. A passively testable determination process is also disclosed that determines whether a real-time correctness property for a system is passively testable. A determination is made as to whether (i) a set of all timed traces that are correct according to the real-time correctness property is timed prefix and timed suffix closed; and (ii) a system would satisfy the real-time correctness property if all timed-trace behaviors of the system would be included in the set.
摘要:
Disclosed is a method for the creation of maintenance plans. The maintenance plans are created by determining the service requirements for equipment, and normalizing the service requirements. These service requests are formalized in the language of XML Schema and semantic heterogeneity between different plans resolved with the use of ontologies. The matched service requests are combined to form the global service plan. Finally, resources may then be allocated to execute the created maintenance plans and appropriate maintenance schedules are identified based in the created maintenance plans.
摘要:
Information can be transported over domains operated by different service providers at required Quality-of-Service (QoS) levels without disclosing inter- and/or intra-domain information to ensure that the topology of a given service provider's domain (e.g., network) is not disclosed.
摘要:
A resource assignment capability is presented. A resource specification associated with a plurality of elements is received. The resource specification includes, for each of the elements, a resource request including an indication of a quantity of resources requested by the element and a resource offer including an indication of a quantity of resources offered by the element for use by one or more other elements. A resource assignment, including an indication of an association between the resources requests and the resource offers, is determined using a resource assignment process. The resource assignment process may be a greedy assignment process or a maximum flow resource assignment process. The maximum flow resource assignment process includes constructing a maximum flow resource graph based on the one or more resource specifications and applying a maximum flow process to the maximum flow resource graph to determine thereby the resource assignment.
摘要:
Information can be transported over domains operated by different service providers at required Quality-of-Service (QoS) levels without disclosing inter- and/or intra-domain information to ensure that the topology of a given service provider's domain (e.g., network) is not disclosed.
摘要:
An exemplary cloud computing apparatus includes at least one compute device controller. A digital data storage of the controller includes a chief management virtual machine program for running a chief management virtual machine. A processor associated with the digital data storage is configured to run the chief management virtual machine. The chief management virtual machine is useful to control first user communications between at least one first user and a first virtual machine and to control second user communications between at least one second user and a second virtual machine. The first virtual machine and the second virtual machine are run by at least one compute resource distinct from the compute device controller. The chief management virtual machine is also useful for isolating the first user communications from the second user communications.
摘要:
The transport of Quality-of Service (QoS) sensitive information over domains operated by different service providers may be assured using architectures that include separate forwarding and control planes.