40 results about "Demand modeling" patented technology

The invention belongs to the technical field of devices for executing special programs, and discloses a scene-based demand modeling system and method, and an information data processing terminal, andthe system comprises a demand preparation module, a business modeling module, and a system modeling module. According to the method, the process of converting the business document and the report intothe business entity is realized, and the business entity forms a derivation clue of the conceptual entity with the association relationship through analysis; the crowd analysis derives and converts from a business scene to a business role, and the business role derives an evolution line of the system user from the computer execution angle; a step-by-step basis, derivation and evolution are provided for transition from service current situation description to computerized description.

The invention provides an individualized travel information screening method matching user characteristics. The individualized travel information screening method comprises individualized demand modeling and mapping rule modeling. The individualized requirement modeling comprises entity demand modeling and line demand modeling, wherein the entity demand modeling adopts a two-layer granularity classification method to carry out classification processing on entity demand parameters and the line demand modeling adopts a three-layer granularity classification method to carry out classification processing on all line demands. The mapping rule modeling comprises a mapping algorithm and a recommended algorithm. According to the individualized travel information screening method provided by the invention, an individualized algorithm matching the user characteristics is designed to aim at the characteristics that the total user quantity of travel industries is great, the total historical data quantity is abundant, the single user data quantity is small and the like: after a user logs in a system, no parameters are needed to be input; and travel services which are the most needed can be initiatively recommended to the user according to the user characteristics, so that the individualized demands of the user are satisfied and a lot of time of the user is shortened.

The invention discloses a product scheme multi-index evaluation method considering order relation analysis. The method comprises the following steps: firstly, collecting a data source, establishing a traceable relationship between demands of a demand model, and controllably transmitting the demands; carrying out functional decomposition on the demand model until multifunctional indexes which can be used for scheme design by designers are obtained; According to the invention, a multi-index weight evaluation design scheme is adopted, an index evaluation matrix is established, normalization processing is carried out to eliminate non-university, an order relation analysis method is adopted to solve index weights, and a comprehensive evaluation value of each scheme is calculated. According to the method, innovative demand modeling and analysis specifications can be formed in product research and development, scheme evaluation can be simply and quickly carried out in the initial stage of product scheme design, and many practical problems which cannot be evaluated from the technical level can be conveniently solved.

The invention discloses an XML-based data association method and device, a server and a storage medium, and the method comprises the steps: obtaining demand modeling based on page configuration, wherein the demand modeling comprises a plurality of operable controls, the operable controls are connected to form a control chain, and the connection is a corresponding relation between data; obtaining first data input by a user in the operable control; and processing the first data into an XML document and storing the XML document in a relational database. According to the technical scheme, the effects of providing visual and concise data services for users and improving the modeling reuse rate are achieved.

The invention provides a method and a device for analyzing test coverage automatically aiming at an automatic test system. The method for analyzing the test coverage automatically mainly comprises the following steps of: establishing a test demand model through visualization; formulating the mapping relation of test items and test demands and test coverage indexes by users; converting the test demand model into a test demand description XML file; and finally, resolving the file to analyze the test coverage. The device for analyzing the test coverage automatically mainly comprises a test demand modeling module, a test demand and test item mapping module, a test coverage index formulating module, a coverage analysis script module and the like, supports the visual modeling on the XML test demands, establishes the mapping relation of the test items and the test demands and the test coverage indexes, and realizes the automatic analysis of the test coverage. The method and the device can assist analysts in analyzing the test coverage automatically and improve working efficiency and the accuracy of analytical results, and the adopted visual operation is simple, quick and convenient.

An analysis method of electric vehicle travel and charging demand considering the charging feedback effect: modeling of electric vehicle user travel demand in destination mode; time-series interactive analysis of travel and charging demand, and establishing power consumption based on travel demand when the user is in the driving state Model, establish a charging demand generation model based on fuzzy theory when the user is in the driving state, establish a power replenishment model considering the adequacy of charging facilities when the user is in the staying state, and make user difference decisions based on the charging feedback effect when the user is in the leaving state ; Time-series interactive simulation of user travel and charging demand. The invention can realize the time sequence interaction between the travel demand and the charging demand of the electric vehicle user, and analyze the change trend of the charging demand of the user and the hysteresis and recovery of the travel demand.

