• 정보교육학회논문지
• /
• 제20권2호
• /
• pp.131-138
• /
• 2016

본 연구에서는 SW교육에서 Computational Thinking의 향상을 위한 놀이활동 중심의 UMC(Use-Modify-Create) 전략을 개발하였다. UMC 수업 전략은 학생들이 예제 알고리즘을 분석하고 이를 수정, 확장하여 새로운 SW를 개발하는 모형이다. 먼저 예비교사를 대상으로 1학기 동안 UMC 수업을 적용하였다. UMC전략에 대한 학생들의 self-CT 향상에 대한 t-검사 결과, UMC 수업전략이 CT개념과 실습능력에 도움을 주었다. 또한 Modify 단계와 직접교수식 단계보다 Use단계와 Create 단계의 탐색과 자기주도적 개발과정이 CT능력 향상에 도움을 주고 있음을 알 수 있었다.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2014년도 추계학술대회 논문집
• /
• pp.347-349
• /
• 2014

Model verification and validation (V&V) is a current research topic to build computational models with high predictive capability by addressing the general concepts, processes and statistical techniques. The hypothesis test for validity check is one of the model validation techniques and gives a guideline to evaluate the validity of a computational model when limited experimental data only exist due to restricted test resources (e.g., time and budget). The hypothesis test for validity check mainly employ Type I error, the risk of rejecting the valid computational model, for the validity evaluation since quantification of Type II error is not feasible for model validation. However, Type II error, the risk of accepting invalid computational model, should be importantly considered for an engineered products having high risk on predicted results. This paper proposes a technique named as the response-adaptive experimental design to reduce Type II error by adaptively designing experimental conditions for the validation experiment. A tire tread block problem and a numerical example are employed to show the effectiveness of the response-adaptive experimental design for the validity evaluation.

• Journal of applied mathematics & informatics
• /
• 제8권2호
• /
• pp.417-428
• /
• 2001

Spatial distribution of groundwater contaminant concentration has special characteristics such as approximate symmetric profile, for example, in the transversal direction to groundwater flow direction, a certain ratio in directional propagation distances, etc. To obtain a geophysically appropriate semivariogram which is a key factor in estimation of groundwater contaminant concentration at desired locations, these special characteristics should be considered. Specifically, the concepts of symmetry and ratio are considered in this paper. By applying these two concepts, significant improvement of semivariograms, estimation variances, and final estimation results compared with the ones by conventional approaches which usually do not account for symmetry and ratio are shown using field experimental data.

• Journal of applied mathematics & informatics
• /
• 제35권1_2호
• /
• pp.95-111
• /
• 2017

Recently, interval-valued fuzzy graph is a growing research topic as it is the generalization of fuzzy graphs. The interval-valued fuzzy graphs are more flexible and compatible than fuzzy graphs due to the fact that they allowed the degree of membership of a vertex to an edge to be represented by interval values in [0.1] rather than the crisp values between 0 and 1. In this paper, we introduce the concepts of regular and totally regular interval-valued fuzzy graphs and discusses some properties of the ${\mu}$-complement of interval-valued fuzzy graph. Self ${\mu}$-complementary interval-valued fuzzy graphs and self-weak ${\mu}$-complementary interval-valued fuzzy graphs are defined and a necessary condition for an interval valued fuzzy graph to be self ${\mu}$-complementary is discussed. We define busy vertices and free vertices in interval valued fuzzy graph and study their image under an isomorphism.

• Journal of information and communication convergence engineering
• /
• 제20권4호
• /
• pp.242-249
• /
• 2022

Classical cryptography with complex computations has recently been utilized in the latest computing systems to create secret keys. However, systems can be breached by fast-measuring methods of the secret key; this approach does not offer adequate protection when depending on the computational complexity alone. The laws of physics for communication purposes are used in quantum computing, enabling new computing concepts to be introduced, particularly in cryptography and key distribution. This paper proposes a quantum computing lattice (CQL) mechanism that applies the BB84 protocol to generate a quantum key. The generated key and a one-time pad encryption method are used to encrypt the message. Then Babai's algorithm is applied to the ciphertext to find the closet vector problem within the lattice. As a result, quantum computing concepts are used with classical encryption methods to find the closet vector problem in a lattice, providing strength encryption to generate the key. The proposed approach is demonstrated a high calculation speed when using quantum computing.

• Journal of applied mathematics & informatics
• /
• 제41권2호
• /
• pp.413-437
• /
• 2023

