• Journal of the Korean Society for information Management
• /
• v.30 no.4
• /
• pp.175-193
• /
• 2013

This study aims to investigate the current state of digital reference services using electronic bulletin boards in Korean academic libraries and to suggest improvements. Through the examination of 205 academic library websites, 56 libraries were identified to use electronic bulletin for digital references. The digital reference service questions and responses from four libraries were further analyzed: the types of reference question, the structure and accuracy of answers, and digital reference completion time. The implications of this study for future research and practice lie in its provision of a systematic way to design practical guidelines for virtual reference services.

• 한국HCI학회:학술대회논문집
• /
• 2006.02b
• /
• pp.191-196
• /
• 2006

새로운 휴대폰 기기가 하루가 다르게 개발되어 상품화 되는 가운데 사용자의 시각에 입각한 사용성 평가는 앞으로 새롭게 선보일 휴대폰 기기의 방향성을 제시해 줄 수 있는 중요한 척도이다. 특히 근 몇 년간 다양한 기능이 convergence 된 휴대폰들이 늘어남에 따라 사용자 관점에서의 평가 방법에 있어, 실제 사용자는 예측할 수 없고 셀 수 없는 다양한 상황과 환경 속에서 휴대폰 기기를 사용하게 된다는 사실을 주목해야 할 것이다. 따라서 본 연구에서는 끊임없이 변화하는 휴대폰 기기로 인하여 실제 user 가 자신의 특성과 습관, 시시각각 다르게 처하는 환경과 함께 야기되는 휴대폰에 대한 use experience 를 수집하고 분석하는 적합한 방법론을 새로이 제시하고, 이를 사례 연구를 통하여 검증함으로써 사용자 경험을 수집하는데 유용한 새로운 방법론을 개발하는데 그 목적이 있다. 이러한 사용성 테스트의 새로운 분석 방법으로, 특정 휴대폰의 웹 리뷰사이트, 인터넷 동우회와 같은 온라인 커뮤니티상에서 테스트에 응할 여지가 있는 expert user 를 엄선하여 선정 하였으며, 그들에게 휴대폰을 사용하면서 겪게 되는 경험이나 문제점을 휴대폰의 어떠한 부분에서 언제, 어떠한 식으로 발생되었는지에 대하여 work book 의 형식을 통하여 기록하고 다시 그것을 바탕으로 In-depth interview 함으로써 사용자의 경험의 축적에 따라 사용성을 평가하는 프로세스를 새로이 개발하고 적용하였다.

• Proceedings of the Korean Society of Disaster Information Conference
• /
• 2016.11a
• /
• pp.195-197
• /
• 2016

본 논문에서는 재난안전 대비 현장훈련시스템을 개발하기 위하여 현황을 분석하는 것이 목적이다. 현재 일반적으로 이뤄지고 있는 훈련은 실제 재난상황을 고려하지 않은 형식적인 훈련으로 재난유형 및 발생상황에 부적합한 훈련장소 및 시간에 실시하고 있다. 현재는 사전 공개된 훈련시나리오에 따른 연출된 보여 주기식 훈련으로 실제 재난상황이 발생할 때 의사결정 권한을 가진 지휘권자가 훈련에 불참하는 조직문화가 가장 먼저 해결되어야 하는 것으로 나타났다. 대형재난에 대한 대응능력을 강화하고 재난으로부터 국민을 보호하기 위한 안전훈련이 범국가적으로 진행되는 가운데 '안전한국훈련'을 에너지부분에서도 전국적으로 실시하고 있다. 미국, 일본의 재난대응훈련의 특징은 우리나라와 같이 평가지표 틀에 맞춘 시나리오를 개발하지 않고 있으며 시나리오 구성도 세분화하지 않고 단지 상황 설정과 대응 메시지, 돌발 메시지 등으로 위기대응 능력을 평가하고 있다는 것이다. 에너지산업 현장용 재난대비 훈련시스템 개발 및 구축은 국가안전 관리 측면에서도 매우 중요하다. 국가 차원의 종합 재난대응 및 인프라 제공을 위한 다수의 정보화 사업이 추진되고 있으나 재난 정보를 활용한 사전 예방, 신속한 상황 전파, 정보 공동 활용 및 대응 미진에 대한 종합적 진단이 필요하다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.28 no.4
• /
• pp.1009-1019
• /
• 2018

Bitcoin is the first application utilizing the blockchain, but it has limitations in terms of scalability. The concept of Lightning Network was recently introduced to address the scalability problem of Bitcoin. In this paper, we found that the real-world Bitcoin Lightning Network shows the scale-free property. Therefore, the Bitcoin Lightning Network can be vulnerable to the intentional attacks targeting some specific nodes in the network while it is still robust to the random node failures. We experimentally analyze the robustness of the Bitcoin's Lightning Network via the simulation of network attack model. Our simulation results demonstrate that the real-world Lightning Network is vulnerable to target attacks that destroy a few nodes with high degree.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.22 no.5
• /
• pp.959-974
• /
• 2012

