• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2007년도 추계학술대회 논문집
• /
• pp.719-728
• /
• 2007

Recently the assurance of railroad safety is very important issue in KOREA because there are lots of changes in the railroad industries. The Railway Safety Act was established in order to cope with these changes effectively and prevent the railroad transportation accidents. According to this law, Korea Transportation Safety Authority (KOTSA) has been entrusted with 'Integrated Railroad Safety Audit (IRSA)' and has implemented the safety audit to the railroad operation agencies such as Korea Railroad (KORAIL) and the railroad facility management organization such as the Korea Rail Network Authority (KR Network). The target of IRSA is to establish the effective rail safety management system and to raise the safety level of the railroad operation and facility agencies by checking synthetically their performance of safety duties with sincerity according to the Railway Safety Act. The purpose of this paper is to improve the efficiency of IRSA by the comparative research between IRSA and other similar safety audit system. To study the efficiency of IRSA, we investigated the rail safety audit systems of EU system specially France, England where the big changes have happened for the rail operation concepts and Japan where government entity control the railroad safety. The international standards of Occupational Health & Safety Assessment Series (OHSAS 18001), Quality Management System (ISO 9001) and Guidelines for Quality and/or Environmental Management Systems Auditing (ISO 19011) are investigated.

• 품질경영학회지
• /
• 제40권3호
• /
• pp.347-358
• /
• 2012

Purpose: Given the mixture components - process variables experimental data, we propose the strategy to find the proper combined model. Methods: Process variables are factors in an experiment that are not mixture components but could affect the blending properties of the mixture ingredients. For example, the effectiveness of an etching solution which is measured as an etch rate is not only a function of the proportions of the three acids that are combined to form the mixture, but also depends on the temperature of the solution and the agitation rate. Efficient designs for the mixture components - process variables experiments depend on the mixture components - process variables model which is called a combined model. We often use the product model between the canonical polynomial model for the mixture and process variables model as a combined model. Results: First we choose the reasonable starting models among the class of admissible product models and practical combined models suggested by Lim(2011) based on the model selection criteria and then, search for candidate models which are subset models of the starting model by the sequential variables selection method or all possible regressions procedure. Conclusion: Good candidate models are screened by the evaluation of model selection criteria and checking the residual plots for the validity of the model assumption. The strategy to find the proper combined model is illustrated with examples in this paper.

• 경영과학
• /
• 제34권2호
• /
• pp.115-123
• /
• 2017

IS audit has been regarded as contributing to the improvement of the quality of information Systems, recently, it has been argued that it is not possible to expect a effectiveness, because it can offset the schedule burden due to the preparation of additional documents for Audit and it affect to the project schedule. The effectiveness and quality criteria of IS audit are different between groups, because IS audit is responsible for checking the results and process of the developer company. In this study, we modeled between IS effectiveness and auditor competence, audit firm competence, IS audit standards. As a result, it was concluded that auditor competence, audit firm competence, IS audit standards have a positive effect on IS audit effectiveness. However, according to the result of comparing between interest groups, audit firm competence and audit standards were significant in auditor group, but audit standard was significant in requesting organization and developing company thought that auditor was a important factor to audit effectiveness.

• Nuclear Engineering and Technology
• /
• 제28권6호
• /
• pp.594-601
• /
• 1996

To assure quality of safety critical software, software should be developed in accordance with software development procedures and rigorous software verification and validation should be performed. Software verification is the formal act of reviewing, testing or checking, and documenting whether software components comply with the specified requirements for a particular stage of the development phase [1]. New software verification methodology was developed and was applied to the Shutdown System No. 1 and 2(SDS1,2) for Wolsong 2, 3 and 4 nuclear power plants by Korea Atomic Energy Research Institute(KAERI) and Atomic Energy of Canada Limited(AECL) in order to satisfy new regulation requirements of Atomic Energy Control Board(AECB). Software verification methodology applied to SDS1 for Wolsong 2, 3 and 4 project will be described in this paper. Some errors were found by this methodology during the software development for SDS1 and were corrected by software designer. Output from Wolsong 2, 3 and 4 project have demonstrated that the use of this methodology results in a high quality, cost-effective product.

