• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.208-210
• /
• 2001

S-S-M(Server-Surrogate PC-Mobile Client)과 같은 3-계층 구조에서 이동 클라이언트를 이용한 공간 데이터 변경을 위해 대리트랜잭션 모델이 소개되었다. 이 모델에서는 이동 클라이언트의 공간 데이터변경을 위한 트랜잭션간의 동시성 제어를 위하여 전통적인 낙관적 병행 기법인 확인 기법을 확장하였다. 분산 환경에서는 참여자가 완료를 요청하면 조정자는 데이터를 공유하는 모든 참여자에게 완료 또는 취소 여부를 물어 최종 완료를 수행하였으나S-S-M 환경에서는 이동 클라이언트가 서버와의 접속을 해제하고 데이터를 변경한다. 따라서, 본 논문은 이동 클라이언트의 변경 완료 요청을 대리 PC를 통해 서버로 전달하고, 서버는 해당 트랜잭션의 충돌 여부를 검증하여 완료 또는 취소하는 완료 규약을 제시하고 이를 검증하기 위해 설계 및 구현한다.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.38 no.10
• /
• pp.735-745
• /
• 2001

Processors require both intensive and extensive functional verification in their design phase due to their general purpose. The proposed random vector verification method for embedded control RISC cores meets this goal by contributing assistance for conventional methods. The proposed method proved its effectiveness during the design of CalmRISCTM-32 developed by Yonsei Univ. and Samsung. It adopts a cycle-accurate instruction level simulator as a reference model, runs simulation in both the reference and the target HDL and reports errors if any difference is found between them. Consequently, it successfully covers errors designers easily pass over and establishes other new error check points.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2002.11a
• /
• pp.677-681
• /
• 2002

Several multi-user online applications which are operated by the existing fixed terminals(PC) are being changed into online application based on multi-platform operated by the several PC, PDA and mobile phones to perform concurrent works due to the popularization of mobile devices recently. This paper proposed the infrastructure for network applications based on multi-platform. We also proposed the methods of consistency control based on multi-platform, update propagation protocols among diverse clients which take the asymmetry of computing power and network bandwidth among each client into account. Moreover, we implemented a chatting application based on multi-platform and it showed the proposed infrastructure and methods perform well.

• Journal of KIISE:Computing Practices and Letters
• /
• v.7 no.2
• /
• pp.141-150
• /
• 2001

Manufacturing conb'ol applications consist of concurrent active components such as robots, AGV's (Automatic Guided Vehicles), and conveyors. Running of manufacturing control programs is interactions among those components. We can enhance the productivity and extendability of manufacturing control applications by using the object-oriented teclmology that models those components as reusable objects. But the objects in current object-oriented technology that encapsulate state and behavior infonnation are passive in a sense that those respond only when messages are sent to them. In this paper, we introduce the Distributed Active Object Systems (DAGS) approach that SUPPOltS active objects. Since active objects encapsulate control infonnation in addition to state and behavior information under COREA/Java-based distributed environment, they can represent manufacturing control components better than the objects in ordimuy object-oriented technology. TIus control infonnation provides an object with a featme that can monitor its own status as well as other object's status connected by intelface valiables. Active objects can initiate a behavior according to the change of those status. Therefore, we can sb-uctmally assemble self-initiating active objects by using intelface variables to construct a system without describing bow to control distributed objects by using message passing. As the DAOS approach supports object composability, we can enhal1ce the productivity and extendability of disbibuted manufactming control applications even better than the ordil1alY object-oriented approach. Also, the DAOS approach supports better component reusability with active objects that encapsulate control information .

• Proceedings of the Korean Society of Disaster Information Conference
• /
• 2023.11a
• /
• pp.347-348
• /
• 2023

