• Journal of the Korean earth science society
• /
• v.29 no.1
• /
• pp.91-97
• /
• 2008

The purpose of this study is to explore high school students' understanding of the distinction between scientific theories and scientific laws. Understanding of the distinction between these two concepts, which belong to the nature of science, has been receiving little attention. We surveyed thirty-two students from a local high school with three-part, open-ended questionnaire. The result revealed that these students shared common misconceptions such as 'scientific theories are unproven, scientific laws are proven and absolute', and 'if a theory is proven with enough evidence, it becomes a law'. Moreover, students tend to regard earth science less sophisticated than physical science, because they recognize a lot of its theories to be unproven in their view. It is indicated further that teaching the difference between scientific theories and laws explicitly could help students possess more appropriate view toward earth science.

• Journal of Elementary Mathematics Education in Korea
• /
• v.19 no.4
• /
• pp.589-608
• /
• 2015

The inquiry subject of this paper is the number of convex polygons one can form by attaching the seven pieces of a tangram. This was identified by two mathematical proofs. One is by using Pick's Theorem and the other is 和々草's method, but they are difficult for elementary students because they are part of the middle school curriculum. This paper suggests new methods, by using unit area and the minimum area which can be applied at the elementary level. Development of programs for the mathematically gifted elementary students can be composed of 4 class times to see if they can prove it by using new methods. Five mathematically gifted 5th grade students, who belonged to the gifted class in an elementary school participated in this program. The research results showed that the students can justify the number of convex polygons by attaching edgewise seven pieces of tangrams.

• Journal of IKEEE
• /
• v.23 no.2
• /
• pp.508-516
• /
• 2019

Smart home with various IoT devices provides convenient and efficient services. However, security is important because sensitive information such as private video and audio can be collected and processed, as well as shared over the Internet. To manage such smart home IoT devices, we use blockchain technology that provides data integrity and secure management. In this paper, we utilize a PoS(Proof of Stake) method that verifies the block through the accumulated stake in the network rather than the computation power, out of the PoW(Proof of Work) block chain, in which the computation for the existing verification must be continuously performed. Among them, we propose a blockchain based system with DPoS(Delegated Proof of Stake) method to actively solve the scalability part, for security that is suitable for smart home IoT environment. We implement the proposed system with DPoS based EOSIO to show realization, and we show performance improvement in terms of transaction processing speed.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.25 no.11
• /
• pp.1676-1686
• /
• 2021

In this paper, we propose a general cross-chain solution based on the idea of modularity, abstraction, and layering, which decoupling the cross-chain function from the consensus algorithm and specific application logic, and utilize a Merkle proof to ensure the validity and legality of cross-chain operations. Since the underlying implementations of homogeneous and heterogeneous blockchains are different, we treat them separately. For homogeneous blockchains, we suggest a TCP-like cross-chain transport protocol (CCTP). While for heterogeneous blockchains, we present a method to construct the relay chain to realize the cross-chain function. The proposed scheme can enable the correct, effective, reliable, orderly, and timely transmission of cross-chain data. However, the essential difference between the operations within a single blockchain and the interoperability between different blockchains is that the trust domain is different. Cross-chain interoperation itself breaks the completeness of the blockchain, therefore, some efficiency and safety must sacrifice to trade-off.

• Journal of Advanced Navigation Technology
• /
• v.27 no.5
• /
• pp.621-628
• /
• 2023

This study derived a reverse engineering procedure for verifying the design identity of original parts and developed parts for PMA(Parts Manufacturer Approval) and STC(Supplemental Type Certificate) of metal brake pads for transport aircraft, which are critical parts among aircraft parts and equipment. In Korea, the regulations for reverse engineering procedures are regulated by the Parts Manufacturer Approval Guidelines, and in the United States, AC No. 21. 303-4. In the reverse engineering for the brake pad, the detailed procedures for each component were determined by selecting verification test items to confirm identity based on sample quantity, dimensional tolerance, mechanical property measurement, material, weight and volume characteristics for each component. In addition, as a result of analyzing the regulation of Korea and United States, in the case of Korea, it is necessary to establish technical standards for braking systems for transport aircraft and regulations related to flight tests.

