• Proceedings of the Korean Institute Of Construction Engineering and Management
• /
• autumn
• /
• pp.96-101
• /
• 2001

Incheon International Airport Construction Project the biggest national multi-complex construction project in a single area in Korea, the necessity for introducing the Program Management System has been brought up from the development stage due to its specific characteristics and environment and with the Project Management Services Contract in December 1994 the system has been established and operated. At the time of contracting, there were controversies over the expected effect of the system since there were no related laws and regulations in domestic construction codes. Furthermore the situation was very hard in which some practical problems have been found in the process of applying and operating the system due to the lack of recognition and infrastructure in Korea. Incheon. In spite of these difficulties, thanks to the devotion and efforts of the project participants along with thoughtful concerns from the industries and the academies, the project goal has been successfully accomplished. This paper will analyze the various problems arose in the process of applying the Project Management System to Incheon International Airport and present more practical and desirable ways so that it can help to make the environment for properly settling Construction Management at the earliest.

• Journal of the Korea Society of Computer and Information
• /
• v.28 no.7
• /
• pp.85-93
• /
• 2023

Software birthmark refers to a unique feature inherent in software that can be extracted from program binaries even in the absence of the original source code of the program. Like human genetic information, the similarity between programs can be calculated numerically, so it can be used to determine whether software is stolen or copied. In this paper, we propose a new birthmark technique for Android applications developed using Unity. The source codes of Unity-based Android applications use C# language, and since the core logic of the program is included in the DLL module, it must be approached in a different way from normal Android applications. In this paper, a Unity birthmark extraction and comparison system was implemented, and reliability and resilience were evaluated. The use of the Unity birthmark technique proposed in this paper is expected to be effective in preventing illegal copy or code theft of the Unity-based Android applications.

• Journal of the Korean Institute of Telematics and Electronics C
• /
• v.35C no.12
• /
• pp.1-12
• /
• 1998

In this paper, a design and implementation of VHDL-to-C mapping in the VHDL compiler back-end is described. The analyzed data in an intermediate format(IF), produced by the compiler front-end, is transformed into a C-code model of VHDL semantics by the VHDL-to-C mapper. The C-code model for VHDL semantics is based on a functional template, including declaration, elaboration, initialization and execution parts. The mapping is carried out by utilizing C mapping templates of 129 types classified by mapping units and functional semantics, and iterative algorithms, which are combined with terminal information, to produce C codes. In order to generate the C program, the C codes are output to the functional template either directly or by combining the higher mapping result with intermediate mapping codes in the data queue. In experiments, it is shown that the VHDL-to-C mapper could completely deal with the VHDL analyzed programs from the compiler front-end, which deal with about 96% of major VHDL syntactic programs in the Validation Suite. As for the performance, it is found that the code size of VHDL-to-C is less than that of interpreter and worse than direct code compiler of which generated code is increased more rapidly with the size of VHDL design, and that the VHDL-to-C timing overhead is needed to be improved by the optimized implementation of mapping mechanism.

• The Journal of the Korea Contents Association
• /
• v.13 no.2
• /
• pp.19-31
• /
• 2013

Since the high readable source codes help us to understand and modify the program, it is much easy to maintain them. The readability of source code is not only affected by the complexity of algorithms such as control structures but also affected by the coding styles such as naming and indentation. Although various coding standards have been presented for promoting the readability of source codes, it has been usually lost or ignored in a programming course. One of the reasons is that the coding standard is not a hard-and-false rule since it does not contribute to the performance of software. In this paper, we propose a simple automatic system, namely StyleJigsaw, which checks the style of the source codes written by C/C++ or Java. In this system, the coding style score is calculated and visualized as a jigsaw puzzle. To measure the educational effectiveness of StyleJigsaw, several experiments have been conducted on a class students in C++ programming course. According to the experimental results, the coding style score increased about 8.0 points(10.9%) on average using StyleJigsaw. Further, according to a questionnaire survey targeting the students who attended the programming course, about 88.5% of the students responded that StyleJigsaw was of help to learn the coding standards. We expect that the StyleJigsaw can be effectively used to encourage the students to obey the coding standards, resulting in high readable programs.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.37 no.3
• /
• pp.531-539
• /
• 2017

