• Title/Summary/Keyword: Formal data

Search Result 767, Processing Time 0.021 seconds

A Formal Framework for Analyzing Performance of Container Terminal Operations (컨테이너 터미널 운영 분석을 위한 형식 프레임워크)

  • Park, Eun-Jung;Ha, Byung-Hyun
    • The Journal of Society for e-Business Studies
    • /
    • v.18 no.2
    • /
    • pp.191-203
    • /
    • 2013
  • Today, information technologies have been applied to operations in container terminals, and it is possible to collect operational log data due to development of equipment and operations technology. Terminal operators are collecting event log data and try to figure out the way of resolving operations problems. Operators want to analyze event logs to determine the causes of the operation problems, but it can hardly be done manually. In this paper, we suggest a formal framework to evaluate performance measures using the collected log data of operations in container terminals. The proposed formal framework supports different container terminal layout, operational processes, and equipment. Our formal framework is composed of specification of terminal layout, log data, workflow, statistics, and report, based on the concept of container handling objects. For validation of our framework, we have implemented a terminal performance analysis system based on the proposed framework.

The Development of an Automatic Tool for Formal Concept Analysis and its Applications on Medical Domain (형식개념분석을 위한 자동화 도구의 개발과 의료분야에서의 적용사례)

  • Kim, Hong-Gee;Kang, Yu-Kyung;Hwang, Suk-Hyung;Kim, Dong-Soon
    • The KIPS Transactions:PartD
    • /
    • v.13D no.7 s.110
    • /
    • pp.997-1008
    • /
    • 2006
  • For extracting and processing information explicitly from given data, Formal Concept Analysis(FCA) is provided a method which is widely used for data analysis and clustering. The data can be structured into concepts, which are formal abstractions human thought allowing meaningful comprehensible interpretation. However, most FCA tools mainly focus on analyzing one-valued contexts that represent objects, attributes and binary relations between them. There we few FCA tools available that provide scaling and analyzing many-valued contexts representing objects, attributes and relations with attributes' values. In this paper, we propose not only a scaling algorithm for interpreting and simplifying the multivalued input data, but also an algorithm to generate concepts and build concept hierarchy from given raw data as well. Based on these algorithms, we develop an automate tool, FCA Wizard, for concept analysis and concept hierarchy. We also present FCA Wizard based applications in medical domain.

The Impact of the Buyer Participation in CSR Activities on a Supply Chain

  • Ma, Jin-Hee;Ahn, Young-Hyo;Choi, Seok-Beom
    • Journal of Distribution Science
    • /
    • v.16 no.3
    • /
    • pp.23-32
    • /
    • 2018
  • Purpose - This study aims to investigate whether the buyer's participation in CSR activities can affect the informal cooperation and relationship beyond formal cooperation and relationship. Research design, data, and methodology - We defined the research model and selected variables(monitoring and contracts by the buyer, formal cooperation & relationship, and informal cooperation & relationship). After completing the questionnaire, we analyzed 319 manufacturing companies. Prior to the hypothesis testing, Exploratory factor analysis(EFA) and confirmatory factor analysis(CFA) were conducted to check for discriminant validity and convergent validity. Results - The stronger the buyer monitoring on the company's CSR activities, the more positive it affects the formal business cooperation. On the other hand, strong buyer monitoring did not affect formal business relationships. Therefore, even if buyers' monitoring of CSR activities is strong, it does not mean that the formal business relationship is improved, but it means that it is possible to improve the formal business cooperation. Conclusions - This study shows that the stronger the buyer monitoring on the supplier's CSR activities, the more positive it affects formal cooperation. It also demonstrates that formal business cooperation between the supplier and the buyer, that is, sharing goals and works for CSR activities, has a positive effect on relationships based on emotional exchange and commitment.

