• Journal of KIISE:Software and Applications
• /
• v.31 no.5
• /
• pp.658-666
• /
• 2004

Separable systems are defined in term rewriting systems, respecting the notion of separability in the λ-calculus. In this research, we generalize separable systems of term rewriting systems, which was studied in restrictive systems such as constructive systems. We also associate separability with index-transitivity and with forward branching Separability is identified with forward branching, and strong sequentiality with index-transitivity satisfies separability. These are such good properties that enable us to describe the procedure of pattern-matching as an index tree, which is a sort of automata, and to transform separable systems into a constructor system with a simple pattern. Separable systems, in particular, can be translated into the λ-calculus. This research can serve a theoretical basis which allows functional languages to be explained by the λ-calculus, since functional languages such as ML and Haskell belong to a subclass of separable systems.

• Journal of The Korean Society of Agricultural Engineers
• /
• v.60 no.5
• /
• pp.125-134
• /
• 2018

Recently, interest in alternative energy has been increasing to reduce greenhouse gas emissions and fossil fuel consumption in accordance with the United Nations Framework Convention on Climate Change(UNFCCC). Accordingly, there is a need to use waste heat that unused throughout industrial systems for lowering the concentration of energy on fossil fuels. In particular, government support projects for the energy recycling of agriculture and fisheries such as cultivation of tropical crops and aquaculture are being actively carried out by utilizing waste heat and thermal effluents caused from large-scale industrial complexes including power plants. The study was conducted on supplier (power plant), consumer (farmer) and stakeholders (constructor and local governments) of domestic demonstration areas using waste heat that is abandoned from the power plant in the form of thermal effluents. It investigated the overall improvement and feasibility of government funded projects through field interviews and questionnaire-type surveys. The results of this study are expected to provide basic directions for the operation of the project in terms of nationwide expansion and diffusion of the heat source supply project at horticultural greenhouse by utilizing the thermal effluents from power plant.

• Journal of KIISE:Databases
• /
• v.31 no.3
• /
• pp.320-330
• /
• 2004

Query languages for XML use paths in a data graph to represent queries. Actually, paths in a data graph are used as a basic constructor of an XML query. User can write more expressive Queries by using Patterns (e.g. regular expressions) for paths. There are many identical paths in a data graph because of the feature of semi-structured data. Current researches for indexing XML utilize identical paths in a data graph, but such an index can grow larger than source data graph and cannot guarantee efficient access path. In this paper we propose a partitioning technique that can partition all the paths in a data graph. We develop an index graph that can find appropriate partitions for a path query efficiently. The size of our index graph can be adjusted regardless of the source data. So, we can significantly improve the cost for index graph traversals. In the performance study, we show our index much faster than other graph based indexes.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.7
• /
• pp.1805-1816
• /
• 1999

This paper presents the Module Class Dependency Graph for expressing the dependency relations between classes effectively. The object-oriented language is developed independently at design time, and consists of relationship between classes. Therefore we need to consider these characteristics of independence, and to express effectively the relation of classes which is existed in class hierarchy. In the System Dependence Graph and Class Dependence Graph, the relationship of classes is not expressed. To express the class relationship, we propose the Module Class Dependence Graph, and we verify the effectiveness of this method applying to object constructor, inheritance relationship and dynamic binding. Also, we presents the expressing method of parameter to identify the member data of classes. Using this Module Class Dependency Graph, we can analyze the relationship of module class correctly at design time. This method can be applied to reverse engineering, testing, visualization and other various fields to analyze system.

• Korean Journal of Construction Engineering and Management
• /
• v.9 no.3
• /
• pp.194-205
• /
• 2008

The production process of construction industry is different from thing of the general manufacturing, likewise various participants make temporary teamwork for success of the project through sharing of information. But, the each role of participants is Individually changed to step in construction process stage and moreover it has complicated, entangled interests. The CM(so it called Construction Management as an abbreviation word) system was inducted for the effective management and operation of construction project. The key of the CM success depends on the cooperative relationship relation to major participants. There are lots of studies and efforts for the performance measures of the CM, however existing performance index is only measured as the viewpoint of project owner. Therefore it needs to make up for balanced view through combination of the four-way view of participants. In this study, we should search for cooperative relationship of project participants, and then we should suggest to define the difference of project in their viewpoints.

• Proceedings of the KSR Conference
• /
• 2008.11b
• /
• pp.441-445
• /
• 2008

LRT is eco-friendly transportation system and can be constructed at less than half cost of subway. Therefore many local governments have planned to construct a various type of LRT and some of them were already under construction. In Para. 2 of Art. 22 of the "Enforcement Decree of Urban Railroad Act" - safety standard of urban railroad vehicle, It can't be operated if "structures and devices" don't come up to standard required to safety operation. Constructor or operator should give an order or operate according to safety standard in Art. 3 of the Safety Standard of Urban Railroad Vehicle. Safety Standard of Urban Railroad Vehicle of 2000 was reformed once to tighten fire safety standard in 2004 after subway accident in Daegue. It was entirely made for medium and large-sized electric motor car. LRT, based on driverless operation and articulated bogie, has different safety standard in signalling devices and the axle load. etc. So many institutes related LRT have required to amend. In this paper, we described features of LRT vehicle and necessity of amendment and discussed how it should be amended.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.42 no.3
• /
• pp.232-241
• /
• 2019

