Abstract: Recovering symbols from a stripped binary includes representing the stripped binary as a plurality of graph of graphs (GoG) representations, converting the plurality of GoGs into a plurality of expressive representations of each function in the stripped binary, training a machine learning (ML) model using the expressive representations, and determining a missing symbol of at least one of the functions based on an output of the ML model. Information relating to functions is and interactions between functions are used to train an ML to determine similarity of two functions. Based on similarities, missing symbols may be inferred and used to enable updates to the stripped binary file where source code is not available.

Abstract: An industrial system includes a plurality of machines that define respective hardware and automation functions associated with the hardware. The industrial system further includes an engineering module hosted within the industrial system, and an application programming interface (API) communicatively coupled to the engineering module. The industrial system can further include a web application communicatively coupled to the engineering module via the API. A computing device can be configured to access the engineering module via the web application and the API, and the engineering module can be configured to configure the plurality of machines based on instructions received by the web application.

Abstract: A real-time computer system for automated acoustic anomaly detection in a programmable logic controller (PLC) is disclosed, the computer system being deployed onto a backplane of the PLC. The computer system includes at least one processor with a real-time operating system and a memory having algorithmic modules stored thereon executable by the processor. The modules include a digital signal processing module configured to apply a windowing function to the sound signal data captured by a sensor, the sound signal data representative of sound emitted by an energized work product under quality inspection. The modules further include a feature extraction component configured to extract acoustic features from each sound window, and an anomaly detector module configured to operate a machine learning-based model to execute acoustic anomaly detection according to results of a classification operation on the acoustic features.

Abstract: Automated skill matching is provided in industrial control. The interfaces (12, 17) and/or the production processes (13, 18) of the controller (16) and machine (11) are matched. The matching of the interfaces (12, 17) links parameters except for optional parameters to check for incompatibility. The matching of the production processes (13, 18) uses a cross-product of the process (13) of the machine (11) with the process (18) of the controller (16) to check for incompatibility. The skill checking guides manual confirmation of compatibility, reducing downtime and reducing engineering or programming time. The machine (11) is more likely to operate correctly with the controller (16) due to the automated skill matching.

Abstract: Automated skill matching is provided in industrial control. The interfaces (12, 17) and/or the production processes (13, 18) of the controller (16) and machine (11) are matched. The matching of the interfaces (12, 17) links parameters except for optional parameters to check for incompatibility. The matching of the production processes (13, 18) uses a cross-product of the process (13) of the machine (11) with the process (18) of the controller (16) to check for incompatibility. The skill checking guides manual confirmation of compatibility, reducing downtime and reducing engineering or programming time. The machine (11) is more likely to operate correctly with the controller (16) due to the automated skill matching.

Abstract: The present invention relates to a machine and method for selecting and organizing staves for making barrels. The machine includes an input unit, including a stave-measuring station, a storage assembly for storing the staves awaiting allocation and receiving the staves from the input and measuring unit, a calculation unit able to select staves from those measured in such a way as to form a collection of staves ready to assemble into a barrel, and an output unit, in relation with the storage assembly, equipped with a stave-reorientation system. Staves used by the machine and in the method may be asymmetric about a horizontal axis. The staves selected by the calculation unit are advantageously delivered to the output unit in an order and a configuration that make for easy assembly of the barrel.

Abstract: The present invention relates to a machine and method for selecting and organizing staves for making barrels. The machine includes an input unit, including a stave-measuring station, a storage assembly for storing the staves awaiting allocation and receiving the staves from the input and measuring unit, a calculation unit able to select staves from those measured in such a way as to form a collection of staves ready to assemble into a barrel, and an output unit, in relation with the storage assembly, equipped with a stave-reorientation system. Staves used by the machine and in the method may be asymmetric about a horizontal axis. The staves selected by the calculation unit are advantageously delivered to the output unit in an order and a configuration that make for easy assembly of the barrel.