A Study of improving reliability on prediction model by analyzing method Big data (빅데이터 분석방법을 이용한 예측모형의 신뢰도 향상에 관한 연구)

  • Song, Min-Gu;Kim, Sun-Bae
    • Journal of Digital Convergence
    • /
    • v.11 no.6
    • /
    • pp.103-112
    • /
    • 2013
  • Traditional method of establishing prediction model is usually using formal data stored in Data Base. However, nowadays advent of "smart" era brought by ground-breaking development of communication system makes informal data to dominate overall data, such 80% in total. Therefore, conventional method using formal data as establishing predicting model would be untrustworthy means in present. In other words, it is indispensible to make prediction model credible including informal data(SNS, image, video) and semi-formal data(log data). In this study, we increase credibility of predicting model adapting Bigdata method and comparing reliability of conventional measurement to real-data.

A Study on the Pattern Grading for Men's Formal Wear (남성정장 상.하의 그레이딩에 관한 연구)

  • 백경자;유경진;이정란
    • Journal of the Korean Society of Clothing and Textiles
    • /
    • v.26 no.6
    • /
    • pp.843-852
    • /
    • 2002
  • The purpose of this study was to propose a computer-based grading method for men's formal wear according to the sizing systems based on the size and dimension whereby manufactured men's formal wear can be classified. The following procedures were as follows : 1) We surveyed the sizing systems and the computer-grading methods that have been used and presently practiced by the domestic garment industry of the ready-made men's wear. 2) Using the survey data of the domestic men's ready-made clothing industry and that of the National Anthropometric Survey of Korea in 1997, we proposed the new sizing and grading systems of men's formal wear within the framework of the Korean Garment Industry's directions and the data of the domestic men's ready-made clothing industry. 3) The suitability of the new grading systems to the domestic garment industry were put to a wearing teat. The findings were as follows : 1) Survey of the domestic ready-made garment industry showed that each company classified its own manufactured goods according to its own sizing and grading systems. 2) The superiority of the grading system was been demonstrated by a high approval rate of the subjects who participated in the testing.

Barriers to Access Formal Financial Services: An Empirical Study from Indonesia

  • JAYANTI, Ari Dwi;AGUSTI, Kemala Sari;SETIYAWATI, Yuli
    • The Journal of Asian Finance, Economics and Business
    • /
    • v.8 no.11
    • /
    • pp.97-106
    • /
    • 2021
  • The condition of financial services in Indonesia is unique, based on various characteristics, behaviors, and preferences. Therefore, the study of finance and banking is interesting to study as a recommendation for government policies. This paper aims to analyze the barriers to accessing formal financial services in Indonesia and why informal financial services are preferred. This paper presents a case study of financial inclusion in selected provinces in Indonesia using the SOFIA dataset from the Ministry of National Development Planning. Overall, this data consists of 20,000 individuals from 4 provinces and 93 regions representing the population in eastern Indonesia. The analysis was carried out by processing individual-level cross-sectional data surveyed in 2017 using the probit binary logistic method. The results identify the individual barriers in accessing formal financial services, including account ownership, saving, and credit activities in the formal financial institutions, and amplify the image by analyzing what determinants affect people to choose informal institutions. We found that some individual characteristics such as age, gender, education, income, employment status, residence, and access to technology significantly affect the barrier to formal financial services in East Indonesia.

A FCA-based Classification Approach for Analysis of Interval Data (구간데이터분석을 위한 형식개념분석기반의 분류)

  • Hwang, Suk-Hyung;Kim, Eung-Hee
    • Journal of the Korea Society of Computer and Information
    • /
    • v.17 no.1
    • /
    • pp.19-30
    • /
    • 2012
  • Based on the internet-based infrastructures such as various information devices, social network systems and cloud computing environments, distributed and sharable data are growing explosively. Recently, as a data analysis and mining technique for extracting, analyzing and classifying the inherent and useful knowledge and information, Formal Concept Analysis on binary or many-valued data has been successfully applied in many diverse fields. However, in formal concept analysis, there has been little research conducted on analyzing interval data whose attributes have some interval values. In this paper, we propose a new approach for classification of interval data based on the formal concept analysis. We present the development of a supporting tool(iFCA) that provides the proposed approach for the binarization of interval data table, concept extraction and construction of concept hierarchies. Finally, with some experiments over real-world data sets, we demonstrate that our approach provides some useful and effective ways for analyzing and mining interval data.

