Random good picture Not show

121) ILOG JRules Rule Scenario Manager: An integrated environment for testing, verifying correctness of rules, and simulating changes in business policies.

122) A semi-trailer synchronous hydraulic driving system is designed and its correctness is proved by the experiment.

123) An equipment-oriented setting value verification method is put forward for distance protection, which ensures the correctness and effectiveness of protective action simulation.

124) According to the generating theory of SHEPWM wave, a design of digital firing circuit on SHEPWM based on CPLD is implemented and correctness of design is verified by practical experiment.

125) Hie correctness of the specification of a software is the precondition of the correctness of the destination code.

126) A suggested explanation, so long as its correctness is still in doubt, is called a hypothesis.

127) This paper discusses the data parallel algorithm and its implementation on region growing image segmentation, the correctness is proved, and the performance is also analyzed.

128) The correctness proof of the algorithm is also given in this paper.

129) It's very important that correctness of accounts receivable analysis for disclosing accounts receivable management and strengthening active assets management.

130) The main concepts of cleanroom software engineering are increment planning, box structure specification, correctness verification and statistical test planning.

131) Strand space theory is a method for stating and proving correctness properties for cryptographic protocols.

132) The simulations on two conditions (steering wheel angle step input and sinusoidal input) verify the correctness of braking force distribution strategy and the effectiveness of coordinated control.

133) Correctness of a classic sorting algorithm of linear time complexity and realization of radix sorting were proved and the time complexity of it was analyzed from the viewpoint of the "big-O notation".

134) It is very difficult to develop an integrative MIS with properties of validity, transportability and correctness using the different hardware environment, OS and communication platform, .

135) Finally, we test and analyze the design by using the protocol analyzer to verify the correctness of this design.

136) The test research gives macroscopical information from inside field of diluter, the data of pressure and flux tested guarantees the correctness of numerical calculation of the inside flow field.

137) The correctness of relationships among use case descriptions and semantic equivalence between use case descriptions can be analyzed based on the formal definition.

138) At last, the correctness, pseudonym and security of the new scheme were analyzed.

139) Cleanroom combines formal methods of object-based box structure specification and design, function-theoretic correctness verification, and statistical usage testing for quality certification.

140) The subject generates great cynicism, with critics suggesting investors are in thrall to political correctness and guilty of creating a "box-ticking" culture that stifles entrepreneurship.

141) The experimental results of this wind generator validate the correctness of the design and analysis approach.

142) Further, the previous analysis value of the naphtha dry point was regarded as a new independent variable for the soft sensor and the predicting correctness of the soft sensor was enhanced remarkably.

143) According theory experiment and feasibility experiment, the correctness of water screen cooling theory and the feasibility of configuration optimization based on simulative results.

144) The testing results of prototype indicate that the verification device can verify the projects, such as Clock Daily Error, Current Hour Error, Parking Timing Error, Charging Correctness.

145) As the increase of circuit complexity, traditional simulation method has been unable to cover the total state space and the correctness of microprocessor arithmetic circuit cannot be ensured.

146) For lack of explicit and definite semantics in BAN like logics,[http://sentencedict.com/correctness.html] their correctness of syntax rules and reasoning is under suspicion.

147) The handler developer is responsible for the correctness of the SOAP message, in contrast to the strongly-typed JAX-RPC service interfaces.

148) Through commenting on the multiple dimensional character of Karnaugh structure, a new algebra-geometry algorithm with its correctness and efficiency is presented.

149) On the other hand, we improve the correctness of contour extraction for high- noised images.

150) The feasibility and correctness of the parametric design for hydropneumatic recuperator are validated by an example.