In this paper, we introduce the concepts of (inf, sup)-hesitant fuzzy subsemigroups and (inf, sup)-hesitant fuzzy (generalized) bi-ideals of semigroups, and investigate their properties. The concepts are established in terms of sets, fuzzy sets, negative fuzzy sets, interval-valued fuzzy sets, Pythagorean fuzzy sets, hesitant fuzzy sets, and bipolar fuzzy sets. Moreover, some characterizations of bi-ideals, fuzzy bi-ideals, anti-fuzzy bi-ideals, negative fuzzy bi-ideals, Pythagorean fuzzy bi-ideals, and bipolar fuzzy bi-ideals of semigroups are given in terms of the (inf, sup)-type of hesitant fuzzy sets. Also, we characterize a semigroup which is completely regular, a group and a semilattice of groups by (inf, sup)-hesitant fuzzy bi-ideals.

• Molecules and Cells
• /
• 제46권2호
• /
• pp.106-119
• /
• 2023

With the increased number of single-cell RNA sequencing (scRNA-seq) datasets in public repositories, integrative analysis of multiple scRNA-seq datasets has become commonplace. Batch effects among different datasets are inevitable because of differences in cell isolation and handling protocols, library preparation technology, and sequencing platforms. To remove these batch effects for effective integration of multiple scRNA-seq datasets, a number of methodologies have been developed based on diverse concepts and approaches. These methods have proven useful for examining whether cellular features, such as cell subpopulations and marker genes, identified from a certain dataset, are consistently present, or whether their condition-dependent variations, such as increases in cell subpopulations in particular disease-related conditions, are consistently observed in different datasets generated under similar or distinct conditions. In this review, we summarize the concepts and approaches of the integration methods and their pros and cons as has been reported in previous literature.

• Journal of applied mathematics & informatics
• /
• 제42권2호
• /
• pp.433-444
• /
• 2024

Our study explores the connection between the Pythagorean theorem and the Fixed-point theorem in metric spaces. Both of which center around the concepts of distance transformations and point relationships. The Pythagorean theorem deals with right triangles in Euclidean space, emphasizing distances between points. In contrast, fixed-point theorems pertain to the points that remain unchanged under specific transformations thereby preserving distances. The article delves into the intrinsic correlation between these concepts and presents a novel study in Euclidean metric spaces, examining the relationship between contraction mapping and Pythagorean Right Triangles. Practical applications are also discussed particularly in the context of image compression. Here, the integration of the Pythagorean right triangle paradigm with contraction mappings results in efficient data representation and the preservation of visual data relation-ships. This illustrates the practical utility of seemingly abstract theories in addressing real-world challenges.

• 컴퓨터교육학회논문지
• /
• 제20권6호
• /
• pp.27-36
• /
• 2017

오늘날 컴퓨팅 사고 과목은 초 중등 교육과정뿐만 아니라 고등 교육과정에서도 필수 영역으로 개설하고 있다. 특히 고등 교육과정에서는 학습자가 컴퓨팅 사고의 개념을 전공 분야에 실제로 적용할 수 있도록 교육하여 융합 인재의 기반을 마련하는 것이 중요하다. 그러나 이와 같은 목표에 맞는 교육이 이루어지고 있는지를 평가할 수 있는 도구와 관련 연구가 부족하다. 이에 본 연구에서는 비전공자를 대상으로 한 컴퓨팅 사고 과목을 개념 교육과 프로그래밍 실습 교육의 두 가지 관점으로 평가하는 루브릭을 개발하고 학습 성취도를 평가하고 이론과 실습간의 연관성을 분석하였다. 제안 루브릭은 고등 교육과정의 컴퓨팅 사고 개념 및 실습 학습을 평가하기 위하여 컴퓨팅 사고의 세부 요소를 4개의 분류 및 8가지의 항목으로 구성한 두 개의 루브릭을 정의하였다. 또한 제안 루브릭을 대학교 컴퓨팅 사고 관련 교양 수업에 적용하여 학습도를 평가하여 결과를 분석하고 향후 개선점을 도출하였다.

• Journal of applied mathematics & informatics
• /
• 제17권1_2_3호
• /
• pp.109-120
• /
• 2005

Using the notion of intuitionistic fuzzy sets, the concepts of intuitionistic fuzzy finite state machines (iffsm), intuitionistic successor s, intuitionistic subsystems, intuitionistic submachines, intuitionistic q-twins, and intuitionistic retrievable iffsm are introduce d, and related properties are studied. Relations between intuitionistic q-twins and intuitionistic q-related iffsm are given. A characterization of an intuitionistic retrievable iffsm is provided.