79results about How to "Clear expression" patented technology

The invention discloses a vehicle routing problem modeling and optimization method with time window based on constraint programming, belonging to the field of intelligent transportation. The method comprises: 1. establishing the basic mathematical model according to the description of the routing problem of a vehicle; 2. based on the mathematical model of vehicle routing problem, establishing thebasic constrained programming model of vehicle routing problem with time windows. 3, adding other constraint conditions reasonably to optimize the model and speed up the solution of the model; 4, importing a benchmark test package of the verification and test model, and reading the customer point information; 5, a CPLEX optimizer being used to solve the constrained programming model of vehicle routing problem with time windows. The modeling and optimization method provided by the invention is convenient to describe and express the complex constraint conditions of the problem, and the model iseasy to be expanded. Heuristic constraints are reasonably added, which greatly reduce the search space and accelerate the solution. The exact global optimal solution can be obtained.

The present invention discloses a method for modifying the position error of the total static pressure pick-up. The method uses a wind tunnel experiment to obtain a simple modifying method for modifying the flight speed of the unmanned plane and the atmosphere static pressure data. When the modifying method provided by the invention is applied, the designing of the total static pressure pick-up and the general arrangement of the plane do not need modifying; besides the provided modifying formula is simple and definite formulated, the inner algorithm of the air data computer does not need modifying and the data can be automatically modified in the flight control software; and a higher modifying precision is provided to the typical flight condition.

The invention discloses an elastic correction method of an airplane lifting resistance aerodynamic characteristics, which is characterized by comprising the following steps of: step 1, obtaining lifting force of a rigid wing; step 2, obtaining a lifting force correction formula; step 3, obtaining the resistance of the rigid wing; step 4, obtaining a resistance correction formula; and step 5, obtaining a correction parameter according to wings of different airplanes, and correcting the lifting force and the resistance of an airplane. According to the elastic correction method, the provided correction formulas are simple and clear to express by taking that the lifting force correction formula and the resistance correction formula of the airplane are finally provided as an aim, so that the elastic correction method is suitable for the airplane with a large span-chord ratio wing to carry out numerical value pneumatic calculation on a rigid model and elastic correction on lifting force and resistance properties characteristics after a wind tunnel test, and has higher correction precision on the airplane with the large span-chord ratio wing.

The invention aims to provide a server health degree analysis method and device, a storage medium and electronic equipment so as to solve the problem that in the prior art, server health analysis is not comprehensive enough. The method comprises the steps of obtaining multiple groups of historical indexes of a server; adding a health state label to each group of historical indexes according to thealarm information of the server in the time period of generating each group of historical indexes to obtain sample data; and machine learning is carried out according to the sample data to obtain a health degree assessment model, the input of the health degree assessment model is an operation index of a server, and the output of the health degree assessment model is a label representing the health state of the server.

The invention provides a probability matrix decomposition recommendation method. The method provided by the invention is based on explicit and implicit feedback information and combined with a probability matrix decomposition technology at the same time so as to help a user to score the commodity. The method comprises the steps of firstly carrying out probability matrix decomposition on a user trust relationship matrix, then carrying out probability matrix decomposition on a commodity score matrix of the user and the implicit feedback information, solving an implicit user characteristic matrix, an implicit commodity characteristic matrix and an implicit feedback information characteristic vector by integrating results of the two times of decomposition, and finally calculating a recommendation score of the user. The method provided by the invention can help the user to recommend a score of the commodity by well utilizing an online social network, relieves a data sparse problem and a cold start problem in the social network, and has an excellent recommendation effect. Meanwhile, the probability matrix decomposition recommendation method can be applied to a recommendation system with a large-scale data set.

