• 정보과학회 논문지
• /
• 제43권5호
• /
• pp.569-578
• /
• 2016

PLC (Programmable Logic Controller)는 원자력 발전소의 디지털 제어시스템의 개발을 위해 널리 사용되어왔지만 복잡성의 증가와 유지보수 비용 등의 문제로 인해 FPGA (Field Programmable Gate Array) 기반 제어시스템이 대안으로 떠오르고 있다. 하지만 PLC 개발자가 FPGA 기반 제어시스템을 개발하기 위해서는 FPGA 개발을 위한 언어를 사용해야 하고 기존의 PLC 개발에서 획득한 노하우 및 지식의 재사용을 어렵게 만든다는 등의 문제가 발생한다. 본 논문에서는 이와 같은 문제를 해결하기 위해서 PLC 소프트웨어 개발을 위한 언어 중 하나인 FBD (Function Block Diagram)를 FPGA 개발을 위한 하드웨어 기술 언어 중 하나인 VHDL로의 자동 변환을 위한 방법과 이를 기반으로 개발한 자동 변환 도구인 FBDtoVHDL을 소개한다. 본 연구에서 소개하는 FBDtoVHDL 도구를 사용하여 FBD를 VHDL로 자동 변환함으로써 PLC 개발자는 하드웨어 기술 언어에 대한 지식이 없이도 FPGA 개발하는 것이 가능하다.

• 한국컴퓨터정보학회논문지
• /
• 제1권1호
• /
• pp.171-182
• /
• 1996

본 연구는 매직아이(Magic Eye)라고도 불리는 스테레오그램(Stereogram)의 원리를 분석하고, 알고리즘(Algorithm)화하여 사용자가 제작한 밑그림을 컴퓨터 상에서 3차원 스테레오그램으로 자동변환 할 수 있는 매직아이 시스템 석계 덴 구현에 관한 것이다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제41권7호
• /
• pp.501-517
• /
• 2014

이진 변환은 특정 장치에서 동작하도록 구성된 프로그램을 다른 장치에서 동작할 수 있도록 재구성하는 과정을 말한다. 이진 변환을 수행하기 위해서는 두 장치 사이의 변환 규칙을 생성하는 것이 매우 중요하다. 변환 규칙을 생성하는 방법은 직접 매핑과 간접 매핑으로 나뉜다. 직접 매핑은 성능을 위한 방법인 반면, 간접 매핑은 재목적성을 위한 방법이다. 본 논문에서는 임베디드 시스템에 적합한 직접 매핑 기반의 이진 변환을 수행한다. 그렇지만 재목적성 역시 중요한 요구사항이기 때문에, 재목적성을 고려한 직접 매핑 기반의 이진 변환 방법을 제안한다. 또한 제안된 방법을 바탕으로 자동으로 변환 규칙을 생성하는 도구를 구현한다. 이 방법을 통해서 성능과 재목적성을 모두 고려한 변환 규칙을 생성할 수 있으며, 더 나아가 이진 변환을 수행하는데 소요되는 비용을 줄일 수 있다.

• Journal of information and communication convergence engineering
• /
• 제20권3호
• /
• pp.189-194
• /
• 2022

As non-face-to-face activities have become commonplace, online video conferencing platforms have become popular collaboration tools. However, existing video conferencing platforms have a structure in which one side unilaterally exchanges information, potentially increase the fatigue of meeting participants. In this study, we designed a video conferencing platform utilizing virtual reality (VR), a metaverse technology, to enable various interactions. A virtual conferencing space and realistic VR video conferencing content authoring tool support system were designed using Meta's Oculus Quest 2 hardware, the Unity engine, and 3D Max software. With the Photon software development kit, voice recognition was designed to perform automatic text translation with the Watson application programming interface, allowing the online video conferencing participants to communicate smoothly even if using different languages. It is expected that the proposed video conferencing platform will enable conference participants to interact and improve their work efficiency.

• Nuclear Engineering and Technology
• /
• 제41권1호
• /
• pp.79-90
• /
• 2009

Verification of programmable logic controller (PLC) programs written in IEC 61131-3 function block diagram (FBD) is essential in the transition from the use of traditional relay-based analog systems to PLC-based digital systems. This paper describes effective use of the well-known verification tool VIS for automatic verification of behavioral equivalences between successive FBD revisions. We formally defined FBD semantics as a state-transition system, developed semantic-preserving translation rules from FBD to Verilog programs, implemented a software tool to support the process, and conducted a case study on a subset of FBDs for APR-1400 reactor protection system design.

• 한국정보처리학회논문지
• /
• 제6권4호
• /
• pp.1136-1142
• /
• 1999

