• Title/Summary/Keyword: 형식적 언어

Search Result 375, Processing Time 0.033 seconds

W. v. Humboldt′s Thought (빌헬름 폰 훔볼트의 언어사상)

  • 안정오
    • Lingua Humanitatis
    • /
    • v.6
    • /
    • pp.77-108
    • /
    • 2004
  • This research focuses on the humboldt's thought for language. In Korea, only two themes, 'worldview' and 'nation' , problem of 'energeia' and 'ergon', was mostly researched. But we must research all together his thoughts, in order to understand his complete thoughts. His thoughts consist six themes : 1 . relation between thought and language. 2. problem of language-generation. 3. problem of translation. 4. substance of language. 5. worldview and nation. 6. energeia and ergon. From this five themes, we can understand, what his origin thought is. Therefore, we explained sequentially five themes in our paper. The theme 1, 5 and 6 are often interpretated between the scholars in Korea. But the theme 2 and 3 are not yet known. Therefore, we tried to explain it in this paper, what the problem of language-generation and the problem of translation are.tion and the problem of translation are.

  • PDF

BPMN2XPDL: Transformation from BPMN to XPDL for a business process (BPMN2XPDL : 비즈니스 프로세스에 대한 BPMN 표기법을 XPDL 언어로의 변환)

  • Park Jung-Up;Jung Moon-Young;Jo Myung-Hyun;Kim Hak-Soo;Son Jin-Hyun
    • The KIPS Transactions:PartD
    • /
    • v.13D no.4 s.107
    • /
    • pp.535-548
    • /
    • 2006
  • To formally describe business process, many business process languages have been so far specified with different origins and goals such as XPDL, BPML and BPELAWS. Especially, XPDL proposed by WfMC has been widely used in various business process environments for a long time. On the other hand, the necessity of a standard graphical notation for a business process may create BPMN driven by BPMI. Because BPMN is composed of graphical constructs which can be used to graphically depict business process, BPMN-formed business processes should ultimately be converted to their corresponding semantically equivalent business process language(XPDL). Then, the business process languages can be consequently executed by business process engines. In this paper, we proposed a transformation mechanism from BPMN to XPDL for a business process. By this paper, We minimized the difference between process designers and process execution modules as reducing the gap of semantics between BPMN and XPDL.

The Design and Implementation of a Mobile-agent System for SoftPLC (SoftPLC를 위한 모바일 에이전트 시스템의 설계 및 구현)

  • Bae, Hae-Gwang;Choi, Young-Hyun;Min, Gi-Sung
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2006.11a
    • /
    • pp.31-34
    • /
    • 2006
  • 최근의 PLC는 Ethernet 통신, Field Bus등 새로운 통신규약에 호환성을 갖고 있으며 점점 빠른 연산 속도의 초소형 PLC로 발전해 나가고 있고 공장 자동화와 FMS(Flexible Manufacturing System)에 따른 PLC의 요구는 과거 중규모 이상의 릴레이 제어반 대체 효과에서 현재 고기능화, 고속화의 추세로 소규모 정작 기계에서 대규모 시스템 설비에 이르기까지 적용되고 있다. 그러나 현재 사용되고 있는 PLC는 각 제조사마다 하드웨어형식은 유사하지만 소프트웨어형식인 제어 명령어들이 다르기 때문에 각각의 PLC마다 호환이 되지 않는다는 문제점을 가지고 있어 이 제어 명령어들의 호환성을 위한 솔루션이 필요하다. 이를 해결하기 위하여 본 논문은 IEC1131-3의 표준 언어를 중심으로 제어할 수 있는 Mo-aPLC라는 모바일 에이전트 기반의 softPLC시스템을 제안하였다. 이 시스템은 모바일 에이전트들이 지적 대리인으로서 IEC1131-3의 표준 언어를 제어시스템 제작자에게 활용되어 질 수 있는 코드인 IL언어로 변환하고 이를 랭귀지 프로그래머가 활용할 수 있는 코드인 표준 C코드로 변환하는 것이다. 이 시스템으로 인해 제어시스템 제작자와 랭귀지 프로그래머들이 활용할 수 있는 코드들이 생성되는 것과 표준 C코드로 변환함으로서 논리적인 디버깅(dubugging)이 용이하다는 것을 알 수 있었다.

  • PDF

Preliminary Research about Semantic Relations and Linguistic Features in Middle School Students' Writings about Phase Transitions of Water in Air (대기 중 물의 상태변화에 관한 중학생의 글에서 나타나는 의미관계 및 과학 언어적 특성에 관한 예비연구)

  • Jung, Eun-Sook;Kim, Chan-Jong
    • Journal of the Korean earth science society
    • /
    • v.31 no.3
    • /
    • pp.288-299
    • /
    • 2010
  • Recently, scientific literacy means not only the acquisition of scientific knowledge but also the linguistic ability to participate in a scientific discourse community. Keeping this in mind, this study investigated middle school students' writings about phase transitions of water in air. Sixty seven students at 9th grade (age 15) students participated in this study and wrote two individual short texts. The result of text analysis can be summarized as follows: (1) students had problems with familiar scientific terms such as 'water vapor' and 'steam' as well as unfamiliar ones like 'dew point'. (2) Students described right semantic relations and at the same time wrong ones more in the idea formed from everyday experience than those from school instruction. (3) While students showed action and process centered writing in text about everyday phenomenon, they showed more preference for technical words and nouns in text about school science. This study suggest that students could develop linguistic ability of science from both spontaneous process based on experience and formal and theoretical learning; the former in forming various semantic relations, the latter in technical and abstract aspect of scientific writing.

