• 정보처리학회논문지D
• /
• 제15D권3호
• /
• pp.327-336
• /
• 2008

XML을 이용한 사용자 인터페이스(UI : User Interface)명세에 관한 연구로 다양한 UI 명세언어(UIDL : User Interface Description Language)들이 등장하였다. 기존의 UIDL들은 웹과 데스크톱 어플리케이션의 UI 명세를 지원하지만, 모바일 어플리케이션을 위한 명세는 지원하지 않는다. 본 논문에서는 자바의 모바일 플랫폼인 J2ME(Java Platform, Micro Edition)의 응용 모델인 MIDlet UI 명세를 위한 MIML(Midlet Interface Markup Language)을 제안한다. 제안한 MIML로부터 MIDlet의 UI와 관련된 자바 코드를 자동으로 생성하기 위한 규칙을 제안하고, 이를 이용하여 MIML을 자동으로 자바코드로 만들어주는 J2MERenderer를 구현하였다. 제안한 MIML은 모바일 UI 명세의 효율성을 제공하고, J2MERenderer는 모바일 어플리케이션의 UI 개발에 생산성과 일관성을 유지하도록 도와준다.

• 대한전자공학회논문지SD
• /
• 제44권6호
• /
• pp.83-88
• /
• 2007

본 논문에서는 유기발광다이오드 구동 IC의 기능을 검증하기 위하여 PLI(Programing Language Interface)를 이용한 검증방법을 제안한다. 기능 검증을 하기 위하여 HDL(Hardware Description Language) 시뮬레이터와 PLI, GUI(Graphic User Interface) 환경의 이미지 뷰어를 이용한다. 본 논문에서 제안하는 유기발광다이오드 구동 IC의 기능 검증 방법을 이용 할 경우 종래의 기능 검증 방법을 이용 할 때 보다 40배의 실행 시간 이득을 얻을 수 있다. 제안한 방법을 이용할 경우 디스플레이 구동 IC의 설계 단계에서 기능 검증을 효율적으로 할 수 있을 것이다.

• 대한전자공학회논문지
• /
• 제24권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.

• 정보처리학회논문지C
• /
• 제11C권4호
• /
• pp.471-484
• /
• 2004

현재 차세대 인터넷 IPv6 네트워크의 보안을 위한 IPsec(IP Security)의 구현에 대한 연구가 매우 활성화 되고 있는 추세이다. 그러나 현재 IPv6 네트워크 계층의 보안성을 평가하기 위한 자동화된 도구나 평가 방법론 등에 관한 연구는 매우 미진한 상황이다 본 논문에서는 IPv6 기반 IPsec이 적용된 보안 시스템의 보안성을 평가하기 위해, 보안성 평가 항목을 정의할 수 있는 평가규칙표기언어를 설계하고 평가규칙표기언어를 이용하여 정의된 평가규칙을 해석하고 실행하기 위한 평가규칙 처리 도구를 제안한다. 평가규칙 처리도구는 사용자 인터페이스 부, 평가규칙 모듈 부, DBMS부로 구성되며 평가 대상 시스템에 탑재된 에이전트와의 협력을 통해 평가를 수행하는 구조를 갖는다.

• 정보처리학회논문지D
• /
• 제12D권7호
• /
• pp.979-984
• /
• 2005

많은 웹 기반 정보시스템은 여러 가지 클라이언트 장치와 사용자들, 사용자 작업에 대한 시스템의 유저 인터페이스에 관한 적응을 요구한다. 본 논문에서는 개발자가 고수준 마크업 언어를 사용하여 웹 기반 인터페이스를 명세 할 수 있는 웹 기반 정보시스템에 적합한 클라이언트인터페이스를 제공하기 위한 새로운 접근방법을 제시하고자 한다. 단일 인터페이스 명세는 실행 시에 다중 웹 장치에 대한 인터페이스를 자동으로 제공하기 위한 것이다. 본 접근방법은 개발자들이 웹 기반 유저 인터페이스를 현재 다른 접근 방법들보다 더 쉽게 구성하고 유지할 수 있게 할 것이다.

• 정보관리학회지
• /
• 제25권4호
• /
• pp.43-66
• /
• 2008

