• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2001.04a
• /
• pp.627-630
• /
• 2001

XML is suitable to integrate various forms of engineering design data since it possesses the characteristics of both documents and data. In this research a web-based design system has been developed, which integrates various gear design data in the form of XML. The system generates XML document containing gear design data and transforms gear design data in the relational database into XML document form automatically. The XML documents are transmitted to gear modeler agent through SOAP, and then the agent is automatically executed and generates CAD model files and VRML files. The designer can check the generated VRML model of gear immediately in the web service.

• Journal of the Korean Society for Precision Engineering
• /
• v.15 no.5
• /
• pp.50-58
• /
• 1998

A proper model of expert system for the very thin sheet metal press die design has been suggested. Using the suggested model, an expert system of the very thin sheet metal press die has been developed. This study contains that the results from the developed system for three kinds of specimens have the adaptability in the actual site. In addition, the possibility for expansion of this system has been discussed. The developed system, which is based on the knowledge base, has been included in a lot of expert's technology in the practice field. C-language under the HP-UNIX system and CIS customer language of the EXCESS CAD/CAM system have been used as the overall CAD environment. Results from this system will provide effective aids to the designer in this field.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.99-101
• /
• 1999

최근 들어 XML에 대한 연구가 늘어나면서, XML(eXtensible Markup Language)문서에 대한 저장/검색에 대한 다양한 방법들이 제시되고 있다. 특히 XML 문서의 구조적인 특성을 살리면서 문서의 저장 및 변경을 원활하게 지원할 수 있는 방안에 대한 요구가 늘고 있다. 기존의 저장관리 시스템을 위한 저장 모델로는 크게, XML 문서의 빠른 검색을 지원할 수 있는 가상분할모델(Virtual Fragmentation Model)과 문서에 대한 변경을 빠르게 지원해 줄 수 있는 분할모델(Decomposition Model)로 나누어 볼 수 있는데, 본 연구에서는 이 두가지 모델의 장점을 취합하여 문서의 검색 속도는 가상분할모델정도로, 문서의 변경속도는 분할모델정도로 빠르게 지원해 줄 수 있는 페이징(Paging)기법에 대해 설계하였다. 본 페이징 기법은 XML문서뿐만 아니라, HTML(HiperText Markup Language) 문서의 저장관리 시스템에서도 똑같이 적용될 수 있다. 본 연구의 후반부에서는 페이징 기법과 다른 기법에 대한 비교를 통하여 페이징 기법의 성능을 분석하였다.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2019.11a
• /
• pp.40-41
• /
• 2019

The purpose of this study is to analyze the vocabulary related to safety accidents based on the reports recorded on the violation of safety rules at the construction sites. We used Word2Vec and Topic Model as natural language processing techniques to analyze the safety accidents presented in the reports of the large enterprise. The words that appeared based on the occupational accident types such as the fall, falling objects, and others were derived and visualized. We derive the frequency and similarity of the words and topics of the accident that occur at the construction site. In future studies, we will be able to proceed with the generation of texts from pictures based on images and this reports.

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

클라우드 컴퓨팅에서 사용되는 웹 서비스들은 BPEL에 의해 여러 서비스들이 새로운 웹 서비스로 조합 되어지며, 서비스가 제대로 동작하는지를 검증하기 위해 Petri nets, Abstract State Machine(ASM), BPECalculus 등의 검증 방법을 사용한다. 이러한 검증 방법은 BPEL을 사용하여 새로 만들어진 웹 서비스들이 안정적으로 동작하는지를 검증하는 것으로, 웹 서비스 설계와 검증이 서로 분리되어 있다. 본 논문에서는 명세, 분석 및 검증의 전 과정에서 프로세스의 포함관계, 상태정보, Interaction, Mobility 등을 그래프로 표현하며, 한 단계의 그래프를 통하여 시스템 전체의 복잡도 및 시스템의 행위를 예측할 수 있는 Onion Visual Language(OVL)을 사용하여 BPEL로 설계 되는 클라우드 웹 서비스들을 OVL로 변환 후 이를 분석 및 검증한다. 추후 OVL은 서로 다른 클라우드 안에서의 웹 서비스 재사용을 위한 동일성 검증을 위한 방법으로 사용될 수 있다.

