Abstract: Disclosed herein are systems, computer-implemented methods, and tangible computer-readable media for coordinating communications between a ground station, a control center, and a spacecraft. The method receives a call to a simple, unified application programmer interface implementing communications protocols related to outer space, when instruction relates to receiving a command at the control center for the ground station generate an abstract message by agreeing upon a format for each type of abstract message with the ground station and using a set of message definitions to configure the command in the agreed upon format, encode the abstract message to generate an encoded message, and transfer the encoded message to the ground station, and perform similar actions when the instruction relates to receiving a second command as a second encoded message at the ground station from the control center and when the determined instruction type relates to transmitting information to the control center.

Abstract: Systems, methods and apparatus are provided through which an evolutionary system is managed and viewed as a software product line. In some embodiments, the core architecture is a relatively unchanging part of the system, and each version of the system is viewed as a product from the product line. Each software product is generated from the core architecture with some agent-based additions. The result may be a multi-agent system software product line.

Abstract: Systems, methods and apparatus are provided through which in some embodiments an autonomic unit transmits an otoacoustic signal to counteract a potentially harmful incoming signal.

Abstract: A mobile robotic unit features a main body, a plurality of legs for supporting the main body on and moving the main body in forward and reverse directions about a base surface, and a drive assembly. According to an exemplary embodiment each leg includes a respective pivotal hip joint, a pivotal knee joint, and a wheeled foot adapted to roll along the base surface. Also according to an exemplary embodiments the drive assembly includes a motor operatively associated with the hip and knee joints and the wheeled foot for independently driving pivotal movement of the hip joint and the knee joint and rolling motion of the wheeled foot. The hip joint may include a ball-and-socket-type joint interconnecting top portion of the leg to the main body, such that the hip joint is adapted to pivot said leg in a direction transverse to a forward-and-reverse direction.

Abstract: A directed flux motor described utilizes the directed magnetic flux of at least one magnet through ferrous material to drive different planetary gear sets to achieve capabilities in six actuated shafts that are grouped three to a side of the motor. The flux motor also utilizes an interwoven magnet configuration which reduces the overall size of the motor. The motor allows for simple changes to modify the torque to speed ratio of the gearing contained within the motor as well as simple configurations for any number of output shafts up to six. The changes allow for improved manufacturability and reliability within the design.

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: A directed flux motor described utilizes the directed magnetic flux of at least one magnet through ferrous material to drive different planetary gear sets to achieve capabilities in six actuated shafts that are grouped three to a side of the motor. The flux motor also utilizes an interwoven magnet configuration which reduces the overall size of the motor. The motor allows for simple changes to modify the torque to speed ratio of the gearing contained within the motor as well as simple configurations for any number of output shafts up to six. The changes allow for improved manufacturability and reliability within the design.

Abstract: A three-dimensional range imager includes a light source for providing a modulated light signal, a multiplexer, an optical fiber connecting the light source to the multiplexer, a plurality of optical fibers connected at first ends to the multiplexer and at second ends to a first fiber array, and a transmitter optic disposed adjacent the first fiber array for projecting a pixel pattern of the array onto a target.

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: A flexible joint may include a conductive compression spring and a pair of non-conductive spring cages disposed at opposite ends of the compression spring to support the compression spring. A conductive member disposed inside the compression spring may extend between the pair of spring cages. One end of the conductive member may be fixed for movement with one of the spring cages and another end of the conductive member may be fixed for movement with the other of the spring cages.

Abstract: Systems, methods and apparatus are provided through which in some embodiments a mass spectrometer micro-leak includes a number of channels fabricated by semiconductor processing tools and that includes a number of inlet holes that provide access to the channels.

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

Abstract: A directed flux motor described utilizes the directed magnetic flux of at least one magnet through ferrous material to drive different planetary gear sets to achieve capabilities in six actuated shafts that are grouped three to a side of the motor. The flux motor also utilizes an interwoven magnet configuration which reduces the overall size of the motor. The motor allows for simple changes to modify the torque to speed ratio of the gearing contained within the motor as well as simple configurations for any number of output shafts up to six. The changes allow for improved manufacturability and reliability within the design.

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

Abstract: Systems, methods and apparatus are provided in which an autonomic unit or element is quiesced. A quiesce component of an autonomic unit can cause the autonomic unit to self-destruct if a stay-alive reprieve signal is not received after a predetermined time.

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

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, domain knowledge is translated into a knowledge-based system. In some embodiments, a formal specification is derived from rules of a knowledge-based system, the formal specification is analyzed, and flaws in the formal specification are used to identify and correct errors in the domain knowledge, from which a knowledge-based system is translated.

Abstract: A joint assembly is provided which includes a drive assembly and a swivel mechanism. The drive assembly features a motor operatively associated with a plurality of drive shafts for driving auxiliary elements, and a plurality of swivel shafts for pivoting the drive assembly. The swivel mechanism engages the swivel shafts and has a fixable element that may be attached to a foundation. The swivel mechanism is adapted to cooperate with the swivel shafts to pivot the drive assembly with at least two degrees of freedom relative to the foundation. The joint assembly allows for all components to remain encased in a tight, compact, and sealed package, making it ideal for space, exploratory, and commercial applications.

Abstract: Systems, methods and apparatus are provided through which in some embodiments an informal specification is translated without human intervention into a formal specification. In some embodiments the formal specification is a process-based specification. In some embodiments, the formal specification is translated into a high-level computer programming language which is further compiled into a set of executable computer instructions.