• Proceedings of the Korea Society for Simulation Conference
• /
• 1999.04a
• /
• pp.110-114
• /
• 1999

본 연구는 Zeigler가 제안한 이산 사건 시스템 형식론(DEVS: Discrete Event System Specification)을 이용한 거시적 및 미시적 교통류 시뮬레이션 방법론의 개발을 주 목적으로 한다. 도로 교통망의 모델링 방법은 미시적(microscopic)방법과 거시적(macroscopic)방법으로 분류된다. 이러한 모델링 방법들은 그 목적에 따라 각기 표현되어 제각기 사용되어 왔으나, 시스템 이론적으로 이들은 독립적 모델이 아니며 오히려 이들은 서로 동질적 추상화 관계에 있어서, 통합 모델링 환경의 구축시 미시적 모델들로부터 추상화에 의한 거시적 모델의 자동생성 등 설계상의 효율뿐 아니라 모델간의 일관성을 통한 모델 유효성을 보장할 수 있는 장점이 제공될 수 있다. 따라서, 본 논문에서는 서로 다른 표현 방법(즉, 이산시간 형식론과 이산사건 형식론)간의 통합 표현을 기반으로 양자간의 추상화 관계를 도출하고, 이를 이용한 모델 추상화를 통해 거시적 및 미시적 교통류 시뮬레이션 방법론을 제안한다. 시스템 이론적 접근을 토대로 접근한 통합 교통류 시뮬레이션 환경은 미국 Berkeley 대학 교통 연구소에서 개발한 SHIFT 등과 같은 최첨단 교통류 시뮬레이션 도구에 비하여 SES/MB를 기반을 시스템 이론적이며 소프트웨어공학적인 접근을 통하여, 1) 기존 제어 방식의 검증 및 신뢰도 분석, 2) 각종 사건, 사고의 시간별 파급효과 분석, 3) 도로건설 계획안에 대한 타당성 검토, 4) 운전자 및 관리자를 위한 예측된 교통정보 등을 제공할 수 있을 것으로 기대된다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.11a
• /
• pp.185-188
• /
• 2010

온톨로지 간 이질성 문제를 해결하고 상호운용성을 향상시키기 위한 연구가 진행되어 왔으며, 최근 XMDR에 기반한 온톨로지 구축 방법이 제안되었으나 기존 연구와의 비교 평가가 부족하여 장점을 정확하게 보이지 못하였다. 따라서 이 논문에서는 XMDR 기반 온톨로지 구축 방법의 장점을 보다 명확하게 보이기 위해 정량적인 평가를 수행한다. 이를 위해 실제 온톨로지를 구축하고, 구축된 온톨로지는 온톨로지 참조 기반 온톨로지 구축 방법, 사전 참조 기반 온톨로지 구축 방법, 기존 방법론을 이용한 온톨로지 구축 방법을 평가 대상으로 하여 5가지 평가 지표로 분석된다. 평가 지표로는 구축된 온톨로지의 어휘 및 구조의 일관성 비교를 위하여 어휘 및 구조의 빈도수 평균과 엔트로피를 사용하고 구축 비용의 평가를 위하여 각 온톨로지의 구축 시간을 사용한다. 이러한 실험 및 평가의 결과로써, 온톨로지 참조 기반의 온톨로지 구축 방법은 다른 온톨로지 구축 방법들에 비해 온톨로지 어휘 및 구조가 일관적이고 효율적임을 보인다.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.12 no.4
• /
• pp.57-64
• /
• 2012

Multiplayer, real-time games are a kind of soft real-time systems because a game server has to respond to requests from many clients within specified time constraints. Client events have different timeliness and consistency requirements according to their nature in the game world. These requirements lead to different priorities on CPU processing. Events can be divided into different groups, depending on their consistency degree and priority. To handle these events with different priority and meet their timing constraints, we propose a priority-based group task scheduling policy in this paper. The number of clients or events requested by each client may be increased temporarily. In the presence of transient overloading, the game server needs to allocate more CPU bandwidth to serve an event with the higher priority level preferentially. The proposed scheduling policy is capable of enhancing real-time performance of the entire system by maximizing the number of events with higher priority completed successfully within their deadlines. The performance of this policy is evaluated through extensive simulation experiments.

