In this paper, we present an empirical analysis of the object-oriented database concurrency control mechanism named OC as specified in Olsen (1995). OC is a lock-based mechanism that is designed specifically to take advantage of the object-oriented database model as specified in Kim (1990). The OC strategy is two-phased and uses eight different kinds of locks. The eight types of locks are Inten...

Object oriented models model structural and behavioural aspects of objects in the Universe of Discourse. As the dynamic aspects of objects include parallelism and synchronisation of object life cycles, conceptual schemas must be verified for problematic behaviour like deadlock. In this paper we will present fragments of a method for object oriented analysis and the process algebra that allows t...

the major problems of common classification method are their noisy outputs, computational complexity and a lack of expert knowledge in the classification process. this paper proposed an object-oriented and knowledge based method for classification of polarimetric sar data. multi resolution method was selected for image segmentation. also, the main idea to extract knowledge is to use polarimetri...

A "first" implementation of the Modular Smalltalk object-oriented programming language is presented. The implementation includes an object-oriented parser, object-oriented representation for code fragments and an object-oriented C-code generator, all implemented in Smalltalk-80. This implementation validates two of the five design principles of the Modular Smalltalk language and provides a vehi...

We present a design approach for structuring multimodels in an object-oriented framework for physical modeling. This approach is termed object-oriented physical modeling (OOPM). Multimodels have played a key role in permitting a model designer to construct large-scale dynamical models. We have built upon earlier work in multimodeling by specifying how multimodels are deened for object-oriented ...

This paper presents a multiparadigm language I+ which is an integration of the three major programming paradigms: object-oriented, logic and functional. I+ has an object-oriented framework in which the notions of classes, objects, methods, inheritance and message passing are supported. Methods may be specified as clauses or functions, thus the two declarative paradigms are incorporated at the m...

in recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. in the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. in this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (oopls) us...

extended kalman filtering (ekf) is a nonlinear dynamic data reconciliation (nddr) method. one of its main advantages is its suitability for on-line applications. this paper presents an on-line nddr method using ekf. it is implemented for two case studies, temperature measurements of a distillation column and concentration measurements of a cstr. in each time step, random numbers with zero mean ...