correctness造句
61) An improved fault diagnosis algorithm based on system-level diagnosis for satellite networks was proposed and its correctness was proved.
62) Finally , the simulation results show the correctness and the affectivity of the proposed method.
63) The correctness in computer simulation is confirmed:9 cells on the empty position are to be used with the movable probability of first floor adopted in the computer simulation.
64) Based on two basic protocols of secure multi-party computation, a secure protocol is designed for determining whether two spacial spheres intersect, and its correctness and security are analyzed.
65) This thesis tries to translate scenario description into goal description, then to guarantee correctness and completement of scenario description by guaranteeing correctness and completement of goal.
66) All events have borne out the correctness of this appraisal.
67) The correctness of the complete Euler equation set is verified with two functional examples.
68) We always stick to principles of correctness, unity, conciseness, extensibility and Clean Room.
69) As a XML-based descriptive language, WS-CDL lacks a formal model and verification mechanism to guarantee the correctness of collaborations and interactions.
70) Finally, the correctness is verified by simulation and experiment. It is indicated that this method is adequate for the inverters with series-parallel resonant load.
71) Comparing them to affirm the correctness, we can get unknown parameter though simulation of MATLAB.
72) To improve the speed and correctness of Web service matching for services composition process, a semantic matching mechanism is proposed with the help of services indexes.
73) Correctness of the mining method and stope structural parameters is one of the key factors in determining the economically reasonable development of underground deposits.
74) Using too many or too too few characters(variable) in Intrusion Detection System(IDS) leads to reduce recognizing correctness of IDS.
75) The reasonability and correctness of the model are proved by analyzing the field data.
76) The impact law of different influencing factors on cable ampacity is obtained by case simulation, demonstrating the correctness and reliability of the model.
77) The partial coherence function is defined and its correctness has been verified. Then this result is extended to the linear system of multi-input and multi-output. Finally, its applications...
78) At the same time, the paper has deducted some key technique indexes in the course of modeling for multi-matrix CCD digital aerial camera system. The correctness of th...
79) Some mathematical examples are used to examine the correctness and efficiency of the approach which is applied to some engineering problems of static interval analysis.
80) The correctness of the program, however, is unaffected by the truncated name.
81) We propose a method of pre-assignment for exact algorithm of traversing clauses, and the correctness is proved in theory.
82) The correctness of the checkout method is proved with data analog computation and analysis, and thus the result is obtained.
83) The implementation based on a FPGA chip has verified the feasibility and the correctness of the interconnection network interface card built on the virtual DDR memory, and verified the memory itself.
84) Programmers can verify the partial correctness of multi-core parallel programs in our framework.
85) These dichotomies (between efficiency versus correctness, efficiency versus programmer time, efficiency versus high-level, et cetera.) are bogus.
86) Applying lots of primal features to identify fault condition leads to reduce classification correctness.
87) Formal verification of the completely correctness is formulated as partial correctness and termination by formal proof method.
88) Depending on the difficulty of the specification and code,[www.] the group may also write a correctness proof for the code.
89) The two algorithms were bad on graph coloring theory and their correctness and feasibility were approved by both theory and emulator.
90) Program verification tries to prove correctness of programs with strict theorem proving.
123456