• Journal of the Korean Institute of Telematics and Electronics
• /
• v.24 no.3
• /
• pp.425-432
• /
• 1987

The microprogram is the key technology of the implementation of the processor's control unit. But the coding and testing it is the most tedious process in the developing a new computer system. We developed the conversational micro architecture simulator(C-MAS) in order to use it as a microprogram development tool and a run time analyzer of the microprogram. We discuss the hardware description language(HDL) for a smulation, the design constraints of the C-MAS, and the user interface of it in this paper. We used the C language as the description language, and developed it on the berkeley UNIX4.2.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.23 no.3
• /
• pp.327-339
• /
• 1986

In this paper, a hardware compiler for symbolic description language(SDL) is proposed for logic design automation. Lexical analysis is performed for SDL which describes the behavioral characteristics of a digital system at the register transfer level by the proposed algorithm I. The algorithm I is proposed to get the expressions for the control unit and for the data transfer unit. In order to obtain the network description language(NDL) expressions equivalent to gate-level logic circuits, another algorithm, the the algorithm II, is proposed. Syntax analysis for the data formed by the algorithm I is also Performed using circuit elements such as D Flip-Flop, 2-input AND, OR, and NOT gates. This SDL hardware compiler is implemented in the programming language C(VAX-11/750(UNIX)), and its efficiency is shown by experiments with logic design examples.

• Journal of KIISE:Databases
• /
• v.32 no.2
• /
• pp.111-119
• /
• 2005

Electronic catalog contains ich semantics associated with products, and serves as a challenging practical domain for ontology application. Ontology is concerned with the nature and relations of being. It can play a crucial role in e-commerce as a formalization of e-Catalogs. Description Logics provide a theoretical core for most of the current ontology languages. In this paper, we present an ontological model of e-Catalogs in DL. We take an Extended Entity Relationship approach for conceptual modeling method, and present the fundamental set of modeling constructs and corresponding description language representation for each construct. Additional semantic knowledge can be represented directly in DL. Our modeling language stands within SHIQ(d) which is known reasonably practical with regard to its expressiveness and complexity. We illustrate sample scenarios to show how our approach may be utilized in modeling e-Catalogs, and also implement the scenarios through a DL inference tool to see the practical feasibility.

• English Language & Literature Teaching
• /
• v.9 no.1
• /
• pp.173-187
• /
• 2003

This paper proposes a semantic description of the English nominal relatives with a knowledge representation framework of Conceptual Graphs(CGs), which is a computer-oriented form of interlanguage from the Conceptual Structures Theory. This paper focuses on the difference between definite and universally quantified meaning of nominal relatives, on the compound relative clauses, and also on the difference between nominal relative clauses and interrogative clauses.

• English Language & Literature Teaching
• /
• v.12 no.2
• /
• pp.41-59
• /
• 2006

As the late partner to science fiction, various experimental languages such as animal language, telepathic language, newly invented language, alien language often appear as "unexpected and frightened situations" in SF. Like generative semanticists, some SF writers daringly delve into the sacred mystery of semantics in language whereas others avoid the dream of a universal language by holding themselves to manageable data. Samuel Delany's description of the ideal telepathic universal language in Babel 17 shows us humans' dream to be like God by showing to us the new process of communication in the factual interplanetary environment. Similar to the mystery of alien language in SF, the baby's babbling reveals how language is both simple and complicated. Children's language shows us the changing process of a soul revealed by language use and it is no wonder that many languages of AIs in SF often borrow their source from children's language acquisition processes. In short, science fiction as the repository of tropes illuminates other literary language studies and other literary genres. Especially in terms of the futuristic study of linguistics, the relationship between science fiction and linguistics is much closer than we thought.

• Journal of the Korean BIBLIA Society for library and Information Science
• /
• v.23 no.4
• /
• pp.25-44
• /
• 2012

This study analyzed the current condition of authority control, introduced the MADS(Metadata Authority Description Schema) for authority data. MADS supports encoding an authority description for a agent(person, organization), event, term(topic, temporal entity, genre, geographic entity, hierarchical geographic entity, occupation) and defines main elements, subelements, and attributes using the XML schema language. Lastly, using the MADS's characteristics, this study proposed the effective use plans of interoperability of authority data.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.14 no.5
• /
• pp.1185-1192
• /
• 2010

Recently, the demand for various contents and mobile web service has been rising due to the improvement of the techniques of wireless networks. In mobile web service, it is essential to exchange the device informations and contents using specific information which are standardized for users, operators and contents providers. This is based on the existing service providers based on the existing terminal, which provides information to help plan and operate independently of the mobile Web services and content services for various users needs. In this paper, the interoperable DDL is proposed for providing contents to fit with each different mobile device, which contributes toward the optimized mobile web service and guarantee the interoperability of device information. and we implemented the device information processing system, which has the purpose of servicing the device information and verifying the result to the interoperability of mobile web service on proposed DDL and the description language of the device information.

• The Transactions of the Korean Institute of Electrical Engineers D
• /
• v.55 no.10
• /
• pp.464-470
• /
• 2006

In this paper, we develop a descriptor based on binary ECG conversion system that supports the conversion of a binary ECG format into XML-based HL7 aECG for the interoperability of ECG. HL7 aECG is a XML based standard for interoperability of ECG waveform. For the conversion of variety of ECG formats, we propose a binary ECG description mechanism. In order to describe binary ECG more efficiently, we develop a XML-based Binary ECG Description (BED) Language. One of the powerful features of using the XML-based ECG Description mechanism is that ECG data can read from various formats without the modification of source code of conversion system, and consequently it reduces conversion system maintenance costs.

• KIPS Transactions on Software and Data Engineering
• /
• v.10 no.4
• /
• pp.133-142
• /
• 2021

With the recent advancements of deep learning, companies such as smart home, healthcare, and intelligent transportation systems are utilizing its functionality to provide high-quality services for vehicle detection, emergency situation detection, and controlling energy consumption. To provide reliable services in such sensitive systems, deep learning models are required to have high accuracy. In order to develop a deep learning model for analyzing previously mentioned services, developers should utilize the state of the art deep learning models that have already been verified for higher accuracy. The developers can verify the accuracy of the referenced model by validating the model on the dataset. For this validation, the developer needs structural information to document and apply deep learning models, including metadata such as learning dataset, network architecture, and development environments. In this paper, we propose a description language that represents the network architecture of the deep learning model along with its metadata that are necessary to develop a deep learning model. Through the proposed description language, developers can easily verify the accuracy of the referenced deep learning model. Our experiments demonstrate the application scenario of a deep learning description document that focuses on the license plate recognition for the detection of illegally parked vehicles.

• Proceedings of the IEEK Conference
• /
• 2008.06a
• /
• pp.427-428
• /
• 2008

본 논문에서는 IEEE 802.11 MAC Layer의 Reception, Transmission 검증을 위해 PLI (Programing Language Interface)를 이용한 방법을 제안한다. PLI를 이용한 검증은 시스템 Level의 검증으로써 설계단계에서 문제점을 확인하고 수정할 수 있다. 그러므로 불필요한 개발비의 낭비를 줄일 수 있고 개발 기간 단축의 효과를 거둘 수 있다. 검증을 위해 Mentor Graphics 사의 HDL (Hardware Description Language) 시뮬레이터인 Modelsim 6.1g Version을 사용하고 PLI를 이용하여 검증 환경을 구축한다.