Patents Assigned to Systems, Inc.
  • Patent number: 10789404
    Abstract: The present disclosure relates to a method for use in a formal verification of an electronic design. Embodiments may include receiving, using a processor, a specification model associated with an electronic design and generating, using a parser, an intermediate representation based upon, at least in part, the specification model. Embodiments may also include applying a machine generated semantic preserving program transformation to the intermediate representation to create a semantically transformed specification model and synthesizing the semantically transformed specification model to generate a formal verification model.
    Type: Grant
    Filed: June 6, 2019
    Date of Patent: September 29, 2020
    Assignee: Cadence Design Systems, Inc.
    Inventors: Rajdeep Mukherjee, Benjamin Meng-Ching Chen, Habeeb Farah, Ziyad Hanna
  • Patent number: 10789744
    Abstract: A method for providing a machine operator with an augmented reality view of an environment includes determining a location and orientation of a vehicle. An eye position and gaze of an operator of the vehicle are also determined. Job information to be displayed to the operator of the vehicle is determined based on the location of the vehicle and the orientation of the vehicle. The job information is displayed to the operator based on the eye position and gaze of the operator of the vehicle. In one embodiment, environmental features that can be seen through the windscreen are determined. The job information displayed to the operator is modified based on the environmental features.
    Type: Grant
    Filed: April 4, 2016
    Date of Patent: September 29, 2020
    Assignee: Topcon Positioning Systems, Inc.
    Inventors: Leonid Valerianovich Edelman, Daniele Pagliani
  • Patent number: 10787184
    Abstract: An intermodal transportation system is provided having interconnected railcars adapted for transporting interconnected freight trailers where the freight trailers remain connected while being transported on the railcars. Individual trailers are dropped off at a railyard by over-the-road tractors and are then transported onto the railcars using various means as makes sense due to weather, location, and other factors.
    Type: Grant
    Filed: April 6, 2018
    Date of Patent: September 29, 2020
    Assignee: Twenty-First Century Transportation Systems, Inc,.
    Inventor: Donald D. Banwart
  • Patent number: 10789419
    Abstract: Systems, methods, and computer-readable media are disclosed for enhancing an email application to automatically analyze an email thread and generate a compact content summary. The content summary is based on relative content contributions provided by the constituent email messages in the email thread. The content summary may be presented in a special window without disturbing or modifying the email thread or its constituent email messages. The distinctive content summary disclosed herein comprises certain sentences that are automatically gleaned from the email thread, analyzed relative to other sentences, and presented in a chronological sequence so that the user can quickly determine what the email thread is about and/or the current status of the conversation. The content summary is based on email weights, word weights, and intersecting sentence pairs.
    Type: Grant
    Filed: August 29, 2018
    Date of Patent: September 29, 2020
    Assignee: Commvault Systems, Inc.
    Inventors: Mrityunjay Upadhyay, Divakar Radhakrishnan, Madhusudhanan Natarajan
  • Patent number: 10788586
    Abstract: Multichannel inertial measuring unit (MIMU) contains sensors for measurements of vector and scalar parameters of motion (angular speed, specific acceleration, magnetic field, etc.), and independent hardware interfaces to transmit measured data. Measured information is read out from MIMU via each hardware interface irrespective of other hardware interfaces. The format of data presentation for each hardware interface is randomly selected from a predefined list. Measurements from MIMU are generated by a set of sensors within a common timescale. The timescale for synchronization of sensor measurements can be both generated within MIMU by a stable clock generator and transmitted to MIMU from outside, including from one of users of measured data. MIMU also can generate synchronization signals to transmit its timescale to external users.
    Type: Grant
    Filed: December 7, 2017
    Date of Patent: September 29, 2020
    Assignee: Topcon Positioning Systems, Inc.
    Inventors: Nikolay Nikolaevich Vasilyuk, Sergey Ivanovich Tychinskiy, Alexandr Vladimirovich Doronin, Dmitry Konstantinovich Tokarev
  • Patent number: 10786689
    Abstract: An example particle therapy system includes a particle accelerator to output a particle beam having a spot size; a scanning system for the particle accelerator to scan the particle beam in two dimensions across at least part of a treatment area of an irradiation target; and an adaptive aperture between the scanning system and the irradiation target. The adaptive aperture includes structures that are movable relative to the irradiation target to approximate a shape to trim part of the treatment area. The part of the treatment area has a size that is based on an area of the spot size.
    Type: Grant
    Filed: November 10, 2015
    Date of Patent: September 29, 2020
    Assignee: Mevion Medical Systems, Inc.
    Inventors: Gerrit Townsend Zwart, Mark R. Jones, Miles S. Wagner, James Cooley, Eros Pedroni, Robert Silva
  • Patent number: 10788114
    Abstract: In a strain wave gearing, the addendum tooth profile of an internal gear is defined by the formula a and that of an external gear is by the formula b at a principal cross-section located at a tooth-trace-direction center of the external gear, on the basis of a movement locus (Mc) of ?=1 by the teeth of the external gear with respect to those of the internal gear. It is possible to avoid superimposition of flexion-induced bending stresses and tensile stresses caused by load torque at the major-axis locations of the external gear, and the transmission torque capacity of a strain wave gearing can be improved.
    Type: Grant
    Filed: June 1, 2018
    Date of Patent: September 29, 2020
    Assignee: Harmonic Drive Systems Inc.
    Inventor: Shoichi Ishikawa
  • Patent number: 10789387
    Abstract: Systems and methods are described herein for graphically representing an information management system based on the characteristics of within the system. The systems and methods interface with various components of the system (e.g., administrative components, index components, and so on) to identify data having certain characteristics (e.g., personal data), and generate or render information (e.g., a heat map or other visual display) that represents areas or locations within the system storing the data. Thus, the systems and methods, in some embodiments, generate or create a data-specific view into the information management system.
    Type: Grant
    Filed: March 13, 2018
    Date of Patent: September 29, 2020
    Assignee: Commvault Systems, Inc.
    Inventors: Manas Bhikchand Mutha, Prosenjit Sinha
  • Publication number: 20200300737
    Abstract: A method and apparatus for the rapid and reliable preparation of a sample for use in testing for target analytes such as bacteria, viruses, toxins and pathogenic agents in various products. A sample for testing the target analyte is collected from various sources. The method for sample preparation provides for an express process for preparing collected samples for testing. The collected sample may be concentrated by centrifugation, filtration, or other means suitable for sample concentration, homogenized with the addition of a broth and enriched for specified period of time. Immunomagnetic separation of the sample occurs with receptor-coated magnetic microspheres in different test-specific formulations (singleplex or multiplex). An automatic testing system is disclosed which includes a biological testing cassette, in which testing of the sample occurs using liquid crystal diagnostic methodologies.
    Type: Application
    Filed: May 21, 2020
    Publication date: September 24, 2020
    Applicant: Pathogen Systems, Inc. dba Crystal Diagnostics Ltd
    Inventors: Curtis Hubert Stumpf, Weidong Zhao
  • Publication number: 20200302247
    Abstract: In some aspects, there is provided a method for determining a rotational orientation of an object in an image. The image depicts the object in a scene. The method includes providing images depicting the object in the scene to a trained statistical model. The images depict the scene of the image at different rotation angles. A rotation angle of a respective image corresponds to a potential rotational orientation of the object depicted in the respective image. The method further includes, in response to the providing, receiving, for each image, a confidence score indicating a likelihood generated by the trained statistical model that the object is at the potential rotational orientation corresponding to the rotation angle of the respective image. The method further includes determining the rotational orientation of the object in the image based at least in part on an analysis of the confidence scores and respective potential rotational orientations.
    Type: Application
    Filed: March 19, 2020
    Publication date: September 24, 2020
    Applicant: Ursa Space Systems Inc.
    Inventors: Poppy Gene Immel, Daniela Irina Moody, Meera Ann Desai
  • Publication number: 20200300839
    Abstract: A method for optimal selection of cytotoxic agents for organ or region specific therapy that includes extracorporeal filtration of the cytotoxic agent from blood drained from the organ or region being treated and return of the filtered blood to a mammal is disclosed.
    Type: Application
    Filed: June 4, 2020
    Publication date: September 24, 2020
    Applicant: Delcath Systems, Inc.
    Inventors: Eamonn P. Hobbs, Daniel S. Johnston
  • Patent number: 10780391
    Abstract: A biogas cleaning method for purifying a biogas waste stream to form a combustible clean biofuel uses a biogas cleaning system that includes a gas control system, a deoxidizer catalyst bed, a hydrosulfurization catalyst bed, a hydrogen sulfide adsorption bed and a thermal sensor controller. The biogas cleaning method includes using a biogas source to introduce a biogas waste stream into the biogas cleaning system, blending hydrogen with the biogas waste stream, combusting the blended hydrogen and biogas stream to remove oxygen, hydrogenating the heated biogas waste stream to convert sulfur species to hydrogen sulfide and adsorbing the hydrogen sulfide from the biogas stream. In some embodiments, a biogas cleaning system also includes a sulfur polisher adsorption bed, a chlorine removal adsorption bed, a siloxane removal adsorption bed, a heat exchanger loop and a biogas precooler.
    Type: Grant
    Filed: April 4, 2018
    Date of Patent: September 22, 2020
    Assignee: Quadrogen Power Systems, Inc.
    Inventors: Alakh Prasad, Kevin Marchand
  • Patent number: 10779484
    Abstract: Embodiments of the present disclosure include systems and methods for downloading and installing software updates upon an irrigation control unit (ICU). Some of the disclosed embodiments include error checking and integrity verification procedures which help ensure that the new software is properly installed. In some embodiments the update is coordinated in conjunction with the ICU's regular contact with a control server.
    Type: Grant
    Filed: January 4, 2018
    Date of Patent: September 22, 2020
    Assignee: ET Water Systems, Inc.
    Inventors: Patrick B. Halahan, Peter Bice, Mark Elliot
  • Patent number: 10783304
    Abstract: The present disclosure relates to a method for electronic design. Embodiments may include displaying, at a graphical user interface, at least a portion of a cover trace or an assertion counter-example associated with an electronic design. Embodiments may also include allowing, at the graphical user interface, a user to analyze the cover trace or the assertion counter-example during a debugging session. Embodiments may further include identifying a dead-end state during the analysis and converting one or more constraints used in the debugging session to soft constraints. Embodiments may further include identifying at least one trace, based upon, at least in part, the soft constraints and displaying at least one unsatisfied constraint associated with the identified trace at the graphical user interface.
    Type: Grant
    Filed: September 28, 2018
    Date of Patent: September 22, 2020
    Assignee: Cadence Design Systems, Inc.
    Inventors: Thiago Radicchi Roque, Stefan Staber, Chung-Wah Norris Ip
  • Patent number: 10782767
    Abstract: The present disclosure relates to a method for reducing power consumption. Embodiments include providing an electronic design of a device under test having a plurality of flip-flops associated therewith. Embodiments also include selecting a first set of flip-flops from the plurality of flip-flops and disabling a first clock associated with the first set of flip-flops without changing a value of the first set of flip-flops. Embodiments may further include selecting a second set of flip-flops from the plurality of flip-flops and disabling a second clock associated with the second set of flip-flops without changing a value of the second set of flip-flops. Embodiments may further include determining whether a first output from the first set of flip-flops and a second output from the second set of flip-flops have converged.
    Type: Grant
    Filed: October 31, 2018
    Date of Patent: September 22, 2020
    Assignee: Cadence Design Systems, Inc.
    Inventors: Karam Abd Elkader, Doron Bustan, Habeeb Farah, Yaron Schiller
  • Patent number: 10784128
    Abstract: Systems and methods of securing an integrated circuit assembly includes: arranging a plurality of securing elements within a plurality of orifices fabricated within one or more layer components of a plurality of layer components of an integrated circuit assembly; applying a mechanical compression load against the integrated circuit assembly that uniformly compresses together the plurality of layer components of the integrated circuit assembly; after applying the mechanical compression load to the integrated circuit assembly, fastening the plurality of securing elements while the integrated circuit assembly is in a compressed state based on the mechanical compression load; and terminating the application of the mechanical compression load against the integrated circuit assembly based on the fastening of the plurality of securing elements.
    Type: Grant
    Filed: September 11, 2019
    Date of Patent: September 22, 2020
    Assignee: Cerebras Systems Inc.
    Inventors: Jean-Philippe Fricker, Frank Jun, Paul Kennedy
  • Patent number: 10784700
    Abstract: Electrical power is dynamically managed a power source a load. A control switching system has a plurality of monitor nodes, a control switch having two switching states, and an electrical power storage cell connected to the power source in one of the switching states for storing voltage, and operative for discharging the stored voltage to the electrical load in the other of the switching states. A programmed controller dynamically monitors operating conditions at the monitor nodes during operation of the electrical load and the power source, and switches the control switch between the switching states in response to the monitored operating conditions for supplying a voltage of a desired waveform shape to the load.
    Type: Grant
    Filed: April 13, 2017
    Date of Patent: September 22, 2020
    Assignee: Nextek Power Systems, Inc.
    Inventor: Alex M. Adelson
  • Patent number: D896665
    Type: Grant
    Filed: December 28, 2018
    Date of Patent: September 22, 2020
    Assignee: Topcon Positioning Systems, Inc.
    Inventors: Angus Chapman, Reilly Edwards, Craig Roughan
  • Patent number: D896670
    Type: Grant
    Filed: December 28, 2018
    Date of Patent: September 22, 2020
    Assignee: Topcon Positioning Systems, Inc.
    Inventors: Angus Chapman, Reilly Edwards, Craig Roughan
  • Patent number: D896865
    Type: Grant
    Filed: December 26, 2018
    Date of Patent: September 22, 2020
    Assignee: Parabit Systems, Inc.
    Inventor: Mohammad Hasani