• 한국음향학회지
• /
• 제21권4호
• /
• pp.349-360
• /
• 2002

인터넷 폰 시스템은 네트워크 트래픽 문제로 인한 지연, 지터 그리고 패킷 손실을 경험하고 이로 인한 통화품질의 저하가 문제가 되어 통화품질 (QoS) 향상 기술이 필요하게 되었다. 본 논문에서는 인터넷상에서 통화품질을 저해하는 요소들을 분석하고 실시간 전송 프로토콜/실시간 전송제어 프로토콜 (RTP/RTCP)을 이용하여 네트워크 상태를 진단하여 송, 수신 단말기간 네트워크 트래픽에 알맞은 방식으로 인코딩된 패킷을 송,수신하는 동적인 손실 복구 알고리즘을 제안한다. 실험결과 제안한 부가정보를 이용한 동적인 손실 복구 알고리즘은 연속 패킷손실인 경우 63%의 손실패킷 복원률을 보여주며, 비연속 패킷손실인 경우 42%의 패킷손실 복원률을 보여준다.

• 방송공학회논문지
• /
• 제15권1호
• /
• pp.99-111
• /
• 2010

본 논문에서는 [논문I]의 후속편으로 전편에서 제시된 동등 수준의 서비스 제공을 위해 요구되는 페이드 마진을 시스템 및 전파환경 분석과 측정 결과를 통해 제시한다. 또한 실제 운용중인 가시 링크와 비가시 링크에 대해 이론적 요구 페이드 마진과 실제 측정한 페이드 마진을 비교하며, M/W 장치의 주파수 재배치 시 품질을 분석하는 척도로써 그 유용성을 보인다. 측정 결과에 의하면 가시 링크인 무등산-망운산은 예측한 값과 다소 차이가 있었으나, 비가시 링크인 안동 KBS-송신소는 예측 및 측정 결과가 매우 잘 일치함을 볼 수 있었다.

• 한국국방경영분석학회지
• /
• 제16권1호
• /
• pp.18-34
• /
• 1990

In light of the recent developments of transitory nature, it is likely that national defense decision-making will be more difficult to make for years to come. In other words, sudden changes in security environment would call into question the basic assumptions on which we have built our national defense planning and increase the number of the uncertain factors in the decision-making process; the subdivision and ramification of national defense management would increase the factors for decision-making and complicate even further the mutual interactions among these factors; the accelerated pace of sophistication and diversification of weapon systems and military technology would increase the risk of failure and system costs geometrically; and the reduced level of acceptance among the people on the sanctification of national defense in proportion to the rapid progress toward a more democratic and industrial society would engender an increased criticism or checking role by the National Assembly or by the mass media. As the changes in national defense environment and conditions create an innumerable number of new tasks, this paper intends to suggest a few core policy measures to improve the quality of national defense decision-making. More specifically, it proposes to 1) eradicate entirely the bureaucratic behavior and tendencies; 2) utilize actively the brain staff for quality assurance of decision-making; 3) and introduce and apply as a whole set, a total system, or an incorporated pack age the PPBEES(Planning-Programming-Budgeting-Executing-Evaluating-System)/LCMM (Life-Cycle Management Model for System Acquision), the OR/SA(Operations Research/Systems Analysis), and DMIS (Defense Management Information System).

• 한국건설관리학회논문집
• /
• 제13권6호
• /
• pp.143-152
• /
• 2012

