• Annual Conference of KIPS
• /
• 2005.11a
• /
• pp.341-344
• /
• 2005

DOM은 기본적으로 XML 문서를 구조적으로 표현한 것이다. 그리고 DOM은 XML문서를 노드의 트리로 인식하며, 이 노드는 동작이 가능한 오브젝트들로 구성되었다. 여기서 각 엘리먼트는 노드이며, 이 노드는 서브트리를 구성할 수 있다. 본 논문에서는 DOM 트리생성을 이용한 XML 스키마의 생성 방법 중 기본적인 사용형태인 사용자 정의 심플타입 DOM 트리 설계의 모든 노드 요소들은 IXMLDOMElement의 형식으로 엘리먼트들을 정의하여 클래스내의 단위 엘리먼트의 속성여부와 모델 내의 클래스 관계를 표현할 수 있도록 하였다. 마크업언어의 생성에서는 XML 스키마를 이용하여 세부적인 데이터타입의 선언이 가능하도록 하고 있다.

• Annual Conference of KIPS
• /
• 2019.10a
• /
• pp.729-732
• /
• 2019

데이터로그는 논리형 선언형 프로그래밍 언어로, 특히 재귀적인(recursion) 알고리즘을 표현하기 편리한 언어이다. 대표적인 데이터로그 시스템으로는 CORAL, LogicBlox, XSB, Soufflé가 있다. 본논문에서는 이 네 가지 시스템의 특징을 설명하고, 세 가지 벤치마크, 이행적 폐쇄(Transitive closure), 동세대(same generation), 포인터 분석(pointer analysis)으로 데이터로그 시스템들의 재귀 질의(recursive query) 처리 성능을 비교하였다.

• The Journal of the Korea Contents Association
• /
• v.9 no.12
• /
• pp.572-581
• /
• 2009

Study on the class using XMI Meta model and XML MetaDats has significant difference from the method of Data creation which is widely used. Most of MXL System are focusing on the editor funcition, Database connection and Generation of Markup language. Unlikelly, however, this study has focused on the creation of Markup language of Class MetaData which are extracted from MXI data modedl. In addition to that, the attribute of unit element within the class and the relationship between the classes within the model were set to be given and expressed respectively. For the generation of Markup language, XML schema was used to declare the detail data type.

• Journal of KIISE:Software and Applications
• /
• v.30 no.3_4
• /
• pp.268-277
• /
• 2003

A document type definition(DTD) which defines tags for a document is a XML document grammar that defines syntactic structure of a document. An XML document keeps the rules and must be parsed to check validation. To parse XML document, the deterministic parsing method of programming language is irrelevant because it does not satisfy the definition of deterministic content model in element declaration. In this paper, we consider editing of a valid XML document in syntax-directed editing environment, and we suggest the internal storage representations of syntax in DTD and theirs algorithms. The consequence is that a syntactic structure of textual DTD is transformed into graph and table structures. The table structure of DTD is interpreted the context free grammar which has attribute values and is used in syntax-directed editor for XML. We called this the XML abstract grammar and showed generated results and examples.

• Journal of KIISE:Software and Applications
• /
• v.37 no.4
• /
• pp.311-316
• /
• 2010

Esterel is an imperative synchronous language that is used to develop memories, cache controllers, bus interfaces, and so on. An Esterel statement is called schizophrenic if it is executed more than once in an instant. A schizophrenic statement may cause problems when it is translated to hardware circuits; a circuit performs more than one reaction in a clock. Previous works claim that only local signal declarations and parallel statements may cause schizophrenic problems. However, control signals produced by a trap statement or data signals used by emit statements can cause schizophrenia. They are new schizophrenic patterns. Especially, schizophrenic problems caused by emit statements cannot be solved by a loop unrolling technique that is the key idea of previous curing techniques for schizophrenic problems. In this paper, we introduce and define the two schizophrenic problems.

• The Transactions of the Korea Information Processing Society
• /
• v.1 no.1
• /
• pp.114-128
• /
• 1994