Group signature schemes were made for serving anonymities of signers, but the group signature schemes have been seldomly adapted to the real-world applications because of their low computation and space (i.e. signature length) efficiency, complicated construction, limited user management, and so on. Kang, Hwang, etc. performed the study about the local linkability that is for helping group signature schemes to be adapted more easily to the real world. In this paper, we investigate the nature of local linkability, which did not deal with well in the previous studies, in detail and perform the formal proof for the security of special entities who hold the local linkability.

• School Mathematics
• /
• v.14 no.4
• /
• pp.469-493
• /
• 2012

The purpose of this study is find the relation between students' concept and types of proof construction. For this, four undergraduate students majored in mathematics education were evaluated to examine how they understand mathematical concepts and apply their concepts to their proving. Investigating students' proof with their concepts would be important to find implications for how students have to understand formal concepts to success in proving. The participants' proof productions were classified into syntactic proof productions and semantic proof productions. By comparing syntactic provers and semantic provers, we could reveal that the approaches to find idea for proof were different for two groups. The syntactic provers utilized procedural knowledges which had been accumulated from their proving experiences. On the other hand, the semantic provers made use of their concept images to understand why the given statements were true and to get a key idea for proof during this process. The distinctions of approaches to proving between two groups were related to students' concepts. Both two types of provers had accurate formal concepts. But the syntactic provers also knew how they applied formal concepts in proving. On the other hand, the semantic provers had concept images which contained the details and meaning of formal concept well. So they were able to use their concept images to get an idea of proving and to express their idea in formal mathematical language. This study leads us to two suggestions for helping students prove. First, undergraduate students should develop their concept images which contain meanings and details of formal concepts in order to produce a meaningful proof. Second, formal concepts with procedural knowledge could be essential to develop informal reasoning into mathematical proof.

• School Mathematics
• /
• v.13 no.3
• /
• pp.501-524
• /
• 2011

The purpose of this study was to develop teaching-learning materials for informal activities geared toward teaching the nature and structure of proof, to make a case analysis of the application of the developed instructional materials to students in an elementary gifted class, to discuss the feasibility of proof education for gifted elementary students and to give some suggestions on that proof education. It's ultimately meant to help improve the proof abilities of elementary gifted students. After the characteristics of the eight selected gifted elementary students were analyzed, instructional materials of nine sessions were developed to let them learn about the nature and structure of proof by utilizing informal activities. And then they took a lesson two times by using the instructional materials, and how they responded to that education was checked. An analysis framework was produced to assess how they solved the given proof problems, and another analysis framework was made to evaluate their understanding of the structure and nature of proof. In order to see whether they showed any improvement in proof abilities, their proof abilities and proof attitude were tested after they took lessons. And then they were asked to write how they felt, and there appeared seven kinds of significant responses when their writings were analyzed. Their responses proved the possibility of proof education for gifted elementary students, and seven suggestions were given on that education.

• Korean Journal of Heritage: History & Science
• /
• v.53 no.3
• /
• pp.164-183
• /
• 2020

In the textile culture of the Joseon Dynasty, the historic record of Banpo is fragmentary and contains many missing details. The main reason is a lack of associated literature, and it is also significant that the actual substance used is not clear at present. Banpo is a kind of cotton, but this has not been confirmed in the traditional textiles that are currently handed down. The word Ban [斑] in Banpo means "stain", and the letter Po [布] means "fabric". At the border of white discourse, Banpo did not receive attention as a research topic. This study is an attempt to restore some of the textile culture of the Joseon Dynasty through Banpo. Banpo is not just limited to the Joseon Dynasty; it is an important material for examining the development of textile culture and exchange in East Asia. This study was broadly divided into three parts. First, the record and meaning of Banpo during the Joseon Dynasty were examined. Records of Banpo can be seen from the early Joseon period during King Sejo and Seongjong, and the production and actual use of Banpo have been confirmed. Banpo was maintained until the beginning of the 20^th century, but is no longer observed. Banpo is a woven fabric made of cotton yarn dyed in many colors and has appeared in Southeast Asia since ancient times. In East Asia, there are other fabrics similar to Banpo, such as Ho [縞], Sum [纖], and Chim [綅]. In particular, the correlation between Banpo and Ho is an important link in understanding Banpo in the Joseon Dynasty. Second, the meaning of Banpo was examined from various angles through comprehensive analysis of Chinese and Japanese literature records and cases. The appearance and development of Banpo moved in sync with the period when cotton was introduced into East Asia. In East Asia, cotton was introduced and produced in earnest from the end of the Song Dynasty to the beginning of the Yuan Dynasty, and the meaning of Banpo was diversified. In China, the name of Banpo was changed to Hwapo [花布], Gizapo [碁子布], Gizahwapo [棋子花布], etc. Japan was late to introduce cotton and developed it in acceptance of the changed meaning. In Japan, use of the name Banpo is not on record, but a Ryujo [柳條] fabric of the same type as banpo has been identified. This Ryujo is the same concept as Ho and Hwapo, and later merged into Ho. Names such as Ho, Hwapo, Banpo, etc. were used differently in each country, but the form was shared across East Asia. Third, based on the meaning of Banpo shared in East Asia, the format of Banpo in the Joseon Dynasty was classified. The format of Banpo in the Joseon Dynasty can be divided into grid and striped versions. The name Banpo disappeared over time, but the form remained and was passed down until recently. I hope that this study will help restore Banpo in the future.

