In this paper, by considering the notion of extended BCK-module, we define the concepts of free extended BCK-module, free object in category of extended BCK-modules and we state and prove some related results. Specially, we define the notion of idempotent extended BCK-module and we get some important results in free extended BCK-modules. In particular, in category of idempotent extended BCK-mod...

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 ...

one of the modern paradigms to develop an application is object oriented analysis and design. in this paradigm, there are several objects and each object plays some specific roles in applications. in an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. for the procedural semantics, we can write a ...

One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...