68 results about "Consistency model" patented technology

A system and method for verifying a memory consistency model for a shared memory multiprocessor computer systems generates random instructions to run on the processors, saves the results of the running of the instructions, and analyzes the results to detect a memory subsystem error if the results fall outside of the space of possible outcomes consistent with the memory consistency model. A precedence relationship of the results is determined by uniquely identifying results of a store location with each result distinct to allow association of a read result value to the instruction that created the read result value. A precedence graph with static, direct and derived edges identifies errors when a cycle is detected that indicates results that are inconsistent with memory consistency model rules.

A method and apparatus to provide specifiable ordering between and among vector and scalar operations within a single streaming processor (SSP) via a local synchronization (Lsync) instruction that operates within a relaxed memory consistency model. Various aspects of that relaxed memory consistency model are described. Further, a combined memory synchronization and barrier synchronization (Msync) for a multistreaming processor (MSP) system is described. Also, a global synchronization (Gsync) instruction provides synchronization even outside a single MSP system is described. Advantageously, the pipeline or queue of pending memory requests does not need to be drained before the synchronization operation, nor is it required to refrain from determining addresses for and inserting subsequent memory accesses into the pipeline.

A method (and system) of emulation in a multiprocessor system, includes performing an emulation in which a host multiprocessing system of the multiprocessor system supports a weak consistency model, and the target multiprocessing system of the multiprocessor system supports a strong consistency model.

A system for efficiently verifying compliance with a memory consistency model includes a test module and an analysis module. The test module may coordinate an execution of a multithreaded test program on a test platform. If the test platform provides an indication of the order in which writes from multiple processing elements are performed at shared memory locations, the analysis module may use a first set of rules to verify that the results of the execution correspond to a valid ordering of events according to a memory consistency model. If the test platform does not provide an indication of write ordering, the analysis module may use a second set of rules to verify compliance with the memory consistency model. Further, a backtracking search may be performed to find a valid ordering if such ordering exists or show that none exists and, hence, confirm whether or not the results comply with the given memory consistency model.

A method and apparatus to provide specifiable ordering between and among vector and scalar operations within a single streaming processor (SSP) via a local synchronization (Lsync) instruction that operates within a relaxed memory consistency model. Various aspects of that relaxed memory consistency model are described. Further, a combined memory synchronization and barrier synchronization (Msync) for a multistreaming processor (MSP) system is described. Also, a global synchronization (Gsync) instruction provides synchronization even outside a single MSP system is described. Advantageously, the pipeline or queue of pending memory requests does not need to be drained before the synchronization operation, nor is it required to refrain from determining addresses for and inserting subsequent memory accesses into the pipeline.

The invention relates to a text generation image method based on cross-modal similarity and a generative adversarial network. The method comprises the steps that S1, training a global consistency model, a local consistency model and a relation consistency model by using matched and unmatched data, wherein three models are used for obtaining global representation, local representation and relationrepresentation of a text and an image respectively; S2, obtaining global representation, local representation and relation representation of the to-be-processed text by utilizing the trained global consistency model, local consistency model and relation consistency model; S3, connecting the global representation, the local representation and the relation representation of the to-be-processed textin series to obtain text representation of the to-be-processed text; S4, converting the text representation of the to-be-processed text into a condition vector by utilizing an Fca condition enhancement module; and S5, inputting the condition vector into a generator to obtain a generated image. Compared with the prior art, the method has the advantages of considering local and relation informationand the like.

In a processor, a thread agnostic unified store queue and a unified load queue method for out of order loads in a memory consistency model using shared memory resources. The method includes implementing a memory resource that can be accessed by a plurality of asynchronous cores, wherein the plurality of cores share a unified store queue and a unified load queue; and implementing an access mask that functions by tracking which words of a cache line are accessed via a load, wherein the cache line includes the memory resource, wherein the load sets a mask bit within the access mask when accessing a word of the cache line, and wherein the mask bit blocks accesses from other loads from a plurality of cores. The method further includes checking the access mask upon execution of subsequent stores from the plurality of cores to the cache line, wherein stores from different threads can forward to loads of different threads while still maintaining in order memory consistency semantics; and causing a miss prediction when a subsequent store to the portion of the cache line sees a prior mark from a load in the access mask, wherein the subsequent store will signal a load queue entry corresponding to that load by using a tracker register and a thread ID register.