Study on Tree-Structured Database and Language MUMPS (트리형 데이터베이스 및 언어 MUMPS 활용)

  • Im, Ji-Hyeon;Kim, Jin-Doeg
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • 2019.05a
    • /
    • pp.108-110
    • /
    • 2019
  • A Database is a collection of data that does not have redundancy, and it is essential to easily use and share information in an information society where the amount of information is increasing. A typical structure of a Database is a relational database and a tree-structure Database. This research studies the programming language MUMPS, which is a tree structure database. This language constructs the database by storing arrays in a dynamic or B-Tree format. Unlike SQL, which must be used in languages such as Java and C #, MUMPS supports language and database independently and can manage data, so the data porting rate is high. In fact, in U.S. hospitals, the MUMPS-based platform has a high market share.

  • PDF

Notes on Methods for Realization and Analysis for Implementation of Traditional Aesthetic Value (전통 조형정신의 구현체계의 분석 방법과 실현 방안에 관한 고찰)

  • 민경우
    • Archives of design research
    • /
    • v.17 no.3
    • /
    • pp.335-342
    • /
    • 2004
  • Recently there have been various research activities regarding Korean traditional aesthetics. However, those researches were mainly conducted individually, partially, and periodically, which resulted in unsystematic and incomprehensive works. Therefore, it is required to orginze all the precedent research works with more systematic and objective framework. Generally speaking, all the human activities including aesthetic activity have ends, procedure and means. In other words, human being needs three key elements for realizing any thought and those three elements include contents, formal, and practical element. Element of contents is ultimate goal to accomplish as value, concept, and meaning of thought with their aims. Formal element includes methods, principles, norms, procedure, formality and style comprising of thought in order to accomplish the goal. Finally, practical element refers to specific means, tool, media, material and techniques to concretize the contents through form. Almost all of thoughts and meaning which human being tries to express consist of language. Major elements in sentence include 'subject (omissible)' , 'objects (aim)', 'predicate (formality)', 'complement (means)' and they are composed systematically and hierarchically with rules in sentence. The study compared human activity model with language structure and analyzed their implication with design (aesthetics), which made it possible to propose analytic frameworks for traditional aesthetics. In addition, the study also systematically organized the way to realize traditional aesthetic value in the present context based on the methods developed in this study.

  • PDF

Development of an X3D Python Language Binding Viewer Providing a 3D Data Interface (3D 데이터 인터페이스를 제공하는 X3D Python 언어 바인딩 뷰어 개발)

  • Kim, Ha Seong;Lee, Myeong Won
    • KIPS Transactions on Software and Data Engineering
    • /
    • v.10 no.6
    • /
    • pp.243-250
    • /
    • 2021
  • With the increased development of 3D VR applications augmented by recent VR/AR/MR technologies and by the advance of 3D devices, interchangeability and portability of 3D data have become essential. 3D files should be processed in a standard data format for common usage between applications. Providing standardized libraries and data structures along with the standard file format means that a more efficient system organization is possible and unnecessary processing due to the usage of different file formats and data structures depending on the applications can be omitted. In order to provide the function of using a common data file and data structure, this research is intended to provide a programming binding tool for generating and storing standardized data so that various services can be developed by accessing the common 3D files. To achieve this, this paper defines a common data structure including classes and functions to access X3D files with a standardized scheme using the Python programming language. It describes the implementation of a Python language binding viewer, which is an X3D VR viewer for rendering standard X3D data files based on the language binding interface. The VR viewer includes Python based 3D scene libraries and a data structure for creation, modification, exchange, and transfer of X3D objects. In addition, the viewer displays X3D objects and processes events using the libraries and data structure.