Stakeholder management in construction projects is an important factor in project performance creation. The purpose of this study is to verify the effect of the recognition of the importance of the quality influence factors among the stakeholders of the construction project on the perceived quality and the project performance. The impact of the project management methodology on the project performance has been actively researched, but there is little research result on the project stakeholders. The projects to be researched are apartments and buildings that have been completed within the last five years of domestic large construction company. The method of survey is to measure the consensus of the importance of the quality influential factors among the three parties such as the ordering party, the design supervisor and the constructor, and confirm whether the agreement affects the quality of the actual project. Finally, the research model was verified by surveying the satisfaction of the client on the final product. The results are as follow. The degree of agreement on the importance of quality influential factors among stakeholders has a significant effect on perceived quality. In the relationship between perceived quality of influence factors, organizational (support) quality influenced technological quality and managerial quality, and technological quality and managerial quality also have significant influence on resource quality. The results of analysis showed that perceived quality of resources strongly influenced project performance. The remaining three experienced qualities also significantly affect project performance.

• Journal of the Architectural Institute of Korea Planning & Design
• /
• v.34 no.7
• /
• pp.3-12
• /
• 2018

The present remodeling makes almost no difference from rebuilding as all the building materials are removed remaining frame structure only. And, in case of vertical extension of building, higher construction cost and safety problem occur. The Ministry of Land, Transport and Maritime Affairs, therefore, recommends customized remodeling that can be made in light of the resident' needs such as parking lot, elevator, bathroom, and room for the alternative of remodeling of vertical extension of building. The purpose of this study is to present real data that can be referred to the constructor's decision making before starting the remodeling, by investigating and analyzing the weight and importance between evaluation factors for customized remodeling at the completed time of remodeling. Accordingly, the factors were divided into environmental factor, social factor, and economical factor, and the survey was performed for the residents living in remodeling houses. In addition, for the professionals, AHP (Analytic Hierarchy Process) has been carried out for the priority in the customized remodeling. For environmental factor, the level of importance made difference from that before remodeling, except parking level. For social factor, every item, including psychological satisfaction and community satisfaction, made difference. For economical factor, the recognition level of importance in rent made difference, except sale price of the factor for price satisfaction. In case of the factor for cost satisfaction, it was checked that construction cost and administration cost both could be considered important. As a result of AHP, the most importantly emphasized item was construction cost, and sale price, administration cost, residence structure, and parking lot were followed by priority in order. This study could contribute to reliably settle down customized remodeling by giving reasonable and substantial help from the analysis of the differences in the customized remodeling items before/after the remodeling.

• Journal of the Architectural Institute of Korea Planning & Design
• /
• v.35 no.7
• /
• pp.45-52
• /
• 2019

In recent years, there has been a demand for a residential supply model that can actively and flexibly cope with various housing demands in the changing paradigm of public rental housing. This study focuses on the two-step supply system that has been studied in Japan. It was used to examine and analyze cases to recommend a supply plan that can be used for domestic public rental housing. In more detail, the literature review of the two-step supply system discloses that four types by supply methods (A-1, A-2, B-2, and C-2) and four types of relationship (construction and management combine entities type, management entity type, construction entity type, a separated entity type) can be categorized. In addition, from the actual case study, it revealed that the way of linking and supplying activities among the entity can have a great influence on "ease of supply (supply)", "diversity of housing demand (diversity)," and "quality of construction (construction)". "Ease of supply (supply)" refers to whether the construction entity is separated, and the owner is a manager. "Diversity" refers to whether the management subject is separated, and if the owner is also the constructor or the manager. "Construction" is whether the management entity is connected and managed by the management entity and can be evaluated in "Good", "Middle", and "Bad" level. As a summary, even if the existing public rental housing in Korea can be separated into a skeleton and infill system, the result suggested that it has a limitation on response to residential demand. In addition, the paper was able to propose an improved plan to make the infill as a secondary operator.

• Journal of Internet of Things and Convergence
• /
• v.9 no.1
• /
• pp.131-138
• /
• 2023

This paper is related to performance improvement of Image-to-Image translation using Relativistic Average Patch GAN and Residual in Residual Dense Block. The purpose of this paper is to improve performance through technical improvements in three aspects to compensate for the shortcomings of the previous pix2pix, a type of Image-to-Image translation. First, unlike the previous pix2pix constructor, it enables deeper learning by using Residual in Residual Block in the part of encoding the input image. Second, since we use a loss function based on Relativistic Average Patch GAN to predict how real the original image is compared to the generated image, both of these images affect adversarial generative learning. Finally, the generator is pre-trained to prevent the discriminator from being learned prematurely. According to the proposed method, it was possible to generate images superior to the previous pix2pix by more than 13% on average at the aspect of FID.