• 한국통신학회논문지
• /
• 제39B권6호
• /
• pp.387-396
• /
• 2014

최근 SDN (Software Defined Networking) 기반의 다양한 네트워크 제어 및 관리 플랫폼들이 서비스제공자 및 통신사업자들에 의해 연구되고 있다. SDN의 중요한 특징 중 하나는 소프트웨어 프로그램으로 작성된 간단한 응용에 의해 네트워크가 쉽게 제어되고 관리된다는 점에 있다. 이러한 관점에서 잘못 작성된 SDN 응용은 네트워크 전체에 오류를 발생시킬 수 있어, 해당 응용은 작성된 오픈플로우 포워딩 규칙(rule)을 SDN 컨트롤러(controller)를 통해 스위치에 반영하기 전에 토폴로지와 네트워크 환경의 안전성(safety)과 일관성(consistency)이 반드시 검증되어야 한다. 본 논문에서는 SDN 응용 검증을 위한 프로세스 알지브라 (process algebra) 기반의 언어인 pACSR (Packet based Algebra of Communicating Shared Resources)와 이를 기반으로 한 정형 검증 프레임워크를 제안하고, 이에 대한 SDN 정형검증 도구 연구시제품 구현 현황을 기술한다.

• 한국정보처리학회논문지
• /
• 제7권2호
• /
• pp.347-354
• /
• 2000

이 논문에서는 공동제작 시스템에서의 동시성 제어와 쓰기 권한 제어를 위한 효율적인 방안을 제시한다. 본 연구에서 다루는 공동젖작시스템의 문서는 논리 객체들로 구성된 트리 구조와 트리 구조의 단말에 연결된 내용 조작들로 표현된다. 이러한 문서의 논리구조를 다루는 공동저작 시스템의 동시성 제어 기법을 우리는 계층적으로 구성된 객체들에 대해 각 계층별로 잠금을 요청할 수 있는 다중 잠금(multiple granularity locking) 기법을 확장하는 접근을 채택하였다. 계층적으로 구성된 객체들에 대한 연산을 세분화하여 잠금 호환 테이블(locking compatibility table)을 정의하고, 이 테이블을 기반으로 잠금을 허락하는 확장된 다중 장금(extended multiple granularity locking) 기법을 제안한다. 이 기법은 여러 사용자들의 공유 객체에 대한 동시 접근을 극대화하는 장점이 있다. 또한 이 논문에서는 그룹/비그룹(Group/Non-Group) 개념을 적용하여 비그룹 사용자들의 쓰기를 방지함으로써 매우 합리적으로 저작권을 보호할 수 있는 쓰기 권한 기법을 제안한다.

• 한국컴퓨터정보학회논문지
• /
• 제27권11호
• /
• pp.1-11
• /
• 2022

본 논문에서는 블록체인 환경에서 상호간 데이터를 안전하게 공유하기 위한 NFT 기반의 접근 제어 방안을 제안한다. 기존의 블록체인에 기록되는 모든 데이터는 기술 특성상 누구나 접근할 수 있기 때문에 민감한 데이터를 공유하는 경우에는 인가받은 사람 외에는 접근을 제어할 필요가 있다. 이를 위해서 제안하는 방안에서는 각 데이터를 NFT로 발행하고, 컨트랙트를 통해 데이터에 대한 접근을 제어한다. 또, 기존의 NFT가 가지는 단일 소유권의 한계를 극복하기 위해 소유권과 사용권으로 개념을 분리하여 사용자간 데이터를 안전하게 공유할 수 있도록 한다. 소유권은 원본 NFT로 발행하고, 사용권은 사본 NFT로 발행하여 관리하며, NFT로 발행되는 모든 데이터는 암호화된 후 업로드가 진행되기 때문에 반드시 접근 제어가 이루어지는 스마트 컨트랙트를 통해서만 데이터의 공유가 가능하다. 이러한 접근 방안을 검증하기 위해 BIM(Building Information Modeling) 데이터 거래라는 가상의 시나리오를 설정하고, 접근 제어가 필요한 32가지 함수 호출 시나리오를 만족하는 스마트 컨트랙트를 구성하였다. 또한, 무차별 대입을 통한 복호화 공격 가능성을 고려하여 이에 대한 안정성을 평가하였다. 이를 통해 블록체인 환경에서 안전하게 개인 간 데이터를 공유할 수 있음을 확인하였다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1993년도 한국자동제어학술회의논문집(국내학술편); Seoul National University, Seoul; 20-22 Oct. 1993
• /
• pp.607-612
• /
• 1993

