• 충청수학회지
• /
• 제22권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.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제16권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
• /
• 제20권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.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제11권9호
• /
• pp.289-304
• /
• 2022

스마트 IoT의 특징인 분산성 및 이동성에 기반한 안전 요구사항을 분석 및 검증하기 위한 프로세스 대수 및 논리가 요구된다. 하지만 기존의 프로세스 대수 및 논리는 분산성 및 이동성에 대한 표현이 제한적이므로 스마트 IoT의 요구사항 분석 및 검증이 비직관적이다. 이러한 한계를 극복하기 위해, 본 논문에서는 GTS-VL(Geo-Temporal Space-Visual Logic)을 제시한다. GTS-VL은 GTS에서 표현된 블록 간의 관계를 다루는 1차술어논리이며, GTS는 프로세스 대수인 dTP-Calculus를 사용하여 명세한 시스템의 동작 과정을 2차원 시공간에서 표현한 그래프이다. 본 논문에서 사용한 SAVE 도구는 ADOxx Meta-modeling Platform을 통해 개발되었으며, SAVE를 사용하여 PBC(Producer-Buffer-Consumer) 예제의 안전 요구사항을 분석 및 검증하고 문자 및 시각화 기반 검증 방법을 비교 분석하여 장점 및 실용성을 보인다.

• 대한수학회논문집
• /
• 제33권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}$.