• 정보처리학회논문지D
• /
• 제8D권4호
• /
• pp.421-426
• /
• 2001

정형적 개발 방법론은 소프트웨어를 정확하고 체계적으로 개발하기 위하여 사용되며 시스템을 정형 명세 언어를 사용하여 맹세하고 이를 구현할 때까지 점진적으로 시스템을 구체화하는 방법으로 개발한다. VDM은 정형 명세 언어의 하나로서 set, sequence, map의 수학적 추상적 자료구조를 사용하여 시스템을 명세하는데 대부분의 프로그래밍 언어는 이런 자료구조를 가지고 있지 않다. 그러므로 이들 자료구조들의 변환이 필요하며 VDM의 수학적 자료구조들은 프로그래밍 언어의 자료구조인 연결 리스트로 변환 할 수 있다. 본 논문에서는 VDM의 set, sequence, map의 자료구조를 프로그래밍 언어의 자료구조인 연결 리스트로 변환하는 방법과 그 변환의 타당성을 수학적으로 증명하였다.

• 한국정밀공학회지
• /
• 제5권2호
• /
• pp.56-61
• /
• 1988

For the use of computer to store, modify and retieve technical data, GT coding system has been considered as one of the effective methods. Effective data management is important for Computer Intergrated Manufacturing. Based on actual data obtained from a hand-tool maker, a die/tool coding system is developed as an example and its data base is designed susing a linked list structure. It is suggested that industries use this method to make their own data base.

• 한국소프트웨어감정평가학회 논문지
• /
• 제15권1호
• /
• pp.115-121
• /
• 2019

지속적으로 확산되어져 가고 있는 블록체인 시스템과 블록체인 기반의 서비스 시스템의 구조를 분석하였다. 거래 쌍방 간의 신뢰 확보를 위한 제 3 자를 필요로 하지 않는, 분산화된 장부 암호화 시스템 소프트웨어 기술이다. 블록체인은 자료 구조적으로는 링크드 리스트 구조로 되어 있다. 블록체인은 거래 정보를 블록화 하여 다른 블록들과 연결해서 거래 정보를 관리한다. 해시 함수를 사용하여 블록화와 연결을 하게 된다. 결과적으로, 현재의 블록체인 시스템과 블록체인 기반의 서비스 시스템의 구조적 취약성을 발견하였다. 본 논문에서 제시한 블록체인 시스템과 블록체인 기반의 서비스 시스템의 구조적인 문제점 등이 해결되어지게 되면, 다양한 산업적 기여가 예상된다.

• 한국통신학회논문지
• /
• 제23권5호
• /
• pp.1397-1408
• /
• 1998

미래의 통신 망을 위한 서비스 망들은 ATM을 기반으로 하는 B-ISDN 망으로 통합될 것이며 이러한 서버스 망들은 사용자 요구 서비스를 제어하기 위한 신호 전달 망으로 공통선 선호 방식을 사용하게 된다. 이에 따라, ITU-T 에서는 기존의 N-ISDN 공통선 신호의 MTP 신호 계층을 대신하여 B-ISDN 선호 계층들이 권고되었다. 본 논문 에서는 B-ISDN 공중망의 ATM 교환 시스탬에 구현된 공통선 선호 기능에 대해 각 선호 계층별 특성, 기능 및 실현 구조등을 제안하고 성능을 분석하였다. SAAL 계층은 linked-list와 단위 프레임 길이를 사용하는 SSCOP 송수신 버퍼 구조를 제안하고 성능을 분석하였으며, MTP-3b 계층에 대해서도 ATM 교환 시스템 구조에 따른 실현 구조 및 내부 라우팅 방법을 제안하고 그 성능을 분석하였다. 또한, B-ISDN 도입 초기에 나타나는 기존의 N-ISDN 망과 B-ISDN의 SS No.7 연동에 대한 효율적인 연동 구조로서 회선 관련 신호망은 대응 모드만을 사용하는 ISUP/B-ISUP 레벨 연동을 제안하였다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2005년도 추계종합학술대회
• /
• pp.627-630
• /
• 2005

본 논문은 웹기반 게임 소프트웨어로써 3차원 레이싱 게임 개발에 대한 논문이다. 웹을 이용한 클라이언트 접속자는 자바 애플릿을 이용하여 웹상에서 접근 가능하고 JAVA Bytecode의 다운로드에 의해 각 클라이언트 접속자의 하드웨어시스템에 무관하게 작동가능하다. 소프트웨어 구성은 뷰 포트 및 GUI 사용자 인터페이스기, 초기 공간 생성기, 이벤트 처리기, 쓰레드 관리기, 결과 분석기로 크게 5개의 부분으로 되어 있다. 뷰 포트 내의 백그라운드 이미지를 삽입할 수 있도록 하여 사용자에게 지역적인 관광 정보다 특정 홍보 이미지의 전달을 용이하게 하는데 응용이 가능하도록 이용할 수 있다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1987년도 전기.전자공학 학술대회 논문집(II)
• /
• pp.1577-1580
• /
• 1987

