Patent classifications
G06F17/13
Calculating device, calculation program, recording medium, and calculation method
According to one embodiment, a calculating device includes a processor repeating a processing procedure. The processing procedure includes first, second, and third variable updates. The first variable update includes updating an ith entry of a first variable x.sub.i by adding an ith entry of a first function to the first variable x.sub.i. The second variable update includes updating the second variable y.sub.i by adding, to the second variable y.sub.i, an arithmetic result of an ith entry of a second function, an ith entry of a third function, and an ith entry of a first element function. The third variable update includes updating the third variable z by adding an ith entry of a second element function to the third variable z. The processor performs at least an output of at least one of the first variable x.sub.i or a function of the first variable x.sub.i.
Control of trion density in carbon nanotubes for electro-optical and opto-electric devices
An optoelectronic system can include a single walled carbon nanotube (SWNT) device. The SWNT can include a carrier-doping density with optical conditions that control trion formation that respond via optical, electrical, or magnetic stimuli. The carrier-doping density can include a hole-polaron or electron-polaron concentration.
Control of trion density in carbon nanotubes for electro-optical and opto-electric devices
An optoelectronic system can include a single walled carbon nanotube (SWNT) device. The SWNT can include a carrier-doping density with optical conditions that control trion formation that respond via optical, electrical, or magnetic stimuli. The carrier-doping density can include a hole-polaron or electron-polaron concentration.
Gene expression programming
Gene expression programming-based behavior monitoring is disclosed. A machine receives, as input, a plurality of data examples. A method can include receiving data indicating behaviors of the device, determining, using a gene expression programming (GEP) method, a data model that explains the data, and comparing further data indicating further behavior of the device to the data model to determine whether the further behavior is explained by the data model.
System and method for identifying a preferred sensor
A system and method for selecting one sensor from among a plurality of sensors. For each of the plurality of sensors, a conditional probability of the sensor correctly identifying the target from among a plurality of objects detected by the sensor, given an association event, is calculated, and multiplied by a reward function for the sensor. The sensor for which this product is greatest is selected.
System and method for identifying a preferred sensor
A system and method for selecting one sensor from among a plurality of sensors. For each of the plurality of sensors, a conditional probability of the sensor correctly identifying the target from among a plurality of objects detected by the sensor, given an association event, is calculated, and multiplied by a reward function for the sensor. The sensor for which this product is greatest is selected.
Generalized jet-effect and fluid-repellent corpus
The invention provides a method for computational fluid dynamics and apparatuses making enable an efficient implementation and use of an enhanced jet-effect, either the Coanda-jet-effect, the hydrophobic jet-effect, or the waving-jet-effect, triggered by specifically shaped corpuses and tunnels. The method is based on the approaches of the kinetic theory of matter, thermodynamics, and continuum mechanics, providing generalized equations of fluid motion. The method is applicable for slow-flowing as well as fast-flowing real compressible-extendable fluids and enables optimal design of convergent-divergent nozzles, providing for the most efficient jet-thrust. The method can be applied to airfoil shape optimization for bodies flying separately and in a multi-stage cascaded sequence. The method enables apparatuses for electricity harvesting from the fluid heat-energy, providing a positive net-efficiency. The method enables efficient water-harvesting from air. The method enables generators for practical-expedient power harvesting using constructive interference of waves due to the waving jet-effect.
Generalized jet-effect and fluid-repellent corpus
The invention provides a method for computational fluid dynamics and apparatuses making enable an efficient implementation and use of an enhanced jet-effect, either the Coanda-jet-effect, the hydrophobic jet-effect, or the waving-jet-effect, triggered by specifically shaped corpuses and tunnels. The method is based on the approaches of the kinetic theory of matter, thermodynamics, and continuum mechanics, providing generalized equations of fluid motion. The method is applicable for slow-flowing as well as fast-flowing real compressible-extendable fluids and enables optimal design of convergent-divergent nozzles, providing for the most efficient jet-thrust. The method can be applied to airfoil shape optimization for bodies flying separately and in a multi-stage cascaded sequence. The method enables apparatuses for electricity harvesting from the fluid heat-energy, providing a positive net-efficiency. The method enables efficient water-harvesting from air. The method enables generators for practical-expedient power harvesting using constructive interference of waves due to the waving jet-effect.
SYSTEM AND METHOD FOR DIVIDE-AND-CONQUER CHECKPOINTING
A system and method which allows the basic checkpoint-reverse-mode AD strategy (of recursively decomposing the computation to reduce storage requirements of reverse-mode AD) to be applied to arbitrary programs: not just programs consisting of loops, but programs with arbitrarily complex control flow. The method comprises (a) transforming the program into a formalism that allows convenient manipulation by formal tools, and (b) introducing a set of operators to allow computations to be decomposed by running them for a given period of time then pausing them, while treating the paused program as a value subject to manipulation.
SYSTEM AND METHOD FOR DIVIDE-AND-CONQUER CHECKPOINTING
A system and method which allows the basic checkpoint-reverse-mode AD strategy (of recursively decomposing the computation to reduce storage requirements of reverse-mode AD) to be applied to arbitrary programs: not just programs consisting of loops, but programs with arbitrarily complex control flow. The method comprises (a) transforming the program into a formalism that allows convenient manipulation by formal tools, and (b) introducing a set of operators to allow computations to be decomposed by running them for a given period of time then pausing them, while treating the paused program as a value subject to manipulation.