Modularity is essential for modeling large-scale practical applications. We propose modular logic programs as a modular version of answer set programming and study the relationship of our formalism to an earlier concept

Ore grade estimation is a key aspect in the evaluation of a mineral deposit. In this paper an alternative approach to currently applied methods of ore grade estimation is presented. This alternative approach involves a modular neural network system integrated in a state of the art 3D resource modelling package. The need for a new method of ore grade estimation comes from the difficulties in app...

3D modeling and visualization of geology volume is very important to interpret accurately and locate subsurface geology volume for mining exploration and deep prospecting. However, it faces a lack of information because the target area is usually unexplored and lacks geological data. This paper presents our experience in applying a 3D model of geology volume based on geophysics. This work has r...

In this paper, we prove the existence and uniqueness of fixed points for cyclic (α,β)-admissible type F-contraction and F−weak contraction under the setting of modular spaces, where the modular is convex and satisfying the ∆2-condition. Later, we prove some periodic point results for self-mappings on a modular space. We also give some examples to s...

This article focuses on the study of the modeling and simulation of an intelligent transportation system that uses discrete event system specification (DEVS)/high-level architecture (HLA), which is the methodology of hierarchical modular modeling and distributed simulation. The authors performed distributed homogeneous traffic simulation by extending an existing developed DEVS-based I 3 D 2 tra...

Complex technical systems, such as mechatronic systems, can exploit the computational power available today to achieve an automatic improvement of the technical system performance at run-time by means of selfoptimization. To realize this vision appropriate means for the design of such systems are required. To support self-optimization it is not enough just to permit to alter some free parameter...

This paper gives a short overview of a model checking tool for realtime systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides reachability analysis and refinement checking, both implemented using the data structure BDD. Good variable orderings for the BDDs are computed from the modular structure of the model and an estimate of the BDD s...

As part of our charge from the Virtual Sockets Interface Alliance we search for a notation in which standards documents can be precisely specified. We approach the specification for standard problem in the context of the Virtual Component Interface Standard. We propose six orthogonal axes of specification as guides to creating a cohesive, well-rounded requirements specification. We then specify...