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

In elementary school, didactical transposition is inevitable due to several reasons. In mathematics, addition and multiplication are taught as binary operations, subtraction and division are taught as unary operations. But in elementary school, we try to teach all the four operations as binary operations by didactical transposition. In 'Mastering' the concepts of the four operations, the way of concept introduction is dealt importantantly. So it is different from understanding the four operations. In this study, we analyzed the four operations of natural numbers and fractions from two perspectives: concept understanding (how to introduce concepts and how to choose an operation) and connection between the operations. As a result, following implications were obtained. In division of fractions, students attempted a connection with multiplication of fractions right away without choosing an operation, based on the situation. Also, to understand division of fractions itself, integrate division of fractions presented from the second semester of the fifth grade to the first semester of the sixth grade are needed. In addition, this result can be useful in the future textbook development.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.301-303
• /
• 2001

현재 무선단말기 보급의 확대와 시간과 공간의 제약을 뛰어넘는 장점으로 무선 인터넷 환경이 급속도로 발전하고 있다. 그러나, 본 논문의 연구 분야인 모바일 지리정보 시스템(Mobile Geographic Information System)에서 무선인터넷을 통하여 실시간 지리 정보를 얻기 위해 사용자의 무선단말기와 서버 사이에 빈번한 데이터 송수신이 이뤄져야 하며 데이터의 빠른 변화를 수용해야 한다. 그러나, 아직 현저히 낮은 대역폭을 가진 채널을 통해 통신하며, 비싼 이용 요금과 오류로 인한 자발적 또는 비자발적 연결 끊김 현상 등은 서비스 제공에 한계를 가진다. 그러므로 본 논문에서는 이동 컴퓨팅 환경의 연구를 통해 연결 끊김 현상에서도 클라이언트의 지속적인 서비스 운영을 위한 비연결 연산으로 의미론적 캐시 기법과 캐시 교체 전략에 대해 알아보며, 본 논문에서는 Layer와 Region을 고려한 의미론적 캐싱 기법을 제안하여 무선 환경에서 동적인 지도서비스를 위한 기법을 제시하였다. 이 연구를 통해 아직 많은 한계를 지닌 무선인터넷 환경에서 지리정보뿐 아니라 위치기반의 다양한 서비스 분야에 응용될 수 있으리라 기대된다.

• The KIPS Transactions:PartC
• /
• v.13C no.2 s.105
• /
• pp.137-146
• /
• 2006

Because the traditional public key-based cryptosystems are unsuitable for the sensor node with limited computational and communication capability, a secure communication between two neighbor sensor nodes becomes an important challenging research in sensor network security. Therefore several session key establishment protocols have been proposed for that purpose. In this paper, we analyzed and compared the existing session key establishment protocols based on the criterions of generation strategy and uniqueness of the session key, connectivity, overhead of communication and computation, and vulnerability to attacks. Based on the analysis results, we specify the requirements for the secure and efficient protocols for establishing session keys. Then, we propose an advanced protocol to satisfy the specified requirements and verify the superiority of our protocol over the existing protocols through the detailed analysis.

• Journal of Educational Research in Mathematics
• /
• v.22 no.4
• /
• pp.477-494
• /
• 2012

This study is to review the content organization and developmental ways of the unit on the mixed calculations and explore the alternatives on the basis of students' responsive examples and error patterns with relation to the mixed calculations, mnemonics of PEMDAS and historical context with relation to the order of operations. Then I analyzed the textbook and manual for teachers of the unit of mixed calculations of fourth grade and improvement about teaching the mixed calculations. First, I pointed out illogical connection between practical problem and rules of order of operations. Second, I suggested constructing a textbook by considering conventional character of order of operations. Third, I pointed out the importance of structural understanding of an expression of mixed calculations and various strategies with relation to teaching and learning. This study is suggestive for textbook development of the mixed calculations.

• Journal of IKEEE
• /
• v.26 no.2
• /
• pp.160-168
• /
• 2022

In this paper, we propose a 3D mesh reconstruction method from a single image using deep learning and a sphere shape transformation method. The proposed method has the following originality that is different from the existing method. First, the position of the vertex of the sphere is modified to be very similar to the 3D point cloud of an object through a deep learning network, unlike the existing method of building edges or faces by connecting nearby points. Because 3D point cloud is used, less memory is required and faster operation is possible because only addition operation is performed between offset value at the vertices of the sphere. Second, the 3D mesh is reconstructed by covering the surface information of the sphere on the modified vertices. Even when the distance between the points of the 3D point cloud created by correcting the position of the vertices of the sphere is not constant, it already has the face information of the sphere called face information of the sphere, which indicates whether the points are connected or not, thereby preventing simplification or loss of expression. can do. In order to evaluate the objective reliability of the proposed method, the experiment was conducted in the same way as in the comparative papers using the ShapeNet dataset, which is an open standard dataset. As a result, the IoU value of the method proposed in this paper was 0.581, and the chamfer distance value was It was calculated as 0.212. The higher the IoU value and the lower the chamfer distance value, the better the results. Therefore, the efficiency of the 3D mesh reconstruction was demonstrated compared to the methods published in other papers.