In this paper, a heuristic procedure is presented which first determines the positions of adding storage tank. Then a nonlinear programming is formulated to obtain their optimum size. Flexible utilization(shared equipment) of storage tank is suggested. The effectiveness of this method is verified by solving two literature problems.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 2005년도 추계학술발표회
• /
• pp.1069-1070
• /
• 2005

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2011년도 춘계학술대회 논문집
• /
• pp.415-416
• /
• 2011

• 설비공학논문집
• /
• 제14권4호
• /
• pp.350-357
• /
• 2002

Optimal control algorithms for the full storage ice cooling system were developed by using a dynamic simulation program. Control algorithms for the storage charging mode were developed for the chiller outlet temperature setpoint control and the chiller capacity control. Control algorithms for the storage discharging mode were developed for the proper mode selection, the storage-only mode control, and the storage-priority chiller-shared mode control. Two different cases of the expected outdoor air temperature profile and the expected cooling load profile were used to analyze the effectiveness of these algorithms. Simulation results show the energy savings and the satisfactory controls of the ice storage system. Therefore, control algorithms developed for this study may effectively be used for the improved control of the ice storage cooling system.

• 한국항공우주학회지
• /
• 제48권3호
• /
• pp.167-174
• /
• 2020

내부에 공유피드백 유로를 갖는 공유형 초음속 유체진동기에서 나타나는 유동특성에 관한 연구가 수행되었다. 비정상 전산유체역학적 해석이 수행되었고 수치해석 결과는 동일한 운용조건에서 수행된 실험결과와 비교 검증되었다. 수치해석 결과, 공유피드백 유로가 해당 유체진동기의 진동 메커니즘에 큰 영향을 주어 진동기 출구 각 제트유동의 동조화에 큰 역할을 하고 있음이 확인되었다. 공유형 유체진동기는 동일 형상의 단일형 유체진동기와 비교하여 진동수가 증가하나 압력손실 또한 커짐이 확인되었다.

• 한국전자통신학회논문지
• /
• 제9권6호
• /
• pp.703-709
• /
• 2014

단일 시스템에 코어별 운영체제를 사용하는 AMP(Asymmetric Multiprocessing) 기반 듀얼 코어에서 프로세서간 데이터를 전달하기 위해서 공유 메모리 기법을 사용한다. 서로 다른 운영체제에서 공유 메모리를 사용하기 위해서는 두 운영체제 사이의 메시지 통신 및 동기화 문제를 해결해 주어야 하는 문제점이 발생한다. 본 논문에서는 듀얼 코어 환경에서 서로 다른 프로세서 코어 사이에서 데이터 공유를 위해서 별도의 메모리 컨트롤러를 이용하였다. 이 컨트롤러는 두 프로세서에서 동시에 접근이 가능 하도록 두 개의 슬레이브 포트를 지정할 수 있으며, 두 프로세서에 의해서 동시에 데이터 처리를 수행할 경우 메모리 중재자에 의해서 슬레이브 포트의 우선 순위를 결정하게 된다. A에서 B 프로세서로 데이터를 전달 시, SRAM 영역을 논리적으로 8개의 페이지로 분리하였다. 여러 프로세스에서 메모리 영역을 사용 하도록 하였으며 페이지당 4KByte의 크기를 갖도록 하였으며, 현재 페이지가 사용 가능한지 아닌지를 판별하기 위해서 4바이트 크기의 컨트롤 레지스터를 이용하였다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1997년도 한국자동제어학술회의논문집; 한국전력공사 서울연수원; 17-18 Oct. 1997
• /
• pp.488-491
• /
• 1997

The PMGS(Plant Model Generating System) was developed based on modular modeling method and fluid network calculation concept. Fluid network calculation is used as a method of real-time computation of fluid network, and the module which has a topology with node and branch is defined to take advantages of modular modeling. Also, the database which have a shared memory as an instance is designed to manage simulation data in real-time. The applicability of the PMGS was examined implementing the HRSG(Heat Recovery Steam Generator) control logic on DCS.