• The Korean Journal of Applied Statistics
• /
• v.23 no.6
• /
• pp.1179-1190
• /
• 2010

Management of the existing traffic network and understanding current traffic conditions is the most important and effective way to solve traffic congestion. This research investigates the status of Korea expressway through the Speed-Flow-Density diagram and finds the best suitable queueing model for each area. Dynamic structure in the queueing model enables us to reflect the structural change of the road in case of traffic congestion. To find the best model and estimate the parameters, we use the Newton-Raphson method. Finally, we examine the road efficiency in view of the optimal speed and density using the conditional distribution of speed and density of a S-F-D diagram.

• Journal for History of Mathematics
• /
• v.19 no.4
• /
• pp.63-80
• /
• 2006

Along with natural and algebraic languages, schema is a fundamental component of mathematical language. The principal purpose of this present study is to focus on this point in detail. Schema was already in use during Pythagoras' lifetime for making geometrical inferences. It was no different in the case of Oriental mathematics, where traces have been found from time to time in ancient Chinese documents. In schma an idea is transformed into something conceptual through the use of perceptive images. It's heuristic value lies in that it facilitates problem solution by appealing directly to intuition. Furthermore, introducing schema is very effective from an educational point of view. However we should keep in mind that proof is not replaceable by it. In this study, various schemata will be presented from a diachronic point of view, We will show with emaples from the theory of categories, Feynman's diagram, and argand's plane, that schema is an indispensable tool for constructing new knowledge.

• Journal of the Korean Society of Systems Engineering
• /
• v.13 no.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.

• Proceedings of the KSR Conference
• /
• 2011.05a
• /
• 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.

• Journal of the Korean Institute of Navigation
• /
• v.12 no.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.

• Journal of the Society of Naval Architects of Korea
• /
• v.55 no.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
• /
• v.11 no.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.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2005.05a
• /
• 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.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2015.05a
• /
• 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.

• Journal of KIISE:Software and Applications
• /
• v.35 no.3
• /
• pp.149-161
• /
• 2008

As Programmable Logic Controllers(PLCs) are frequently used to implement real-time safety critical software, testing of PLC software is getting more important. We propose a structural testing technique on Function Block Diagram(FBD) which is one of the PLC programming languages. In order to test FBD networks, we define templates for function blocks including timer function blocks and propose an algorithm based on the templates to transform a unit FBD into a flowgraph. We generate test cases by applying existing testing techniques to the generated flowgraph. While the existing FBD testing technique do not consider infernal structure of FBD to generate test cases and can be applied only to FBD from which the specific intermediate model can be generated, this approach has advantages of systematic test case generation considering infernal structure of FBD and applicability to any FBD without regard to its intermediate format. Especially, the proposed method enables FBD networks including timer function blocks to be tested thoroughly. To demonstrate the effectiveness of the proposed method, we use trip logic of bistable processor of digital nuclear power plant protection systems which is being developed in Korea.