Solving Equation Patents (Class 708/446)
-
Patent number: 12093663Abstract: A system and methods for using carry chain logic, a product term splitting methodology, and a new Sum-of-Products (SOP) output multiplexer (mux) equation to build faster and larger sorting blocks.Type: GrantFiled: December 7, 2023Date of Patent: September 17, 2024Assignee: UNM RAINFOREST INNOVATIONSInventors: Robert Bernard Kent, Marios Stephanou Pattichis
-
Patent number: 12000760Abstract: This invention relates to a resonant frequency vibrational test and a method of subjecting a component to such a resonant frequency vibrational test.Type: GrantFiled: March 13, 2020Date of Patent: June 4, 2024Assignee: Universite De MonsInventors: Lassaad Ben Fekih, Olivier Verlinden, Georges Kouroussis
-
Patent number: 11921813Abstract: Embodiments relate to a computing system for solving differential equations. The system is configured to receive problem packages corresponding to problems to be solved, each comprising at least a differential equation and a domain, and to select a solver of a plurality of solvers, based upon availability of each of the plurality of solvers. A dispatch computer selects a solver by monitoring the plurality of solvers, and responsive to a solver becoming available, determines if a received problem package having at least a threshold priority level can be solved by the solver. Otherwise, the dispatch computer generates a plurality of solver scenarios each reflecting a permutation of received problem packages assigned to solvers estimated to become available within a threshold period of time, and assigns the problem packages in accordance with a solver scenario having a highest utilization score.Type: GrantFiled: August 10, 2020Date of Patent: March 5, 2024Assignee: VORTICITY INC.Inventor: Chirath Neranjena Thouppuarachchi
-
Patent number: 11907682Abstract: This device comprises a fast sampler comprising: a truncated table associating with truncated random numbers rmsb coded on Nmsb bits, the only sample k for which, whatever the number rlsb belonging to the interval [0; 2Nr?Nmsb?1], the following condition is met: F(k?1)<(rmsb, rlsb)?F(k), where: (rmsb, rlsb) is the binary number coded on Nr bits and the Nmsb most significant bits of which are equal to the truncated random number rmsb and the (Nr?Nmsb) least significant bits of which are equal to the number rlsb, Nmsb is an integer number lower than Nr, a module for searching for a received truncated random number rmsb in the truncated table, and able to transmit the sample k, associated, by the truncated table, with the received truncated random number rmsb, by way of random number drawn according to the probability distribution ?.Type: GrantFiled: January 11, 2021Date of Patent: February 20, 2024Assignee: Commissariat A L'Energie Atomique et aux Energies AlternativesInventor: Thomas Hiscock
-
Patent number: 11748707Abstract: Methods, systems, and apparatus for solving cost optimization problems. In one aspect, a method includes receiving data representing a bill of materials (BOM) optimization problem, the BOM optimization problem comprising a task of determining a BOM recommendation that satisfies one or more constraints, wherein each constraint comprises one or more constraint variables and a constraint constant; generating, based on the data representing the BOM optimization problem, a quadratic unconstrained binary optimization (QUBO) formulation, wherein the QUBO formulation comprises i) for each constraint variable in the one or more constraints, a binary representation of the constraint variable and ii) a first parameter that depends on a difference between a respective constraint constant and the binary representations of the constraint variables; and obtaining data representing a solution to the BOM optimization problem from a quantum computing resource.Type: GrantFiled: April 7, 2021Date of Patent: September 5, 2023Assignee: Accenture Global Solutions LimitedInventors: Rodrigo Morimoto Suguiura, Jair Antunes De Carvalho, Jr.
-
Patent number: 11693916Abstract: According to an aspect of an embodiment, operations include receiving a Quadratic Integer Programming (QIP) problem including an objective function and a set of constraints on integer variables associated with the objective function. The operations further include obtaining an approximation of the QIP problem by relaxing the QIP problem and generating an approximate solution by solving the obtained approximation. The operations further include generating a Quadratic Unconstrained Binary Optimization (QUBO) formulation of the QIP problem based on the generated approximate solution and the received QIP problem. The operations further include submitting the generated QUBO formulation to an optimization solver machine and receiving a solution of the submitted QUBO formulation from the optimization solver machine. The operations further include publishing an integral solution of the received QIP problem on a user device based on the received solution.Type: GrantFiled: August 7, 2020Date of Patent: July 4, 2023Assignee: FUJITSU LIMITEDInventors: Avradip Mandal, Arnab Roy, Sarvagya Upadhyay, Hayato Ushijima-Mwesigwa
-
Patent number: 11620564Abstract: Method, apparatus and product for modeling of quantum circuits and usages thereof. A method comprises obtaining a model of a quantum circuit that comprises a set of decision variables, corresponding domains, and constraints, wherein the set of decision variables comprise gate assignment decision variables that define an assignment of a gate to a qubit in a cycle in the quantum circuit. The method comprises automatically determining a set of valuations for the set of decision variables. The set of valuations are selected from the corresponding domains and satisfy the constraints. Based on the set of valuations the quantum circuit is synthesized.Type: GrantFiled: February 8, 2022Date of Patent: April 4, 2023Assignee: CLASSIQ TECHNOLOGIES LTD.Inventors: Yehuda Naveh, Amir Naveh, Nir Minerbi, Ofek Kirzner, Adam Goldfeld, Shmuel Ur
-
Patent number: 11562239Abstract: A computer-implemented method for computing node embeddings of a sparse graph that is an input of a sparse graph neural network is described. Each node embedding corresponds to a respective node of the sparse graph and represents feature information of the respective node and a plurality of neighboring nodes of the respective node.Type: GrantFiled: May 26, 2020Date of Patent: January 24, 2023Assignee: Google LLCInventors: Daniel S. Tarlow, Matej Balog, Bart van Merrienboer, Yujia Li, Subhodeep Moitra
-
Patent number: 11537995Abstract: A method, computer software product and system for solving cyclic scheduling problems. Specifically, the present disclosure significantly improves the method in a previous patent (H. K. Alfares, 2011, “Cyclic Combinatorial Method and System”, U.S. Pat. No. 8,046,316), by eliminating a time-consuming combinatorial procedure. A procedure is described which significantly decreases the number of iterations, and hence computational time and cost. The processes of the present disclosure have many applications in cyclic workforce scheduling, cyclic transportation system scheduling, cyclic scheduling of data packet transmitting as applied to networks having a plurality of nodes and cyclic production scheduling.Type: GrantFiled: February 1, 2019Date of Patent: December 27, 2022Assignee: King Fahd University of Petroleum and MineralsInventor: Hesham K. Alfares
-
Patent number: 11494462Abstract: According to one embodiment, a calculating device includes a processor repeating a processing procedure. The processing procedure includes a first variable update and a second variable update. The first variable update includes updating an ith entry of a first variable xi by adding a first function to the ith entry of the first variable xi before the first variable update. The second variable update includes updating the ith entry of the second variable yi by adding a second function and a third function to the ith entry of the second variable yi before the second variable update. The processor performs at least an output of at least one of the ith entry of the first variable xi obtained after the repeating of the processing procedure or a function of the ith entry of the first variable xi obtained after the repeating of the processing procedure.Type: GrantFiled: November 6, 2020Date of Patent: November 8, 2022Assignee: KABUSHIKI KAISHA TOSHIBAInventors: Hayato Goto, Kosuke Tatsumura
-
Patent number: 11487699Abstract: Systems, apparatuses, and methods related to bit string accumulation in memory array periphery are described. Control circuitry (e.g., a processing device) may be utilized to control performance of operations using bit strings within a memory device. Results of the operations may be accumulated in circuitry peripheral to a memory array of the memory device. For instance, a method for bit string accumulation in memory array periphery can include performing a first operation using a first bit string and a second bit string and retrieving a third bit string from a memory array or a storage location located in the periphery of the memory array. The method can further include performing a second operation using the result of the first operation and the third bit string and storing the result of the second operation in the storage location located in the periphery of the memory array.Type: GrantFiled: June 4, 2019Date of Patent: November 1, 2022Assignee: Micron Technology, Inc.Inventor: Vijay S. Ramesh
-
Patent number: 11403070Abstract: Embodiments relate to a system for solving differential equations. The system is configured to receive problem packages corresponding to problems to be solved, each comprising at least a differential equation and a domain. A solver stores a plurality of nodes of the domain corresponding to a first time-step, and processes the nodes over a plurality of time-steps using a systolic array comprising hardware for solving the particular type of the differential equation. The systolic array processes each node to generate a node for a subsequent time-step using a sub-array comprising a plurality of branches, each branch comprising a respective set of arithmetic units arranged in accordance with a corresponding term of the discretized form of the differential equation, and an aggregator configured to aggregate the corresponding terms from each branch to generate node data for the subsequent time-step.Type: GrantFiled: August 10, 2020Date of Patent: August 2, 2022Assignee: Vorticity Inc.Inventor: Chirath Neranjena Thouppuarachchi
-
Patent number: 11288589Abstract: Method, apparatus and product for modeling of quantum circuits and usages thereof. A method includes obtaining a model of a quantum circuit that comprises a set of decision variables, corresponding domains, and constraints, wherein the set of decision variables comprise gate assignment decision variables that define an assignment of a gate to a qubit in a cycle in the quantum circuit. The method includes automatically determining a set of valuations for the set of decision variables. The set of valuations are selected from the corresponding domains and satisfy the constraints. Based on the set of valuations the quantum circuit is synthesized.Type: GrantFiled: January 14, 2021Date of Patent: March 29, 2022Assignee: CLASSIQ TECHNOLOGIES LTD.Inventors: Yehuda Naveh, Amir Naveh, Nir Minerbi, Ofek Kirzner, Adam Goldfeld, Shmuel Ur
-
Patent number: 11144017Abstract: A system and approach for storing factors in a quadratic programming solver of an embedded model predictive control platform. The solver may be connected to an optimization model which may be connected to a factorization module. The factorization module may incorporate a memory containing saved factors that may be connected to a factor search mechanism to find a nearest stored factor in the memory. A factor update unit may be connected to the factor search mechanism to obtain the nearest stored factor to perform a factor update. The factorization module may provide variable ordering to reduce a number of factors that need to be stored to permit the factors to be updated at zero floating point operations per unit of time.Type: GrantFiled: August 16, 2019Date of Patent: October 12, 2021Assignee: Garrett Transportation I, Inc.Inventor: Ondrej Santin
-
Patent number: 11093817Abstract: An information processing device includes, a memory, and a processor coupled to the memory and the processor configured to, acquire a neural network, divide the neural network into divided neural networks, identify, based on input-output characteristics of the divided neural networks, parameters of each of polynomial neural networks corresponding to each of the divided neural networks, and output another neural network generated by linking the identified polynomial neural networks.Type: GrantFiled: November 21, 2017Date of Patent: August 17, 2021Assignee: FUJITSU LIMITEDInventor: Satoshi Tanabe
-
Patent number: 10997271Abstract: To improve efficiency for solving a system of equations, art equation solver uses variable reduction techniques to reduce a number of variables to be solved. The equation solver identifies derived variables and eliminates them from the system of equations. The equation solver considers the remaining variables to be primitive variables. The primitive variables may be rewritten into a representation of the system of equations or into a set of equations that may be used to solve for values of the primitive variables. The equation solver solves for values of the primitive variables. Prior to solving or during solving iterations, the equation solver may apply storage policies to further reduce the number of variables to be solved. The storage policies indicate parameters and techniques for eliminating primitive variables to be solved, such as primitive variables that are insignificant (i.e., have little effect on a solution for the system of equations).Type: GrantFiled: November 29, 2016Date of Patent: May 4, 2021Assignee: Halliburton Energy Services, Inc.Inventor: Dinesh Ananda Shetty
-
Patent number: 10990072Abstract: Systems and methods are described herein for maintaining stability of a power grid by providing a continuous power system data stream. Power system data including one or more data packets is monitored to identify reliability of data transmission. A predicted data packet is continually generated, characterizing predicted power system data of the power grid based on filtering of the one or more past and most recent non-missing and reliable data packets. A substitution factor of the one or more data packets is determined. The predicted data packet is selectively substituted in place of the one or more data packets based on the substitution factor.Type: GrantFiled: November 28, 2017Date of Patent: April 27, 2021Assignee: PXiSE Energy Solutions, LLCInventors: Sai Akhil Reddy Konakalla, Raymond A. de Callafon
-
Patent number: 10951326Abstract: Described is a method of setting up a plurality of quantum communications links, forming a quantum network providing provably secure communications and internet services over intercontinental distances without requiring direct line of sight communication or the intermediate use of the entanglement resource of satellites. Also described is a quantum communicator device for use in this method. Two or more quantum memory units are disposed at a first location, an entangled link is set up between at least two of the quantum memory units, at least one of the quantum memory units sharing in the entangled link is physically transported to a second location. The quantum communicator device comprises communications nodes, an optical interface to set up entanglement to other devices and storage nodes, each node in the form of a quantum memory unit capable of storing quantum information for a desired length of time, i.e. weeks or longer.Type: GrantFiled: August 23, 2019Date of Patent: March 16, 2021Assignee: Turing Inc.Inventor: Michele Reilly
-
Patent number: 10915075Abstract: A device for controlling an industrial system comprises an input block and a reference value predicter. The reference value predicter includes a disturbance predicter, a state predicter, and a model parameter predicter. A model updater updates the model of the industrial system based on the predicted state and the predicted parameters. A one-prediction-step calculator of the reference value predicter calculates a prediction step based on the predicted disturbances and the model of the system. The device further includes a matrix updater and a linear solver that includes a memory structure such that each row of Jacobian and gradient matrices may be processed in parallel, a pivot search block that determines a maximum element in a column of the Jacobian and gradient matrices, and a pivot row reading block. Moreover, the device further includes a solution updater that updates the solution for an iteration step and controls the iteration process and an output block that sends a solution to the industrial system.Type: GrantFiled: October 2, 2018Date of Patent: February 9, 2021Assignee: UNIVERSITY OF DAYTONInventors: Zhenhua Jiang, Seyed Ataollah Raziei
-
Patent number: 10860679Abstract: According to one embodiment, a calculating device includes a processor repeating a processing procedure. The processing procedure includes a first variable update and a second variable update. The first variable update includes updating an ith entry of a first variable xi by adding a first function to the ith entry of the first variable xi before the first variable update. The second variable update includes updating the ith entry of the second variable yi by adding a second function and a third function to the ith entry of the second variable yi before the second variable update. The processor performs at least an output of at least one of the ith entry of the first variable xi obtained after the repeating of the processing procedure or a function of the ith entry of the first variable xi obtained after the repeating of the processing procedure.Type: GrantFiled: September 6, 2018Date of Patent: December 8, 2020Assignee: Kabushiki Kaisha ToshibaInventors: Hayato Goto, Kosuke Tatsumura
-
Patent number: 10762101Abstract: In one example in accordance with the present disclosure, a system comprises a computing node. The computing node comprises: a memory, and a processor to: execute a database in the memory, and invoke, with the database, singular value decomposition (SVD) on a data set. To invoke SVD, the processor may sparsify, with the database, the data set to produce a sparse data set, iteratively decompose, with the database, the data set to produce a set of eigenvalues, solve, with the database a linear system to produce a set of eigenvectors, and multiply, with the database, the eigenvectors with the data set to produce a data set of reduced dimension.Type: GrantFiled: November 1, 2016Date of Patent: September 1, 2020Assignee: MICRO FOCUS LLCInventors: Meichun Hsu, Lakshminarayan Choudur
-
Patent number: 10746838Abstract: A wideband signal is enhanced or suppressed to the same extent at each frequency without increasing the size of an overall sensor array. To achieve this, there is provided a signal processing apparatus including a direction estimator that obtains a direction of arrival of a signal for signals received from a plurality of sensors and each containing a target signal and noise, a first gain calculator that calculates a first gain using the direction of arrival of the signal, an integrator that obtains an integrated signal by integrating the signals received from the plurality of sensors, and a multiplier that multiplies the first gain by the integrated signal.Type: GrantFiled: November 6, 2015Date of Patent: August 18, 2020Assignee: NEC CORPORATIONInventors: Akihiko Sugiyama, Ryoji Miyahara
-
Patent number: 10733765Abstract: The systems and methods described herein can pre-process a blendshape matrix via a global clusterization process and a local clusterization process. The pre-processing can cause the blendshape matrix to be divided into multiple blocks. The techniques can further apply a matrix compression technique to each block of the blendshape matrix to generate a compression result. The matrix compression technique can comprise a matrix approximation step, an accuracy verification step, and a recursive compression step. The compression result for each block may be combined to generate a compressed blendshape matrix for rendering a virtual entity.Type: GrantFiled: October 5, 2018Date of Patent: August 4, 2020Assignee: ELECTRONIC ARTS INC.Inventor: Dmitry Andreevich Andreev
-
Patent number: 10719354Abstract: A system for scheduling the execution of container workloads from a series of applications and a series of containers of each application. The system includes a processor and a non-transitory computer-readable storage medium having instructions stored thereon, which, when executed by the processor, cause the system to calculate a conflict penalty matrix including a conflict penalty for each potential combination of container workloads of the plurality of containers, and calculate a minimum total conflict penalty of the container workloads and a number of workload batches for executing the container workloads. The number of workload batches is associated with the minimum total conflict penalty. The instructions, when executed by the processor, further cause the system to assign the container workloads to the workload batches based on the minimum total conflict penalty and the number of the workload batches.Type: GrantFiled: November 22, 2017Date of Patent: July 21, 2020Assignee: Samsung Electronics Co., Ltd.Inventors: Janki Sharadkumar Bhimani, Anand Subramanian, Jingpei Yang, Vijay Balakrishnan
-
Patent number: 10713332Abstract: Systems and methods for finding the solution to a system of linear equations include use of a reconfigurable hardware based real-time computational solver. The solver apparatus solves systems of linear equations by applying Gauss-Jordan Elimination to an augmented matrix in parallel on reconfigurable hardware consisting of parallel data processing modules, reusable memory blocks and flexible control logic units, which can greatly accelerate the solution procedure.Type: GrantFiled: June 25, 2018Date of Patent: July 14, 2020Assignee: University of DaytonInventors: Zhenhua Jiang, Seyed Ataollah Raziei
-
Patent number: 10691772Abstract: A method includes storing a sparse triangular matrix as a compressed sparse row (CSR) dataset. For each factor of a plurality of factors in a first vector, a value of the factor is calculated by identifying for the factor a set of one or more antecedent factors in the first vector, where the value of the factor is dependent on each of the one or more antecedent factors. In response to a completion array indicating that all of the one or more antecedent factor values are solved, the value of the factor is calculated based on one or more elements in a row of the matrix and a product value corresponding to the row. In the completion array, a first completion flag for the factor is asserted, indicating that the factor is solved.Type: GrantFiled: April 20, 2018Date of Patent: June 23, 2020Assignee: Advanced Micro Devices, Inc.Inventor: Joseph Lee Greathouse
-
Patent number: 10412767Abstract: A method for operating a user equipment (UE) in a millimeter wave (mmWave) communications system includes receiving a first wide beam beam-formed reference signal from a mmWave evolved NodeB (eNB) during an initial time interval, the first wide beam beam-formed reference signal carrying timing information, detecting a wide beam boundary between the first wide beam beam-formed reference signal and a second wide beam beam-formed reference signal during a subsequent time interval, wherein both the first wide beam beam-formed reference signal and the second wide beam beam-formed reference signal are rotated by a narrow beam beam-width during each intermediate time interval between the initial time interval and the subsequent time interval, and informing the mmWave eNB of an indication that the UE detected the wide beam boundary during the subsequent time interval, the indication being used to assign a narrow beam direction to the UE.Type: GrantFiled: April 20, 2016Date of Patent: September 10, 2019Assignee: FUTUREWEI TECHNOLOGIES, INC.Inventors: Bin Liu, Richard Stirling-Gallacher
-
Patent number: 10235341Abstract: Method for solving the decomposition-coordination calculation based on Block Bordered Diagonal Form (BBDF) model by using data center. During the solving process, partitioning the electric power system network by using the existing network partitioning method to achieve the grid partition, and setting the parameters of virtual memories firstly, thus to establish the bin-packing model with the priority of energy efficiency; and then, setting each calculating step of the decomposition-coordination calculation based on BBDF as a task. Through the manners that servers host VMs and VMs map tasks, the decomposition-coordination algorithm can be executed in data center, and the running time and energy consumption of data center can be calculated. The calculating time of decomposition-coordination algorithm is shortened and the energy consumption in data center.Type: GrantFiled: September 22, 2014Date of Patent: March 19, 2019Assignee: Tianjin UniversityInventors: Ting Yang, Wenping Xiang, Yingmin Feng, Haibo Pen, Mingyu Xu, Jinkuo You, Hongtao Wang
-
Patent number: 10096133Abstract: The systems and methods described herein can pre-process a blendshape matrix via a global clusterization process and a local clusterization process. The pre-processing can cause the blendshape matrix to be divided into multiple blocks. The techniques can further apply a matrix compression technique to each block of the blendshape matrix to generate a compression result. The matrix compression technique can comprise a matrix approximation step, an accuracy verification step, and a recursive compression step. The compression result for each block may be combined to generate a compressed blendshape matrix for rendering a virtual entity.Type: GrantFiled: March 31, 2017Date of Patent: October 9, 2018Assignee: ELECTRONIC ARTS INC.Inventor: Dmitry Andreevich Andreev
-
Patent number: 9941740Abstract: Systems, apparatus and methods for quantifying and identifying diversion of electrical energy are provided. Bypass and tap diversions may be identified in an electric utility power distribution inventory zone having both bypass and tap diversions. Bypass diversion factors for consumer nodes in an inventory zone are determined by finding a solution to a system of load balance equations having slack variables representing aggregate tap loads for the inventory zone and in which consumer load profile data is scaled by the bypass diversion factors, which solution minimizes an objective function whose value is positively related to the sum of the slack variables representing the aggregate tap loads.Type: GrantFiled: August 11, 2016Date of Patent: April 10, 2018Assignee: MBH CONSULTING LTD.Inventor: Michael Brent Hughes
-
Patent number: 9779374Abstract: The method includes determining an assignment completion time distribution based on a task set defining a project, determining a project completion time distribution based on the assignment completion time distribution and the task set, determining a project cost based on assignments of the task set, and generating a list of project task assignments based on the project cost and the project completion time distribution.Type: GrantFiled: September 25, 2013Date of Patent: October 3, 2017Assignee: SAP SEInventors: Tianyu Luwang, Wen-Syan Li
-
Patent number: 9734144Abstract: In some examples, a computing system may access multiple information files, generate term-passage matrix data based on the multiple information files, and decompose the term-passage matrix data to generate a reduced-dimensional semantic space, which may be used for information retrieval.Type: GrantFiled: September 18, 2014Date of Patent: August 15, 2017Assignee: EMPIRE TECHNOLOGY DEVELOPMENT LLCInventors: Mihai Dasc{hacek over (a)}lu, David Walter Ash
-
Patent number: 9734262Abstract: A query answer engine converts a query and answers into a non-natural language forming units that correspond to words, symbols, numbers and spaces and combinations of the above, and establishes the contextual meaning of the units utilizing read, recognize and relate processes to populate a query matrix and an answer matrix with 3-valued points corresponding to the read, recognize and relate values of a unit. The two matrices are cross correlated to yield a robust answer to a query taking into account context. The conversion of text to units uses contextual meaning parametric tables, databases, libraries, rules and an engine for determining the focal point of a query or an answer.Type: GrantFiled: September 4, 2013Date of Patent: August 15, 2017Inventor: Patrick Delefevre
-
Patent number: 9600446Abstract: A preconditioner processor and a method of computing a preconditioning matrix. In one embodiment, the preconditioner processor has parallel computing pipelines including: (1) a graph coloring circuit operable to identify parallelisms in a sparse linear system, (2) an incomplete lower triangle, upper triangle factorization (ILU) computer configured to employ the parallel computing pipelines according to the parallelisms to: (2a) determine a sparsity pattern for an ILU preconditioning matrix, and (2b) compute non-zero elements of the ILU preconditioning matrix according to the sparsity pattern, and (3) a memory communicably couplable to the parallel computing pipelines and configured to store the ILU preconditioning matrix.Type: GrantFiled: August 8, 2013Date of Patent: March 21, 2017Assignee: Nvidia CorporationInventors: Robert Strzodka, Julien Demouth, Patrice Castonguay
-
Patent number: 9547882Abstract: Disclosed herein is a shared memory systems that use a combination of SBR and MRRR techniques to calculate eigenpairs for dense matrices having very large numbers of rows and columns. The disclosed system allows for the use of a highly scalable tridiagonal eigensolver. The disclosed system likewise allows for allocating a different number of threads to each of the different computational stages of the eigensolver.Type: GrantFiled: November 10, 2014Date of Patent: January 17, 2017Assignee: SILICON GRAPHICS INTERNATIONAL CORP.Inventor: Cheng Liao
-
Patent number: 9523635Abstract: Apparatus and methods of spectral searching that employ wavelet coefficients as the basis for the searching. The disclosed apparatus and methods employ a wavelet lifting scheme to transform spectroscopic data corresponding to an unknown pure material/mixture to a vector of wavelet coefficients, compare the wavelet coefficient vector for the unknown pure material/mixture with a library of wavelet coefficient vectors for known pure materials/mixtures, and identify the closest match to the unknown pure material/mixture based on the comparison of wavelet coefficient vectors.Type: GrantFiled: June 20, 2013Date of Patent: December 20, 2016Assignee: Rigaku Raman Technologies, Inc.Inventor: Scott B. Tilden
-
Patent number: 9514415Abstract: A target quantum circuit expressed in a first quantum gate basis may be transformed into a corresponding quantum circuit expressed in a second quantum gate basis, which may be a universal set of gates such as a V gate basis set. The target quantum circuit may be expressed as a linear combination of quantum gates. The linear combination of quantum gates may be mapped to a quaternion. The quaternion may be factorized, based at least in part on an amount of precision between the target quantum circuit and the corresponding quantum circuit expressed in the second quantum gate basis, into a sequence of quaternion factors. The sequence of quaternion factors may be mapped into a sequence of quantum gates of the second quantum gate basis, where the sequence of sequence of quantum gates is the corresponding quantum circuit.Type: GrantFiled: September 4, 2013Date of Patent: December 6, 2016Assignee: Microsoft Technology Licensing, LLCInventors: Alexei V. Bocharov, Yuri Gurevich, Krysta M. Svore
-
Patent number: 9418045Abstract: Systems, apparatus and methods for quantifying and identifying diversion of electrical energy are provided. Bypass and tap diversions may be identified in an electric utility power distribution inventory zone having both bypass and tap diversions. Bypass diversion factors for consumer nodes in an inventory zone are determined by finding a solution to a system of load balance equations having slack variables representing aggregate tap loads for the inventory zone and in which consumer load profile data is scaled by the bypass diversion factors, which solution minimizes an objective function whose value is positively related to the sum of the slack variables representing the aggregate tap loads.Type: GrantFiled: November 19, 2012Date of Patent: August 16, 2016Assignee: MBH CONSULTING LTD.Inventor: Michael Brent Hughes
-
Patent number: 9143325Abstract: A non-linear transformation including a plurality of non-linear logical operations is masked to a second or higher order. The masking includes receiving a set of random bits, and machine-masking two or more of the plurality of non-linear logical operations with a same random bit from the set of random bits.Type: GrantFiled: December 14, 2012Date of Patent: September 22, 2015Assignee: MICROSOFT TECHNOLOGY LICENSING, LLCInventors: Zhimin Chen, Jay Scott Fuller
-
Patent number: 9128763Abstract: A system and computer-implemented method for generating an optimized allocation of a plurality of tasks across a plurality of processors or slots for processing or execution in a distributed computing environment. In a cloud computing environment implementing a MapReduce framework, the system and computer-implemented method may be used to schedule map or reduce tasks to processors or slots on the network such that the tasks are matched to processors or slots in a data locality aware fashion wherein the suitability of node and the characteristics of the task are accounted for using a minimum cost flow function.Type: GrantFiled: July 20, 2012Date of Patent: September 8, 2015Assignee: Infosys LimitedInventors: Santonu Sarkar, Naveen Chandra Tewari, Rajarshi Bhose
-
Patent number: 9036661Abstract: Systems, devices, processors, and methods are described which may be used for the reception of a wireless broadband signal at a user terminal from a gateway via a satellite. A wireless signal may include a series of physical layer frames, each frame including a physical layer header and payload. The received signal is digitized and processed using various novel physical layer headers and related techniques to synchronize the physical layer frames and recover data from physical layer headers for purposes of demodulation and decoding.Type: GrantFiled: February 12, 2013Date of Patent: May 19, 2015Assignee: ViaSat, Inc.Inventors: Donald W. Becker, Matthew D. Nimon, William H. Thesling
-
Patent number: 9032006Abstract: Apparatus and method for processing linear systems of equations and finding a n×1 vector x satisfying Ax=b where A is a symmetric, positive-definite n×n matrix corresponding to n×n predefined high-precision elements and b is an n1 vector corresponding to n predefined high-precision elements. A first iterative process generates n low-precision elements corresponding to an n×1 vector xl satisfying Alxl=bl where Al, bl are elements in low precision. The elements are converted to high-precision data elements to obtain a current solution vector x. A second iterative process generates n low-precision data elements corresponding to an n×1 correction vector dependent on the difference between the vector b and the vector product Ax. Then there is produced from the n low-precision data elements of the correction vector respective high-precision data elements of an n×1 update vector u. The data elements of the current solution vector x are updated such that x=x+u.Type: GrantFiled: March 3, 2010Date of Patent: May 12, 2015Assignee: International Business Machines CorporationInventors: Konstantinos Bekas, Alessandro Curioni
-
Patent number: 8959128Abstract: Wiberg minimization operates on a system with two sets of variables described by a linear function and in which some data or observations are missing. The disclosure generalizes Wiberg minimization, solving for a function that is nonlinear in both sets of variables, U and V, iteratively. In one embodiment, defining a first function ƒ(U, V) that may be defined that may be nonlinear in both a first set of variables U and a second set of variables V. A first function ƒ(U, V) may be transformed into ƒ(U, V(U)). First assumed values of the first set of variables U may be assigned. The second set of variables V may be iteratively estimated based upon the transformed first function ƒ(U, V(U)) and the assumed values of the first set of variables U such that ƒ(U, V(U)) may be minimized with respect to V. New estimates of the first set of variables U may be iteratively computed.Type: GrantFiled: November 16, 2011Date of Patent: February 17, 2015Assignee: Google Inc.Inventors: Dennis Strelow, Jay Yagnik
-
Publication number: 20150039663Abstract: A dynamical method and system generate a global optimal solution to a mixed integer nonlinear programming (MINLP) problem, where a part or all of optimization variables of the MINLP problem are restricted to have discrete values. The method computes a first integer solution to the MINLP problem with a given starting point using an MINLP solver; computes a set of stable equilibrium points (SEPs) of a nonlinear dynamical system associated with a relaxed continuous problem of the MINLP problem, where the SEPs surround the first integer solution and form one or more tiers; identifies from the SEPs a set of new starting points for the MINLP problem; computes integer solutions to the MINLP problem with progressively tightened bounds, starting from the new starting points using the MINLP solver; and generates the global optimal solution based on the integer solutions after one or more iterations.Type: ApplicationFiled: July 30, 2013Publication date: February 5, 2015Applicant: Bigwood Technology Inc.Inventors: Hsiao-Dong Chiang, Tao Wang, Bin Wang
-
Publication number: 20150039664Abstract: Systems and techniques are described for solving a gate-sizing optimization problem using a constraints solver. Some embodiments can create a constraints problem based on a gate-sizing optimization problem for a portion of a circuit design. Specifically, the constraints problem can comprise a set of upper bound constraints that impose an upper bound on one or more variables that are used in the objective function of the gate-sizing optimization problem. Next, the embodiments can solve the gate-sizing optimization problem by repeatedly solving the constraints problem using a constraints solver. Specifically, prior to each invocation of the constraints solver, the upper bound can be increased or decreased based at least on a result returned by a previous invocation of the constraints solver.Type: ApplicationFiled: July 30, 2013Publication date: February 5, 2015Applicant: Synopsys, Inc.Inventors: Mahesh A. Iyer, Amir H. Mottaez
-
Publication number: 20150006605Abstract: Provided are techniques for interaction detection for generalized linear models. Basic statistics are calculated for a pair of categorical predictor variables and a target variable from a dataset during a single pass over the dataset. It is determined whether there is a significant interaction effect for the pair of categorical predictor variables on the target variable by: calculating a log-likelihood value for a full generalized linear model without estimating model parameters; calculating the model parameters for a reduced generalized linear model with a recursive marginal mean accumulation technique using the basic statistics; calculating a log-likelihood value for the reduced generalized linear model; calculating a likelihood ratio test statistic using the log-likelihood value for the full generalized linear model and the log-likelihood value for the reduced generalized linear model; calculating a p-value of the likelihood ratio test statistic; and comparing the p-value to a significance level.Type: ApplicationFiled: September 15, 2014Publication date: January 1, 2015Inventors: Yea J. Chu, Sier Han, Jing-Yun Shyr
-
Patent number: 8909688Abstract: Disclosed is a method of seeking semianalytical solutions to multispecies transport equations coupled with sequential first-order network reactions under conditions wherein a groundwater flow velocity and a dispersion coefficient vary spatially and temporally and boundary conditions vary temporally.Type: GrantFiled: July 15, 2013Date of Patent: December 9, 2014Assignee: Korea Institute of Geoscience and Minerals ResourcesInventors: Heejun Suk, Kyoochul Ha
-
Publication number: 20140358980Abstract: The invention relates to a method for generating a prime number, implemented in an electronic device, the method including steps of generating a prime number from another prime number using the formula Pr=2P·R+1, where P is a prime number having a number of bits lower than that of the candidate prime number, and R is an integer, and applying the Pocklington primality test to the candidate prime number, the candidate prime number being proven if it passes the Pocklington test. According to the invention, the size in number of bits of the candidate prime number is equal to three times the size of the prime number, to within one unit, the generated candidate prime number being retained as candidate prime number only if the quotient of the integer division of the integer by the prime number is odd.Type: ApplicationFiled: December 12, 2012Publication date: December 4, 2014Inventors: Benoît Feix, Christophe Clavier, Pascal Paillier, Loïc Thierry
-
Patent number: 8874629Abstract: Systems, devices, and methods for using an analog processor to solve computational problems. A digital processor is configured to track computational problem processing requests received from a plurality of different users, and to track at least one of a status and a processing cost for each of the computational problem processing requests. An analog processor, for example a quantum processor, is operable to assist in producing one or more solutions to computational problems identified by the computational problem processing requests via a physical evolution.Type: GrantFiled: May 2, 2012Date of Patent: October 28, 2014Assignee: D-Wave Systems Inc.Inventors: William Macready, Geordie Rose, Herbert J. Martin
-
Publication number: 20140258356Abstract: Optimization processes, which are parameter driven for solving interdiction problems, for example, power grid interdiction problems, are provided. An algorithm of the subject invention can include column-and-constraint generation and can be used to solve a set of system interdiction, vulnerability analysis, and reliability based design problems, including a power grid vulnerability analysis problem and an edge-interdiction minimum dominating set problem. An algorithm can be provided on a computer-readable medium, a computer, a portable computing device, or other machine.Type: ApplicationFiled: December 13, 2013Publication date: September 11, 2014Applicant: University of South FloridaInventors: Bo Zeng, Long Zhao