• Proceedings of the Korea Technology Innovation Society Conference
• /
• 1998.05a
• /
• pp.11-11
• /
• 1998

출연기관 감사업무 효율화 방안은 네가지 측면에서 정리하여 볼 수 있다. 첫째, 법률적 측면에서 보면 감사원법에서 출연금은 감사대상에 포함되어 있어 출연기관은 감사제도를 운영하게 되어있다. 둘째, 정책적 측면에서 국회에 의한 국정감사는 연 1 회 총 20일간에 걸쳐 수행되므로 시간적 제약과 함께 지속성, 일관성 있는 적절한 감사가 이루어지기 어려운 측면이 있다. 셋째, 행정적 측면에서의 필요성은 일반적으로 이공계 연구개발 업무를 수행하고 있는 과학기술부 산하의 출연연구소는 정부기관이나 지방자치단체 또는 보조금 지원 기관과는 그 성격이 완연히 다른 연구기관임으로 연구생산성 제고에 적합한, 기관 특설에 맞는 자체 규정의 보완이 필요하다. 마지막으로 사회문화적으로 감사업무는 능률우선주의보다는 서류체계 및 규제중심으로 편향되기 쉬운 특성이 있어 이에 대한 개선방안 노력이 매우 중요하다. 출연기관의 감사기능은 내부.외부감사에 의하여 수행되고 있으나, 감사(監査)의 핵심적 기능은 역시 출연기관 자체의 감사(監事)에 의하여 수행되며 성격상 공정성(Fairness), 객관성(Objectivity), 신뢰성(Reliability)의 확보가 필수적이다. 출연기관 감사제도의 개선방향은 합법성, 합목적성을 근거로 기관운영의 효율성을 제고시키는데 초점을 맞춘 감사제도로 개선되어야한다. 감사조직체계의 개선, 전문 교육의 실시, 동일업무의 기준 마련, 상급기관과의 역할분담 정립 등으로 감사업무의 질적수준 및 효율성을 제고해야 한다. 감사평가제도는 그동안 실시된 사항이 없으므로 긍정적인 측면과 부정적인 측면이 공존하므로 평가제도의 도입 및 적용에 대해서는 보다 심층적인 검토가 필요하다. $[$감사조직의 평가요소$]$ ■ 투입요소측면 - 감사인력 - 장비 및 고정자산 - 예산(년도별) - 정보수집관리 - 조직운영방식 -전통 및 관습 - 관계법령, 규정, 감사업무지침 ■ 산출요소측면 - 감사운영 실적 - 감사보고 실적 - 감사제도 개선 및 자체개혁 실적 - 기관운영 효율화 기여도 - 기관의 연구성과 및 업적 향상 기여도 - 경영관리 고도화 기여도 등의 항목설정이 가능 출연기관 감사업무의 효율화 방안으로 감사제도 개선의 기본방향, 감사조직 및 인력운영의 개선, 감사업무 운영체계의 개선 등을 중심으로 발전방향을 제시하였다. 그러나 여기에서 제시된 개선방안들을 추진하기 위해서는 전문인력을 보강하고 상부체계에서의 수용이 요구되므로 출연기관 권역에서만으로의 힘으로는 한계가 있을 것이며 무엇보다도 감사제도 변화의 필요성과 미래지향적인 환경이 조성되어야 할 것이다.

• Journal of KIISE:Software and Applications
• /
• v.27 no.5
• /
• pp.575-582
• /
• 2000

Because FIFO thread scheduling used in the existing multithreaded models does not consider locality in programs, it may result in the decrease of the performance of execution, caused by the frequent context switching overhead and delay of execution of relatively short frames. Quantum unit scheduling enhances the performance a little, but it still has the problems such as the decrease in the processor utilization and the longer delay due to its heavy dependency on the priority of the quantum units. In this paper, we propose shortest-frame-first(SFF) thread scheduling algorithm. Our algorithm selects and schedules the frame that is expected to take the shortest execution time using thread size and synchronization information analyzed at compile-time. We can estimate the relative execution time of each frame at compile-time. Using SFF thread scheduling algorithm on the multithreaded models, we can expect the faster execution, better utilization of the processor, increased throughput and short waiting time compared to FIFO scheduling.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06d
• /
• pp.318-321
• /
• 2008

