• Research in Mathematical Education
• /
• v.15 no.1
• /
• pp.31-44
• /
• 2011

An impetus for reviving research in mathematical problem solving is the recent advance in methodological thinking, namely, the design experiment ([Gorard, S. (2004). Combining methods in educational research. Maidenhead, England: Open University Press.]; [Schoenfeld, A. H. (2009). Bridging the cultures of educational research and design. Educational Designer. 1(2). http://www.educationaldesigner.orgied/volume1/issue21]). This methodological approach supports a "re-design" of contextual elements to fulfil the overarching objective of making mathematical problem solving available to all students of mathematics. In problem solving, components critical to successful design in one setting that may be adapted to suit another setting include curriculum design, assessment strategy, teacher capacity, and instructional resources. In this paper, we describe the implementation, over three years, of a problem solving module into the main mathematics curriculum of an Integrated Programme school in Singapore which had sufficient autonomy to tailor-fit curriculum to their students.

• Journal of the Society of Naval Architects of Korea
• /
• v.28 no.2
• /
• pp.12-20
• /
• 1991

The informations of ship structural design have been represented as the form various drawing plants, but to enhance the design productivity, it is necessary to utilize the advanced technologies such as CAD system and database management system. In this study, efforts are focused on the data modelling of those informations of midship configuration and attribute for the integration of ship structural design programs through database system. As actual example, midship configuration of bulk carrier was visualized by computer graphics. Relational data model is employed and topological informations is used for the best treatment of geometries representing structural arrangement. RDBMS 'ORACLE' was used for the implementation of the results.

• Journal of Semiconductor Engineering
• /
• v.1 no.1
• /
• pp.57-63
• /
• 2020

Complementary metal-oxide-semiconductor (CMOS) technology is now facing a power scaling limit to increase integration density. Since 1970s, multi-valued logic (MVL) has been considered as promising alternative to resolve power scaling challenge for increasing information density up to peta-scale level by reducing the system complexity. Over the past several decades, however, a power-scalable and mass-producible MVL technology has been absent so that MVL circuit and system implementation have been delayed. Recently, compact MVL device researches incorporating multiple-switching characteristics in a single device such as 2D heterojunction-based negative-differential resistance (NDR)/transconductance (NDT) devices and quantum-dot/superlattices-based constant intermediate current have been actively performed. Meanwhile, wafer-scale, energy-efficient and variation-tolerant ternary-CMOS (T-CMOS) technology has been demonstrated through commercial foundry. In this review paper, an overview for MVL development history including recent studies will be presented. Then, the status and its future research direction of MVL technology will be discussed focusing on the T-CMOS technology for peta-scale information processing in semiconductor chip.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.32B no.9
• /
• pp.1207-1214
• /
• 1995

We present an optimized integer cosine transform(OICT) as an alternative approach to the conventional discrete cosine transform(DCT), and its fast computational algorithm. In the actual implementation of the OICT, we have used the techniques similar to those of the orthogonal integer transform(OIT). The normalization factors are approximated to single one while keeping the reconstruction error at the best tolerable level. By obtaining a single normalization factor, both forward and inverse transform are performed using only the integers. However, there are so many sets of integers that are selected in the above manner, the best OICT matrix obtained through value minimizing the Hibert-Schmidt norm and achieving fast computational algorithm. Using matrix decomposing, a fast algorithm for efficient computation of the order-8 OICT is developed, which is minimized to 20 integer multiplications. This enables us to implement a high performance 2-D DCT processor by replacing the floating point operations by the integer number operations. We have also run the simulation to test the performance of the order-8 OICT with the transform efficiency, maximum reducible bits, and mean square error for the Wiener filter. When the results are compared to those of the DCT and OIT, the OICT has out-performed them all. Furthermore, when the conventional DCT coefficients are reduced to 7-bit as those of the OICT, the resulting reconstructed images were critically impaired losing the orthogonal property of the original DCT. However, the 7-bit OICT maintains a zero mean square reconstruction error.

• Korean Journal of Computational Design and Engineering
• /
• v.8 no.2
• /
• pp.65-74
• /
• 2003

For virtual reality, virtual manufacturing system, or simulation based design, we need to visualize very large and complex 3D models which are comprising of very large number of polygons. To overcome the limited hardware performance and to attain smooth realtime visualization, there have been many researches about algorithms which reduce the number of polygons to be processed by graphics hardware. One of these algorithms, occlusion culling is a method of rejecting the objects which are not visible because they are occluded by other objects, and then passing only the visible objects to graphics hardware. Existing occlusion culling algorithms have some shortcomings such as the required long preprocessing time, the limitation of occluder shape, or the need for special hardware implementation. In this study, an efficient occlusion culling algorithm is proposed. The proposed algorithm reads and analyzes Z-buffer of graphics hardware using Microsoft DirectX, and then determines each object's visibility. This proposed algorithm can speed up visualization by reading Z-buffer using DirectX which can access hardware directly compared to OpenGL, by reading only the region to which each object is projected instead of reading the whole Z-Buffer, and the proposed algorithm can perform more exact visibility test by using simplified model instead of using bounding box. For evaluation, the proposed algorithm was applied to very large polygonal models. And smooth realtime visualization was attained.

• Korean Journal of Computational Design and Engineering
• /
• v.22 no.2
• /
• pp.202-214
• /
• 2017

The augmented visualization of analysis results can play an import role as a post-processing tool for the modeling & simulation (M&S) technology. In particular, it is essential to develop such an M&S tool which can run on various multi-devices. This paper presents an augmented reality (AR) approach to visualizing and interacting with M&S post-processing results through mobile devices. The proposed approach imports M&S data, extracts analysis information, and converts the extracted information into the one used for AR-based visualization. Finally, the result can be displayed on the mobile device through an AR marker tracking and a shader-based realistic rendering. In particular, the proposed method can superimpose AR-based realistic scenes onto physical objects such as 3D printing-based physical prototypes in a seamless manner, which can provide more immersive visualization and natural interaction of M&S results than conventional VR or AR-based approaches. A user study has been performed to analyze the qualitative usability. Implementation results will also be given to show the advantage and effectiveness of the proposed approach.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.06b
• /
• pp.219-222
• /
• 2007

지상파 DMB 데이터 표준인 MPEG-4 BIFS Core2D@Level1을 이용하여 데이터 콘텐츠 구현 시, BIFS 언어가 갖고 있는 문제점으로 인해 GUI 표현이 어렵다. 따라서 본 논문에서는 이와 같은 문제점을 해결하여 데이터 콘텐츠 개발자가 손쉽게 GUI 기능을 구현할 수 있도록 MPEG-4 BIFS GUI 프로파일을 설계하고 구현하였다. DMB 환경에 적합한 GUI 노드 선정을 위해 콘텐츠 개발자의 요구사항 조사와 타 솔루션과의 비교 분석 및 데이터 콘텐츠에서 자주 쓰이는 기능을 파악하였으며, 이와 같은 분석 내용을 바탕으로 GUI 프로파일을 구성을 위한 노드들을 정의하였다. 각 노드들은 XMT 형식으로 구현되었으며, 정의한 프로파일 검증을 위하여 테스트용 데이터 콘텐츠를 개발하였다. 이와 같은 연구를 통해 DMB 데이터 콘텐츠 개발 시 개발자가 화면 구성에 필요한 GUI를 손쉽게 구현할 수 있게 된다면, 다양한 데이터 콘텐츠 개발을 위한 발판이 되어 향후 데이터 방송 활성화에 기여할 수 있을 것이라 기대된다.

• Journal of Information Technology Services
• /
• v.7 no.4
• /
• pp.45-60
• /
• 2008

Networked enterprise (NE) is an organization of independent companies that collaborate with each other temporary or permanently for accomplishing common goals. The USA and EU have been developing principal concepts, techniques, and solutions to enhance the competitiveness of traditional industries including small-and-medium enterprises (SMEs). In Korea, however, implementation as well as R&D of NE is very few, which we believe comes from lack of understanding on Its meaning and lack of effective information systems for it. This paper is to suggest an Enterprise Architecture (EA) framework or reference model of NE and an Information Technology Architecture (ITA) of NE. The EA framework will help stakeholder of NE (e,g., policy makers, members of NE, IT solution providers, and researchers) understand structural and behavioral characteristics of NE. The ITA will be used as a guideline of developing information systems for NE that is essential for spreading networked business models, The focus of this paper is not on logical-level design but on conceptual-level modeling of NE. As verification of the suggested framework and architecture is still required, so we'll apply them to various manifestations of NE, e.g., dynamic supply chain, vertical integration of extended enterprises, and P2P-style virtual enterprises.

• Journal of Power Electronics
• /
• v.19 no.6
• /
• pp.1429-1439
• /
• 2019

Buck-Boost LLC (BBLLC) converters based on a PWM + phase control strategy are good candidates for high efficiency, high power density and wide input range applications. Nevertheless, they suffer from large computational complexity when it comes to calculating the optimal phase for ZVS of all the switches. In this paper, a method is proposed for a microcontroller unit (MCU) to calculate the optimal phase quickly and accurately. Firstly, a 2-D lookup table of the phase is established with an index of the input voltage and output current. Then, a bilinear interpolation method is applied to improve the accuracy. Meanwhile, simplification of the phase equation is presented to reduce the computational complexity. When compared with conventional curve-fitting and LUT methods, the proposed method makes the best tradeoff among the accuracy of the optimal phase, the computation time and the memory consumption of the MCU. Finally, A 350V-420V input, 24V/30A output experimental prototype is built to verify the proposed method. The efficiency can be improved by 1% when compared with the LUT method, and the computation time can be reduced by 13.5% when compared with the curve-fitting method.

• Journal of Magnetics
• /
• v.20 no.1
• /
• pp.79-85
• /
• 2015

This paper presents a comparative study of a Tubular Linear Machine (TLM) with an Axially Magnetized Single-sided Permanent Magnet (AMSPM) and an Axially Magnetized Double-sided Permanent Magnet (AMDPM) based on analytical field calculations. Using a two-dimensional (2-D) polar coordinate system and a magnetic vector potential, analytical solutions for the flux density produced by the stator windings are derived. This technique is significant for the design and control implementation of electromagnetic machines. The field solution is obtained by solving Maxwell's equations in the simplified boundary value problem consisting of the air gap and coil. These analytical solutions are then used to estimate the self and mutual inductances. Two different types of machine are used to verify the validity of these model simplifications, and the analytical results are compared to results obtained using the finite element method (FEM) and experimental measurement.