Explicit Evidence Systems with Common Knowledge

Justification logics are epistemic logics that explicitly include justifications for the agents' knowledge. We develop a multi-agent justification logic with evidence terms for individual agents as well as for common knowledge. We define a Kripke-style semantics that is similar to Fitting's semantics for the Logic of Proofs LP. We show the soundness, completeness, and finite model property of our multi-agent justification logic with respect to this Kripke-style semantics. We demonstrate that our logic is a conservative extension of Yavorskaya's minimal bimodal explicit evidence logic, which is a two-agent version of LP. We discuss the relationship of our logic to the multi-agent modal logic S4 with common knowledge. Finally, we give a brief analysis of the coordinated attack problem in the newly developed language of our logic

Many factor mimo-filters

Исследуется эффективность модифицированных многофакторных (би-, три- и четырех-латеральных) MIMO-фильтров для серых, цветных и гиперспектральных изображений. Обычные билатеральные фильтры осуществляют взвешенное усреднение соседних пикселей. Веса включают две компоненты: пространственную и радиометрическую. Первая компонента учитывает геометрическое расстояние между центральным пикселем маски и его локальными соседями. Второй компонент учитывает радиометрическое расстояние между центральным пикселем маски и его локальными соседями. В этом классическом алгоритме центральный пиксель маски играет определяющую роль в конечном результате фильтрации. Если он искажен, то и результат фильтрации будет искаженным. Этот факт определяет первую модификацию: центральный пиксель заменяется его любой сглаженной версией, полученной на основе соседних пикселей. Вторая модификация использует матрично-значные веса. Они включают четыре компоненты: пространственную, радиометрическую, межканальную и радиометрическую межканальную. Четвертый вес учитывает радиометрическое расстояние между центральным пикселем и межканальными соседними пикселями