42 results about "Canonical model" patented technology

A computer system simulation method starts with algorithmically implementing a specification model independently of hardware architecture. High level functional blocks representing hardware components are connected together using a bus architecture-independent generic channel. The bus architecture-independent generic channel is annotated with timing and protocol details to define an interface between the bus architecture-independent generic channel and functional blocks representing hardware components. The interface is refined to obtain a CCATB for communication space. The read( ) and write( ) interface calls are decomposed into several method calls which correspond to bus pins to obtain observable cycle accuracy for system debugging and validation and to obtain a cycle accurate model. The method calls are replaced by signals, and the functional blocks representing hardware components are further refined to obtain pin/cycle-accurate models which can be manually or automatically mapped to RTL, or be used to co-simulate with existing RTL components.

A method, system and computer program product provide an implementation of software. A control flow of a software component is constructed based on a specification model. In various embodiments, the specification model comprises at least one input and at least one requirement referencing the at least one input. At least a partial implementation of the software component is generated based on the control flow and the at least one input and the at least one requirement of the specification model. In some embodiments, the specification model further comprises at least one output, and the at least a partial implementation of the software component is also based on the at least one output.

The invention discloses an image blind deblurring method based on edge self-adaption. To solve the problems that as for an existing total variation deblurring algorithm, edges and details of images are easily blurred, a de-mean gradient total variation canonical model is built, weighting coefficients are calculated in an iterated mode by means of local variance self-adaption of gradients of the images, and the ability of the deblurring algorithm to restore the edges and the details of the images. The image blind deblurring method comprises the following steps that (1) a blurred image is input, solutions to a gradient-region clear image and a blurring kernel are obtained alternately, and the initial blurring kernel of the blurred image is obtained; (2) the initial blurring kernel is used for conducting primary non-blind deblurring on the blurred image, and an initial clear image is obtained; (3) clustering is conducted on the initial clear image, the mean value and the weighting coefficient in the de-mean canonical model are updated, and a solution to the blurring kernel is obtained again; (4) the new blurring kernel is used for conducting secondary non-blind deblurring so as to obtain a clear image. Experimental results show that the image blind deblurring method based on edge self-adaption has better deburring effect than the prior art and can be used for image restoration.

An automatic digital-circuit design apparatus receives a control target model written in a design description language, generates a control target model represented by a finite state machine model, stores the generated control target model, receives a control specification model written in a design description language, generates a control specification model represented by a finite state machine model, stores the generated control specification model, generates a control apparatus synthesis model by composing the generated control target model and the generated control specification model, computes controllable simulation relation, stores the computed controllable simulation relation, determines whether the control apparatus synthesis model is a model capable of providing the control, generates a permissible operation model, stores the generated permissible operation model, determines a control rule, generates a control apparatus model represented by a finite state machine, and converts the control apparatus model to a control apparatus model written in a design description language.

A method of generating a scenario includes generating a specification model by describing a specification in a predetermined descriptive language, extracting a plurality of operations from the specification model, generating a plurality of operation descriptions, each of which corresponds to one of the operations and includes an operation name and a constraint condition, generating at least one cause-effect graph that combines the operations based on the operation descriptions, and extracting as a scenario a series of operations from the cause-effect graph.

The invention discloses a deep learning model file conversion method and system, computer equipment and a computer readable storage medium, and the method comprises the following steps: receiving a to-be-converted model file obtained under an original deep learning framework; according to the file type of the to-be-converted model file, selecting a corresponding readable framework to read the to-be-converted model file so as to obtain loading information of the to-be-converted model file; analyzing and/or translating the loaded information to obtain intermediate standard information; integrating into an intermediate specification model file according to the information of the intermediate specification; the intermediate specification model file is opened through the target deep learning framework, the storage engine of the target deep learning framework is started to store the obtained intermediate specification model file as the target model file, and the target model file can be applied to the target deep learning framework, so that the application environment of the target model file is expanded.

A method for automating input/output buffer information specification (IBIS) model generation. A wrapper utility combines components into an automated generation flow to model multiple input/output (I/O) buffers that conform to single-ended and differential I/O standards. Configuration data files are imported to properly configure the modeled I/O buffers according to a specific set of signal parameters across all process corners. Output and input termination impedance may also be modeled within the I/O buffer. A simulation setup file of the modeled I/O buffer is generated to determine the voltage/current (V/I) and voltage/time (V/T) data for the modeled I/O buffer for each process corner. A raw IBIS model is then created, formatted, and validated to determine the accuracy of the IBIS model. Execution steps of the IBIS model generator are then iterated to automatically generate, correlate, and compile IBIS models for each I/O standard into a single file.

The different advantageous embodiments provide a system for positioning data within a network comprising a knowledge manager, a canonical model manager, and a context manager. The knowledge manager is configured to process a query across a number of resources to generate a result. The canonical model manager includes a number of models used to identify relationships between types of information within the number of resources and the query. The context manager is configured to manage the context of the query and the relationships identified by the canonical model manager to position the number of resources for access by the knowledge manager.

