• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.39B no.6
• /
• pp.370-378
• /
• 2014

It is well known that data mining plays a crucial role in varities of real-world applications, by which extracts knowledge from large volume of datasets. Among functionalties provided by data mining, frequency mining over given multisets is a basic and essential one. However, most of users would like to obtain the frequency over their multisets without revealing their own multisets. In this work, we come up with a novel way to achive this goal and prove its security rigorously. Our scheme has several advantages over existing work as follows: Firstly, our scheme has the most efficient computational complexity in the cardinality of multisets. Further our security proof is rigorously in the simulation paradigm. Lastly our system assumption is general.

• 한국지형공간정보학회:학술대회논문집
• /
• 2002.03a
• /
• pp.150-155
• /
• 2002

SAR 시스템은 능동적 센서로 마이크로파라 불리우는 전자기파를 직접 지상에 보내고 돌아오는 신호의 위상과 진폭을 이용하여 영상으로 나타내는 간섭성 시스템이다. 이러한 영상의 특성으로 인해 날씨나 태양의 유 무에 상관없이 영상을 취득할 수 있는 장점이 있다. 또한, 최근에는 기존의 다중분광 위성영상과의 SAR 영상의 Data Fusion을 통해 지상의 새로운 정성적 정보를 취득하려는 시도 등 나날이 그 활용성이 증대되고 있는 상황이다. 그러나 SAR 영상의 광범위한 활용을 위해서는 먼저 영상의 지형보정이 선행되어야 한다. 따라서 본 연구에서는 SAR 영상의 활용을 위해서 선행되어야 할 지형보정의 알고리즘을 컴포넌트 기반의 프로그램으로 구현하고 대상연구지역에 대한 적용을 통해 그 활용성과 가능성을 보여주고자 한다. 연구대상지역은 ERS-1, ERS-2 SAR로 촬영된 대전광역시와 그 주변지역으로 해당 SAR 영상에 대하여 엄밀지형보정 알고리즘과 경사거리 영상을 지상거리 영상으로 변환하는 알고리즘을 개발하여 적용하였다. 실험결과 공칭해상도 30m의 ERS 영상에 대하여 39.7m(X방향으로 24.5m, Y방향으로 31.3m)의 수평오차를 나타내었으며 경사거리 영상의 지상거리 영상으로의 변환도 원활하게 수행됨을 알 수 있었다. 마지막으로 본 연구를 통해 연구된 모든 알고리즘은 컴포넌트 기반으로 설계하고 구현되어 향후 국내 SAR 처리기술 개발에 있어서 공유할 수 있도록 하였다.

• Proceedings of the Korean Vacuum Society Conference
• /
• 2010.08a
• /
• pp.31-31
• /
• 2010

국가표준기본법에 명시되어 있는 3대 표준분야는 측정표준, 성문표준, 참조표준이다. 특히, 참조표준은 엄밀한 평가 과정을 거쳐 그 신뢰성이 보장된 수치 데이터를 의미한다. 데이터의 신뢰성을 보장하기 위해서는 데이터의 평가기준 수립, 평가기준에 의거한 데이터 평가 과정을 거쳐야 한다. 이러한 체계를 갖추기 위하여 국가참조표준센터가 2006년에 설립되었으며 2010년 현재 17개의 데이터센터가 지정되어 각 담당 분야별로 참조표준을 확립하기 위한 작업을 수행하고 있다. 본 발표에서는 참조표준의 개념, 체계 그리고 현황에 대해 알아보고자 한다.

• School Mathematics
• /
• v.12 no.4
• /
• pp.605-617
• /
• 2010

This study explores the characteristics and roles of non-textual elements in secondary mathematics textbooks in the United States and South Korea, using a conceptual framework that I have developed: variety, contextuality, and connectivity. Analyzing five U.S. standards-based textbooks and 13 Korean textbooks, this study shows that although non-textual elements in mathematics textbooks are free of literal language, they exhibit different emphases and reflect assumptions about what is important in learning mathematics and how it can be taught and learned in a particular societal context (Mishra, 1999; Zazkis & Gadowsky, 2001). While there are similar patterns in the use of different types of non-textual elements in textbooks from both countries, different opportunities are provided for students to learn mathematics between the two countries.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.14 no.1
• /
• pp.13-22
• /
• 1990

A general analysis method is proposed for analysis of the superposed structures with geometric and material nonlinearities. It is presumed that no friction occurs between structures. It utilizes a shell element for the geometric and material nonlinearities and imposes various deformation constraints for the contact and interaction between structures. To show the reliability and effectiveness of this method, superposed cantilevers for which exact solutions can be obtained and holddown spring assemblies which are now used in PWR reactors are chosen as analysis models. The results of analyses were compared with exact solution in the case of cantilevers and with test results in the case of holddown spring assemblies. The analysis results obtained by this method showed good agreement with the reference values.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.31 no.2
• /
• pp.71-78
• /
• 2018