본 논문에서는 실제 규모 데이터센터의 3D 모델링을 기반으로 대상 공간별 화재 시나리오를 선정하여 화재 및 피난 시뮬레이션을 수행하였다. FDS와 Pathfinder는 full coupling 방식을 사용할 수 없는 한계가 있으며 semi coupling의 경우 가시화에는 도움이 되나 결과에 영향을 주지 않는다. 따라서 재실자의 피난 상황 시 경로에 대한 안전성과 화재 위험 노출 정도를 시각적으로 분석하는 것이 가능한 semi coupling과 시뮬레이션 결과 데이터 분석을 병행하여 수행하였다. 전산실의 경우 서버의 기능상실 한계 온도가 32도이기 때문에 서버 기능 정지 상황에 도달하는 시간을 중점적으로 분석하였다. 전산실은 업무 및 고객 서비스와 관련된 모든 데이터들을 저장하기 위해 항시 기동 되어야 하는데 전산실 내 화재가 발생할 경우 1~2분 이내 서버 기능이 정지되는 상황이 발생하였다. 따라서, 서버가 안전하게 계속 동작하기 위해서는 전력 계측 및 제어 케이블 열화, 서버 장치의 건전성이 유지되어야 하며 초기 화재를 빠르게 감지하여 진압하여야 한다. 피난 시뮬레이션의 경우 가시도를 상실하게 되는 시간이 약 195초(5m 미만) 인근으로 인원이 해당 층을 완전히 벗어나는 데 걸리는 시간이 약 125.6초였던 것을 보면 대피하기에 충분한 허용 피난시간(ASET)을 확보하고 있음을 알 수 있었다.

• Proceedings of the Korean Society for Agricultural Machinery Conference
• /
• 2017.04a
• /
• pp.169-169
• /
• 2017