• Geophysics and Geophysical Exploration
• /
• v.11 no.3
• /
• pp.214-220
• /
• 2008

The distortion effect of electrical response for two-dimensional (2-D) DC resistivity method was verified in terms of 2-D inversion result of synthetic data obtained by three-dimensional (3-D) modeling, which is frequently applied to assess the safety of center core-type fill dam structure. The distortion effect is due to 2-D interpretation for 3-D structure. By the modeling analysis, we found that the water level is correctly described in the resistivity section around the middle part rather than each end side of the embankment due to the 3-D terrain effect, when the material of the embankment is assumed as horizontally uniform. And when we set the slope of outer rock fill part as uniform. the sharper the slope of the center core is, the more similar the resistivity section reflects. On the other hand, when the slope of the rock fill is steep, the resistivity section shows the water level at lower position than the real one, and the 3-D distortion effect at the end side of the embankment was enhanced.

• Proceedings of the Korean Society for Cognitive Science Conference
• /
• 2000.06a
• /
• pp.419-423
• /
• 2000

성공적인 의사소통의 경우에 성(性)이, 이(理)와 명(命)으로 나타난 것이 같다. 진리(aletheia)가, 언어(logos)와 운명(moira)으로 나타난 것들이 일치하는 것이 성공적인 언화행위가 된다. 측정대상(melos)과 본체(ousia)가 구분되는 것은 언어와 운명의 괴리가 있을 수 있기 때문이다. 체계적인 언어처리의 지식기반을 측정대상에 한정한다. (1) 철학의 시작은 더 옳은 언어표현의 정의(definition)로 이전의 잘못 사용된 언어처리를 대체시키는 것으로 소크라테스는 보았다. [R. Crossman] (2)잘못을 지적하는 등에(Tabanidae)의 역할과 옳은 지식의 상기를 돕는 산파법(maieutics)이 소크라테스의 의미분석의 방법이다. [R. Crossman] (3) 언어를 통하여 진리를 추구한다는 입장(via language)에서 한 언어표현이 그 진리의 운명으로 나타남과 어긋날 때, 운명을 택하는 것은 조화 보다 더 안정의 우위를 인정하는 논리적인 입장으로 합리성 보다 실용(pragma)의 우위를 인정하는 것이다. [W. Quine] (4) 공동체의 공통규범의 추구는 그 언어 속의 공통의 형식 또는 법칙의 추구에 기초하는 것이 자연스럽다. 여기에서 그 언어사용은 그 기저의 법칙(underlying rule)에 개입한다는 입장에 기초한다. [J. Searle] (5) 진리의 언어표현과 운명적인 사태들 사이의 괴리를 처리하기 위하여 체계적인 언어표현의 대상(The Young Tableaux)과 실제(The continuum)의 구분을 수용한다. [AMS(2000)]언어표현의 대상은 나타난 것(顯)이고 실제에는 나타나지 않은 것도 있다. [伊川, 明道] (6) 이 나타난 것과 나타나지 않은 것에 간격이 없다는 것(顯微無間)은 그 의사소통이 성공적인 것이라는 것을 말한다. 따라서 그 언어의 표현완전성(functional completeness)은 언화행위가 성공적이라는 것이다. [J. Searle] (7) 수로 쓰인 것(象數)과 시로 쓰인 것(義理)이 하나인 것은 그 나타난 것과 나타나지 않은 것들 사이에 어떠한 틈도 없음을 말한다. [成中英] (8) 공통의 규범의 공통성 속에 규범적인 측면이 벌써 있다. 공통성에서 개인적이 아닌 공적인 규범으로의 전이는 규범, 가치, 규칙, 과정, 제도로의 전이라고 본다. [C. Morrison] (9) 우리의 언어사용에 신비적인 요소를 부인할 수가 없다. 넓은 의미의 발화의미(utterance meaning) 속에 신비적인 요소나 애정표시도 수용된다. 의미분석은 지금 한글을 연구하고, 그 결과에 의존하여서 우리의 실제의 생활에 사용하는 $\boxDr$한국어사전$\boxUl$등을 만드는 과정에서, 어떤 의미에서 실험되었다고 말할 수가 있는 언어과학의 연구의 결과에 의존하여서 수행되는 철학적인 작업이다. 여기에서는 하나의 철학적인 연구의 시작으로 받아들여지는 이 의미분석의 문제를 반성하여 본다.