The invention discloses an embedded software security automation verification system and a verification method thereof. According to the technical scheme, double verification of software security is realized in combination with a model checking-based formal verification technology and a model-based software test technology. The automation verification system disclosed by the invention comprises four parts, which are a software demand modeling module, a security verification rule database, a formal verification module, and a security test module respectively. The software demand modeling module comprises two sub-modules, wherein the ICD modeling module describes a software external cross-linking environment, and the formal modeling module describes a software internal behavior. The security verification rule database is constructed and used for storing security verification rules. The formal verification module is constructed and used for performing model verification on a software demand based on the security verification rules and a model detection algorithm. The software detection module comprises two modules, wherein the test case generation module is used for generating an executable security case, and a test case translation module performs format conversion on the generated case.

The invention discloses a requirement modeling method based on a new characteristic model and a model transformation method. A model is established by the new characteristic model through a hierarchical structure of expansion of ability characteristics along with addition of a 'service layer' and a quality characteristic with addition of four hierarchical structures. Five types of conditions of the characteristic model are simplified to two types of conditions through introduction of a 'selectable set'. A requirement modeling technological process is designed according to the new characteristic model. A characteristic pattern is converted into a unified modeling language (UM) class pattern and a UML case using pattern. The requirement modeling method based on the new characteristic model is capable of greatly promoting reusability of software requirement assets and improving production efficiency and quality of software. The model transformation method is joined with the requirement modeling method based on the characteristic model and a UML pattern modeling method.

The invention discloses a requirement modeling and verification method oriented to hardware logic design, which includes step 1: obtaining the functional modules divided by the requirement analysis stage, and filling the functional module codes into a table of the corresponding style; step 2: analyzing Filled tables that describe Verilog HDL statements of different functions in multiple styles, record the nesting relationship of tables between the same modules and the instantiation relationship of ports between different modules; Step 3: Review the syntax and logic of the code; Step 4: By the module Code generation saves the document of timing operation logic; Step 5: Call the document of timing operation logic at different clock edges, and use the table to display the specific position of the logic branch of the code at different clock edge times; Step 6: After verifying that the logic is correct The codes are integrated to generate the corresponding Verilog HDL code framework for table filling. This method can automatically verify the logic in a simple way of filling the form, and achieve the effect of prior verification.

The invention discloses a reconstruction method of an acetabular tissue model oriented to serialized CT images of the hip joint. Select the point with the largest gradient on the vertical line on the line; traverse the thick contour of the femoral head to obtain the contour point set of the point with the largest gradient on the tangent vertical line; the points in the contour point set are connected to form the fine contour of the femoral head tissue in the CT slice ; Sequential femoral head contour extraction step, sequence acetabular image extraction step and three-dimensional reconstruction step. Based on the bone shape of the patient's individual hip joint, the present invention obtains individualized relevant position parameters, performs acetabular segmentation in CT images, and obtains accurate acetabular tissue images and three-dimensional models, which are used for the subsequent personalized reflection of the artificial femoral head prosthesis. For modeling, no prior knowledge obtained by training with other data sets is required, and the implementation is simple.

The invention relates to an embedded software development system. The method comprises the following steps: establishing a demand model of an embedded system program to be developed according to demand analysis of the embedded software system program; analyzing and detecting the demand model, generating source codes required by the target software system program at the same time, and further generating the target software system program; performing program analysis on the target software system program to obtain a program model, performing comparative analysis on the program model and the demand model to find difference, and if difference is found, repairing the generated target software system program or demand model. Aiming at the characteristics of the embedded software system program, a demand modeling technical scheme suitable for the embedded software system program is provided, the demand expressed by a user by using a natural language is converted into a scene and behavior expression, and a good foundation is laid for automatically detecting whether the demand of a software system is correct and complete or not.