63 results about "Abstract interpretation" patented technology

Methods, apparati, and computer-readable media for determining whether computer code (30) contains malicious code. In a method embodiment, the computer code (30) is optimized (40) to produce optimized code; and the optimized code is subject to a malicious code detection protocol. In an embodiment, the optimizing (40) comprises at least one of constant folding (53), copy propagation (54), non-obvious dead code elimination (62,63), code motion (49), peephole optimization (52), abstract interpretation (59,68), instruction specialization (55), and control flow graph reduction (44).

Methods for fully automatic quantification and interpretation of three dimensional images of the brain or other organs. A system for Computer Aided Diagnosis (CAD) of diseases affecting cerebral cortex from SPECT images of the brain, where said images may represent cerebral blood flow (CBF). The methods include image processing, statistical shape models, a virtual brain atlas, reference databases and machine learning.

A method and apparatus for processing multimedia instruction enhanced data by the use of an abstract routine generator and a translator. The abstract routine generator takes the multimedia instruction enhanced data and generates abstract routines to compile the multimedia instruction enhanced data. The output of the abstract generator is an abstract representation of the multimedia instruction enhanced data. The translator then takes the abstract representation and produces code for processing.

The invention discloses a multi-source remote sensing information knowledge graph construction method and system for target interpretation, and the method comprises the steps: carrying out the automatic interpretation of a to-be-processed multi-source remote sensing image according to an attribute feature recognition algorithm model group, and obtaining interpretation information; in combination with a remote sensing image automatic interpretation knowledge graph framework, performing primary classification and archiving on interpreted information to obtain a target automatic interpretation primary fusion information table; according to the target automatic interpretation primary fusion information table, in combination with a typical remote sensing target interpretation analysis ontologylibrary, performing entity construction of interpretation information to obtain a knowledge graph model; and expanding the knowledge graph model, and updating and complementing the historical knowledge graph according to the expanded knowledge graph model to complete the knowledge extraction of the interpreted information. According to the method, automatic extraction of typical targets of multi-source remote sensing images and comprehensive summarization of interpreted information of the remote sensing images can be completed, and a knowledge map with a standardized representation form is formed.

Provided are an automatic interpretation system and method for generating a synthetic sound having characteristics similar to those of an original speaker's voice. The automatic interpretation system for generating a synthetic sound having characteristics similar to those of an original speaker's voice includes a speech recognition module configured to generate text data by performing speech recognition for an original speech signal of an original speaker and extract at least one piece of characteristic information among pitch information, vocal intensity information, speech speed information, and vocal tract characteristic information of the original speech, an automatic translation module configured to generate a synthesis-target translation by translating the text data, and a speech synthesis module configured to generate a synthetic sound of the synthesis-target translation.

A system and method of discovering one or more program variable values may extract an abstract interpretation of a program variable used in a computer program, locate installation-specific repositories associated with the computer program, parse the located installation-specific repositories and extract one or more configuration parameters, and substitute the one or more configuration parameters into the extracted abstract interpretation.

The invention discloses an angle measuring method and an angle measuring system based on automatic interpretation of visual light spots. The angle measuring method comprises the steps of: acquiring light spot images which are shot by means of a calibrated high-speed camera, continuously emitted by means of a laser emitter on a turntable and irradiated on a target plane; processing the acquired images by adopting a binarization method; performing edge detection on the images after binarization processing, circling a light spot contour and searching in a connected region, and averaging pixels inthe connected region; and converting the average pixel into physical coordinates on the target plane, and calculating a rotation angle of the turntable according to a trigonometric formula. The anglemeasuring system corresponds to the angle measuring method. The angle measuring method and the angle measuring system have the advantages of low economic cost, simple operation and high precision.

The invention relates to the technical field of culture transmission and more particularly relates to an automatic interpretation system and a tour guiding method for scenic spots. The invention aims to provide an automatic interpretation system and a method for scenic spots. In order to realize the above purpose, the automatic interpretation system provided by the invention comprises a handset client, a scenic spot server (2) and a scenic spot database. The handset client is connected with the scenic spot database via the scenic spot server (2). The handset client comprises a GPS positioning system, a scenic spot information viewing system, a scenic spot comment query system and a scenic spot comment input system. The scenic spot database comprises a scenic spot information database and a scenic spot comment database. By adopting the above system and the above method, the problems in the prior art, including private guides are high in price, group guides cannot take care of each person and relatives and friends cannot comprehensively explain scenic spots, can be solved. In this way, the purposes of personalized interpretation, comprehensive interpretation and strong interactivity are realized. Meanwhile, the condition that tourists give a hurried and cursory glance at scenic spots can be avoided.

