• 응용통계연구
• /
• 제23권6호
• /
• pp.1179-1190
• /
• 2010

교통 혼잡을 해결하기 위해, 도로 교통망의 흐름을 정확히 파악하고 이를 효율적으로 관리하는 것은 가장 중요하면서도 효율적인 방안이다. 일반적으로 교통 흐름에 대한 연구로 대기행렬 모형이 이용된다. 특히, 속도, 통행량, 교통밀도에 대한 S-F-D(Speed-Flow-Density) 다이어그램은 도로의 현황을 파악하는데 매우 유용한 도구이다. 그러나 우리나라의 경우, 이러한 교통 속성들 간에 구조적인 변화를 볼 수 있었다. 이에 따라 본 연구에서는 대기 행렬 모형내에 구조변화를 포함함으로써 정체 시 도로 상황이 구조적으로 변화하는 현상을 모형에 반영하여, 국내 고속도로의 현황을 보다 잘 파악할 수 있는 새로운 S-F-D 다이어그램을 제안한다. 각 구간에 대한 최적의 대기행렬 모형을 찾기 위해 뉴튼-랩슨 방법으로 최적화 모수를 추정하고, 이를 바탕으로 최적속도와 밀도를 산출하여 요일별 시간별 도로의 이용현황 및 효율성을 파악하고자 한다.

• 한국수학사학회지
• /
• 제19권4호
• /
• pp.63-80
• /
• 2006

수학 언어는 보통 자연언어(Natural language), 대수언어(algebraic langauge) 그리고 도식(schema)으로 구성되는데, 이 논문에서는 도식에 논의의 초점을 맞추고자 한다. 도식은 고대 그리스의 피타고라스 시대부터 이미 기하학적 추론에서 사용되었는데, 동양수학도 예외가 아니어서 중국의 고문서에서도 도식이 발견되곤 한다. 도식은 감각적인 이미지를 통하여 개념적인 것으로의 전이가 이루어지는 곳이다. 그래서 도형은 직관에 직접 호소함으로써 문제해결을 용이하게 해주는 발견술적인(heuristic) 가치를 지니고 있다. 도식의 도입은 또한 교육적인 관점에서도 매우 효율적이다. 그러나 그것이 증명을 대신할 수는 없다는 점을 잊어서는 안되겠다. 이 논문에서는 통시적 관점에서 다양한 도식을 소개한 후에 카테고리 이론과 파인만 다이어그램 그리고 아르강 평면을 고찰하면서 도식이 새로운 지식의 구축에 필요불가결한 방법과 도구임을 보이고자 한다.

• 시스템엔지니어링학술지
• /
• 제13권2호
• /
• pp.42-48
• /
• 2017

OCD (Operational Concept Document) is very important in system development. To develop OCD we should answer questions about, what template to use, what is the overall process to develop OCD, what kinds of diagrams we should use and how can we validate the OCD. To answer about the template we compared tow industrial guide on operational concept development and tailored it. For development process, we proposed a comprehensive process which satisfies the requirements of the project context. For use of proper diagram, we analyzed many kinds of diagrams used in representing behavior of system and choose some diagrams which best fit for our purpose. Finally we established validation criteria for operational scenario and requirement texts in operational concept documents.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2011년도 춘계학술대회 논문집
• /
• pp.1591-1598
• /
• 2011

The objective of this paper is to study how to apply the functional models in the design reviews and the validation of the subsequent design specifications and standards in the urban rail transit standardization program. The functional models can be obtained based on the requirements. Specifically, the requirements are first represented by the use case and sequence diagrams and then the results are transformed into the functional models using the Systems Modeling Language (SysML) diagrams and the FFBD (Functional Flow Block Diagram) and others. Based on the results of the study, it can be checked whether the original requirements have been reflected properly in the designs. Also, it can be seen that how the possible changes in the requirements affect the functions and thus how the designs should be changed accordingly.

• 한국항해학회지
• /
• 제12권1호
• /
• pp.45-53
• /
• 1988

In this paper, the equations calculating GDOP are induced in Hyperboic, and Spherical Navigation System, respectively, The GDOP diagram shows that the DGOP in the inner region of Beacons is similar each other, but the GDOP of Hyperboic Navigation System is much larger than that of Spherical Navigation System due to GDOP in the outer region of Beacons. The authors propose the algorithm estimating the pulse starting time using the Hyperboic Navigation System, and prove that if Navigation use the Spherical Navigation System by adopting the proposed Algorithm -in this case, "Pseudo Sperical Navigation System" - in the outer region where GDOP is becoming large, the position errors can be reduced.e reduced.

