• Journal of Korean Society of Transportation
• /
• v.25 no.5
• /
• pp.15-21
• /
• 2007

This paper proposes an improved methodology for estimating traffic accident cost savings in the transport appraisal. Four major problems from the existing framework are identified and their alternatives are suggested. First, casualties in the established approach are classified by just two types of 'killed' and 'injured'. This study supplies the indices of fatality further details. Namely, road victims are regrouped by 'killed', 'seriously injured', 'slightly injured', and 'accident reports'. Those of railways are similarly sorted by 'killed', 'seriously injured', and 'slightly injured'. Second, damage only accidents are not satisfactorily considered in the current arrangement. The accidents should be considered as one of the accident types and the social cost of them should also be evaluated. Third, the unit cost of accidents is given by the total value. The unit cost is consisted of several elements and each loss would be useful for a policy frame. This study breaks down the total figure into four pieces of costs, namely production loss, medical treatment, property loss, and administrative costs. Finally, there is inconsistency in the audit between roads and railways. Road accidents are analyzed by road types. On the other hand, patronage or others is the classification rule of rail accident costs. This paper suggests a way that the accident costs of two modes can be coherently estimated based on the level of services by each mode. The result of this study is expected to help frame more cautious social overhead capital investment policies.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.37 no.5
• /
• pp.871-878
• /
• 2017

The quality control personnel of the construction work shall establish and execute the quality control plan or the quality test plan and check the qualification of the used materials according to the process, the management of the test and inspection equipment, the quality education, the own quality inspection and measures. Management and quality test of Korea and plays an important role in preventing accidents. However, related organizations did not explicitly disclose their roles in quality testing and quality control tasks while changing the names of quality control personnel to test personnel and quality managers when revising related laws and regulations and the application of labor costs. Therefore, a research of this is needed to improve conflicting situation. In this study, the ambiguous title relation to the quality control persons is improved to meet the requirements of the construction work based on related laws and regulations, and each role and title is classified as 'quality tester' and 'quality manager'. In other words, the person who carries out the quality test of the "Construction Quality Test Standard" specified in the Guideline for Quality Management of Construction Projects shall be the "Quality Tester" and the person who performs the quality control plan establishment and execution work specified in the Enforcement Rule of the Construction Technology Promotion Act shall be referred to as the 'Quality Manager'.

• Journal of KIISE:Software and Applications
• /
• v.32 no.12
• /
• pp.1283-1291
• /
• 2005

One of the problems in boosting Java performance using a Just-in-Time (JIT) compiler is removing redundant array bound checks. In conventional static compilers, many powerful algorithms have been developed, yet they are not directly applicable to JIT compilation where the compilation time is part of the whole running time. In the current JIT compilers, we tan use either a naive algorithm that is not powerful enough or an aggressive algorithm which requires the transformation into a static single assignment (SSA) form of programs (and back to the original form after optimization), thus causing too much overhead not appropriate for JIT compilation This paper proposes a new algorithm based on an inequality graph which can eliminate array bounds check codes aggressively without resorting to the SSA form. When we actually perform this type of optimization, there are many constraints in code motion caused by the precise exception rule in Java specification, which would cause the algorithm to miss many opportunities for eliminating away bound checks. We also propose a new method to overcome these constraints.

• Journal of Navigation and Port Research
• /
• v.30 no.8 s.114
• /
• pp.623-629
• /
• 2006

Recently, bemuse of extensive use of hydrographic information, interoperability of Marine Geographic products is very important for efficient use of geographic information systems. Open GIS Consortium(OGC) developed the Open Geodata Interoperability Specification(OpenGIS) to support the interoperability in the distributed environment, especially Geography Markup Language(GML) Implementation Specification. Geography Markup Language is an XML grammar written in XML Schema for the modelling, transporting, and storing of geographic information GML provides a variety of objects for describing geography including features, coordinate reference systems, geometry, topology, time, units of measure and generalized values. S-57 is currently the IHO standard for the exchange of digital hydrographic data. To date, it ms been used almost exclusively for encoding Electronic Navigational Charts(ENCs). Even though, S-57 is intended to support all types of hydrographic data. In order to meet this requirement, a new standard is being developed. GML will be the core encoding rule of IHO's new standard. But there has been no study that tried to develop the GML for ENC that are recognized as base mop in the Marine GIS. This paper presents the process and results on development of application schema for converting ENC into GML.