• Proceedings of the Korean Society for Cognitive Science Conference
• /
• 2006.06a
• /
• pp.67-71
• /
• 2006

현재까지 제안된 자동 띄어쓰기 교정 모델들은 그 중의 대다수가 입력 문장에서 공백을 제거한 후에 교정 작업을 수행한다. 이러한 교정 방식은 입력 문장의 띄어쓰기가 잘 되어 있는 경우에 입력 문장보다 좋지 못한 교정 문장을 생성하는 경우가 있다. 본 논문에서는 이러한 문제점을 해결하기 위하여 입력 문장의 띄어쓰기를 고려한 자동 띄어쓰기 교정모델을 제안한다. 이 모델은 입력 문장의 음절단위 띄어쓰기 오류가 5%일 때 약 8%의 성능 향상을 보였으며, 10%의 오류가 존재할 때 약 5%의 성능 향상을 보였다.

• Korean Journal of Cognitive Science
• /
• v.6 no.2
• /
• pp.81-95
• /
• 1995

Intelligent courseware predicts the status of student diagnosing student diagnosing student's response and performs an adaptive tutoring based on the student model.This paper designs an authoring tool that supports dyanmic sequence control of tutoring.And also it defines a lesson description language for the dynamic control sequence.Using this language we can represent a control sequence of courseware statically and dynamically.We apply the proposed tool for controlling sequence of C language courseware and show the usability of the proposed system.

• Korean Journal of English Language and Linguistics
• /
• v.3 no.3
• /
• pp.375-410
• /
• 2003

As Snow (1989) and Sternberg (1985) have long argued, learning, and adaptation to the learning environment or classroom context (at the levels of instructional treatment, interventionist focus on form technique, or pedagogic task) is a result of the interaction of context at each of these levels of description with learners' patterns of abilities. In this paper I argue that this is an important area of research for SLA pedagogy, as well as SLA theory development, and I review recent developments in the study of L2 learning conditions; of the abilities contributing to L2 aptitude; and of their interaction with the processes involved in successful classroom learning and practice, and propose a model of ‘multiple aptitudes’ for classroom learning based on these findings.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 2007.11a
• /
• pp.42-53
• /
• 2007

Looking back the history of formal treatment of linguistics, we cannot disregard the contribution of possible world semantics. Intensional logic of Montague semantics, DRT (Discourse Representation Theory), mental space, and situation theory are closely related to or compared with the notion of possible world. All these theories have commonly clarified the structure of belief context or uncertain knowledge, employing hypothesized worlds. In this talk, I firstly brief the pedigree of these theories. Next, I will introduce the recent development of modal logic for the representation of (i) knowledge and belief and (ii) time, in which belief modality is precisely discussed together with the accessibility among possible worlds. I will refer to BDI (belief-desire-intention) logic, CTL (computational tree logic), and sphere-based model in belief revision. Finally, I will discuss how these theories could be applied to the further development of analyses of natural language.

• Korean Journal of English Language and Linguistics
• /
• v.2 no.1
• /
• pp.123-147
• /
• 2002

As far as the recent ELT research concerned, it seems to have been no hot ‘theoretical’ issues, but ‘practical’ ones in general: e.g., learners and learning, components of proficiency, correlates of L2 learning, etc. This paper focuses on the theme given above, with a special reference to the sub-title: specifically, 1) World English, world Englishes and world's lingua franca; 2) ENL, ESL and EFL; 3) Grammars, style manuals, dictionaries and media; 4) Pronunciation models: RP, BBC model and General American, Network Standard; 5) Lexical, grammatical variations and discourse grammars; 6) Beliefs and subjective theories in foreign language research; 7) Dilemma among radical, canonical and eclectic views. In conclusion, the author offers a modest proposal: we need to appeal to our own experience, intention, feeling and purpose, that is, our identity to express “our own selves” in our contexts toward the world anywhere, if not sounding authentic enough, but producing it plausibly well. It is time for us (with our ethno-cultural autonomy) to need to be complementary to and parallel with its native speakers' linguistic-cultural authenticity in terms of the broadest mutual understanding.