Abstract: A storage, retrieval and processing system for processing objects is disclosed. The storage, retrieval and processing system includes a plurality of storage bins providing storage of a plurality of objects, where the plurality of storage bins is in communication with a retrieval conveyance system, a programmable motion device in communication with the retrieval conveyance system for receiving the storage bins from the plurality of bins, where the programmable motion device includes an end effector for grasping and moving a selected object out of a selected storage bin, and a movable carriage for receiving the selected object from the end effector of the programmable motion device, and for carrying the selected object to one of a plurality of destination bins.

Abstract: The present invention relates to a jack stand. The jack stand includes a base. A post, including composite material, extends from the base. The jack stand also includes a top for topping the post and for engaging with a load. Advantageously, the post may be lightweight (typically less than 12 kg) enabling the jack stand to be conveniently moved by a single person without exposing the person to significant risk of injury. The jack stand may be moved as a whole, or in parts.

Abstract: A memory apparatus includes a non-volatile computer memory, a USB mass storage controller connected to the non-volatile computer memory, the USB mass storage controller including a daisy chain component, a male USB interface connected to the USB mass storage controller, and at least one other interface for a memory device, other than a USB interface, the at least one other interface being connected to the USB mass storage controller.

Abstract: Systems, methods and apparatus are provided through which in some embodiments, an agent-oriented specification modeled with MaCMAS, is analyzed, flaws in the agent-oriented specification modeled with MaCMAS are corrected, and an implementation is derived from the corrected agent-oriented specification. Described herein are systems, method and apparatus that produce fully (mathematically) tractable development of agent-oriented specification(s) modeled with methodology fragment for analyzing complex multiagent systems (MaCMAS) and policies for autonomic systems from requirements through to code generation. The systems, method and apparatus described herein are 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 systems, method and apparatus described herein may provide faster, higher quality development and maintenance of autonomic systems based on user formulation of policies.

Abstract: Systems, methods and apparatus are provided through which in some embodiments an autonomic unit is quiesced. In at least one embodiment of the invention, a method for managing an autonomic system based on functioning state and operating status of the system includes processing received signals from the system to obtain an analysis of the condition of the system, generating one or more stay-awake signals based on the functioning status and the operating state of the system, transmitting the stay-awake signal, transmitting self health/urgency data, and transmitting environment health/urgency data. A quiesce component of an autonomic unit can render the autonomic unit inactive for a specific amount of time or until a challenging situation has passed.

Abstract: Systems, methods and apparatus are provided through which, in some embodiments, a script is derived from scenarios, the script is analyzed, and flaws in the script are corrected. The systems, methods and apparatus may include inferring an equivalent formal model from procedures described in natural language (such as English), as scenarios, use cases, or a representation in one of a plethora of graphical notations Such a model can be analyzed for contradictions, conflicts, use of resources before the resources are available, competition for resources, and so forth. From such a formal model, code can be automatically generated in a variety of notations. This may include high level programming languages, machine languages, and scripting languages. The approach improves the resulting code, which may be provably equivalent to the procedures described at the outset.

Abstract: Systems, methods and apparatus are provided through which, in some embodiments, a formal specification is pattern-matched from scenarios, the formal specification is analyzed, and flaws in the formal specification are corrected. The systems, methods and apparatus may include pattern-matching an equivalent formal model from an informal specification. Such a model can be analyzed for contradictions, conflicts, use of resources before the resources are available, competition for resources, and so forth. From such a formal model, an implementation can be automatically generated in a variety of notations. The approach can improve the resulting implementation, which, in some embodiments, is provably equivalent to the procedures described at the outset, which in turn can improve confidence that the system reflects the requirements, and in turn reduces system development time and reduces the amount of testing required of a new system.

Abstract: Systems, methods and apparatus are provided through which in some embodiments self health/urgency data and environment health/urgency data may be transmitted externally from an autonomic element. Other embodiments may include transmitting the self health/urgency data and environment health/urgency data together on a regular basis similar to the lub-dub of a heartbeat. Yet other embodiments may include a method for managing a system based on the functioning state and operating status of the system, wherein the method may include processing received signals from the system indicative of the functioning state and the operating status to obtain an analysis of the condition of the system, generating one or more stay alive signals based on the functioning status and the operating state of the system, transmitting the stay-alive signal, transmitting self health/urgency data, and transmitting environment health/urgency data.

Abstract: 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.

Abstract: A system and method for deriving a process-based specification for a system is disclosed. The process-based specification is mathematically inferred from a trace-based specification. The trace-based specification is derived from a non-empty set of traces or natural language scenarios. The process-based specification is mathematically equivalent to the trace-based specification. Code is generated, if applicable, from the process-based specification. A process, or phases of a process, using the features disclosed can be reversed and repeated to allow for an interactive development and modification of legacy systems. The process is applicable to any class of system, including, but not limited to, biological and physical systems, electrical and electro-mechanical systems in addition to software, hardware and hybrid hardware-software systems.