조달청은 2016년부터 공공공사 전 사업으로 BIM 발주를 확대할 계획이어서 BIM 설계의 중요성이 증가하고 있다. 이에 따라, BIM 설계의 품질을 확보하는 방안 법규검토의 중요성 또한 증가하고 있다. 본 연구에서는 장애인 노인 임산부 등의 편의증진보장에 관한 법률을 대상으로 실무의 건축계획 과정에서 빈번하게 검토되는 항목을 중심으로 최적화된 룰셋 정의서를 개발하였다. 법규조항을 선정하는 과정으로는 프로젝트 법규검토서를 활용한 빈도 분석, 함수화 가능도 분석, 모델 검토 가능성 분석을 제시하였다. 모델 검토 시나리오 작성에 따라 룰셋 정의서를 개발하였으며, 실제 프로젝트에서 구현을 통해 적용성 및 정합성 분석을 수행하였다. 본 연구를 수행한 결과, 자동법규검토에서는 경제성 및 활용성을 확보할 수 있는 항목의 선정이 중요함을 확인할 수 있었다. 향후 연구에서는 대상 법규 조항 선정의 항목 세분화가 필요하며, 실무자 검증을 통해 좀 더 실질적인 항목 도출이 요구된다. 또한 자동법규검토에서 발생할 수 있는 모델링 요구사항, 소프트웨어 간 호환성 문제 등의 변수를 확인하고 룰셋의 논리를 검증하는 사례 연구가 수행되어야 한다.

• 정보처리학회 논문지
• /
• 제13권9호
• /
• pp.437-443
• /
• 2024

코딩 스타일을 준수하는 것은 코드의 가독성이 좋아지고, 테스트 및 유지 보수에 필요한 비용을 줄일 수 있어 기업과 개발자 모두에게 중요하다. 하지만 프로그래밍 언어 수업에서 코딩 스타일을 교육하는 데 어려움이 있다. 왜냐하면 코딩 스타일 학습을 위한 환경 구축도 힘들고, 초보자를 위한 코딩 스타일 규칙이 따로 정의되어 있지 않다. 학습자 측에서는 코딩 스타일을 준수하지 않더라도 학점에 반영되지 않으므로, 학습의 필요성이 별로 와닿지 않는다. 본 논문에서는 온라인 평가 시스템을 위한 코딩 스타일 검사 시스템을 소개한다. 제안 시스템은 C와 Java, Python 코딩 스타일을 검사하고 평가할 수 있도록 구현하였다. 또한, 언어별 도구에서 제공하는 규칙 1,023개 중 23.08%인 234개를 반영하여 수업 진도에 따라 코딩 스타일 규칙을 적용할 수 있게 하였으며, 기본 점수에 품질 점수를 추가로 부여하여 학습자들의 코딩 스타일 학습 동기를 부여하였다. 코딩 스타일 교육 시스템을 도입한 후 최초 제출 시 점수가 1주 차에서 25점 이상을 받은 학생이 18명이었지만, 6주 차에서 44명으로 149.47% 증가했다. 학습자는 코딩 스타일 검사 시스템을 이용하여 코딩 스타일 규칙을 적용하는 방법을 학습하고, 이후 코드를 구현할 때 제시한 코딩 스타일을 준수하여 코드를 구현할 수 있었다.

• ETRI Journal
• /
• 제27권1호
• /
• pp.13-21
• /
• 2005

Many multicast applications, such as video-on-demand and video conferencing, desire quality of service (QoS) support from an underlying network. The differentiated services (DiffServ) approach will bring benefits for theses applications. However, difficulties arise while integrating native IP multicasting with DiffServ, such as multicast group states in the core routers and a heterogeneous QoS requirement within the same multicast group. In addition, a missing per-flow reservation in DiffServ and a dynamic join/leave in the group introduce heavier and uncontrollable traffic in a network. In this paper, we propose a distributed and stateless admission control in the edge routers. We also use a mobile agents-based approach for dynamic resource availability checking. In this approach, mobile agents act in a parallel and distributed fashion and cooperate with each other in order to construct the multicast tree satisfying the QoS requirements.