The invention relates to a Chinese abstract generation method and device based on a generative adversarial network. The method comprises the following steps of 1) carrying out preprocessing operationon a given Chinese data set to form a training set; 2) constructing a Chinese abstract generation model based on the generative adversarial network, and training the Chinese abstract generation modelby using the training set; and 3) inputting the Chinese text to be subjected to abstract generation into the trained Chinese abstract generation model to obtain a corresponding abstract. According tothe method, a discriminator is used for minimizing errors to replace a framework with the maximum abstract generation probability; particularly, a discriminator composed of three LSTMs is designed, features can be better captured, and the classification effect is assisted; and the efficiency of the text abstract can be effectively improved by using characters as units and combining contexts. According to the method, the abstract of the large-scale Chinese text can be automatically generated, and the generated abstract is more natural and coherent and has readability.

A method of providing artificial vision to a visually-impaired user implanted with a visual prosthesis. The method includes configuring, in response to selection information received from the user, a smart prosthesis to perform at least one function of a plurality of functions in order to facilitate performance of a visual task. The method further includes extracting, from an input image signal generated in response to optical input representative of a scene, item information relating to at least one item within the scene relevant to the visual task. The smart prosthesis then generates image data corresponding to an abstract representation of the scene wherein the abstract representation includes a representation of the at least one item. Pixel information based upon the image data is then provided to the visual prosthesis.

The invention provides a method for accurately estimating stack demand in an embedded system, which comprises the following steps of: performing stack demand analysis on the stack demand of a runtime library and a standard library of a local function and each call tree by using a complete function call relational graph, and summing; determining the maximum stack demand of each interrupt program in each priority level, summing, and adding the additional stack demand increased by saving the processor state; and summing the results to obtain the maximum stack demand of a single thread, wherein the complete function call relational graph is obtained by the following steps of: performing control flow analysis on a complete function relational graph to obtain a primary function relational graph, further analyzing by using a value analysis method of an abstract interpretation algorithm aiming at an indirect call function and a recursive call function, and noting function calls which cannot be analyzed by users. Aiming at multi-thread, a single thread step is repeated, a sum is calculated, and finally the sum plus the stack demand of the operation system is the total stack demand of the system.

The present invention relates to a workflow technology-based testing data real-time interpretation system. The system comprises a testing flow desgin module for completing configuration of an active node and an action property; a parameter criterion configuring module for associating a parameter criterion and the active node; a parameter processing module for converting binary data into physical data; and a process execution engine module for performing the active node according to order and a property of the active node, and using the parameter criterion of the active node as a current criterion, then sending to a parameter interpretation and display module, in order to operate automatic real-time interpretation on testing data, solve a problem that the interpretation cannot be updated timely when a parameter value changes, and a problem of a single interpretation trigger mode, thereby operating automatic real-time interpretation on all testing parameters, directly reducing human costs and time costs of interpretating data analysis after finishing previous tests, and reducing time of a test cycle and preparation time of range launching.

The invention aims to provide a method and device for automatic interpretation of remote sensing images. The method includes the steps of acquiring the land information in a remote sensing image, acquiring the grid image data corresponding to the land information, extracting image features in the grid image data, and finally determining the earth surface type corresponding to the land informationaccording to the image features. Compared with the prior art, the method realizes automatic interpretation of remote sensing images, the calculation amount is reduced, and the interpretation accuracyis improved.

The invention discloses an enteric microorganism information analysis method and system. The method comprises the steps of splitting and filtering offline sample data after sequencing to obtain filtered sample sequences; performing clustering comparison and species annotation classification on the filtered sample sequences; performing spectral analysis on a species annotation classification result; and performing automatic interpretation on a spectral analysis result according to flora functions and a disease correlation database, and automatically submitting an automatic interpretation result and the spectral analysis result to a visual platform for performing visual display and auditing. The system comprises a splitting and filtering module, a clustering comparison and classification module, a spectral analysis module, and an automatic interpretation and visual display module. The method and the system have the advantages of convenient process and batch operations, small artificial interpretation workload, intuitiveness and convenience, and can be widely applied to the field of biological information analysis.