This paper presents the assembling of multiple patches based on the single patch isogeometric formulation for the shear deformable shell element given in the previous study. The geometrically exact shell formulation has been accomplished with the shell theory based formulation and the generalized curvilinear coordinate system directly derived from the given NURBS geometry. For the knot elements matching across adjacent surfaces, the zero-th and first parametric continuity conditions are considered and the corresponding coupling constraints are implemented by a master-slave formulation between adjacent patches. The constraints are then enforced by a substitution method for condensation of the slave variables, thereby reducing the model size. Through numerical investigations, the important features of the first parametric continuity condition are confirmed. The performance of the multi-patch shell models is also examined comparing the rate of convergence of response coefficients for the zero and first order continuity conditions and continuity in coupling boundary between two patches is confirmed.

• Solar Energy
• /
• v.15 no.2
• /
• pp.25-37
• /
• 1995

This paper presents an approximate analytical solution to one-dimensional model of the charging process for stratified thermal storage tanks, in which variation of the inlet temperature as well as the momemtum-induced mixing is taken into accout. The mixing is incorporated into the model as a constant-depth perfectly mixed layer above the plug flow region. Based on the superposition principle, the variable inlet temperature is approximated by a number of step functions. Temperature distributions for the thermocline corresponding to three types of interfacial condition arr successfully derived in terms of well-defined functions, so that a linear combination of them constitutes the final solution. Validity and utility of this work is examined through the comparison of the approximate solution with an exact solution available for the case of linearly increasing inlet temperature. With increasing the number of steps, the present solution asymptotically approaches to the exact one. Even with a limited number of steps, the present results favorably agree with those by the exact solution for a wide range of the mixing depth. Also, it is revealed that fewer steps are needed for meaningful predictions as the mixing. depth becomes larger.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.34 no.4
• /
• pp.199-204
• /
• 2021

In this study, an isogoemetric analysis (IGA) method that uses NURBS (Non-Uniform Rational B-Spline) basis functions in computer-aided design (CAD) systems is employed to account for the geometric exactness of curved electrodes constituting an electro-adhesive pad in electrostatic problems. The IGA is advantageous for obtaining precise normal vectors when computing the electro-adhesive forces on curved surfaces. By performing parametric studies using numerical examples, we demonstrate the superior performance of the curved electrodes, which is attributed to the increase in the normal component of the electro-adhesive forces. In addition, concave curved electrodes exhibit better performance than their convex counterparts.

• Proceedings of the Korean Society of Coastal and Ocean Engineers Conference
• /
• 1996.10a
• /
• pp.119-123
• /
• 1996

파랑성분간의 비선형상호작용에 의한 에너지의 교환은 스펙트럼 파랑에너지 보존방정식의 중요한 원천항(source)의 하나이며 이의 정확한 계산에 관한 연구가 파랑모델에서 중요한 문제로서 제기되어 왔다. 그러나 비선형에너지 전달을 엄밀하게 계산하는데는 많은 시간이 소요되기 때문에 현재 현업에서는 스펙트럼파라메타로서 간략화한 식을 사용하고 있다. 비선형상호작용은 파랑이 발달하고 있는 풍역에서 중요하기 때문에 비대칭 스펙트럼에 대한 비선형상호작용의 파라메터화는 풍속이 급변하는 풍장에서 매우 중요하다. (중략)

• Journal of Life Science
• /
• v.4 no.4
• /
• pp.146-164
• /
• 1994

당쇄구조는 유전자에 따라 엄밀하게 규정되어 있지 않기 때문에 다양성과 유연성을 갖는 당쇄 구조는 생체기능의 안정성과 항상성을 실현하기 위해 불가피한 요소라고 생각된다 .앞으로 당쇄기능을 해명하기 위해서는 세포간, 세포내외간, 세포내의 생체정보전달기구 등에 관여하고 있는 당쇄를 떼어내어 해석하는 연구를 추진할 필요가 있다. 또 생체에 있어서 당쇄에 관한 연구로부터 얻어진 지식과 기술을 근거로 하여 인공적으로 당쇄를 설계하고 구축하여, 그것들을 단백질이나 지질에 삽입시켜 당쇄의 기능을 밝히고, 아울러 인공의 당쇄를 이용한 새로운 생체기능의 제어기술에 관한 연구도 추진해야 할 것이다.