Vibration Diagnosis of Rotating Machinery Using Fuzzy Inference (퍼지추론을 이용한 회전기계의 정밀진단법)

  • 전순기;양보석
    • Proceedings of the Korean Society for Noise and Vibration Engineering Conference
    • /
    • 1995.10a
    • /
    • pp.284-288
    • /
    • 1995
  • 최근 애매성이 수반되는 정보를 Zadeh는 멤버쉽함수(membership function)를 이용하여 새로운 정보처리 방식으로서 퍼지이론을 제안하였고, 그후 의료계에서도 퍼지이론을 도입한 진단법들이 제안되었다. 회전기계의 이상진단법으로는 주파수득점법(Point counting method), 퍼지역연산법(Inverse method of fuzzy theory)등이 보고되고 있으며, 저자들도 퍼지이론을 이용하여 구름베어링의 결함진단, 회전기계의 간이 이상진단법등을 보고하였다. 이들은 주로 진동주파수의 스펙트럼 데이터 만을 이용하고 있고, 다른 많은 데이터를 복합적으로 이용할 수 없다. 이 때문에 주로 소규모 문제의 간이진단에서는 효과적이나 진단대상이 복잡하고 대규모로 되면 보다 정확한 원인 추정이 곤란하게 된다. 또한 수치데이터만을 취급할 수 있으므로 진동전문가가 진단에 이용하는 각종의 수치화 될 수 없는 데이터(언어적인 정보)가 취급될 수 없다. 따라서 이들의 진단법은 개략적인 진단은 가능하나 상세한 원인까지는 진단할 수 없는 단점이 있다. 회전기계의 이상판단시 참고가 되는 각종 정보로는 주로 진동진폭의 크기, 진폭과 위상의 변화, 진폭의 변화, 진동파형, 진동벡터의 시간변화 등이 있고, 이들은 수치적으로 표현할 수 있는 계량데이터와 판단의 경계가 불명확한 언어정보(범위데이터)로 나눌 수 있다. 후자는 애매성(fuzziness)을 많이 포함하고 있으며, 엄밀히 측정되는 수치데이터에서도 퍼지성을 가지고 있다. 이러한 언어적인 정보의 애매성을 퍼지추론에서는 [수치적 진리치](numeric truth)와 [언어적 진리치](linguistic truth)의 개념으로 표현하게 되었다. 수치적 진리치는 확실함의 척도를 [0,1] 사이의 수치를 이용하여 표현하고 있으며, 이 수치는 소견의 확실도로서 가능성을 표현한 것이다. 예를 들면, 진동진폭 스펙트럼상에 2X 성분이 상당히 크게 나타나 정렬불량의 가능성이 0.7 정도라고 판정하는 것 등은 이러한 수치적진리치를 이용하는 방법이다. 그러나 상기의 수치적 표현만으로는 확실도를 한개의 수치로서 대표하게 하는 것은 진단의 정밀도에 문제가 있을 것으로 생각된다. 따라서 언어적진리치가 도입되어 [상당히 확실], [확실], [약간 확실] 등의 언어적인 표현을 이용하여 애매성을 표현하게 되었다. 본 논문에서는 간이진단 결과로부터 추출된 애매한 진단결과중에서 가장 가능성이 높은 이상원인을 복수로 선정하고, 여러 종류의 수치화할 수 없는 언어적(linguistic)인 정보ㄷㄹ을 if-then 형식의 퍼지추론으로 종합하는 회전기계의 이상진단을 위한 정밀진단 알고리즘을 제안하고 그 유용성을 검토한다.

  • PDF

Meaning Analysis (의미 분석)

  • Lee, Gun-Won
    • Annual Conference on Human and Language Technology
    • /
    • 2000.10d
    • /
    • 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) 속에 신비적인 요소나 애정표시도 수용된다. 의미분석은 지금 한글을 연구하고, 그 결과에 의존하여서 우리의 실제의 생활에 사용하는 $\ulcorner$한국어사전$\lrcorner$ 등을 만드는 과정에서, 어떤 의미에서 실험되었다고 말할 수가 있는 언어과학의 연구의 결과에 의존하여서 수행되는 철학적인 작업이다. 여기에서는 하나의 철학적인 연구의 시작으로 받아들여지는 이 의미분석의 문제를 반성하여 본다.

  • PDF

Design and Implementation of A XML DTD Auto Converter (XML DTD 자동 변환기의 설계 및 구현)

  • 박기영;강현석
    • Proceedings of the Korea Multimedia Society Conference
    • /
    • 2000.04a
    • /
    • pp.261-264
    • /
    • 2000
  • 문서의 논리적 구조를 기술하는 표준 메타 언어인 SGML은 각종 전자문서를 기술하는 기반 언어로 사용되고 있으나 그 사용법이 매우 복잡하다. 그리고 이 SGML로 정의도니 HTML은 그 사용법이 매우 쉬워 홈페이지 제작등에 널리 사용되고 있다. 그러나 태그의 확장성이 없고, 사용자가 마음대로 DTD를 바꿀수 없어 다양한 형식의 문서를 표현하는 데는 한계가 있다. 따라서, 최근에 다양한 인터넷 문서를 다룰 수 있도록 XML 이라는 확장 가능한 마크업을 기술할 수 있는 새로운 메타 언어가 출현하게 되었다. 그런데 기존에 만들어진 SGML문서들을 새로운 웹 환경에서 사용하기 위해서는 이 문서들을 XML 문서로 변환하는 작업이 필요하다. 본 논문은 기존에 만들어진 SGML 문서의 DTD를 웹 환경에서도 사용할 수 있도록 XML DTD로 자동 변환하는 시스템을 설계하여 자바 언어로 구현한 내용을 기술한다.

  • PDF