• Journal of the Korean Institute of Traditional Landscape Architecture
• /
• v.38 no.1
• /
• pp.1-9
• /
• 2020

This paper investigates spatial composition and landscape characteristics of the royal tomb(Jangneung in Paju) where the 12th King(Injo) and the Queen(InnYeol) of the Joseon Dynasty are buried. Based on the investigations, the study suggests the management plan of the Royal tomb at the end. The study includes research on ancient literature and the on-site survey to estimate the ancient landscape architecture of the Royal tomb. Thereby, it is intended to provide the basic data for the identification, preservation, and restoration of the landscape architecture. As a result of the study, first, Jangneung is confirmed that it is a typical formal landscape structure of the Royal tomb in the Joseon Dynasty. Second, Ecological resources around the royal tombs are consistent with previous records and current field research. Third, although the Japanese colonial rule damaged much of the Royal tomb, it preserves much of its core facilities. However, the restoration of ancillary facilities is required, and a World Heritage Conservation Management Plan is required that complies with the ICOMOS Charter.

• Journal of the Korea Society of Computer and Information
• /
• v.16 no.6
• /
• pp.165-178
• /
• 2011

A gigantic ship is constructed by assembling various types of ship blocks, each block being made by cutting and piecing the steel-plates together. The steel-plate piling process as the initial stage of ship construction sorts and manages the steel-plates according to the ship blocks that the steel-plates are used to make. The steel-plate piling process poses some problems such as process delay due to piling errors, safety vulnerability due to the handling of extra heavy-weight objects, and the uncertainty of work plan due to lack of information management in the pile spaces. We constructed a steel-plate piling process system based on the context-aware computing to resolve such problems. We built simulation system that can simulate the piling process and then established a smart space within the system by using tags, sensors and a real-time location system in order to collect context information. Workers receive an appropriate or intelligent service from the system.

• Journal of Science of Art and Design
• /
• v.2
• /
• pp.222-238
• /
• 2000

The attempts to explain the criterion of art criticism can be divided into three directions. The first is that there is a universal criterion of criticism. The second is that criticism is a subjective impression of each critic. Therefore, there is no universal criterion beyond a subjective impression. The third is that denies both claims. It tries to and the objective criterion which is neither universal nor subjective. In this paper, I will see how John Dewey criticizes the first two theories and holds the third theory. Dewey's denial of the first theory can be seen in his view of the judical criticism. The judical criticism claims that art criticism can be made on the universal criterion, as judical decision can be made on the general rule supposed to be applicable to all cases. But Dewey claims that the judical criticism cannot explain what makes the artist the 'masters'. Defining art as an experience, Dewey claims that art is a process of doing and undergoing, and that art is essentially an interactive activity between men and his environment As environment changes, the experience of the environment also changes. So art should accept the possibility of new experience. But, since the judical criticism advocates of the universal criterion which cannot allow the changeability, Dewey denies it. On the other hand, Dewey's denial of the second theory can be seen in his view of the impressionist criticism. The impressionist criticism claims that criticism is to clarify the impression which is consisted of feeling and imagery the art object evokes. To this claim, Dewey replies that to clarify an impression is to analyze it, and analysis can proceed only by going beyond the impression to the judgement. As we have seen so far, Dewey has denied the judical criticism that there is a universal criterion supposed to be applicable to all criticism. He has also denied the impressionist criticism that there are only subjective responses to the art object, and hence that there is no criterion of criticism at all. For Dewey, these two criticism are based on the same false assumption of the criterion, although their conclusions are different from each other. Both the judical and impressionist criticism failed to realize the difference between the meaning of the criterion as applied in measurement and as used in criticism. Criticizing of these two views of criticism, Dewey claims that there is an objective criterion which is neither universal nor subjective. Art criticism is objective in tv#o senses, i. e., in the first sense that it can be judged by the properties of the art object and in the second sense that it can be verified by the communities of the critics.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.15 no.3
• /
• pp.211-218
• /
• 2015