The invention discloses a novel method for extracting building three-dimensional outline information by utilizing a stripe division method to quickly filter onboard LiDAR (light detection and ranging) point cloud data, and based on a random sampling consistency model. In the method, in allusion to high precision of the onboard LiDAR data per se, the mass onboard LiDAR point cloud data is directly processed; the method comprises the steps as follows: firstly performing classification filtering on the onboard LiDAR three-dimensional point cloud data through two-time stripe division in X direction and Y direction, so as to distinguish ground points from non-ground points; then performing triangulation on the non-ground three-dimensional point cloud data, and dividing building roof surface patches through the combination with the classification result, extracting LiDAR point sets contained in each building, and then, obtaining a edge point set of each building through edge tracking; and finally, using the random sampling consistency model to extract building edge straight lines from the edge point sets and form a building outline characteristic curve, so as to meet working requirements of digital city three-dimensional modeling and the like.

A system for efficiently verifying compliance with a memory consistency model includes a test module and an analysis module. The test module may coordinate an execution of a multithreaded test program on a test platform. If the test platform provides an indication of the order in which writes from multiple processing elements are performed at shared memory locations, the analysis module may use a first set of rules to verify that the results of the execution correspond to a valid ordering of events according to a memory consistency model. If the test platform does not provide an indication of write ordering, the analysis module may use a second set of rules to verify compliance with the memory consistency model.

The invention, which relates to the field of circuit fault diagnosis, discloses an open-circuit fault diagnosis method and system for a converter, thereby diagnosing open-circuit faults of one kind ofconverters having the same bridge arm structures and thus improving the versatility of the diagnosis method and reducing the maintenance difficulty and cost of the converter effectively. The method comprises: selecting circuit topologies of any bridge arm of a to-be-detected converter in a normal working sate and an open-circuit fault state and establishing a first consistency model; according tothe first consistency model, building a fourth consistency model that is suitable for the normal working sate and the open-circuit fault state of the converter; simulating the operating state of theconverter by using the fourth consistency model, calculating a voltage residual based on an actual phase voltage value and an estimated phase voltage value, and constructing a residual evaluation function according to the voltage residual; comparing the output value of the residual evaluation function with a set residual detection threshold; and determining an open-circuit fault of the bridge armunder the condition of meeting a set fault occurrence condition by the comparison result.

The invention relates to a method for establishing a model for rapidly detecting the quality of synthetic borneol through near infrared reflectance spectroscopy. By means of the method, the problems about detection of authenticity of synthetic borneol variety and quality of synthetic borneol can be effectively solved. According to the technical scheme, the method comprises steps as follows: 1), a synthetic borneol sample is collected, original spectrums are collected, and the average spectrum is acquired; 2), a synthetic borneol water content consistency check model is established; 3), a first synthetic borneol identification consistency model is established; 4), a second synthetic borneol identification consistency model is established; and 5), a quantitative analysis model of borneol in synthetic borneol is established. According to the method, rapid detection of the quality of synthetic borneol is effectively guaranteed, fake and shoddy products are prevented, large-scale industrial production of synthetic borneol and body health of people are facilitated, and the method has an actual application value, can accurately detect the authenticity and quality of synthetic borneol, is good in use effect and is an innovation method for detecting authenticity of synthetic borneol variety and quality of synthetic borneol.

The invention discloses a method for detecting self-adaptive growth of a plurality of weak target tracks in an image domain, which relates to the field of tracking of moving targets and mainly solves the problem that the existing method is difficult to detect a plurality of moving target curve tracks under the condition of low signal-to-noise ratio. The method comprises the following detection processes: firstly, on the basis of processing radar echoes to acquire a distance-time image, extracting edges based on a phase consistency model; then, by adopting a digital image processing method for the edge detection result, realizing the purposes of positioning edge centers, removing fake edges and communicating the connected regions with the consistent edge trend through skeletonization and self-adaptive region growth technology; and finally, estimating target moving tracks and moving parameters by combining a clearing method and a iterative least squares method. The invention has the advantage of being capable of accurately estimating the track parameters of a plurality of curves, and can be applied to the data processing field of monitoring systems such as radars and the like to realize high-speed weak target detection and tracking.