• 대한조선학회논문집
• /
• 제55권1호
• /
• pp.83-91
• /
• 2018

In this paper, usefulness of marine radar for water waves measurement in coastal waters is presented. We installed a marine radar to acquire radar images of water wave around light beacon at Jujeon in Ulsan. Also, a series of analysis procedures for obtaining the wave information from the acquired image is described with a schematic diagram. We compared analysis results of radar images with measurement values using wave height gauge at light beacon. In order to improve accuracy of analysis results, detailed water depth information is essential. In conclusion, in case of the use of radar for water waves measurement, it is shown that it is very necessary to increase the accuracy of measurement by consideration of the water depth in the dispersion relation of water waves.

• Nuclear Engineering and Technology
• /
• 제11권3호
• /
• pp.195-202
• /
• 1979

In this paper, a cause-consequence chart is applied to evaluate the probability that the containment spray system in a nuclear power plant may not be woring properly, given a demand for spryaing at loss of coolant accident (LOCA). It is shown how the diagram provides a basis for calculating two probability measures for malfunctioning of this system, in case the test policy of the system is taken into account, i.e., average probability that the containment spray cannot be established, and average probability that the containment spray is established : spray stops before the required operating time is over.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2005년도 춘계학술대회 논문집
• /
• pp.100-105
• /
• 2005

Development of complex discrete event simulators requires cooperation between domain experts and modeling experts who involve the development. With the cooperation the domain experts derive user requirement and modeling experts transform the requirement to a simulation model. This paper proposes a method for consistency verification of simulation model in DEVS formalism against the user requirement in UML diagrams. It also presents an automated tool, called VeriDEVS, which implements the proposed method. Inputs of VeriDEVS are three UML diagrams, namely use case, class and sequence diagrams, and DEVS Graph, all in Visio; outputs of a verification result is represented in PowerPoint files.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2015년도 학술발표회
• /
• pp.239-239
• /
• 2015

This study presents a bivariate extension of the goodness-of-fit measure for regional frequency distributions developed by Hosking and Wallis [1993] for use with the method of L-moments. Utilising the approximate joint normal distribution of the regional L-skewness and L-kurtosis, a graphical representation of the confidence region on the L-moment diagram can be constructed as an ellipsoid. Candidate distributions can then be accepted where the corresponding the oretical relationship between the L-skewness and L-kurtosis intersects the confidence region, and the chosen distribution would be the one that minimises the Mahalanobis distance measure. Based on a set of Monte Carlo simulations it is demonstrated that the new bivariate measure generally selects the true population distribution more frequently than the original method. An R-code implementation of the method is available for download free-of-charge from the GitHub code depository and will be demonstrated on a case study of annual maximum series of peak flow data from a homogeneous region in Italy.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권3호
• /
• pp.149-161
• /
• 2008

프로그래머블 로직 컨트롤러(PLC: Programmable Logic Controller)가 안전성이 중요한 실시간 시스템 구현에 많이 사용되면서, PLC 프로그램에 대한 테스팅의 중요성이 날로 높아지고 있다. 본 논문에서는 PLC 프로그래밍 언어 중 하나인 함수 블록 다이어그램(FBD: Function Block Diagram)에 대한 구조적 테스팅 방안을 제안한다. FBD를 테스트하기 위해 먼저 타이머 함수 블록을 비롯한 각 함수 및 함수 블록에 대한 흐름그래프 템플릿을 정의하고, 템플릿을 기반으로 한 변환 알고리즘을 제안하며, 알고리즘을 따라 FBD로부터 변환된 흐름그래프에 기존의 제어 흐름 테스팅 커버리지와 데이타 흐름 테스팅 커버리지를 적용한다. 기존 FBD 테스팅은 테스트 케이스 생성시 FBD 내부 구조를 고려하지 않으며, FBD 프로그램으로부터 특정 중간단계 모델을 생성해 낼 수 있는 경우에만 적용될 수 있는 단점을 가진 반면, 본 논문에 제안된 방법은 FBD 내부 구조를 고려한 체계적 테스트 케이스 생성이 가능하며, 중간단계 모델의 형식에 관계없이 어떤 FBD에도 적용될 수 있다는 장점을 가진다. 특히 제안된 기법은 여러 실행주기에 걸쳐 테스트 되어야 하는 타이머 함수 블록을 포함한 FBD에 대한 철저한 테스팅을 가능하게 한다. 제안된 기법을 현재 원전계측제어시스템 개발사업단에서 개발 중인 디지털 원자로 보호계통 비교논리 프로세서 트립 논리에 적용하여 그 효과를 확인하였다.