• Journal of the Korean Institute of Telematics and Electronics T
• /
• v.36T no.1
• /
• pp.51-57
• /
• 1999

This thesis is written about the Wired Logic Type Unit in developing equipment that the load is driven, that the interface unit connect with 1 Scan time to PO30 of operated PLC output contact with that a sensing signal of Temperature Sensor RSD Pt $100\Omega$ let generate the relay output of temperature controller and input the PLC. The PLC Test Kit in country that the PLC to be programmed at the PLC education place is able to drive the load, is done to do a education of PLC on status that interface process between PLC and load are disregarded. As Developing Kit for supplement this point, when the relay output of temperature controller to use Pt 100 of temperature sensor as mentioned on the former among every kinds of sensor feed back to the input of the PLC, as the equipment to act with real time system that the output contact of PLC operated to insert the WLTIJ among PC, PLC and the load, it can understand and see very easy the main principle of PLC use. The structure of WLTU to be a interface unit of load separated as to the point of contact and noncontact, sensor, indicating lamp and A contact and B contact that is belong to driving part, and a motor is belong to loading part.

• Proceedings of the KIEE Conference
• /
• 2001.11c
• /
• pp.369-371
• /
• 2001

이 논문에서는 디지털 시그널 프로세싱에 적합하지 않은 RISC타입의 DB-X 마이크로콘트롤러를 이용하여 MP3 플레이어를 구현한 방법을 제안한다. DB-X 에는 DSPA 모듈이 있어 FIR, FFT 등 계산이 많이 요구되는 부분을 DSP 수준으로 빨리 연산해 줄 수가 있으며 SSI 모듈이 있어서 44.1khz의 샘플링 주기를 가지는 D/A 코덱과 연결할 수가 있다. 또한 SSI와 음성 데이터가 저장되어 있는 메모리 사이를 CPU 부담없이 데이터를 전송하기 위한 DMA 모듈이 있어 MP3 데이터를 프레임 단위로 디코딩할 때 더블 버퍼링 기법을 쉽게 사용할 수가 있다.

• Proceedings of the KIEE Conference
• /
• 2001.07d
• /
• pp.2570-2572
• /
• 2001

본 논문에서는 저주파 신호 증폭기에서 DC 이득에 의해 앰프가 포화되는 것을 막기 위해 필요한 큰 커플링 커패시터와 바이어스 저항의 면적을 줄이기 위한 회로를 제안한다. 또한, 이 경우 연산증폭기의 양 입력 단에 연결되는 바이어스 저항과 앰프의 이득을 설정하기 위해 사용되는 저항사이의 큰 값의 차이로 인해 발생하는 오프셋을 줄이기 위해 적절한 기준 전압을 정의하는 방법을 소개한다. 제안된 회로를 사용했을 때, 기존의 저항으로 앰프의 입력단을 바이어스할 때의 한계인 오프셋의 문제를 해결함으로써 보다 최적화된 면적으로 설계가 가능했다. 이 기법을 적외선 리모콘 수신 IC의 앰프에 적용했을 때, 커플링 커패시터와 바이어스 저항으로 설정되는 -3dB 주파수를 3kHz에 설정한 경우, 저항과 커패시터가 차지하던 면적의 12%를 차지했다.

• Journal of the Korea Computer Graphics Society
• /
• v.26 no.1
• /
• pp.17-25
• /
• 2020

We present a novel multi-core CPU based parallel algorithm for the cell-connectivity information extraction algorithm, which is one of the preprocessing steps for volume rendering of unstructured grid data. We first check the synchronization issues when parallelizing the prior serial algorithm naively. Then, we propose a 3-step parallel algorithm that achieves high parallelization efficiency by removing synchronization in each step. Also, our 3-step algorithm improves the cache utilization efficiency by increasing the spatial locality for the duplicated triangle test process, which is the core operation of building cell-connectivity information. We further improve the efficiency of our parallel algorithm by employing a memory pool for each thread. To check the benefit of our approach, we implemented our method on a system consisting of two octa-core CPUs and measured the performance. As a result, our method shows continuous performance improvement as we add threads. Also, it achieves up to 82.9 times higher performance compared with the prior serial algorithm when we use thirty-two threads (sixteen physical cores). These results demonstrate the high parallelization efficiency and high cache utilization efficiency of our method. Also, it validates the suitability of our algorithm for large-scale unstructured data.

• Journal of Korea Society of Industrial Information Systems
• /
• v.6 no.2
• /
• pp.38-46
• /
• 2001

This paper presents a new multiprocessor system and corresponding scheduling algorithm that can be applied for implementation of fine grain DSP algorithms such as digital filters. The newly proposed system uses one or more shared buses as the basic interconnection network between processors, and fixed amount of clock-skew is maintained between instruction execution of processors. This system not only can handle the interprocessor communications very efficiently but also can explicitly incorporate the interprocessor communication delay time into the multiprocessor scheduling model. This paper also presents a new scheduling strategy for implementing digital filters expressed in fully-specified flow graphs on the proposed system. The simulation result shows that well-known digital filters can be implemented on proposed multiprocessor in which the implementation satisfies the iteration period bound.