会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 2. 发明授权
    • Systems, methods and apparatus for generation and verification of policies in autonomic computing systems
    • 用于生成和验证自主计算系统中的策略的系统,方法和装置
    • US07886273B2
    • 2011-02-08
    • US11532800
    • 2006-09-18
    • Michael G. HincheyJames L. RashWalter F. TruszkowskiChristopher A. RouffRoy SterrittDenis Gracanin
    • Michael G. HincheyJames L. RashWalter F. TruszkowskiChristopher A. RouffRoy SterrittDenis Gracanin
    • G06F9/44
    • G06F8/10
    • Described herein is a method that produces fully (mathematically) tractable development of policies for autonomic systems from requirements through to code generation. This method is illustrated through an example showing how user formulated policies can be translated into a formal mode which can then be converted to code. The requirements-based programming method described provides faster, higher quality development and maintenance of autonomic systems based on user formulation of policies.Further, the systems, methods and apparatus described herein provide a way of analyzing policies for autonomic systems and facilities the generation of provably correct implementations automatically, which in turn provides reduced development time, reduced testing requirements, guarantees of correctness of the implementation with respect to the policies specified at the outset, and provides a higher degree of confidence that the policies are both complete and reasonable. The ability to specify the policy for the management of a system and then automatically generate an equivalent implementation greatly improves the quality of software, the survivability of future missions, in particular when the system will operate untended in very remote environments, and greatly reduces development lead times and costs.
    • 这里描述的是一种从需求到代码生成完全(数学地)生成自治系统的策略的方法。 通过一个示例说明了这种方法,该示例显示了用户制定的策略如何被转换为形式模式,然后可以将其转换为代码。 基于需求的编程方法基于用户制定策略提供了更快,更高质量的自主系统开发和维护。 此外,本文所述的系统,方法和装置提供了一种分析自主系统和设施的策略的方式,自动生成可证明的正确实现,这反过来提供减少的开发时间,减少的测试要求,关于实现的正确性的保证 政策一开始就明确规定,对政策完整合理,信心更高。 指定系统管理策略,然后自动生成等效实现的能力大大提高了软件的质量,未来任务的生存能力,特别是当系统在非常偏远的环境中运行时,将大大减少开发潜力 时间和成本。
    • 3. 发明授权
    • Swarm autonomic agents with self-destruct capability
    • 具有自毁能力的群体自主神经代理
    • US07627538B2
    • 2009-12-01
    • US11251538
    • 2005-09-29
    • Michael G. HincheyRoy Sterritt
    • Michael G. HincheyRoy Sterritt
    • G06N5/00
    • G06F19/3418G06F19/00G06N3/04G06N3/086
    • Systems, methods and apparatus are provided through which in some embodiments an autonomic entity manages a system by generating one or more stay alive signals based on the functioning status and operating state of the system. In some embodiments, an evolvable synthetic neural system is operably coupled to one or more evolvable synthetic neural systems in a hierarchy. The evolvable neural interface receives and generates heartbeat monitor signals and pulse monitor signals that are used to generate a stay alive signal that is used to mange the operations of the synthetic neural system. In another embodiment an asynchronous Alice signal (Autonomic license) requiring valid credentials of an anonymous autonomous agent is initiated. An unsatisfactory Alice exchange may lead to self-destruction of the anonymous autonomous agent for self-protection.
    • 提供了系统,方法和装置,在一些实施例中,自主实体通过基于系统的功能状态和操作状态生成一个或多个保持活动信号来管理系统。 在一些实施例中,可演化的合成神经系统可操作地耦合到层级中的一个或多个可演化的合成神经系统。 可演化的神经接口接收并产生用于产生用于管理合成神经系统的操作的保持活动信号的心跳监视信号和脉冲监视信号。 在另一实施例中,启动需要匿名自主代理的有效凭证的异步Alice信号(Autonomic license)。 爱丽丝交换不能令人满意,可能会导致匿名自主代理人自我毁灭自我保护。
    • 5. 发明申请
    • SYSTEMS, METHODS AND APPARATUS FOR AUTONOMIC SAFETY DEVICES
    • 自动安全装置的系统,方法和装置
    • US20070260570A1
    • 2007-11-08
    • US11533895
    • 2006-09-21
    • Michael G. HINCHEYRoy STERRITT
    • Michael G. HINCHEYRoy STERRITT
    • G06N5/02
    • G08B17/10G08B29/181G08B29/186G08B29/188
    • Systems, methods and apparatus are provided through which in some embodiments an autonomic environmental safety device may be quiesced. In at least one embodiment, a method for managing an autonomic safety device, such as a smoke detector, based on functioning state and operating status of the autonomic safety device includes processing received signals from the autonomic safety device to obtain an analysis of the condition of the autonomic safety device, generating one or more stay-awake signals based on the functioning status and the operating state of the autonomic safety device, transmitting the stay-awake signal, transmitting self health/urgency data, and transmitting environment health/urgency data. A quiesce component of an autonomic safety device can render the autonomic safety device inactive for a specific amount of time or until a challenging situation has passed.
    • 提供了系统,方法和装置,通过该系统,方法和装置,在一些实施例中可以使自主环境安全装置静止。 在至少一个实施例中,基于自主安全装置的运行状态和操作状态来管理诸如烟雾探测器的自主安全装置的方法包括处理来自自主安全装置的接收信号,以获得对 自主安全装置,基于自主安全装置的运行状态和运行状态生成一个或多个停留信号,发送停留信号,发送自身健康/紧急数据,以及发送环境健康/紧急数据。 自主安全装置的静止部件可以使自主安全装置在一段特定的时间内无效或者直到遇到困难的情况。
    • 10. 发明申请
    • SWARM Autonomic Agents With Self-Destruct Capability
    • 具有自毁能力的SWARM自主代理
    • US20100106348A1
    • 2010-04-29
    • US12603140
    • 2009-10-21
    • Michael G. HincheyRoy Sterritt
    • Michael G. HincheyRoy Sterritt
    • G05D1/10G06F15/16G06N3/12G06N3/063G06F21/22G06N5/00
    • G06F19/3418G06F19/00G06N3/04G06N3/086
    • Systems, methods and apparatus are provided through which in some embodiments an autonomic entity manages a system by generating one or more stay alive signals based on the functioning status and operating state of the system. In some embodiments, an evolvable synthetic neural system is operably coupled to one or more evolvable synthetic neural systems in a hierarchy. The evolvable neural interface receives and generates heartbeat monitor signals and pulse monitor signals that are used to generate a stay alive signal that is used to manage the operations of the synthetic neural system. In another embodiment an asynchronous Alice signal (Autonomic license) requiring valid credentials of an anonymous autonomous agent is initiated. An unsatisfactory Alice exchange may lead to self-destruction of the anonymous autonomous agent for self-protection.
    • 提供了系统,方法和装置,在一些实施例中,自主实体通过基于系统的功能状态和操作状态生成一个或多个保持活动信号来管理系统。 在一些实施例中,可演化的合成神经系统可操作地耦合到层级中的一个或多个可演化的合成神经系统。 可演化的神经接口接收并产生用于产生用于管理合成神经系统的操作的保持活动信号的心跳监视信号和脉冲监视信号。 在另一实施例中,启动需要匿名自主代理的有效凭证的异步Alice信号(Autonomic license)。 爱丽丝交换不能令人满意,可能会导致匿名自主代理人自我毁灭自我保护。