In a processor, a lock-based method for out of order loads in a memory consistency model using shared memory resources. The method includes implementing a memory resource that can be accessed by a plurality of cores; and implementing an access mask that functions by tracking which words of a cache line are accessed via a load, wherein the cache line includes the memory resource, wherein the load sets a mask bit within the access mask when accessing a word of the cache line, and wherein the mask bit blocks accesses from other loads from a plurality of cores. The method further includes checking the access mask upon execution of subsequent stores from the plurality of cores to the cache line; and causing a miss prediction when a subsequent store to the portion of the cache line sees a prior mark from a load in the access mask, wherein the subsequent store will signal a load queue entry corresponding to that load by using a tracker register and a thread ID register.

The invention provides a text consistency calculation method and device. The method comprises the steps of obtaining an article to be processed; extracting a plurality of sentences related to the title from the text; for each sentence in the plurality of sentences, inputting the sentence and the title into a preset semantic consistency model, and obtaining a semantic vector corresponding to the sentence; determining a semantic vector corresponding to the article according to the semantic vector corresponding to each sentence; for each sentence combination in the plurality of sentences, inputting the sentence combination into a preset logic consistency model, obtaining a logic label corresponding to the sentence combination, and determining a logic vector corresponding to the article according to the logic label corresponding to each sentence combination; and according to the logic vector and the semantic vector, determining the text consistency value of the article. According to the method, the quality of the text can be accurately evaluated on the basis of the semantic consistency and the logic consistency of the text, meanwhile, a user can be helped to evaluate and assist the writing quality, and the use experience of the user is improved.

The invention discloses a blind detection system for digital image tampering, belongs to the field of image information security, and particularly relates to the blind detection system for the digital image tampering. The invention provides the blind detection system for the digital image tampering, which can effectively resist geometric attacks and is high in detection efficiency and detection precision. The blind detection system comprises the following steps: (1) carrying out image feature extraction, and establishing a consistency model; (2) carrying out an image blind forensics algorithm; (3) carrying out image classification and blind-revision image positioning; and (4) outputting a result.

The invention discloses a dynamic brain network node consistent-behavior analysis method based on electroencephalogram signals. According to the dynamic brain network node consistent-behavior analysismethod based on electroencephalogram signals, a brain function network based on electroencephalogram signals is constructed by performing preprocessing and reprocessing on electroencephalogram signals; a complex dynamic brain network consistency model is constructed on basis of electroencephalogram signals; and then, a complex dynamic brain network model consistent-behavior discriminant is constructed so as to judge consistency and stability of brain network node behaviors. The dynamic brain network node consistent-behavior analysis method based on electroencephalogram signals can be used toverify consistency of complex dynamic behaviors of brain network nodes.

The invention relates to a building method of a 3-dimensional quantitative structure-activity relationship (3D-QSAR) model, in particular to building of the 3D-QSAR model based on HIV-1 inhibitor molecules and consistency model building, and belongs to the technical field of biological information. The HIV-1 inhibitor molecules are selected to perform 3D-QSAR and consistency model research so as to mine the relationship between the structure of an inhibitor and the anti-HIV activity of the inhibitor. According to the method, the bioactivities of compounds with similar structures are predicted through building of a mathematical model based on the chemical characteristics (such as hydrophilcity, hydrophobicity, electrostatic property, polarity and three-dimensional structure) of the inhibitor. A consistency model is built with a statistics method on the basis of three 3D-QSAR models, and the aim is to further enhance the prediction capability of the model. The obtained model can better predict the anti-HIV activities of compounds, and the prediction accuracy of the anti-HIV activity of a brand new compound is increased. Compared with other methods, the method has the advantages that the medicament discovery efficiency is increased, and the medicament discovery cost is reduced.

In a processor, a method for using a semaphore with out of order loads in a memory consistency model that constitutes loads reading from memory in order. The method includes implementing a memory resource that can be accessed by a plurality of cores; implementing an access mask that functions by tracking which words of a cache line have pending loads, wherein the cache line includes the memory resource, wherein an out of order load sets a mask bit within the access mask when accessing a word of the cache line, and clears the mask bit when that out of order load retires. The method further includes checking the access mask upon execution of subsequent stores from the plurality of cores to the cache line; and causing a miss prediction when a subsequent store to the portion of the cache line sees a prior mark from a load in the access mask, wherein the subsequent store will signal a load queue entry corresponding to that load by using a tracker register.