통상 자동 검사 장치에 있어 대상체가 기준점에서 이동되거나, 크기가 일정한 배율로 확대 축소되거나, 회전되어있을 때에 대상체를 인식 판별하데 어려움이 존재한다. 본 논문에서는 이동, 배율, 회전에 무관한 검사 장치 구현을 위해 로그 적분 변환을 정의하고 그의 특성을 고찰하여 기존의 검사 방법과 비교한다. 로그 적분 변환의 주요한 특성인 배율과 회전에 무관하게 대상체를 인식할 수 있는 특성을 이용하므로 기존 시스템에서 회전 정보 추출을 위한 노력을 감쇄시킬 수 있다. 이동, 배율 및 회전된 물체의 불량 검사에 새로운 방법으로 로그 적분 변환의 적용을 제안하고 이에 따른 인식률 실험을 수행한다. 물론 기존 시스템에서는 배율과 회전에 무관한 조건을 동시에 만족시킬 수 없었다. 불량 검사 실험 결과에 있어 기존의 신경망을 이용한 기존 시스템에 비해 최적의 수준에는 도달하지는 못했지만 로그 적분 변환이 배율과 회전을 동시에 충족시킬 수 있는 변환으로서 사용 가능성을 얻을 수 있었다.

• 한국컴퓨터정보학회논문지
• /
• 제14권1호
• /
• pp.191-203
• /
• 2009

유비쿼터스 컴퓨팅 환경에서 실시간의 상황을 고려한 동적인 서비스를 제공하기 위하여 이전 연구를 통해 메타서비스 개념과 기술 규격, 메타서비스 라이브러리 구축 방법을 제안한 바 있다. 하지만, 제안한 프로세스는 각 단계에서 UML, OWL, OWL-S 기반의 분리된 모델을 생성하게 되고 모델간의 변환을 위한 일정한 체계를 제공하지 못하고 있다. 게다가, 다양한 온톨로지 언어와 온톨로지 편집 도구들, 제안한 메타서비스 규격에 대한 전문가의 개입을 전제로 한다. 본 연구에서는, 비전문가도 일관된 모델을 생성하고 메타서비스 라이브러리를 구축할 수 있도록 OWL 형식의 도메인 온톨로지에서 OWL-S 형식의 메타서비스 라이브러리로의 자동 변환 프로세스를 설계하고 이를 지원할 수 있는 시각 도구를 개발한다. 메타서비스 라이브러리 변환 프로세스는 일관성을 유지하면서 기존의 OWL 모델과 메타서비스모델을 조합하여 메타서비스 라이브러리에 대한 OWL-S 코드를 자동으로 생성하는 것을 목표로 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (B)
• /
• pp.363-365
• /
• 2000

본 논문은 영/한, 한/영 자동 번역용 대용량 번역 지식의 효과적인 관리를 위한 시스템 개발이다. 현재 개발 중의 ETRI의 영/한, 한/영 자동 번역 시스템의 개발 환경을 분석하고, gdbm 기반의 번역지식관리의 문제점을 정리하였다. 본 논문에서 제시한 번역 지식 관리 시스템은 클라이언트/서버 구조를 가지는 MS SQL 서버 기반의 시스템이다. 번역 지식은 관계형 DB로 모델링하여 스키마를 설계하고 구현하였다. 관리 시스템에는 기존에 gdbm 파일로 구축해 놓은 지식을 번역지식 DB로 변환하기 위한 이전 도구, 번역지식 DB에 저장된 번역 지식을 검색하기 위한 검색 도구, 번역지식의 삽입, 삭제, 변경을 지원하는 구축도구로 구성된다.

• 한국컴퓨터정보학회논문지
• /
• 제18권1호
• /
• pp.123-136
• /
• 2013

시각적이고 비정형적인 구조로 표현된 휘처 모델(Feature model)은 구문적 명확성을 보장할 수 없고, 자동화 툴(tool)에 의한 구문(syntax)의 검증이 어렵다. 따라서, 휘처 모델이 가진 구조물의 구문적 명확성을 입증하기 위한 정형적 명세와 모델 검사(model checking)가 필요하다. 본 논문은 Z 언어를 이용한 휘처 모델의 정형적 명세와 모델 검사를 통해서, 휘처 모델의 정확성을 검사하는 기법을 제시한다. 이를 위해, 휘처 모델과 Z간 변환 규칙을 정의하고, 이 규칙에 의거하여 휘처 모델의 구문에 대해 Z 스키마(schema)로 명세한다. 모델 검사는 Z 스키마 명세에 대해 Z/Eves 툴을 사용하여 구문, 타입 검사(type checking), 그리고 도메인 검사(domain checking)를 수행하여 모델의 모호성을 검사한다. 이로서, 휘처 모델의 구조물을 좀더 명확하게 표현할 수 있으며, 설계된 모델의 오류를 검사할 수 있다.

• Geomechanics and Engineering
• /
• 제7권1호
• /
• pp.37-53
• /
• 2014

A Web-based pile load test (WBPLT) system was developed and implemented in this study. Object-oriented and concept-based software design techniques were adopted to integrate the pile load test database into the system. A total of 673 case histories of pile load test were included in the database. The data consisted of drilled shaft and driven precast concrete pile axial load tests in drained, undrained, and gravel loading conditions as well as pre-analyzed data and back-calculated design parameters. Unified modeling language, a standard software design tool, was utilized to design the WBPLT system architecture with five major concept-based components. These components provide the static structure and dynamic behavior of system message flows in a visualized manner. The open-source Apache Web server is the building block of the WBPLT system, and PHP Web programming language implements the operation of the WBPLT components, particularly the automatic translation of user query into structured query language. A simple search and inexpensive query can be implemented through the Internet browser. The pile load test database is helpful, and data can be easily retrieved and utilized worldwide for research and advanced applications.