This paper introduces a 'divide-and-conquer' algorithm to the travelling salesman problem (TSP). Top 10n are selected beforehand from a pool of n(n-1) data which are sorted in the ascending order of each vertex's distance. The proposed algorithm then firstly selects partial paths that are interconnected with the shortest distance $r_1=d\{v_i,v_j\}$ of each vertex $v_i$ and assigns them as individual regions. For $r_2$, it connects all inter-vertex edges within the region and inter-region edges are connected in accordance with the connection rule. Finally for $r_3$, it connects only inter-region edges until one whole Hamiltonian cycle is constructed. When tested on TSP-1(n=26) and TSP-2(n=42) of real cities and on a randomly constructed TSP-3(n=50) of the Euclidean plane, the algorithm has obtained optimal solutions for the first two and an improved one from that of Valenzuela and Jones for the third. In contrast to the brute-force search algorithm which runs in n!, the proposed algorithm runs at most 10n times, with the time complexity of $O(n^2)$.

• Journal of Arbitration Studies
• /
• v.18 no.1
• /
• pp.71-96
• /
• 2008

Arbitration is fundamentally a matter of contract, whereby contractual parties may only be required to submit a dispute to arbitration pursuant to their formal agreement. However, there are several important exceptions to this rule that have developed under common law notions of implied consent. These doctrines may serve either to benefit or to harm a nonsignatory to an arbitral agreement because either (1) the nonsignatory may compel a signatory to the agreement to arbitrate a dispute or (2) the nonsignatory may be compelled to arbitrate a dispute despite never having signed an arbitration agreement. The Court has a long-standing domestic policy of favoring arbitration, and these doctrines reflect that policy. 1. incorporation by reference An arbitration clause may apply to a party who is a nonsignatory to one agreement containing an arbitration clause but who is a signatory to a second agreement that incorporates the terms of the first agreement. 2. assumption An arbitration clause may apply to a nonsignatory who has impliedly agreed to arbitrate. Under this theory, the nonsignatory's conduct is a determinative factor. For example, a nonsignatory who voluntarily begins arbitrating the merits of a dispute before an arbitral tribunal may be bound by the arbitrator's ruling on that dispute even though the nonsignatory was not initially required to arbitrate the dispute. 3. agency A nonsignatory to an arbitration agreement may be bound to arbitrate a dispute stemming from that agreement under the traditional laws of agency. A principal may also be bound to arbitrate a claim based on an agreement containing an arbitration clause signed by the agent. The agent, however, does not generally become individually bound by executing such an agreement on behalf of a disclosed principal unless there is clear evidence that the agent intended to be bound. 4. veil piercing/alter ego In the corporate context, a nonsignatory corporation to an arbitration agreement may be bound by that agreement if the agreement is signed by its parent, subsidiary, or affiliate. 5. estoppel The doctrine of equitable estoppel is usually applied by nonsignatory defendants who wish to compel signatory plaintiffs to arbitrate a dispute. This will generally be permitted when (1) the signatory must rely on the terms of the contract in support of its claims against the nonsignatory, or (2) the signatory alleges that it and the nonsignatory engaged in interdependent misconduct that is intertwined with the obligations imposed by the contract. Therefore, this article analyzed these doctrines centering around case-law in America.

• Journal of the Korean Association of Geographic Information Studies
• /
• v.19 no.2
• /
• pp.1-13
• /
• 2016

In an effort to establish adaptive measures for low carbon use and climate change, this study developed storylines for shared socio-economic reference pathways(SSP) and simulated change in land use for each storyline. First, cellular automata modeling was performed using past data, and a transition rule for the local characteristics of each planning area under study was derived by comparing with the results of the base year. Second, three storylines were formulated based on the hypothesized change in land use for the SSP. SSP1, the scenario for sustainability, assumed that the land was developed into a compact city, SSP2 assumed the development of a road through the middle of the land while maintaining the current situation, and SSP3 assumed unsustainable development into a fragmented world. Third, change in land use depending on planning area was predicted by integrating the SSP scenarios with cellular automata(CA) modeling. According to the results of analysis using the SSP scenarios, the urban area ratio increased slightly up to 2020 in SSP1 and up to 2030 in SSP2 and did not change any more subsequently, but it increased continuously until 2050 in SSP3 that assumed low level urban planning. These results on change in land use are expected to contribute towards making reasonable decisions and policies on climate change, and the outcomes of simulation derived from spatial downscaling, if applied to vulnerability assessment, will be useful to set the priority of policies on climate change adaptation.