Patent classifications
G06F8/30
METHODS AND SYSTEMS FOR CALCULATING UNCERTAINTY
Disclosed are methods and systems for performing uncertainty calculations. For example, a numeric value and an error range associated with the numeric value are converted by a processor into a trans-imaginary input dual which is a hybrid of numeric and geometric information having real and complex numbers. A dual calculation is performed using the trans-imaginary input dual to produce a trans-imaginary output dual, and the processor then converts the trans-imaginary output dual to a real number output numeric value that includes both a real number and real number error range or uncertainty associated with that real number.
Automatic integrity vulnerability detection in an integrated development environment
Aspects of the invention include receiving, by a processor, source code for a software program written in a first programming language. The received source code is converted into abstracted source code that is in a generic format that is different than a format of the first programming language. The abstracted source code is compared to known source code patterns. Based on determining that at least a subset of the abstracted source code matches a pattern in the known source code patterns, sending an alert to the user indicating that the received source code matches the pattern.
STREAM COMPUTING JOB PROCESSING METHOD, STREAM COMPUTING SYSTEM AND ELECTRONIC DEVICE
This application discloses a stream computing job processing method, a stream computing system and an electronic device, and the method includes: obtaining a stream computing job; running the stream computing job in a process-based manner, where the stream computing job includes at least one process.
SOFTWARE AND HARDWARE COLLABORATIVE COMPILATION PROCESSING SYSTEM AND METHOD
A software and hardware collaborative compilation processing method and system. The system comprises an environment configurator, a command parser, a code filler, a scheduler and a heterogeneous target system, wherein the code filler is configured for obtaining the source program path of a user, reading source codes and identifying the heterogeneous target system according to a macro definition, complementing the codes related to the heterogeneous target system, carrying out primary filling and secondary filling on the source codes; the scheduler is configured for realizing compilation scheduling and execution scheduling functions respectively; the heterogeneous target system is configured for compiling and processing user modal data, and comprises at least two heterogeneous target subsystems; each target subsystem comprises a target-related middle-end compiler, a back-end compiler and a target-related running environment.
TREE-BASED MERGE CONFLICT RESOLUTION WITH MULTI-TASK NEURAL TRANSFORMER
An automated system for resolving program merges uses a multi-task neural transformer with attention. Each component of a merge conflict tuple (A, B, O) is represented as an AST and transformed into aligned AST-node sequences and aligned editing sequences. The multi-task neural transformer model predicts the tree editing steps needed to resolve the merge conflict and applies them to the AST representation of the code base. The tree editing steps include the edit actions that needed to be applied to the AST of the code base and the edit labels that are inserted or updated with the edit actions.
TREE-BASED MERGE CONFLICT RESOLUTION WITH MULTI-TASK NEURAL TRANSFORMER
An automated system for resolving program merges uses a multi-task neural transformer with attention. Each component of a merge conflict tuple (A, B, O) is represented as an AST and transformed into aligned AST-node sequences and aligned editing sequences. The multi-task neural transformer model predicts the tree editing steps needed to resolve the merge conflict and applies them to the AST representation of the code base. The tree editing steps include the edit actions that needed to be applied to the AST of the code base and the edit labels that are inserted or updated with the edit actions.
CUTTING CONTROL APPARATUS, CUTTING CONTROL METHOD, AND CUTTING-CONTROL NON-TRANSITORY COMPUTER-READABLE RECORDING MEDIUM
A cutting control apparatus for a cutting control system includes: machine tools each processing an object to be processed; and cutting control apparatuses controlling the machine tools. The cutting control apparatus includes a weight coefficient obtaining unit configured to obtain a first weight coefficient in accordance with: first weight coefficient information in which a tool model and a first weight coefficient are associated for material information on each of materials; material information; and the tool model; and a revolution speed calculating unit configured to calculate a revolution speed of a tool in accordance with: cutting condition information; cutting speed obtained in accordance with tool information and dimension information; and the first weight coefficient. The first weight coefficient is an average value of values based on a plurality of the first weight coefficients obtained from the plurality of cutting control apparatuses.
CUTTING CONTROL APPARATUS, CUTTING CONTROL METHOD, AND CUTTING-CONTROL NON-TRANSITORY COMPUTER-READABLE RECORDING MEDIUM
A cutting control apparatus for a cutting control system includes: machine tools each processing an object to be processed; and cutting control apparatuses controlling the machine tools. The cutting control apparatus includes a weight coefficient obtaining unit configured to obtain a first weight coefficient in accordance with: first weight coefficient information in which a tool model and a first weight coefficient are associated for material information on each of materials; material information; and the tool model; and a revolution speed calculating unit configured to calculate a revolution speed of a tool in accordance with: cutting condition information; cutting speed obtained in accordance with tool information and dimension information; and the first weight coefficient. The first weight coefficient is an average value of values based on a plurality of the first weight coefficients obtained from the plurality of cutting control apparatuses.
DIGITAL CARD INTEGRATION WITH CARD PROCESSING SYSTEM OF CARD ISSUER
Methods and systems for managing a digital wallet are described, including registration of payment cards and use of such payment cards. The digital wallet may be integrated into a mobile application provided by a card issuer, with the digital wallet providing integration between the mobile application and a payment service provider that provides token-based payment systems for implementing virtual cards.
DIGITAL CARD INTEGRATION WITH CARD PROCESSING SYSTEM OF CARD ISSUER
Methods and systems for managing a digital wallet are described, including registration of payment cards and use of such payment cards. The digital wallet may be integrated into a mobile application provided by a card issuer, with the digital wallet providing integration between the mobile application and a payment service provider that provides token-based payment systems for implementing virtual cards.