• Journal of the Chungcheong Mathematical Society
• /
• v.22 no.2
• /
• pp.123-129
• /
• 2009

We introduce the notion of Smarandache GT-algebras, and the notion of Smarandache GT-filters of the Smarandache GT- algebra related to the Tarski algebra, and related some properties are investigated.

• The Pure and Applied Mathematics
• /
• v.16 no.1
• /
• pp.59-68
• /
• 2009

We introduce the notion of GT-algebras as a generalization of the concept of Tarski algebras. We introduce the notion of GT-filters in GT-algebras, and we prove some properties of GT-filters.

• Journal of the Optical Society of Korea
• /
• v.20 no.1
• /
• pp.42-54
• /
• 2016

A hybrid color and grayscale images encryption scheme based on the quaternion Hartley transform (QHT), the two-dimensional (2D) logistic map, the double random phase encoding (DRPE) in gyrator transform (GT) domain and the three-step phase-shifting interferometry (PSI) is presented. First, we propose a new color image processing tool termed as the quaternion Hartley transform, and we develop an efficient method to calculate the QHT of a quaternion matrix. In the presented encryption scheme, the original color and grayscale images are represented by quaternion algebra and processed holistically in a vector manner using QHT. To enhance the security level, a 2D logistic map-based scrambling technique is designed to permute the complex amplitude, which is formed by the components of the QHT-transformed original images. Subsequently, the scrambled data is encoded by the GT-based DRPE system. For the convenience of storage and transmission, the resulting encrypted signal is recorded as the real-valued interferograms using three-step PSI. The parameters of the scrambling method, the GT orders and the two random phase masks form the keys for decryption of the secret images. Simulation results demonstrate that the proposed scheme has high security level and certain robustness against data loss, noise disturbance and some attacks such as chosen plaintext attack.

• KIPS Transactions on Computer and Communication Systems
• /
• v.11 no.9
• /
• pp.289-304
• /
• 2022

It is necessary to apply process algebra and logic in order to analyze and verify safety requirements for Smart IoT Systems due to distributivity and mobility of the systems over some predefined geo-temporal space. However the analysis and verification cannot be fully intuitive over the space due to the fact that the existing process algebra and logic are very limited to express the distributivity and the mobility. In order to overcome the limitations, the paper presents a new logic, namely for GTS-VL (Geo-Temporal Space-Visual Logic), visualization of the analysis and verification over the space. GTS-VL is the first order logic that deals with relations among the different types of blocks over the space, which is the graph that visualizes the system behaviors specified with the existing dTP-Calculus. A tool, called SAVE, was developed over the ADOxx Meta-Modeling Platform in order to demonstrate the feasibility of the approach, and the advantages and practicality of the approach was shown with the comparative analysis of PBC (Producer-Buffer-Consumer) example between the graphical analysis and verification method over the textual method with SAVE tool.

• Communications of the Korean Mathematical Society
• /
• v.33 no.4
• /
• pp.1141-1158
• /
• 2018

Hahn difference operator $D_{q,{\omega}}$ which is defined by $$D_{q,{\omega}}g(t)=\{{\frac{g(gt+{\omega})-g(t)}{t(g-1)+{\omega}}},{\hfill{20}}\text{if }t{\neq}{\theta}:={\frac{\omega}{1-q}},\\g^{\prime}({\theta}),{\hfill{83}}\text{if }t={\theta}$$ received a lot of interest from many researchers due to its applications in constructing families of orthogonal polynomials and in some approximation problems. In this paper, we investigate sufficient conditions for stability of the abstract linear Hahn difference equations of the form $$D_{q,{\omega}}x(t)=A(t)x(t)+f(t),\;t{\in}I$$, and $$D^2{q,{\omega}}x(t)+A(t)D_{q,{\omega}}x(t)+R(t)x(t)=f(t),\;t{\in}I$$, where $A,R:I{\rightarrow}{\mathbb{X}}$, and $f:I{\rightarrow}{\mathbb{X}}$. Here ${\mathbb{X}}$ is a Banach algebra with a unit element e and I is an interval of ${\mathbb{R}}$ containing ${\theta}$.