Memory Access Coloring provides architecture support that allows software to classify memory accesses into different congruence classes by specifying a color for each memory access operation. The color information is received and recorded by the underlying system with appropriate granularity. This allows hardware to monitor color-based cache monitoring information and provide such feedback to the software to enable various runtime optimizations. It also enables enforcement of different memory consistency models for memory regions with different colors at the same time.

A distributed coordination system for a home network environment provides data and functional coordination among multiple control points in a networked home environment. Data and other services (e.g., events) are duplicated among multiple control points. The duplication allows multiple control points to function independently regardless of other control points. Coordination involves the synchronization of runtime state among multiple entities in the network. The distributed coordination system uses a weak consistency model to replicate data and coordinated functions (e.g., event notification) among heterogeneous controlling devices, such as DVD player, speaker, thermostat, with low overhead in a home network. The data replication and function coordination enable software components and/or users to access them without tying themselves to ensuring certain data on a specific control point. In addition, in case, one or more control points go offline, the replicas on other available control points can continue to serve requests and share state.

The invention, which belongs to the technical field of digital audio signal processing, discloses an automatic detection method of digital audio tampering based on a grid frequency fluctuation super vector. A phase spectrum and an instantaneous frequency spectrum that are sensitive to signal truncation in an ENF signal are analyzed, effective feature sets are extracted effectively, and the extracted feature sets are fused; and background modeling is carried out only on a great number of original voice signals including voice signals with various signal to noise ratios, even some defected voicesignals, wherein the background model is not sensitive to the signal tampering type because the operation process conforms to the actual detection situation and thus various tampered audio data can be detected effectively. According to the invention, the consistency model of the same class of voice signals is established; lots of features irrelevant to the kind of attribute are filtered adaptively; and the adaptive part can be adjusted by the user, so that the good robustness is realized.

The invention discloses a random evolution constraint SAR radiometric calibration method, and the method comprises the following steps: obtaining a SAR image of a calibration field and the informationof a calibrator, and setting a calibration precision threshold value zeta<thred>; performing the random sampling of a sample interior point of the calibrator; performing the iterative evolution of the SAR radiometric calibration; and performing the optimization and outputting of a calibration result based on the precision constraint. The method obtains the image of the calibration field and the data and information of the calibrator through the imaging flight of an aerial carrier, employs as few sample points as possible for estimation and calibration via the random sampling of the sample interior points of the calibrator, the given constraint meeting of the precision of radiometric calibration and the iterative evolution of the number of sample interior points and the number of curve fitting orders through combining a random sampling consistency model and a conventional SAR radiometric calibration method, achieves the verification of the calibration precision through the adding of the remaining sample points, irons out the defects of the conventional SAR radiometric calibration method, alleviates the impact on the precision of the radiometric calibration from abnormal data when there is a severely wrong point, and greatly improves the robustness of the SAR radiometric calibration.

The invention discloses a full-automatic efficient calculation color conformity method. The method comprises calculating the average of respective color channels of original RGB images, calculating the image average through the color average, blending global color and local color characteristics by using the averages and by the aid of the camera color filtering structure and the color tone consistency model to perform color correction on each pixel of each color channel of the images adaptively, and a user can further adjust parameters according to own requirements according to the corrected images to obtain better results. The simulation method experiment result shows that the raised method can obtain a delightful visual effect.

The invention relates to a non-topology-consistency three-dimensional grid block tracking algorithm, is applicable to the three-dimensional geological modeling field and solves a problem that a traditional block tracking algorithm utilized for geological modeling can not process non-topology-consistency models. The method comprises steps that (1), a non-topology-consistency three-dimensional geological model is inputted, and largest division depth for space grid body division of the three-dimensional geological model space is set; (2), a space grid body division algorithm on the basis of an octree data structure is utilized to carry out non-fixed grid body division of the three-dimensional geological model space to acquire grid bodies with scales which are not all identical; and (3), a water overflowing block tracking algorithm is utilized, block tracking on the basis of the grid bodies is carried out, and a grid body set corresponding to each block is acquired. Through the method, grid block tracking for the three dimensional geological model is carried out, the storage space is saved, and influence of topology relationship consistency of the three dimensional geological model can be prevented.