• Journal of the Korea Society of Computer and Information
• /
• v.16 no.7
• /
• pp.13-23
• /
• 2011

Grid computing is a new generation computing technology which organizes virtual high-performance computing system by connecting and sharing geographically distributed heterogeneous resources, and performing large-scaled computing operations. In order to maximize the performance of grid computing, job scheduling is essential which allocates jobs to resources effectively. Many studies have been performed which minimize total completion times, etc. However, resource costs are also important, and through the minimization of resource costs, the overall performance of grid computing and economic efficiency will be improved. So in this paper, we propose a multi-objective job scheduling model considering both time and cost. This model derives from the optimal scheduling solution using NSGA-II, which is a multi objective genetic algorithm, and guarantees the effectiveness of the proposed model by executing experiments with those of existing scheduling models such as Min-Min and Max-Min models. Through experiments, we prove that the proposed scheduling model minimizes time and cost more efficiently than existing scheduling models.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.31 no.3
• /
• pp.517-526
• /
• 2021

Recently, the acceleration of the development of quantum computers has raised the issue of the safety of factorization and discrete logarithm based digital signature schemes used in existing Internet environments. To solve the issue, several digital signature schemes are presented that are safe in post-quantum computing environments, including standardization work by the National Institute of Standards and Technology(NIST). In this paper, we design and present a multi-signature scheme based on the TACHYON announced by Behnia et al. in 2018 CCS conference, and prove the security. Multi-signature schemes are key techniques that can distribute the dependence of cryptocurrency-wallet on private keys in the cryptocurrency field, which has recently received much attention as an digital signature application, and many researchers and developers have recently been interested. The multi-signature scheme presented in this paper enables public key aggregation in a plain public key model, which does not require additional zero-knowledge proof, and can construct an effective scheme with only an aggregated public key.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.42 no.8 s.338
• /
• pp.1-10
• /
• 2005

In this paper, the explicit low density codes construction from the generalized permutation matrices related to algebra theory is investigated, and we design several Jacket inverse block matrices on the recursive formula and permutation matrices. The results show that the proposed scheme is a simple and fast way to obtain the low density codes, and we also Proved that the structured low density parity check (LDPC) codes, such as the $\pi-rotation$ LDPC codes are the low density Jacket inverse block matrices too.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06b
• /
• pp.144-147
• /
• 2011

최근 소프트웨어 개발에 리팩토링이 활성화되고 있다. 리팩토링에 대한 관심이 높아지면서 요소 리팩토링을 정의해서 이들의 조립을 통해 새로운 복합 리팩토링을 정의하려는 연구들이 많이 진행되고 있다. 그러나 이러한 연구들에서는 복합 리팩토링을 구성하고 있는 조립된 리팩토링의 종류가 요소 리팩토링으로 제한되어 있고, 조립 방법도 대부분 요소 리팩토링들의 순차적인 결합으로 되어 있는 경우에만 처리되고 있다. 이에 본 연구에서는 조립할 수 있는 리팩토링의 구성 요소를 요소 리팩토링뿐만 아니라 이미 정의되어 있는 복합 리팩토링도 가능하게 하고, 조건처리와 반복 등 다양한 방법으로 리팩토링들을 조립할 수 있는 메커니즘을 제안한다. 그리고 무순서반복 조립의 적용 가능성에 대한 증명 방법을 제안한다. 이를 통해 리팩토링들의 재사용성과 확장성을 향상시킬 수 있을 것이다.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.11 no.9
• /
• pp.3446-3450
• /
• 2010

This study aims to make class lighting that gives classroom to stability and activity. For the purpose, we develop a emotional lighting LED using LED source which is a environment-friendly and the lighting fo the next generation. We composed emotional lighting LED as controller for color conversion, power supply for supplying LED lamp a stable power, PCB board for LED lamp and lamp and case. We developed designed emotional lighting LED and proved that the system works and one can get intended color.