스마트 돈사 내의 열환경 분석에 필수적으로 고려되어야 인자는 가축의 복사 에너지 변화로 볼 수 있다. 열환경 제어의 대상이기도 하지만 회귀적으로 열환경 변화의 인자이기도 하다. 이러한 가축의 복사 에너지 분석을 위하여 시설 내에 용이하게 배포가 가능한 열화상 계측 시스템을 개발하였다. 초소형 마이크로 열화상 계측 시스템에 부가적으로 IOT(Internet of Thing) 기반 기술을 이용한 모듈화 개발을 병행하였다. 열화상 계측 센서로 LWIR(Longwave infrared)영역에 해당하는 $8{\mu}m{\sim}4{\mu}m$의 영역에서 $0.05^{\circ}C$의 분해능을 보이는 $Lepton^{TM}$ (500-0690-00, FLIR, Goleta, CA)모델을 사용하였다. SPI(Serial Peripheral Interface) 속도 2 Mhz로 마이크로프로세서(NanoPi NEO Air, FrendlyArm, CA, USA)와 고속 통신을 수행하여 9 Hz의 계측이 가능하다. 열화상 센서와 마이컴으로 구성되는 단위 계측 시스템의 통신 기능 확장을 위하여 다음과 같이 세 단계의 정보 전달 시나리오를 설계하였다. 1) 단독적으로 열화상을 계측 하고 내장된 메모리에 저장하는 형식 2) 인접한 사용자 인터페이스에서 1번 단독 모듈에 접속하여 열화상을 실시간으로 전송하여 화면에 도시하는 형식 3) 2번 사용자 도시모듈과 병행적으로 Local WI-FI 통신을 이용한 모바일 기기에 화면을 도시하는 형식. 이와 같은 계층적이며 모듈화된 계측 시스템을 구성하기 위해서 1번 모듈에 공개 소프트웨어인 Hostapd 2.5(http://w1.fi/hostapd)버전을 설치하였다. 외부 인터넷 환경이 없는 상황에 1번 모듈 단독으로 AP(Access Point) 기능을 제공하여 지근 거리에 있는 2번 모듈과 3번 모바일 기기의 접속을 관리할 수 있다. 2번 모듈의 경우 화면 다수의 1번 모듈에 접속을 교차적으로 수행하는 방식과 2번 모듈 자체가 AP가 되어 1번 모듈의 접속을 허용하는 형태로 구성되어 있다. 계측 시스템의 계측 매트릭스 구성에 따라 선택적으로 결정할 수 있다. 1번 2번 모듈 공통적으로 TCP/IP Listener와 Client 서비스를 병렬적으로 수행할 수 있도록 개발을 하였다. 3번 모바일 기기에서 사용자 인터페이스 구현을 위하여 범용 Android 기반 GUI 프로그램과 Socket 통신을 연동시켰다. 1개의 열화상 Frame의 전송량은 9,600 Byte ($=80{\times}60{\times}2Byte$) 로 WI-FI 통신 전송 시 2회 ~ 6회 정도 내외로 가변적인 통신 수행 횟수를 나타내었다. 센서 계측 시스템과 정보 전송 시스템을 병렬적으로 구성한 모듈화 된 계측시스템의 전 요소에서 센서에서 제공하는 최대 계측 주기인 9 Hz 구현이 일반적으로 가능하였다. 이를 이용한 추후 연구를 통해 가축 객체의 열복사 정보와 돈사 내 열환경 간의 역학성을 연구할 것이다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.20 no.3
• /
• pp.549-557
• /
• 2016

It is important for effective visualization to summarize not only a large amount of debugging information but also the mental models of abstract ideas. This paper presents an abstract visualization tool which provides effective visualization of thread structure and race information for OpenMP programs with critical sections and nested parallelism, using a partial order execution graph which captures logical concurrency among threads. This tool is supported by an on-the-fly trace-filtering technique to reduce space complexity of visualization information, and a graph abstraction technique to reduce visual complexity of nested parallelism and critical sections in the filtered trace. The graph abstraction of partial-order relation and race information is effective for understanding program execution and detecting to eliminate races, because the user can examine control flow of program and locations of races in a structural fashion.

• Journal of KIISE:Databases
• /
• v.29 no.3
• /
• pp.159-167
• /
• 2002

Recently, a major issue in the research of metadata is the standardization of metadata format. The new extension capability of metadata in the standardization requires some changes - storing and managing dynamic data consistently. In this paper, we define the characteristics of new metadata and propose a concurrency control called Two Version Latch (2VL). 2VL uses a latch and maintains two versions. Maintaining two versions using latch minimizes conflicts between read operation and write operation. The removal of unnecessary lock holding minimizes refresh latency. Therefore, this algorithm presents fast response time and recent data retrieval in read operation execution. As a result of the performance evaluation, the 2VL algorithm is shown to be better than other algorithms in metadata management system.

• Journal of KIISE:Databases
• /
• v.28 no.3
• /
• pp.458-467
• /
• 2001

Optimistic Two-Phase Locking(O2PL) performs as well as or better than the other approaches because it exploits client caching well and also has relatively lower network bandwidth requirements. However, O2PL leads to unnecessary waits, because, it can not be commit a transaction until the transaction obtains all requested locks. In addition, Optimistic Concurrency Control(OCC) tends to make needless aborts. This paper suggests an efficient optimistic cache consistency protocol that overcomes such shortcomings. Our scheme decides whether to commit or abort a transaction without wait and it adopts transaction re-ordering in order to minimize the abort rate. Our scheme needs only one version for each data item in spite of the re-ordering mechanism used. Finally, this paper presents a simulation-based analysis that shows superiority in performance of out scheme to O2PL and OCC.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.5 no.1
• /
• pp.26-33
• /
• 2001

Thrust vector control system is control device which is mounted exit of the nozzle to generate pitch, yaw and roll directional force by deflecting flow direction of the supersonic jet from the nozzle. By obtaining control force, jetvane which is exposed in jet flow is working thermal and aerodynamic load. Axial thrust loss and side thrust is affected by shock patterns and interactions between jetvanes according to jetvane geometry and turning angle. In this study, we designed 6 types of jetvane to evaluate pitch, yaw and roll characteristics of ietvane in supersonic flow, and perform the cold flow test in range of turning angles of jetvanes between $0^{\cire}$ and $25^{\cire}$ by $5^{\cire}$ respectively. Also, calculation is going side by side to analyse flow interaction. Results show that there is no interactions between jetvanes upto turning angle 20$^{\circ}$, chord and lead length ratio is very important parameter to aerodynamic performance and maximum thrust loss is appeard to 17% of axial thrust in roll directional control.