The strut-tie model approach has been recognized as an efficient methodology for the design of all types of concrete members with D-regions, and the approach has been accepted in design codes globally. However, the design of concrete members with the approach requires many iterative numerical structural analyses, numerous graphical calculations, enormous times and efforts, and designer's subjective decisions in terms of the development of appropriate strut-tie model, determination of required areas of struts and ties, and verification of strength conditions of struts and nodal zones. In this study, a computer graphics program, that enables the design of concrete members efficiently and professionally by overcoming the forementioned limitations of the strut-tie model approach, is developed. In the computer graphics program, the numerical programs that are essential in the strut-tie model analysis and design of concrete members including finite element analysis programs for the plane truss and solid problems with all kinds of boundary conditions, a program for automatic determination of effective strengths of struts and nodal zones, and a program for graphical verification of developed strut-tie model's appropriateness by displaying various geometrical shapes of struts and nodal zones, are loaded. Great efficiency and convenience during the application of the strut-tie model approach may be provided by the various graphics environment-based functions of the proposed program.

• Journal of KIISE:Software and Applications
• /
• v.33 no.12
• /
• pp.1090-1102
• /
• 2006

This paper suggests a new algorithm for detecting the plagiarism among a set of source codes, constrained to be functionally equivalent, such are submitted for a programming assignment or for a programming contest problem. The typical algorithms largely exploited up to now are based on Greedy-String Tiling, which seeks for a perfect match of substrings, and analysis of similarity between strings based on the local alignment of the two strings. This paper introduces a new method for detecting the similar interval of the given programs based on an adaptive similarity matrix, each entry of which is the logarithm of the probabilities of the keywords based on the frequencies of them in the given set of programs. We experimented this method using a set of programs submitted for more than 10 real programming contests. According to the experimental results, we can find several advantages of this method compared to the previous one which uses fixed similarity matrix(+1 for match, -1 for mismatch, -2 for gap) and also can find that the adaptive similarity matrix can be used for detecting various plagiarism cases.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.10 no.1
• /
• pp.149-156
• /
• 2006

Steel hollow section members have been widely used as a major material in the construction market due largely to their efficiency, their aesthetic appeal and to the technical development. But it is true that the commercial Program for dealing with a joint problem using hollow section members is not firmly established due to its uncertain and variable design parameters. The qualitative analysis program developed by using computer is introduced in this study. The results of that analysis are shown in the two-dimensional space in variable ranges and diagrams, so it would be useful to whom have not many experiences and knowledges. It is represented that the differences between Canadian code and the Korean standard for the connections of hollow section members. And It is verified that the software is applicable to the Preliminary design in steel tubular structures.

• Journal of KIISE:Software and Applications
• /
• v.35 no.10
• /
• pp.636-652
• /
• 2008

In this paper, we present a modular pointer analysis algorithm based on the update history. We use the term 'module' to mean a set of mutually recursive procedures and the term 'modular analysis' to mean a program analysis that does not need the source codes of the other modules to analyze a module. Since a modular pointer analysis does not utilize any information on the callers, it is difficult to design a precise analysis that does not lose the information related to the program flow or the calling context. In this paper, we propose a modular and flow- and context-sensitive pointer analysis algorithm based on the update history that can memory states of a procedure independently of the information on the calling context and keep the information on the order of side effects performed. Such a memory representation not only enables the analysis to be formalized as a modular analysis, but also helps the analysis to effectively identify killed side effects and relevant alias contexts.

• Journal of the Korea Computer Industry Society
• /
• v.4 no.4
• /
• pp.633-646
• /
• 2003

Using the self-contained characteristics of XML, in various areas the XML is widely used to a meta language which can describe information and is recognized to a standard language to present information on the web. In this paper, we point out many difficult problems when we are going to a serial activity of software engineering like that we analyze, reuse, and maintenance source programs. Then we describe whether the existed studies about documentation provide the solutions for the problems above mentioned or not. Finally, we propose the JML(Java Markup Language) that can effectively support solutions about these difficulties. Then we analyze the sample program and present the generated JML docuement using the results. explain the result that The JML is an XML DTD to describe software information written by Java language. Also, we describe the meaning of elements that are parts of whole JML, and explain how to represent the information of Java source codes using each element.

• Journal of Korea Multimedia Society
• /
• v.9 no.1
• /
• pp.101-108
• /
• 2006

Developing a network game that is serviced on the internet requires a lot of work, time and manpower. Therefore, it is important to design a game in such a way so that existing design codes could be used. The database for the multi-player network game is accessed from many clients. To manage the resource effectively, it is required to design the APIs to be minimized the database access and to be dealt with the related data efficiently. For this, it is needed to apply the object-oriented design for the related software modules. In the paper, we propose the design patterns of GoF to implement the APIs thatis needed to deal with the database resource. The database design through the analysis of some game's GUI has the advantage to create the optimized schema set more quickly, because it minimize the review step and the modification step of the database design generally. In addition, we apply to the design patterns of GoF for the APIs design of the server-side database. These reduce the times of the program call between the game server and the database server. These also make easily the maintenance for the already developed APIs, and it makes easily the addition of new APIs.