A Study on the Architectural Planning of Formal and Informal Learning Spaces at the College of Medicine (의과대학의 학습 및 학습공유공간에 관한 건축계획 연구)

  • Choi, Kwangseok
    • Journal of The Korea Institute of Healthcare Architecture
    • /
    • v.27 no.3
    • /
    • pp.7-16
    • /
    • 2021
  • Purpose: This study identified the planning trends for formal and informal learning spaces in the college of medicine through literature reviews. And then, by the analysis of the actual condition of existing domestic facilities, It was organized the architectural planning baseline data and future directions for the formal and informal learning spaces in the college of medicine. Methods: This study was conducted using literature reviews on the existing medical education method and learning space planning. Subsequently on-site surveys and questionnaires were conducted at existing facilities. Results: In the past, learning space of the college of medicine was considered only a formal learning space such lecture rooms, labs. But lately it has been turned into a total learning concept that embraces shared learning spaces such as libraries, student spaces, amenities and common spaces such as lobbies and hallways. ① Formal learning spaces are composed of teaching and practice areas. Since It is the basic functions that comprise the college of medicine, this paper conducted a functional analysis based on the current operating system of the College of Medicine and provided baseline data on architectural planning such as function, layout, zoning, and detailed planning. ② The informal learning sharing space was divided into a library area and a student well-being and convenience area to analyze the real conditions of domestic medical college. In addition, by comparing the trends and differences in foreign medical colleges identified by literature analysis, this paper summarizes the need to revitalize informal learning spaces and their integration into formal learning spaces, architectural planning considerations, etc. Implications: the evolution of the learning method and the flexibility of the learning space bring about changes in the learning space.

Formal Representation and Query for Digital Contents Data

  • Khamis, Khamis Abdul-Latif;Song, Huazhu;Zhong, Xian
    • Journal of Information Processing Systems
    • /
    • v.16 no.2
    • /
    • pp.261-276
    • /
    • 2020
  • Digital contents services are one of the topics that have been intensively studied in the media industry, where various semantic and ontology techniques are applied. However, query execution for ontology data is still inefficient, lack of sufficient extensible definitions for node relationships, and there is no specific semantic method fit for media data representation. In order to make the machine understand digital contents (DCs) data well, we analyze DCs data, including static data and dynamic data, and use ontology to specify and classify objects and the events of the particular objects. Then the formal representation method is proposed which not only redefines DCs data based on the technology of OWL/RDF, but is also combined with media segmentation methods. At the same time, to speed up the access mechanism of DCs data stored under the persistent database, an ontology-based DCs query solution is proposed, which uses the specified distance vector associated to a surveillance of semantic label (annotation) to detect and track a moving or static object.

A Study on A-formal in Furniture Design Form Creation (가구디자인 형태창출에 있어서 비정형에 관한 연구)

  • Kim, Young Ho
    • Journal of the Korea Furniture Society
    • /
    • v.26 no.4
    • /
    • pp.301-313
    • /
    • 2015
  • This study purposes on continuing experimental research of furniture form creation focused on the importance and necessity for a-formal concept for designers to drift away from general acknowledgement and practice routine to design more radical forms for meeting various needs of late industrialized society, which have not been satisfied with formal and universal designs. This study covers presenting new points of view on research for designers to look for different solutions to widen their consideration in the process of furniture form development and to set up academic data base with the case studies of designers in anti-construction concept to define their experimental challenges for new design form creation, on the basis of overall research on the effects and roles of a-formal approach in the furniture design form creation.