Abstract: A wind and temperature spectrometer (WTS) may detect the angular and energy distributions of neutral atoms/molecules and ions in two mutually perpendicular planes. The measured energy distribution at a known angle near the peak may be used to infer the full wind vector W. A WTS having a single ion source may be used in conjunction with a crossed small-deflection energy analyzer (SDEA). The crossed SDEA may combine the angular and energy distributions in the two mutually perpendicular planes into a single spectrometer with a single optical axis. A WTS having a single ion source may use less energy and occupy less space than a WTS with two ion sources.

Abstract: A method of determining complete sensor requirements for autonomous mobility of an autonomous system includes computing a time variation of each behavior of a set of behaviors of the autonomous system, determining mobility sensitivity to each behavior of the autonomous system, and computing a change in mobility based upon the mobility sensitivity to each behavior and the time variation of each behavior. The method further includes determining the complete sensor requirements of the autonomous system through analysis of the relative magnitude of the change in mobility, the mobility sensitivity to each behavior, and the time variation of each behavior, wherein the relative magnitude of the change in mobility, the mobility sensitivity to each behavior, and the time variation of each behavior are characteristic of the stability of the autonomous system.

Abstract: According to various embodiments, provided herein is an optical system and method that can be configured to perform image analysis. The optical system can comprise a telescope assembly and one or more hybrid instruments. The one or more hybrid instruments can be configured to receive image data from the telescope assembly and perform a fine guidance operation and a wavefront sensing operation, simultaneously, on the image data received from the telescope assembly.

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: A digital radar system includes a transmitter, the transmitter configured to transmit a signal; a receiver, the receiver configured to receive a return signal; and two analog to digital conversion (ADC) units, the ADC units configured to digitize the return signal at a rate higher than a Nyquist rate for the transmitted signal. A method of operating a digital radar includes transmitting a signal via a transmitter; receiving a return signal via a receiver; and digitizing the return signal by two analog to digital conversion (ADC) units at a rate higher than a Nyquist rate for the transmitted signal.

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, a USB flash memory storage device includes a plurality of interfaces to external devices. An apparatus to store data can include a non-volatile computer memory coupled by a male interface to an external device, such as a computer, and a by a female interface to another external device, such as another apparatus to store data. Thus, multiple apparatus may be coupled together in daisy-chain fashion to create a single, larger memory device that can be accessed by the computer.

Abstract: A device/system for radiation sensing is configured to detect high and low LET radiation. The radiation sensing system may include a high LET detector and a low LET detector coupled to the high LET detector by a CPU, wherein the high LET detector and the low LET detector are assembled within a single unit. The device/system may also include a high LET and low LET detector that may be coupled together without an internal CPU. Overall, the device/system may be a stand-alone system and/or coupled to an external processing device. The device/system may also be approximately 6×6×2 cm in size, making it hand portable and may weigh less or equal to approximately ninety (90) grams, and operate on less than or approximately 0.25 watts of power.

Abstract: The invention relates to a driven ground electrical circuit. A driven ground is a current-measuring ground termination to an electrical circuit with the current measured as a vector with amplification. The driven ground module may include an electric potential source VS driving an electric current through an impedance (load Z) to a driven ground. Voltage from the source VS excites the minus terminal of an operational amplifier inside the driven ground which, in turn, may react by generating an equal and opposite voltage to drive the net potential to approximately zero (effectively ground). A driven ground may also be a means of passing information via the current passing through one grounded circuit to another electronic circuit as input. It may ground one circuit, amplify the information carried in its current and pass this information on as input to the next circuit.

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 through which in some embodiments, automata learning algorithms and techniques are implemented to generate a more complete set of scenarios for requirements based programming. More specifically, a CSP-based, syntax-oriented model construction, which requires the support of a theorem prover, is complemented by model extrapolation, via automata learning. This may support the systematic completion of the requirements, the nature of the requirement being partial, which provides focus on the most prominent scenarios. This may generalize requirement skeletons by extrapolation and may indicate by way of automatically generated traces where the requirement specification is too loose and additional information is required.

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