The invention relates to a modeling method of a data logic model utilizing public conceptual sets. A set of symbolic languages supporting fast building of the data logic model is built. The modeling method comprises modeling elements such as relationship set and entity, basic attributes, conceptual attributes, and composite attributes, provides stronger semantic expression ability than traditional E-R (entity-relation) diagram, and can supports building of data models of various complex information systems. By using the public conceptual sets, building speed of the data models is increased, iterative development is avoided, data standardization is facilitated, visualized support systems are provided to building of logic models, the data models designed by a graphical interface can be exported into international XMI (XML metadata interexchange) format so as to be compatible with other model designing tools, building of the data models of the information systems is more convenient and faster, designing and implementation of a database mode are simplified greatly, and visualized fast building of the data models by developers during engineering is facilitated.

Performing an inspection based on a shape of a solder fillet and setting a standard of the inspection. In order to set the standard of the inspection by a method for determining whether the solder fillet of a component mounted on a board is proper by obtaining a calculation of a numerical parameter indicating a three-dimensional shape of the solder fillet, a setting screen including an image display region indicating an image of a component of a setting target and an inspection standard list is displayed to receive a user manipulation. A list in which an item name of each of plural inspection items is correlated with an input field of a standard value of a numerical parameter measured by the inspection item is displayed in the inspection standard list.

The coordinate indicating objects are cross-shaped and aligned between the ball and cup. The virtual space has X axis from left to right, upward Y axis and Z axis toward depth direction. The coordinate indicating objects are arranged in a manner of check pattern on the X-Z coordinate. The Y-coordinate are set on the ground of course. The inclination indicating objects moves in descent direction between a pair of the coordinate indicating objects in a speed determined by the inclination value of the coordinate indicating objects adjacent in X or Z direction, that is, a difference of the Y-coordinate of the coordinate indicating objects. Therefore, clear expression is possible of inclination of inclined planes etc. without deteriorating natural atmosphere of a virtual space.

A tradable security comprising a voting right associated with an underlying financial security and an instrument for permitting at least said voting right to be separated from at least some residual rights in the underlying financial security to create a voting right security wherein the ownership and control of the voting right security is tradable separate from the residual rights in the underlying security to permit a value of said voting right security to be established in an open market. In another aspect the invention is directed to a method of creating such a voting right security. In another aspect the invention is directed to a method of clearing and setting trades of the voting right security. In another aspect the invention is directed to a method of creating an index from the voting right security.

The invention discloses a controller local area network protocol verification method based on state space search. The method comprises the steps of system modeling, model pre-processing and model verification. In the modeling process, an abstract time state automat model is constructed, a state transition diagram prevents, through the utilization of the idea of dynamic planning, a state spatial graph from being generated in a redundant state. In the verification of a controller load area network software model, the state search algorithm based on decomposition is used for further optimizing the state search space of the model, the verification process of the whole system is made to be further optimized in time and space complexity, and data processed through the algorithm are output and converted into a language form which can be understood by inspection personnel easily. The controller local area network protocol verification method can be used for effectively verifying whether relevant network protocols meet requirements, and relieves the problem of state space explosion in the verification process. The space-time complexity of the system in the verification process is low.

The invention provides an analytical model for a saturable reactor for a converter valve. The saturable reactor for the converter valve consists of a coil and an iron core; and the working state of the iron core has a linear stage and a nonlinear stage under rated operation. In order to better perform electrical design and electrical analysis on the saturable reactor, the invention provides an analytical model for the saturable reactor for the converter valve. The analytical model comprises a coil resistance, a coil inductance, a core inductance, a core resistance, a terminal capacitance and other parameters. Corresponding electrical parameters of saturable reactors with different shapes and dimensions can be calculated. The analytical model has the advantages of clear physical conception, and capacities of easily acquiring each parameter needed in the model through a real object and providing a foundation for deep analysis of the saturable reactor.

