• Journal of the Chungcheong Mathematical Society
• /
• v.7 no.1
• /
• pp.13-23
• /
• 1994

In this paper, we consider the higher-order type theoretic language L and construct a type model D of complete partial ordered set. We show that the complete partial ordered set for the language L gives rise to a category and generates a topos.

• Journal of Intelligence and Information Systems
• /
• v.20 no.1
• /
• pp.35-48
• /
• 2014

According to the 2013 construction market outlook report, the liquidation of construction companies is expected to continue due to the ongoing residential construction recession. Bankruptcies of construction companies have a greater social impact compared to other industries. However, due to the different nature of the capital structure and debt-to-equity ratio, it is more difficult to forecast construction companies' bankruptcies than that of companies in other industries. The construction industry operates on greater leverage, with high debt-to-equity ratios, and project cash flow focused on the second half. The economic cycle greatly influences construction companies. Therefore, downturns tend to rapidly increase the bankruptcy rates of construction companies. High leverage, coupled with increased bankruptcy rates, could lead to greater burdens on banks providing loans to construction companies. Nevertheless, the bankruptcy prediction model concentrated mainly on financial institutions, with rare construction-specific studies. The bankruptcy prediction model based on corporate finance data has been studied for some time in various ways. However, the model is intended for all companies in general, and it may not be appropriate for forecasting bankruptcies of construction companies, who typically have high liquidity risks. The construction industry is capital-intensive, operates on long timelines with large-scale investment projects, and has comparatively longer payback periods than in other industries. With its unique capital structure, it can be difficult to apply a model used to judge the financial risk of companies in general to those in the construction industry. Diverse studies of bankruptcy forecasting models based on a company's financial statements have been conducted for many years. The subjects of the model, however, were general firms, and the models may not be proper for accurately forecasting companies with disproportionately large liquidity risks, such as construction companies. The construction industry is capital-intensive, requiring significant investments in long-term projects, therefore to realize returns from the investment. The unique capital structure means that the same criteria used for other industries cannot be applied to effectively evaluate financial risk for construction firms. Altman Z-score was first published in 1968, and is commonly used as a bankruptcy forecasting model. It forecasts the likelihood of a company going bankrupt by using a simple formula, classifying the results into three categories, and evaluating the corporate status as dangerous, moderate, or safe. When a company falls into the "dangerous" category, it has a high likelihood of bankruptcy within two years, while those in the "safe" category have a low likelihood of bankruptcy. For companies in the "moderate" category, it is difficult to forecast the risk. Many of the construction firm cases in this study fell in the "moderate" category, which made it difficult to forecast their risk. Along with the development of machine learning using computers, recent studies of corporate bankruptcy forecasting have used this technology. Pattern recognition, a representative application area in machine learning, is applied to forecasting corporate bankruptcy, with patterns analyzed based on a company's financial information, and then judged as to whether the pattern belongs to the bankruptcy risk group or the safe group. The representative machine learning models previously used in bankruptcy forecasting are Artificial Neural Networks, Adaptive Boosting (AdaBoost) and, the Support Vector Machine (SVM). There are also many hybrid studies combining these models. Existing studies using the traditional Z-Score technique or bankruptcy prediction using machine learning focus on companies in non-specific industries. Therefore, the industry-specific characteristics of companies are not considered. In this paper, we confirm that adaptive boosting (AdaBoost) is the most appropriate forecasting model for construction companies by based on company size. We classified construction companies into three groups - large, medium, and small based on the company's capital. We analyzed the predictive ability of AdaBoost for each group of companies. The experimental results showed that AdaBoost has more predictive ability than the other models, especially for the group of large companies with capital of more than 50 billion won.

• Journal of Intelligence and Information Systems
• /
• v.10 no.2
• /
• pp.79-89
• /
• 2004

Since the amount of E-mail messages has increased , we need a new technique for efficient e-mail classification. E-mail classifications are grouped into two classes: binary classification, multi-classification. The current binary classification methods are mostly spm mail classification methods which are based on rule driven, bayesian, SVM, etc. The current multi- classification methods are based on clustering which groups e-mails by similarity. In this paper, we propose a novel method for e-mail classification. It combines the automatic category generation method based on the vector model and the dynamic category hierarchy construction method. This method can multi-classify e-mail automatically and manage a large amount of e-mail efficiently. In addition, this method increases the search accuracy by dynamic reclassification of e-mails.

• Spatial Information Research
• /
• v.19 no.3
• /
• pp.11-22
• /
• 2011

It is usual for the carbon dioxide emission to be calculated by official energy consumption statistics produced from a number of specialized industrial process such as refinery, power plant etc. The aim of this research was to evaluate potential of cadastral system in monitoring carbon dioxide emitted from land use. An empirical study for a cadastral category was conducted to demonstrate how a on-site measurement can be used to assist in estimating the carbon dioxide emission in terms of land use specific settings. The cadastral category based analysis made it possible to identify area-wide patterns of carbon dioxide emission, which cannot be acquired by traditional Government statistics. It was possible to identify successively increasing trends in the human-related parcels such as housing land while decreasing trends of carbon dioxide in sink parcels(eg. forest). The results indicate that the cadastral parcel could be used not only as a tool to monitor carbon dioxide emission, but also as an evidence to restrict initiation of development activities causing negative influence to carbon dioxide emission such as road construction. As a result, the research findings have established the new concept of "carbon dioxide emission monitoring based on cadastral category", proposed as an initial aim of this paper.

• Journal of Fashion Business
• /
• v.16 no.6
• /
• pp.21-35
• /
• 2012

