We develop possible worlds (Kripke) semantics at the categorical abstract model theoretic level provided by the so-called 'institutions'. Our general abstract modal logic framework provides a method for systematic Kripke semantics extensions of logical systems from computing science and logic. We also extend the institution-independent method of ultraproducts of [R. Diaconescu, Institution-independent ultraproducts, Fundamenta Informaticae55 (3-4) (2003) 321-348] to possible worlds semantics and prove a fundamental preservation result for abstract modal satisfaction. As a consequence we develop a generic compactness result for possible worlds semantics.

No abstract

In this paper the Modified Fractal Signature (MFS) method is applied to real Synthetic Aperture Radar (SAR) images provided to our research group by SET 163 Working Group on SAR radar techniques. This method uses the 'blanket' technique to provide useful information for SAR image classification. It is based on the calculation of the volume of a 'blanket', corresponding to the image to be classified, and then on the calculation of the corresponding Fractal Area curve and Fractal Dimension curve of the image. The main idea concerning this proposed technique is the fact that different terrain types encountered in SAR images yield different values of Fractal Area curves and Fractal Dimension curves, upon which classification of different types of terrain is possible. As a result, a classification technique for five different terrain types (urban, suburban, rural, mountain and sea) is presented in this paper.

No abstract

There is a growing producer and consumer interest in medical devices and the commensurate need for regulatory frameworks to ensure the quality of medical devices marketed locally and globally. This work focuses on formalizing the clauses enacted by Regulation (EU) 2017/745 for risk-based classification and class-based conformity assessment regarding marketability of medical devices. The resulting knowledge base (KB) represents clauses in Positional-Slotted Object-Applicative (PSOA) RuleML by integrating F-logic-like frames with Prolog-like relationships for atoms used as facts and in the conclusions and conditions of rules. Rules can apply polyadic functions, define polyadic relations, and augment conclusions with actions and conditions with events. The PSOA RuleML-implemented Medical Devices Rules KB was tested by querying in the open-source Java-implemented PSOATransRun system, which has provided a feedback loop for refinement and extension. This prototype can contribute to the licensing process of stakeholders and the registration of medical devices with a CE conformity mark.