The invention discloses a runtime error analytical method based on abstract interpretation and model verification. The method includes the following steps that on the basis of the abstract interpretation theory, the program numerical variable value range is analyzed by the adoption of a forward iteration method, the variable value range information is obtained when program points are stable, and the iterative computations of loop nodes are achieved by the way that loop unrolling and delay widening are combined; the variable value range information at the relevant program points needing to be detected is converted to be in an assertion or hypothesis mode to be plugged into a program according to a runtime error type to be analyzed; the assertion or hypothesis programs are converted into a Boolean formula, wherein the Boolean formula comprises limiting conditions and attributes; the correctness of the attributes in the Boolean formula is judged through an SAT verifier, if correct, it shows that relevant runtime errors do not exist, if not correct, it shows that the relevant runtime errors exist, and relevant counter example paths are output. By means of the method, an equilibrium point is acquired between runtime error analysis precision and efficiency.

The invention proposes a computer system that provides a systematically abstract representation of a smart device and a computer-implemented method thereof. The computer system / method utilizes a device object that includes a unified device abstraction interface, a hardware configuration file, and an application profile, and the application profile includes the associated service manifest and the status of each service. The computer system / method performs an original abstract method to convert the various interfaces of the device hardware into a unified application configuration file. All of the hardware details of each device can be included in the generic device application configuration file to implement the system description of the device seen from outside the framework. Currently, the application configuration file is implemented in JSON format and can be obtained by the client from the framework's API interface. The client application can access and control the device through the framework's interface and standard Web technology. The present invention can be applied to any intelligent device in a computer network, in particular an Internet of Things and a smart home application.

The invention discloses a multi-interrupt routine data access conflict detection method based on abstract interpretation. The multi-interrupt routine data access conflict detection method comprises the following steps: (1) describing interrupt-driven type routines by using an abstract interpretation framework, wherein modification on target-shared variation by other missions in each mission and modification conditions are abstracted to be one piece of interrupt information, all pieces of the interrupt information in each mission form an interrupt information set, and the stable interrupt information set is output through iterative computation; (2) collecting the interrupt information sets of all the missions to form an overall interrupt information set and obtaining the stable overall interrupt information set through the iterative computation; (3) traversing each mission by using the stable overall interrupt information set, and if the interrupt information which simultaneously satisfies the target-shared variation and the modification conditions exists in the overall interrupt information set, judging that a data access conflict exists. The multi-interrupt routine data access conflict detection method based on the abstract interpretation has the advantages of simple method, low complexity, accuracy and high reliability, and is applicable to detection of spaceflight embedded software.

The invention belongs to the technical field of computer communication, and particularly relates to an automatic interpretation system and an automatic interpretation method for telemetry data batch processing. The system comprises a telemetry data acquisition module, a path picking data module, a data analysis module, an automatic storage module, an automatic interpretation module, and an alarm display module. The method comprises the following steps: the telemetry data acquisition module acquires telemetry data and transmits the telemetry data to the path picking data module and the data analysis module; the path picking data module picks the received telemetry data out from data according to a configuration file to form new path picking data, and the path picking data and the telemetry data are transmitted to the data analysis module; secondary analytical processing is carried out on the path picking data to obtain a bus parameter hierarchical value Mn and a telemetry parameter hierarchical value Nm; Mn and Nn are converted into physical quantities; the physical quantities obtained through conversion are automatically stored and interpreted, and whether the current physical quantities are out of tolerance is judged; and an automatic interpretation result is transmitted to the alarm display module. The method can improve the scalability and intelligence of the system.

A method and system for bidirectional bitwise constant propogation by abstract interpretation is disclosed. In one embodiment, the method performs optimizing an implementation of a programming language, comprising; analyzing one or more values computed by a program written in the programming language, wherein analyzing one or more values comprises; representing each bit within a value of the one or more values as an abstract element of a lattice having a set of abstract elements including 0A, 1A, ⊥A and TA, wherein the lattice is an abstraction of a concrete domain containing 0, 1, and ⊥; analyzing one or more output bits that are produced by an operation in terms of one or more input bits that are input to the operation; and analyzing the input bits that are input to the operation in terms of the output bits that are produced by the operation.

A method for expediting the barcode interpretation process implemented on conventional optical imaging barcode readers. The method involves interrupting the mainline processing of the conventional barcode detection, obtaining a copy of the captured image, scaling the image, locating the barcode in the scaled image, scaling the image back to normal proportions, calculating the location of the barcode in the scaled up image, and reporting the barcode location back to the mainline processing for decoding of only the region of interest. The mainline processing of the optical imager may then proceed with barcode interpretation in the area identified by the method of the present invention without wasting time applying complicated decoding algorithms to areas within the image that do not contain any barcode information.