In consideration of the injuries and deaths occurring at manufacturing sites due to the use of inappropriate work clothes or safety devices, this study aims to categorize manufacturing work processes to develop functional work clothes for heavy industries including the automobile, machine and shipbuilding industries in South Korea. Defining the features of the work environments and work postures of these industries provided for a categorization of the work processes which would enable the development of suitable work clothes for each work process' category. The results of the study based on a questionnaire survey are as follows: Work process category 1, including steel panel pressing and auto body assembly, final inspection (in automobile) and inspection (in machine), requires work clothes with upper body and arm mobility and performance to protect from the toxic fume factor. Work process category 2, consisting of welding (in automobile), cutting-and-forming (in machine) and attachment-and-construction (in shipbuilding), requires clothing elasticity, durability and heat and fire resistance. Work process category 3 comprising welding and grinding in the machine and shipbuilding industries, requires work clothes' tear resistance and elasticity, particularly for lateral bending mobility, and work clothes' sleeves' and pants' hemlines with sealed designs to defend against iron filing penetration, as well as incombustible and heat-resistant material performance. Finally, work process category 4, including painting in machine and shipbuilding, requires work clothes with waterproofing, air permeability, thermal performance, elasticity, durability and abrasion resistance.

• Journal of the Korean Society of Safety
• /
• v.37 no.6
• /
• pp.50-59
• /
• 2022

In the Construction Technology Promotion Act (CTPA) of the Republic of Korea, safety management cost is enforced as a statutory cost that must be included in the budget of construction projects. However, the construction of underground electric power transmission facilities (UEPTFs) is not included in the category of construction works defined in the CTPA. Consequently, the statutory safety management cost does not apply to the construction of UEPTFs. To overcome this limitation, the clients of UEPTF construction projects generally provide internal guidelines enabling the addition of the safety management cost in the project budget. Nevertheless, even after the execution of the internal guidelines, some important cost items are omitted from the budget owing to the incompleteness of the guidelines. In this context, this paper proposes a complete set of accounting items and their calculation methods for appropriate budgeting of the safety management cost of UEPTF construction projects. To this end, the current budgeting method of the safety management cost of UEPTF construction projects is analyzed, and a questionnaire study is performed to confirm the necessary cost items and their appropriate calculation methods. Based on the results of the questionnaire study, a set of accounting items and their calculation criteria for the budgeting of the safety management cost of UEPTF construction projects are proposed.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.3 no.1
• /
• pp.57-62
• /
• 2010

This paper proposes two methods for the construction of job offer and job hunting information in order to supply an environment that can easily connects to job hunting information. First, the database expansion, category rules and ERD(Entity Relation Diagram) are designed for the construction of job hunting site with real example. Second, the prime number labeling rules are designed for the strong intimacy of label rules. Therefore, according to using the systematic and regular rules when we design and construct a database, the consistency and efficiency are improved in the database being constructed and being operated. And the convenience of application program development and operation are easily provided. In addition, the proposed code-expansion rule can be defined and be standardized in the domestic and foreign job offer and job hunting information provision agency.

• Proceedings of the Korean Institute Of Construction Engineering and Management
• /
• 2008.11a
• /
• pp.863-867
• /
• 2008

Value Engineering is one of the most effective too13 to achieve the required cost and time reduction, quality and safety improvement. The role and importance of design value engineering is expected to be high, so the research is needed for its effective accomplishment. Therefore, in this research we have suggested the method of checklist development for the effective accomplishment of design value engineering work. Also, the way of development is that derives major elements from drawing information category and from the base of the derived elements, the research lists up the checklist items. At last, it developed design value engineering checklist based the item that listed up throughout the experts.

• Journal of the Korean Society of Costume
• /
• v.54 no.5
• /
• pp.41-57
• /
• 2004

The purpose of this study was to analyze the 20th century＇s makeup according to aesthetic categories. On the basis of aesthetic theories, four category pairs were determined as inter-confronting aesthetic categories: beauty of utility vs. beauty of social aptness : beauty of decoration vs. beauty of construction : sublime vs. grace : classical beauty vs. romantic beauty. 20th century＇s makeup was analyzed at the interval of 10 years referring to the images of actresses in the films produced in Hollywood and European countries. It was identified that 20th century＇s makeup had changed from decorative and dramatic makeup to natural makeup as the century proceeded. Consequently, beauty of social aptness, beauty of decoration. sublime, and romantic beauty were emphasized in the early 1900s while beauty of utility. beauty of construction, grace, classical beauty were emphasized in the later 1900s. In the whole 20th century, grace is the most dominant beauty among eight aesthetic categories due to it connote femininity. As the variety of fashion increases. the makeup patterns has become more diversified in recent years.

• Korean Journal of Construction Engineering and Management
• /
• v.14 no.5
• /
• pp.122-130
• /
• 2013

As the level of competition has increased in the construction management market, it becomes a critical issue for CM firms to secure competitive edges. The objective of the study is to investigate elements of competitive strategy as perceived by CM firms and to discuss key features and implications. Michael Porter's Competitive Strategy Model was used as a framework to analyse the elements under three strategy categories. A major finding includes that Differentiation Strategy is generally perceived most important strategy category but, depending on the group to which a CM firm belongs, there exist a gap in the perception. However, regardless of the group, Cost Leadership is commonly considered least important strategy category. In particular, lowest-bidding strategy element showed the least importance. Understanding CM firms' perceptions on elements of competitive strategy provides an insight into CM firms' current strategy directions and can be useful for future tuning in a firms' own strategy.