Methods and apparatus for passive mid-stream monitoring of real-time properties
    4.
    发明授权
    Methods and apparatus for passive mid-stream monitoring of real-time properties 有权
    被动中流监测实时性能的方法和装置

    公开(公告)号:US07599688B2

    公开(公告)日:2009-10-06

    申请号:US11288953

    申请日:2005-11-29

    IPC分类号: H04Q7/20

    摘要: 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.

    摘要翻译: 提供了方法和装置,用于实时性的被动中流监测。 公开了一种确定系统是否有故障的被动中流监视过程。 被动中流监测过程获得系统的实时正确性和被动监控的中流观测。 Asigma的定时正确性属性由被动监视的中流观察构建。 然后确定实时正确性属性和定时正确性属性的交集,以确定系统是否有故障。 还公开了被动测试的确定过程,其确定系统的实时正确性属性是否被动测试。 确定(i)根据实时正确性属性是否正确的一组所有定时迹线是定时前缀和定时后缀关闭; 并且(ii)如果系统的所有定时跟踪行为将被包括在该集合中,则系统将满足实时正确性属性。

    Managing Service Requirements for Airports
    5.
    发明申请
    Managing Service Requirements for Airports 审中-公开
    管理机场的服务要求

    公开(公告)号:US20070192154A1

    公开(公告)日:2007-08-16

    申请号:US11668113

    申请日:2007-01-29

    IPC分类号: G05B19/418

    摘要: 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.

    摘要翻译: 公开了一种创建维护计划的方法。 维护计划是通过确定设备的服务要求和规范服务要求来创建的。 这些服务请求以XML Schema的语言和使用本体解决的不同计划之间的语义异质性形式化。 匹配的服务请求被组合以形成全球服务计划。 最后,可以分配资源来执行创建的维护计划,并根据创建的维护计划识别适当的维护计划。

    Apparatus and method for matching offers and requests for sharing of resources
    7.
    发明授权
    Apparatus and method for matching offers and requests for sharing of resources 有权
    用于匹配资源和资源共享的请求的装置和方法

    公开(公告)号:US09535748B2

    公开(公告)日:2017-01-03

    申请号:US13370443

    申请日:2012-02-10

    IPC分类号: G06F15/173 G06F9/50

    CPC分类号: G06F9/5005 G06F9/50 H04L67/10

    摘要: 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.

    摘要翻译: 提出资源分配能力。 接收与多个元素相关联的资源规范。 所述资源规范对于每个元素包括资源请求,其包括由所述元素请求的资源的数量的指示和资源提供,所述资源提供包括由所述元素提供的资源的数量的指示以供一个或多个其他元素使用 。 使用资源分配处理来确定包括资源请求与资源提供之间的关联的指示的资源分配。 资源分配过程可以是贪心分配过程或最大流资源分配过程。 最大流资源分配过程包括基于一个或多个资源规范构建最大流资源图,并将最大流程应用于最大流资源图,从而确定资源分配。

    PERSONAL CLOUD COMPUTING AND VIRTUAL DISTRIBUTED CLOUD COMPUTING SYSTEM
    9.
    发明申请
    PERSONAL CLOUD COMPUTING AND VIRTUAL DISTRIBUTED CLOUD COMPUTING SYSTEM 审中-公开
    个人云计算和虚拟分布式云计算系统

    公开(公告)号:US20130132948A1

    公开(公告)日:2013-05-23

    申请号:US13300937

    申请日:2011-11-21

    IPC分类号: G06F9/455

    摘要: 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.

    摘要翻译: 示例性云计算装置包括至少一个计算设备控制器。 控制器的数字数据存储器包括用于运行主管理虚拟机的主管理虚拟机程序。 与数字数据存储器相关联的处理器被配置为运行主管理虚拟机。 主管理虚拟机对于控制至少一个第一用户和第一虚拟机之间的第一用户通信以及控制至少一个第二用户和第二虚拟机之间的第二用户通信是有用的。 第一虚拟机和第二虚拟机由与计算设备控制器不同的至少一个计算资源运行。 主管理虚拟机对于将第一用户通信与第二用户通信隔离也是有用的。