For a strongly inacessible cardinal $\kappa$, we investigate the relationships between following ideals: - ideal of meager sets in ${<}\kappa$-box product topology "null" sense [Sh:1004] (arXiv:1202.5799) nowhere stationary subsets (naturally defined) set $S_{\rm pr}^\kappa \subseteq \kappa$. In particular, analyse provable inequalities characteristics for these ideals, and give consistency res...

This paper presents the concepts of database systems as well as the overview of the use of Unified Modeling Language (UML) as a standard notation of real-world objects in developing object-oriented design methodology for computer applications. The UML is a tool for specifying software systems that include standardized diagrams to define, illustrate and visually map or model a software system's ...

A type of diagram is proposed as microstructure model of polycrystalline materials, Voronoi diagram in the Laguerre geometry based on random closed packing of spheres (RCP-LV diagram), and discussed in detail. The volumes of spheres are set to serve lognormal distribution, which is strongly inherited by distribution of cell volumes in the RCP-LV diagram. The geometrical and topological properti...

We consider a variation of Voronoi diagram, or time-based Voronoi diagram, for a set S of points in the presence of transportation lines or highways in the plane. A shortest time-distance path from a query point to any given point in S is a path that takes the least travelling time. The travelling speeds and hence travelling times of the subpaths along the highways and in the plane are differen...

One step towards achieving high interoperability is to get an understanding of the current degree of interoperability, which calls for interoperability analyses. Extended influence diagrams have been proposed as an approach for conducting such interoperability analyses [1]. These extended influence diagrams need to have a high degree of construct validity in the sense that they actually measure...