In a running device for a model (6) comprising a pair of motors (7), a pair of left and right wheels (8) which are independently driven by the pair of motors (7), and a control device (20) which controls operations of the pair of motors (7) based on instructions concerning speed and direction, the control device (20) controls the pair of motors (7) such that the pair of motors (7) are alternately rotated in an instructed direction when the instructed speed (Vm) is in a low speed range (L, M), and the pair of motors (7) are rotated in the instructed direction simultaneously when the instructed speed is in a high speed range (H) which is higher than the low speed range.

The invention provides a numerical control machining program sheet generating method based on UGNX secondary development, and belongs to the technical field of software development. The method comprises the following steps: a, creating a three-dimensional model of a part to be machined; b, compiling a machining process of the part based on the three-dimensional model; c, making a numerical controlmachining program sheet template of an Excel format; d, compiling a dialog box interface by using a C++ language; e, straightening the three-dimensional model; f, selecting a program group for outputting the machining program sheet; g, initializing the dialog box interface; h, inputting and selecting information relevant to the part in the dialog box interface; i, acquiring a main view, a top view, a side view and an isometric diagram of the part; j, acquiring machining information of the part; k, acquiring other information; l, opening the machining program sheet template, and writing all relevant information; and m, generating a numerical control machining sheet of a PDF format. Through adoption of a secondary development technology of UG NX, the communication between a programmer and an operator is reduced, and the knowledge consolidation of a product numerical control machining process is realized.

The invention relates to a mechanical spiral scanning ultrasonic imaging method. An ultrasonic probe is installed on a spiral drive mechanism; the ultrasonic probe is driven by the spiral drive mechanism to simultaneously conduct rotation motion and front-and-back linear motion; the ultrasonic probe successively transmits and receives ultrasonic beams to conduct spiral scanning; image data acquired through spiral scanning are sequentially recorded; any image datum in the image data is optionally chosen as a start point; the image data are grouped according to the rotation period of the ultrasonic probe; each image datum in each group of image data is identified according to angles; an annular two-dimensional image is formed by any selected group of image data; rectangular longitudinal section images are formed by all image data which have the same angle and have 180-degree differences in all groups; all annular two-dimensional images are overlaid according to the time sequence to form a three-dimensional image. Therefore, the fidelity of the images is higher, the conditions of lesion tissue are more intuitively, more clearly and more accurately expressed, and diagnose can be more easily and more accurately conducted through the images.

The invention provides a method for automatically generating a station yard graph, which comprises the following steps of: reading a train control engineering data table which comprises a line data table and an access data table; calculating a topological relation of interval lines according to the line data table, and calculating a topological relation of in-station lines according to the accessdata table; generating an internal data model according to the topological relation of the interval lines and the topological relation of the instation lines; imaging the internal data model to generate a station yard graph; and converting the station yard graph into a file in an XML format. Compared with the prior art, the train control engineering data table can be directly read, the line topological relation is calculated, the machine language station diagram is generated, automatic auditing of the train control engineering data table can be achieved, and the auditing work efficiency and accuracy are improved.

The invention provides a processing method of a wood material art, which solves the problem of poorer beautiful and artistic effects and shorter appreciation life of products prepared by the prior processing method of the wood material art. The processing method of the wood material art comprises the following steps: A. selecting materials; B. splicing in a seamless mode; C. forming by hot press; and D. post-processing. The wood material art prepared by the processing method has wide application range, good beautiful effect, long appreciation life, and the like.

The invention discloses a visualization method based on natural environment factor data. A visual display system is built through the combination of a time sequence change model and a space change model. Mapping from a data space to a graphic space is carried out by utilizing a 2.5-dimensional surface visual design idea and three coordinate conversions, visual display of natural environment factordata is realized, and a function of visually and clearly displaying key environment factor data display is achieved. Meanwhile, the visualization method realizes that multiple views display data frommultiple angles at the same time, and the views are linked, that is, when the views are modified and inquired in one view, information displayed in other views can also be correspondingly changed, sothat the visualization method has timeliness, accuracy and clarity, and is convenient for researchers to evaluate.