This paper proposes a gate and functional level logic simulator which can be run on XENIX O.S. The simulator has hierarchical structure including Hardware Description Language compiler, Waveform Description Language compiler, and Simulation Command Language compiler. The Hardware Description Language compiler generates data structure composed of gate structure, wire structure, condition structure, and event structure. Simulation algorithm is composed of selective trace and event-driven methods. To improve simulation speed, Cross Referenced Linked List Structure ia defined in building the data structure of circuits.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제4권9호
• /
• pp.327-336
• /
• 2015

모바일 환경에서의 게임 서버는 클라이언트의 요청을 처리하는 버퍼를 생성하기 위해 일반적으로 동적 메모리 할당을 빈번하게 수행한다. 이는 시스템에 부하를 가중시키고 메모리 단편화를 발생시키게 되어 게임 서버의 성능을 저하시킨다. 본 논문에서는 이러한 문제를 해결하기 위해 고정크기 메모리 풀 관리 방법을 제안한다. 제안하는 방법에서의 메모리 풀은 원형 연결 리스트 형태의 순차적 메모리 구조를 가지며, 이를 통해 게임 서버에서의 메모리 단편화 문제를 해결하고, 메모리 할당과 해제를 위해 필요한 메모리 블록의 탐색 시간 비용을 줄일 수 있다. 실험에서는 제안하는 방법과 잘 알려진 오픈소스 메모리 풀 라이브러리(boost) 기반의 메모리 풀 관리방법을 이용하여, 동적 할당을 수행할 때의 성능평가를 통해 해당 기법의 효율성을 보이도록 한다.

• 한국인터넷방송통신학회논문지
• /
• 제23권1호
• /
• pp.163-170
• /
• 2023

본 논문은 제조설비의 자율제어와 상태판별 알고리즘을 위한 시멘틱 모델링 기술에 대해 소개한다. 디지털 트윈 기술과 스마트 팩토리의 다양한 ICT 기술의 발전으로 제조업은 새로운 생산 관리모델이 구축되고 있다. 발전된 스마트 제조기술을 바탕으로 상태판별 알고리즘은 자율제어와 공장 내의 설비 문제를 빠르게 파악하고 대처하기 위한 방법론으로 제시되었다. 그러나 기존의 상태판별 알고리즘은 사용자 또는 관리자에게 그리드 맵을 통해 주요 정보를 알려주고, 이에 대처하는 방향으로 제시되었다. 하지만 스마트 제조기술의 고도화와 방향성은 유연 생산과 소비자 니즈에 맞춘 생산등으로 다변화 하고 있다. 이에 따라 본 논문에서는 시멘틱 기반의 Linked List 자료구조를 이용하여 공장을 설계 구축하고 그래프 기반 정보를 통해 사용자 또는 관리자에게 필요한 정보만을 제공하여 관리의 효율성을 높일 수 있는 기술을 소개한다. 이러한 방법론은 유연 생산과 다품종 소량 생산 등에 적합한 구조로 활용될 수 있다.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 1998년도 추계학술대회 논문집
• /
• pp.63-66
• /
• 1998

In the implementation of the simplex method program, the representation and the maintenance of basis matrix is very important, In the experimental study, we investigates Suhl's idea in the LU factorization and LU update of basis matrix. First, the triangularization of basis matrix is implemented and its efficiency is shown. Second, various technique in the dynamic Markowitz's ordering and threshold pivoting are presented. Third, modified Forrest-Tomlin LU update method exploiting sparsity is presented. Fourth, as a storage scheme of LU factors, Gustavson data structure is explained. Fifth, efficient timing of reinversion is developed. Finally, we show that modified Forrest-Tomlin method with Gustavson data structure is superior more than 30% to the Reid method with linked list data structure.

• 경영과학
• /
• 제15권1호
• /
• pp.49-62
• /
• 1998

The purpose of this paper is to develope a large-scale simplex method program LPAKO. Various up-to-date techniques are argued and implemented. In LPAKO, basis matrices are stored in a LU factorized form, and Reid's method is used to update LU maintaining high sparsity and numerical stability, and further Markowitz's ordering is used in factorizing a basis matrix into a sparse LU form. As the data structures of basis matrix, Gustavson's data structure and row-column linked list structure are considered. The various criteria for reinversion are also discussed. The dynamic steepest-edge simplex algorithm is used for selection of an entering variable, and a new variation of the MINOS' perturbation technique is suggested for the resolution of degeneracy. Many preprocessing and scaling techniques are implemented. In addition, a new, effective initial basis construction method are suggested, and the criteria for optimality and infeasibility are suggested respectively. Finally, LPAKO is compared with MINOS by test results.