• No results found

formal object-oriented method

Towards a formal method for distributed object oriented systems

Towards a formal method for distributed object oriented systems

... insisting that its behaviour, abstracted in this way, is equivalent to some other process. By increasing the set of such properties we require, we obtain a method somewhat like process logic. The similarity of ...

375

A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS

A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS

... used, object oriented metrics modeling method [10]. GQM method is proposed by Professor Victor Basisli of Maryland University in the mid 1980s, which is a goal-oriented method on ...

8

A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS

A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS

... [8] Yukio Ueda, Kazuyoshi Ohta, Motoki Oda, Mitsuharu Miwa, Yutaka Yamashita and Yutaka Tsuchiya, “Average Value Method: A New Approach to Practical Optical Computed Tomography for a Turbid Medium Such as Human ...

6

A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS

A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS

... An method for evaluation is given in this ...this method is that the security evaluation index system needs to be set up based on the security framework, and then the evaluation can be finished by security ...

8

A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS

A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS

... description method can better reflect the node changes on complex spatio-temporal network effects, the impact and risk cost model to quantify the ...statistical method to derive, function structure of G ...

11

A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS

A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS

... The Hengda Oasis project adopts the new technology of dry-hung and wet-lying in the construction of roof with steep slope in severe cold region. In comparison of the method of traditional sloping roof single-layer ...

6

A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS

A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS

... The method has a friendly interface, easy operation, precise and intuitive image data,make up for deficiencies in the traditional teaching, help to improve the quality of teaching and student understanding of ...

6

A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS

A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS

... The article discusses the design method of OTA- C filter based on the prototype of LC filter. The OTA-C filer can be easily change the cutoff frequency by changing the bias current Ibcm of OTA. The simulation ...

5

A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS

A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS

... However, there are a couple of limits of CAD/CAE integration process, since the simplification process needs information from the feature tree, so it should get the feature tree information by algorithm, the ...

6

A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS

A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS

... making using of improved differential evolution algorithm to identify parameters of Wiener model. Simulation results show that the sensitive degree of variation parameter by ADE algorithm is significantly lower than that ...

7

A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS

A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS

... Water is the source of human life, water environment monitoring is the management and protection of water resources is an important means in our country, the shortage of water resources, water pollution is serious, how ...

5

A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS

A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS

... Kalman filter is a kind of iterative LMMSE estimation method, each iteration uses the measured value of the current and past. On the other hand, Kalman filter brings in the conception of state, and uses state ...

7

A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS

A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS

... the method based on genetic algorithm (GA) and multilayer adaptive parameters optimization( MAPO) approach , etc . However , they have some disadvantages , such as costing longer training time , easily destroying ...

10

A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS

A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS

... mining method based on cloud computing: the massive data mining tasks decomposed into parallel processing on multiple ...Web object collection, object properties of the source data, and its direct ...

8

A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS

A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS

... The control system is designed by LQR theory based on DYC method. Feedforward-feedback control is applied in control structure, and the combination control for yaw velocity and side-slip angle of front body are ...

8

A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS

A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS

... a method based on the concept of relative efficiency according to Multiple Indicator inputs (input) and Multiple Indicator outputs (output), having evaluation of the relative effectiveness or efficiency of the ...

10

A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS

A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS

... The test methods of time series long memory: empirical discriminates method based on the sample autocorrelation, R/S test, MR/S test, GYH test etc. R/S test is more sensitive on short memory of time series, and it ...

7

A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS

A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS

... AHP method usually constructs a judgment matrix containing the pairwise comparison results, with the numbers 1 to 9 or their reciprocals to indicate the relative importance of the two sub-elements in the judgment ...

9

A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS

A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS

... As a result of the above characteristics of Chinese text, the corresponding processing technology is different from English. Text content is the basis of text processing, so a statistics-based Chinese text segmentation ...

8

A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS

A FORMAL DEFINITION OF METRICS FOR OBJECT ORIENTED DESIGN: MOOD METRICS

... HHT method is applied to the EMD decomposition [18] for the component of linear direction velocity in Figure 2, and 12 IMF components and a remainder R are ...

7

Show all 10000 documents...

Related subjects