The invention relates to a three-dimensional target geologic body interpretation method based on horizontal navigation. The three-dimensional target geologic body interpretation method based on horizontal navigation includes the following steps that (1), seismic data for target geologic body interpretation are processed in an interpretative mode, and a seismic data volume fully highlighting geologic body information is obtained; (2), horizon slices near a target geologic body are extracted on the seismic data volume under the restraint of fault interpretation and horizon interpretation, and the horizon slices serve as horizontal navigation slices for target geologic body interpretation; (3), section interpretation of the target geologic body is carried out, section interpretation results are projected on seismic sections extracted in the direction perpendicular to the target geologic body strike, and the section interpretation in the direction perpendicular to the target geologic body strike is finished; (4), the seismic sections are extracted in a rolling mode step by step in the direction perpendicular to the target geologic body strike, and the section interpretation of the target geologic body is finished until all the seismic sections of the geologic body within the whole area is finished; (5), interpretation results of all the seismic sections are projected to the planes of the navigation slices, and the target geologic body is interpreted; (6), the steps (3)-(5) are carried out repeatedly until interpretation of all the seismic sections of the target geologic body within the whole area is finished.

Provided is an apparatus and a method for automatic interpretation. The apparatus for automatic interpretation includes: an input unit for receiving source language speaking sound; a voice recognition unit for performing voice recognition to the speaking sound of the source language and generating voice recognition statements; an interpreter unit for transferring the voice recognition statements into text statements of a target language; a speaking sound generation unit for generating diacritics according to the target language and the source language and for reproducing or visually recognizing the voice recognition statements and the text statements of the target language by users in the opposite side nations by using a phonetic translation database; and an output unit for outputting the voice recognition statements, the text statements and the diacritics according to each of the target language and the source language.

The invention provides a comprehensive test intelligent interpretation system for a small satellite. The system comprises a parameter subscription module, a data distribution module, an interpretation execution module, a clock service module, a base data access module, a command processing module, an interface display module and a network communication module; the interpretation system receives real-time test data in a satellite test process; after processing and analyzing the real-time test data, and performs logical judgment on remote control command, telemetry parameter, test state, test information flow and the like according to different interpretation modes and interpretation algorithms to generate interpretation process information and interpretation result information. The intelligent interpretation system adopts multiple types of interpretation comprising command interpretation, state interpretation, key parameter interpretation and information flow interpretation, defines that interpretation execution comprises a result, circulation, increment and conversion, and effectively improves the accuracy rate and the coverage performance of the interpretation through the division of the types of the interpretation.

A method includes, by one or more computing devices, determining code-under-test configured for execution on a computing device to be evaluated, creating a plurality of test cases based on the symbolic execution and including a plurality of constraints, selectively conducting abstract interpretation on the constraints, selectively conducting Satisfiability Modulo Theory (“SMT”) solving on the constraints, and validating or invalidating the code-under-test based on at least the SMT solving and the abstract interpretation. The abstract interpretation includes using a plurality of abstract interpretation models based on the constraints of the test case and over-approximating the constraints of the test case.

A method and apparatus is disclosed herein for formal specification and analysis of timing properties. In one embodiment, the method comprises receiving a software design that includes timing behaviors expressed in a specification language; analyzing the timing behaviors; and using abstract interpretation based static analysis to detect misuses of one or more timing constructs.

The invention provides an aircraft test data automatic interpretation method based on a knowledge base. The method comprises the steps that the test source code data outputted by a device to be tested is introduced; the test source code data are analyzed and preprocessed to acquire test data to be interpreted; a criterion matching the test data to be interpreted is selected from the knowledge base, and automatic interpretation of the test data to be interpreted is carried out to acquire an interpretation result and output the result. According to the aircraft test data automatic interpretation method based on the knowledge base, the interpretation time is shortened, and the interpretation efficiency and the interpretation accuracy are improved.

The current disclosure discloses a power aware simulation system comprising an embedded multi-core simulation module, a power abstract interpretation module and a C power estimation (CPE) power profiling module. The embedded multi-core simulation module comprises a plurality of digital signal processors (DSP), an external memory and a direct memory access. Each of the plurality of DSPs comprises a DSP core, an instruction cache and a local memory. The power abstract interpretation module is coupled to the plurality of DSPs, the external memory, the DMA and the CPE profiling module, respectively.

A system and method for infeasible path detection includes performing a static analysis on a program to prove a property of the program. If the property is not proved, infeasible paths in the program are determined by performing a path-insensitive abstract interpretation. Information about such infeasible paths is used to achieve the effects of path-sensitivity in path-insensitive program analysis.