It is very difficult for a nonprofessional programmer in Koera to write a program with very High Level Language such as, V,REFINE, GIST, and SETL, because the semantic primitives of these languages are based on predicate calculus, set, mapping, or testricted natural language. And it takes time to be familiar with these language. In this paper, we suggest a method to reduce such difficulties by programming with the declarative, procedural constructs, and aggregate constructs. And we design and implement an experimental knowledge-based automatic programming system. called HAPS(Hangul Automatic Program System). HAPS, whose input is specification such as Hangul abstract algorithm and datatype or Hangul procedural constructs, and whose output is C program. The method of operation is based on rule-based and program transformation technique, and the problem transformation technique. The problem area is general problem. The control structure of HAPS accepts the program specification, transforms this specification according to the proper rule in the rule-base, and stores the transformed program specification on the global data base. HAPS repeats these procedures until the target C program is fully constructed.

• The KIPS Transactions:PartA
• /
• v.10A no.2
• /
• pp.101-110
• /
• 2003

ECMAScript can support VXML in utilizing the system information, analysis of complex equation, iterative execution, declaration of functions and their call, etc. However, since the ECMAScript is the standard script language for Internet, there is no way that the script lithely connects with VXML. In this paper, we presented the design and implemented the interpreter that meets the requirement of ECMAScript for its flexible connection with VXML. For connections, we added some functions in modified ECMAScript : management of VXML variables, execution of system functions, analysis of equations and function calls. From the result of connection, it is shown that new ECMAScript can handle the various algorithms of VXML.

• Journal of The Korean Association For Science Education
• /
• v.25 no.4
• /
• pp.503-513
• /
• 2005

The purpose of this study was to analyze the generating processes of scientific emotion, that appears during the generation of biological hypotheses. To perform the study, a tentative model was set up through pilot test, a think-aloud training procedure was planned and a standardized interview instrument was developed before getting protocols. In this study, 8 college students were selected to bring out protocol through the method of think-aloud, retrospective debriefing, focused interview and observing. As the result of analysis of the collected protocol through coding scheme, 4 types of process for scientific emotion-generating were sorted out. First type was a basic process which was a feeling process in prior to recognition. Second type was a retrospective process that explains the process of retrospect for emotional memory based on the past. Third type was a cognitive process and it explains emotion that occurs during thinking process to achieve cognitive goal. Fourth type was an attribution process and it explains that emotion is generated in the process of attribution for cognitive goal's achievement. These types of process of scientific emotion-generating can contribute the basis for developing cognitive model of EBL (Emotional Brain-based Learning) strategy.

• Journal of the Korea Convergence Society
• /
• v.11 no.9
• /
• pp.7-13
• /
• 2020

With the recent World Health Organization (WHO) Declaration of Pandemic for Coronavirus Disease-19 (COVID-19), COVID-19 is a global concern and many deaths continue. To overcome this, there is an increasing need for sharing information between countries and countermeasures related to COVID-19. However, due to linguistic boundaries, smooth exchange and sharing of information has not been achieved. In this paper, we propose a Neural Machine Translation (NMT) model specialized for the COVID-19 domain. Centering on English, a Transformer based bidirectional model was produced for French, Spanish, German, Italian, Russian, and Chinese. Based on the BLEU score, the experimental results showed significant high performance in all language pairs compared to the commercialization system.

• Annual Conference of KIPS
• /
• 2019.10a
• /
• pp.475-478
• /
• 2019

웹어플리케이션의 발전에 따라 자바스크립트 런타임 플랫폼인 Node.js 의 사용도 증가하고 있다. 개발자들은 Node.js 의 다양한 모듈을 활용하여 프로그래밍을 하게 되는데, Node.js 모듈 보안의 중요성에 비하여 모듈 취약점 분석은 충분히 이루어지지 않고 있다. 본 논문에서는 소스코드의 구조를 트리 형태로 표현하는 Abstract Syntax Tree 와 소스코드의 실행 흐름 및 변수의 흐름을 그래프로 나타내는 Control Flow Graph/Data Flow Graph 가 Node.js 모듈 취약점 분석에 효율적으로 활용될 수 있음을 서술하고자 한다. Node.js 모듈은 여러 스크립트 파일로 나누어져 있다는 점과 사용자의 입력이 분명하다는 특징이 있다. 또한 자바스크립트 언어를 사용하므로 선언된 변수들의 타입에 따라 적용되는 범위인 scope 가 다르게 적용된다는 특징이 있다. 본 논문에서는 이러한 Node.js 모듈의 특징을 고려하여 Abstract Syntax Tree 및 Control Flow Graph/Data Flow Graph 을 어떻게 생성하고 취약점 분석에 활용할 것인지에 대한 방법론을 제안하고, 실제 분석에 활용할 수 있는 코드 구현을 통하여 구체화시키고자 한다.