38results about How to "Avoid logic errors" patented technology

The invention brings forward a switching operation bill generation method of a railway transformation and distribution substation. The method comprises the following steps: selecting an operation task and an operation mode, a system, through carrying out topology analysis on a main wiring diagram, listing circuit breakers of all outlet wires, upper and lower isolation knife brakes, buses, bus couplers and the like, then entering graphic billing, when switching operation is carried out and an operation bill is issued, first of all, selecting a current operation mode, secondly, selecting devices and cabinet bodies which are related to by operation of this time, according to the currently selected devices, extracting rules related with the operation from a rule base to establish a new rule table, for the new rule table, generating operation statements according to a first-transverse-and-then-longitudinal sequence, and filling a bill sample with the generated operation statements. According to the invention, a logic relation table with powerful functions can be automatically generated, through the table, the association sequence among operation cabinet bodies and the logic locking relations among operation devices can be solved, and operation bills of all operation types of a whole station can be automatically generated in an accurate manner.

The invention discloses a universal probabilistic safety assessment model conversion system. With respect to the universal probabilistic safety assessment model conversion system, general probabilistic safety assessment automatic modeling methods and rules are combined with decomposition processing of a rich text probabilistic safety assessment model, computer-assisted modeling of the probabilistic safety assessment model can be carried out to a system including common cause failures. The universal probabilistic safety assessment model conversion system mainly comprises three modules: a model processor analyzes and processes the probabilistic safety assessment mode of a given system, model information of the given system is converted and decomposed into a standard model unit; an automatic modeling expert knowledge base stores construction rules of a universal system probabilistic safety assessment model, design and flow information of the given system, and specific probabilistic safety assessment model check rules of the given system and input by the user; and a model checking device analyzes, checks and arranges the standard model unit, changes the error of the standard model unit, and supplements missing probabilistic safety assessment model information, and a perfect system probabilistic safety assessment model is obtained.

The invention discloses a value dimension rising method of a variable. The method includes: acquiring a value of the variable; utilizing a first preset algorithm and a second preset algorithm to respectively determine a first dimension numerical-value and a second dimension numerical-value according to the value, wherein the first preset algorithm and the second preset algorithm includes differentcalculation formulas; and determining a dimension raising result of the value according to the first dimension numerical-value and the second dimension numerical-value. The invention also discloses avalue dimension rising device of the variable and a computer-readable storage medium. The method can represent the value of the variable through two-dimension data and the above-mentioned manner to enable the amount of information, which is contained by the value of the variable, to be larger.

The invention discloses a system and a method for automatically generating and updating CAPP process size. The system comprises a CPU, a process size database (2), a process size pickup module (3), a process size inserting module (5), a process size updating module, a process size storing module (4) and a related size display module (7), the process size database (2), the process size pickup module (3), the process size inserting module (5) and the process size updating module (6) are in electric signal connection with the CPU, the process size storing module (4) is connected with a signal output end of the process size pickup module, and the related size display module (7) is connected with a signal output end of the process size updating module. The method includes that the CPU calls the steps of the process size pickup module, the process size storing module, the process size inserting module, the process size updating module and the related size display module. Process size is displayed in a CAPP process card of a word document in a hyperlink form, so that automatic updating can be realized when process size changes, workload, of process personnel, in finding process size is eliminated, working efficiency can be improved, and error rate of process size in the process card is lowered.

The invention discloses a four-quadrant control system and method for a pure electric vehicle. The four-quadrant control system comprises a signal input module, a whole vehicle controller and a motor controller which are sequentially connected. The signal input module comprises an accelerator pedal signal, a braking pedal signal, a gear signal and a motor rotation speed signal. The whole vehicle controller judges the actual state of the vehicle and calculates the target torque according to the four input signals and sends a torque output command to the motor controller. The motor controller conducts a torque closed loop according to the received torque, controls a motor to output the torque, obtains the actual torque of the motor through calculation according to a current sensor on the motor and feeds the actual torque back to the whole vehicle controller. By the adoption of the system and method, the four-quadrant method is adopted for control, the control strategy is greatly simplified, the complexity of the control strategy is reduced, the logic errors caused by an inaccurate or incomplete control strategy can be well avoided, and the code control safety is improved.

The invention provides an automatic layout method of Simulink. The automatic layout method comprises the following steps: S1, acquiring all layout information of a model; S2, arranging a label type module below the subsystem module; S3, arranging input and output data of the module; S4, traversing all the modules and sub-modules from the root module at the top layer; and S5, when each module is processed, converting the information of the module into the input of Graphviz, and then calling a Graphviz algorithm to obtain an automatic layout result. The automatic layout method of Simulink can delete and replace the tag type modules by the connecting lines, so that the execution sequence among the modules can be determined and logic errors are avoided. Besides, the automatic layout method ofSimulink can reduce the number of input and output data, can minimize the number of connecting lines, and is more concise in the model. Moreover, the automatic layout method of Simulink automaticallyoptimizes the layout of the model by using a third-party open-source automatic layout engine, so that the layout quality of the model is greatly improved.

The embodiment of the invention provides a software test method and device, and a storage medium. The method comprises the steps of generating a copy function which is the same as a target test function according to the target test function in to-be-tested software, editing the target test function, generating the to-be-tested function, and according to a preset test case, executing a first calling instruction in the to-be-tested function to call a general pile function corresponding to the to-be-tested function, executing a second calling instruction in the general pile function, executing afirst function corresponding to the copy function called by the general pile function, or executing a second function corresponding to the general pile function. Due to the fact that the copy functionthe same as the target test function is generated in advance, when multi-thread test is conducted on the target test function, the called general pile function replaces the callback target test function with the callback copy function, and therefore logic errors caused by the fact that multiple threads modify and call the target test function at the same time are avoided.