현재의 소프트웨어 개발은 구현 중심의 개발에서 설계 중심의 개발로 바뀌고 있다. 설계 중심의 개발은 구현 프로그램의 시스템 개발 시간을 크게 단축할 수 있고, 정형화된 명세를 검증함으로써 설계와 구현의 일관성을 유지할 수 있으며 유지 보수가 효율적이다. 이러한 설계 중심의 개발에 있어서 SDL(Specification and Description Language)은 표준으로 재정된 기술을 구현하는데 있어 어떠한 기준 명세라 할 수 있다. 하지만 이러한 SDL도 대다수의 사람이 쉽게 알아보기에는 어려움이 있기 때문에 좀 더 높은 범용성을 위해 본 논문에서는 엔지니어들이 보편적으로 많이 사용하는 언어인 c언어를 이용해 SDL을 직접적으로 구현 해 보았는데 점점 더 발전해가는 Wireless LAN의 표준인 IEEE 802.11의 spec에 명시되어 있는 SDL을 기반으로 MAC 부분을 구현하였다.

• Journal of the Korean Institute of Gas
• /
• v.3 no.1
• /
• pp.48-57
• /
• 1999

Safe plants are maintained by the systematic identification of potential hazards. Various hazard evaluation methods have been developed in pursuit of safe plants. Recently, much efforts has been made for the automation of hazard evaluation system by introducing expert system to get rid of weak points of the conventional hazard evaluation methods. HAZOP study is recognized as one of the most systematic and logical hazard evaluation methods. However, it has several disadvantages; experts should participate simultaneously, the detailed study is time-consuming, and the quality of the results largely depends on the quality of the experts. Therefore, the automation of HAZOP Study is highly beneficial for reducing the required time and obtaining the consistent evaluation results. In this study, a framework for the automation of HAZOP study is suggested. Based on the suggested framework, HAxSYM, an expert system to automate HAZOP study, has been developed. The case study validates the performance of the developed system, and the results are compared with the results from the conventional HAZOP study.

• The KIPS Transactions:PartA
• /
• v.13A no.6 s.103
• /
• pp.525-532
• /
• 2006

Compared with the previous recovery algorithms for causal message logging, Elnozahy's recovery algerian considerably reduces the number of stable storage accesses and enables live processes to execute their computations continuously while performing its recovery procedure. However, if causal message logging is used with asynchronous checkpointing, the state of the system may be inconsistent after having executed this algorithm in case of concurrent failures. In this paper, we show these inconsistent cases and propose a low-cost recovery algorithm for causal message logging to solve the problem. To ensure the system consistency, this algorithm allows the recovery leader to obtain recovery information from not only the live processes, but also the other recovering processes. Also, the proposed algorithm requires no extra message compared with Elnozahy's one and its additional overhead incurred by message piggybacking is significantly low. To demonstrate this, simulation results show that the first only increases about 1.0%$\sim$2.1% of the recovery information collection time compared with the latter.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 1999.05a
• /
• pp.213-217
• /
• 1999

This paper describes a methodology of database synchronization between ship and land. Through this synchronization, consistency can be maintained between land's database and ship's database. Onboard useful data is sent from ship's database to land' database at time interval via the INMARSAT-C which satisfies with the GMDSS requirements and supports transport service. eased on the result of the paper, user can access land's database which is synchronized with ship's database.

• Journal of the Korea Society of Computer and Information
• /
• v.13 no.2
• /
• pp.51-57
• /
• 2008

We present a modeling of constraint satisfaction problems and provide heuristic algorithms of backtracking search to optimize the frequency assignment. Our research objective is to find a frequency assignment that satisfies all the constraints using minimum number of frequencies while maximizing the number of community radio stations served for a given area. In order to get a effective solution, some ordering heuristics such as variable orderings and value orderings are provided to minimize the backtracking in finding all solutions within a limited time. To complement the late detection of inconsistency in the backtracking, we provide the consistency enforcing technique or constraint propagation to eliminate the values that are inconsistent with some constraints. By integrating backtracking search algorithms with consistency enforcing techniques, it is possible to obtain more powerful and effective algorithms of constraint satisfaction problems. We also provide the performance evaluation of proposed algorithms by comparing the theoretical lower bound and our computed solution.