시맨틱 웹 기술의 제안과 더불어 다양한 분야에 온톨로지의 특징을 적용한 기술 개발 연구가 많이 진행되고 있다. 인간이 소유한 개념을 가장 적절하게 표현하기 위해 현재에도 OWL, RDF와 같은 온톨로지 언어의 표현력을 확장시키기 위해 N-ary 관계나 모델-이론 의미론과 같은 개발이 진행되고있다. 본 연구는 한국어에 있어 문장이 내포하는 의미를 정확하게 결정하기 위해 문장의 구조에 따라 달라지는 단어의 의미를 연관할 수 있도록 N-ary 관계와 디자인 기반이 적용된 온톨로지의 지식 표현 방법을 연구하였다. 특히 다양한 지식 영역을 포함하는 다의어(polysemy)와 동의어(synonym)의 특징을 갖는 단어에 있어 각 지식 영역으로 분류되어 각 지식 영역에 있는 유사한 의미를 가진 단어로 확장되어 유사한 의미를 가진 단어가 포함된 문장의 경우 까지도 확장할 수 있는 표현 방법을 연구하였다. 연구의 검증을 위해 사용자가 입력한 병증 문장을 제안된 방법에 따라 구축된 온톨로지내 지식 관계와 의미 결정을 위한 추론 표현 방법을 이용하여 병증의 의미를 결정하고 그에 따른 진단을 제공하는 실험 시스템을 구현하였고, 한국어가 갖고 있는 문장의 유의성, 모호성, 복합성 의 특징을 보유한 증상문들의 실험 결과 의미 결정과 유사 의미 확장에 있어 우수한 성능을 보여주었다.

• 전자공학회논문지A
• /
• 제29A권4호
• /
• pp.83-90
• /
• 1992

The state machine synthesizer is widely used to FSM synthesis. In this paper, we developed the state machine description language "state CHDL" such as IF, THEN, ELSE, SWITCH, CASE statements. Also, an algorithm for efficient state minimization and two level minimizer of FSM and graphical user interface-pin map window, supporting the designer with input-ouput effency, are presented.

• 전자공학회논문지A
• /
• 제29A권9호
• /
• pp.76-84
• /
• 1992

The DSP silicon compiler consists of language compiler, module generator, placement tool, router, layout generation tools, and simulator. In this paper, The language compiler, the module generator, placement tool, and simulator were developed and provided for the system designer. The language compiler translates the designer's system description language into the intermediate form file. The intermediate form file expresses the interconnections and specifications of the cells in the cell library. The simulator was developed and provided for the behavioral verification of the DSP system. For its implementation, the event-driven technique and the C$^{++}$ task library was used. The module generator was developed for the layout of the verified DSP system, and generates the functional block to be used in the DSP chip. And then the placement tool determines the appropriate positions of the cells in the DSP chip. In this paper, the placement tool was implemented by Min-Cut and Simulated Annealing algorithm. The placement process can be controlled by the several conditions input by the system designer.

• 대한전자공학회논문지
• /
• 제23권6호
• /
• pp.908-915
• /
• 1986

In this paper, an English-Korean machine translation system which consists of a syntax analyzer, a semartic analyzer and a sentence generatodr is proposed. The intermediate language in the syntax analysis is described by a lambda categorial grammar that is based on Montague Grammar, and the augmented context free grammar is introduced in the description of object language. Much difficulty in constructing general rules and semantic representations of an object language in the parser can be avoided by using the knowledge from the user interface utility that can modify the contents of dictionary and grammar rules.

• 한국정보시스템학회지:정보시스템연구
• /
• 제15권1호
• /
• pp.1-20
• /
• 2006

Peer-to-peer systems (P2P) are rapidly growing in importance on the Internet environment, quickly extending the range of their usage. However, peer-to-peer systems have not been widely applied in electronic commerce because they have not been established as an appropriate business model. Therefore, we firstly review the previous research relevant to peer-to-peer systems, and then analyze the business models for P2P systems presented by previous researchers. Furthermore, this study categorizes major issues in terms of the technical and business model aspects. On the basis of these reviews, we develop P2P electronic commerce systems based on the file sharing method between users, focusing on user interface friendliness. A developed P2P electronic commerce systems are programmed by using the C# based on the Microsoft.net solution. A database is implemented using the MSSQL2000. A main application technology is designed that P2P electronic commerce systems make it possible. for user to extend into BtoB Solution by using WSDL (Web Services Description Language), UDDI (Universal Description, Discovery, and Integration) and the XML that is a document for users. User interface is made as form of Internet messenger for a user's convenience and is possible to develop into a commodity transaction system based on XML. In this study, it is possible for the P2P electronic commerce system to have extended application to fields such as Internet shopping mall and property transaction in a nonprofit organization, a public institution and a large scale nonprofit institution that have a similar structure as compared with a structure of a nonprofit educational institution.