Apparatuses, computer program products, and methods for identifying redundancy and consolidation opportunities in databases and application systems are disclosed. In one embodiment, the apparatus may include at least one meta data scanner. The apparatus may also include an enterprise meta data source. The apparatus may further include a meta data repository. The meta data repository receives system-specific meta data from the at least one meta data scanner. The meta data repository may also receive enterprise canonical data model meta data from the enterprise meta data source. The meta data repository may be configured to generate at least one individual system CRUD matrix that may then used to produce an enterprise canonical model CRUD matrix. The enterprise canonical model CRUD matrix may be analyzed by a data mining clustering algorithm. The clustering algorithm may group together modules and database elements that may be redundant and may indicate opportunities for consolidation.

The invention belongs to the technical field of molecular imaging, and discloses a method for reconstructing fluorescence molecular tomography based on semi-threshold tracking algorithm. The multi-point excitation and finite angle measurement are used to construct a sparse canonical model of a non-convex problem, and the linear relationship between the surface measurement data and fluorescence target distribution is established. The linear relationship is transformed into the 1/2 norm minimization problem to solve and obtain the three-dimensional distribution and concentration of the fluorescent targets within a reconstructed target. The model is solved by threshold iteration and matching tracing algorithm. The method reduces the morbidity of the problem. Optical characteristic parameters and the anatomical structure information are used as a priori knowledge to improve the accuracy of the reconstruction result and the quality of a reconstructed image. The reconstruction problem is transformed into a 1/2-norm minimization problem with constraint conditions and is solved by using the semi-threshold tracing algorithm, which makes the solution satisfy the minimum of 1/2- norm and guarantees the robustness of the reconstruction problem to the parameters and the acceleration reconstruction time.

The invention relates to a design system and fault information quick positioning method for intellectualizing a satellite measurement and control information stream based on a model. Satellite remotemeasurement and remote control information is extracted from the satellite remote measurement and remote control information stream. The information comprises remote measurement and remote control source terminal equipment information, remote measurement and remote control type information and remote measurement and remote control target equipment information; remote measurement and remote controlnumber information is counted by using a satellite remote measurement and remote control information counting module; then remote measurement and remote control information is classified and graded through a satellite remote measurement and remote control information classification and grading module; a standard model and standard linear information in a satellite remote measurement and remote control information dictionary standard module are called, and the modelling pattern design work of the satellite remote measurement and remote control information stream is completed in a model establishment and line connection operation module; different versions are stored in a version control module; finally, a module output design result is output by using an information stream result. The whole process of intellectualized seamless design of the spacecraft information stream is achieved, the design process is standardized, and the total design capacity is improved.

The invention discloses a stream transmission method for a three-dimension model facing a mobile terminal. The method comprises the steps of conducting global parameterization on the three-dimension model by utilization of the MAPS algorithm, partitioning the three-dimension model into geometrical information, parameter information and connectedness information, and building a self-adaptive approximate semi-canonical model; then conducting inverse improved loop small wave conversion on the semi-canonical model to obtain a base grid and side-play mount, conducting zero-tree coding on the side-play mount to further conduct entropy coding, and based on a mobile terminal platform, compressing the base grid through single resolution based on the edge breaker algorithm; finally decoding through the inverse process simplified by the grid, and drawing an original model. The stream transmission method is moderate in calculated amount and high in decompression speed, is mainly applied to a PC on a mobile network to transmit complex three-dimension model to the mobile terminal, and improves the topology compression ratio and the geometry compression ratio to a certain degree.

A method of invoking a web service comprising the steps of: generating a generic client module for requesting web services, the generic module being adapted to output commands invoking web services in conformity with a canonical model of commercial activities in a given commercial domain; and generating, from the canonical model and information relating to a syntax used to invoke web services at an enterprise, an adaptation module, adapted to receive commands output by the generic module, and express those commands as one or more commands having a syntax by which web services may be directly invoked at the enterprise.

The invention relates to an equivalence verification method for eliminating misjudgment by combining constraint satisfaction and belongs to the technical field of model verification. The method comprises the following steps of: selecting appropriate candidate equivalence pairs from a normative model and an implementation model according to heuristic information; performing boundary assignment-based constraint propagation rapid solving on an input variable of a circuit in a constraint solver; and directly inputting a result if a misjudgment phenomenon does not exist, and if the misjudgment exists, eliminating the misjudgment by the following steps of: a) converting a model corresponding to the current equivalence pair into a constraint relation; b) solving all non-equivalent assignments of the normative model and the implementation model by using the constraint solver and converting the assignments into a constraint relation; and c) calling the constraint solver to solve the constraint relations obtained by the step a) and the step b), judging that the two models are equivalent to each other if a result is unsatisfactory and judging that the models are non-equivalent if the result is satisfactory. Due to the adoption of the method, equivalence verification efficiency is improved, the first silicon slice success rate of a chip is enhanced and the time to market of an electronic product is shortened.