Seokyung Park - Academia.edu (original) (raw)

Papers by Seokyung Park

Clinical nutrition research, 2018

We reported the cases in order to evaluate the effects of individualized nutrition interventions ... more We reported the cases in order to evaluate the effects of individualized nutrition interventions for enhancing self-management abilities of prediabetic subjects. We conducted four nutrition interventions for weight control in two subjects with high-risk of type 2 diabetes. The first subject was a 53-year-old housewife, and the second subject was a 46-year-old male office worker. The subjects visited the medical center 4 times during the study period, and the lifestyle interventions were advised by a clinical team comprised physicians, clinical dietitians, and nurses. In particular, nutrition intervention to achieve weight loss focused on enhancing motivation and problem-solving skills to improve self-management ability. As a result, both subjects achieved weight loss by the time of their last visits. These two case studies, which differed in terms of sex, occupation, and dietary habits showed the importance of individualized nutrition intervention and forming an intimate relationshi...

The Journal of Korean Diabetes, 2021

Diabetic nephropathy is a microvascular complication in diabetic patients and a major cause of en... more Diabetic nephropathy is a microvascular complication in diabetic patients and a major cause of endstage kidney disease. Proper blood sugar control and blood pressure management can delay progression of kidney disease and can be aided by appropriate clinical nutritional therapy. As excessive protein intake affects kidney function and albuminuria, it is necessary to control protein intake. In addition, restriction of sodium intake is required as it can reduce blood pressure and albuminuria and delay the progression of kidney disease. For potassium and phosphorus, though a specific intake is not recommended, adjustments might be needed depending on stage of kidney disease and blood levels.

J. Inf. Technol. Constr., 2016

This paper aims to describe the definition of KBimCode Language and to demonstrate its actual use... more This paper aims to describe the definition of KBimCode Language and to demonstrate its actual use case. KBimCode is a domain-specific computer language to represent the regulatory sentences in the Korea Building Act as explicit computable rules currently focusing on the building permit-related requirements. As other domain-specific languages are usually in pursuit of both ease-of-use and adequate fidelity to deal with complex domain-specific issues, KBimCode also aims to accomplish a neutral and standardized way of rule-making in an easy-to-use syntax. To address how KBimCode has achieved such objectives, the following main topics are covered in this paper: 1) Language design: features of the Korea Building Act are reflected in a strategy for lexical and syntactic design of KBimcode Language; 2) Language definition: based on the context-free EBNF notation, specifications of KBimCode Language are described; 3) Demonstration: KBimCode can be applied to a BIM assessment tool and execut...

This paper aims to define the syntax of KBimCode Language as a domain-specific computer language ... more This paper aims to define the syntax of KBimCode Language as a domain-specific computer language to represent Korea Building Act sentences. KBimCode Language represents building permit requirements in Korea Building Act as explicit computable rules. KBimCode aims to accomplish the neutral and standardized way of rule-making in an easy-to-use syntax. This paper introduces the approach of language design and definition. The main concerns handled in the paper are: 1) features of building permit-related regulations in Korea Building Act are reflected in the strategy for the lexical and syntactic design of KBimCode Language; 2) specification of KBimCode based on the context-free EBNF notation is introduced; and evaluation of the language definition is performed. KBimCode is an ongoing project. Together with newly developed rule checking applications, KBimCode will establish automated design quality assessment system in Korea.

Proceedings of the 32nd International Symposium on Automation and Robotics in Construction and Mining (ISARC 2015), Jun 18, 2015

This paper aims to describe rule checking method, classification and its demonstration. As applic... more This paper aims to describe rule checking method, classification and its demonstration. As applications of BIM extends, there have been some challenging projects on automated building compliance checking. The current rule-making method is developercentered and thus is difficult to define rules without propound programming knowledge. This paper introduces high level rule making methods with law sentence-centered approach. The proposed methods have intuitive naming convention and are directly mapped with the predicate of the law sentences. Therefore, it is easy to infer function of the methods. According to the type of object and property in instance level, three hierarchies of method classification were set: 1) level 1 divides types of instance, 2) level 2 classifies the type of property, and 3) level 3 specifies the content of checking. From the level 3, representative rule checking method is defined. The representative method is subdivided into extended methods according to the specific object and property to check. The rule checking methods are combined together to form an intermediate pseudocode. The pseudo-code is later to be parsed into computer executable form. This paper mainly focuses on 1) introducing law sentence-centered rule checking method, 2) object and property-based classification of rule checking method, 3) method extensibility and 4) demonstration of rule checking methods with actual requirement sentences from the Korea Building Permit. The high level rule checking method is developed as a part of KBimLogic. KBimLogic is a software that translates the Korea Building Permit requirement into computer executable format. KBimLogic is now under development with government funding.

Proceedings of the 33rd International Symposium on Automation and Robotics in Construction (ISARC), Jul 21, 2016

This paper aims to describe applications of KBimCode that enables representation, definition and ... more This paper aims to describe applications of KBimCode that enables representation, definition and evaluation of building permit rules for BIMenabled code compliance checking. KBimCode is a standardized script language. It is developed to represent the Korean Building Act as explicit computable rules. The application of KBimCode can be summarized as: 1) Preparation of natural language rule, 2) representation of rule, 3) definition of rule, 4) execution of rule, and 5) execution result and report. This paper mainly focuses on describing the process and mechanism of each stage of KBimCode application. First, natural language rules are translated into KBimCode through logic rule-based mechanism. KBimCode are generated and managed by logic rule-based system called KBimLogic. Second, we introduce a design strategy and definition of KBimCode syntax. Application of KBimCode database is also handled. Third, execution of KBimCode is demonstrated with BIM assessment software and its result is reported. For the demonstration presented in this paper, Korean Building Act sentences were translated into KBimCode series and evaluated in a BIM assessment tool named KbimAssess-lite. KBimCode is an ongoing project and will contribute to establish automated design quality assessment system for building permit in Korea.

Proceedings of the 32nd International Symposium on Automation and Robotics in Construction and Mining (ISARC 2015), Jun 18, 2015

This paper aims to describe an approach of implementation for an interpreter that translates the ... more This paper aims to describe an approach of implementation for an interpreter that translates the human natural language into a computer-readable form. Selected building permit-related sentences in Korea Building Act are within the scope of this paper. Among the various applications of BIM, the benefit of automated design assessment has been reported by some leading BIM challengers. The related regulations are usually defined in design guidelines, RFPs, Building Code, etc. The regulations are written in human-readable languages, and sometimes their implicit definitions hinder translating into the explicitly defined computer-readable forms. This paper focuses on the development of a translation process of converting Korea Building Act sentences into specific computer-readable forms such as a midlevel pseudo code and BERA (Building Environment Rule and Analysis) language. The scope of the research process and the overview of the approach to the translation from natural language sentences as follows; 1) Classification of the building objects and related properties from Korea Building Act sentences, 2) Classification of methods from predicate in sentences, 3) Parsing natural language sentence within logic rule-based process. In an actual implementation stage, this translation will be demonstrated by an actual GUI-based application.

Proceedings of the 32nd International Symposium on Automation and Robotics in Construction and Mining (ISARC 2015), Jun 18, 2015

Indoor airborne dust concentration is one of the most adverse factors for human health. Especiall... more Indoor airborne dust concentration is one of the most adverse factors for human health. Especially, inhalable fine particles under 2.5micrometres in diameter (PM2.5) easily permeate into human body causing serious respiratory diseases. The problem is that the air pollutions are hard to be detected with human sense organs alone. Therefore, the development of an effective method to figure out the indoor air quality should be combined with other political approach. Moreover, measuring wide range of indoor environment continuously became affordable because of diverse sensors become downsized and low-priced. In this regards, as the way to collect and intuitively visualize the indoor dust concentration data, this paper proposes an integrated approach to the visualization of indoor dust concentration on the building floor plans. The entire system consists of four major stages: 1) Dust concentration measurement, 2) Data processing, 3) Layer generation and 4) Data mapping. The sensor toolkit was implemented with Arduino Uno Board and Optical dust sensor (GP2Y1010AU0F), which is able to measure fine particles over 0.8um at maximum. In short, this paper proposes a way to visualize of indoor dust density.

Journal of Digital Contents Society

This paper describes an approach to the assessment of building circulation by using quantitative ... more This paper describes an approach to the assessment of building circulation by using quantitative data and applying its weight. People have considered building circulation because of various requirements as well as design decision making. This is why assessment of building circulation plays an important role before construction stage. BIM (Building Information Modeling) and its applications enable us to examine various kinds of building design review tasks using rich building information. Within a scope of building circulation review, this paper is mainly dealing with qualitative issues. In fact, they have been ignored due to their implicit definitions such as 'comfortable circulation' in circulation requirements. We described how it could be expressed quantitatively in a certain approach. Quantitative data and its weight are key aspects to convert implicit descriptions into explicit regulations. As an example, there are several useful quantitative data derived from BIM model such as metric distance, spatial depth, number of turns, window area, spatial volume and so on. This paper aims to study an approach to quantification of circulation data for objective evaluation. We also suggested a framework using weighted data of circulation properties such as 1) vertical distance and horizontal distance 2) the number of spaces to pass 3) the number of turn 4) space of windows area, etc.

Automation in Construction, 2016

Abstract In this paper, we describe an approach to translating the written content of the Korean ... more Abstract In this paper, we describe an approach to translating the written content of the Korean Building Act into a computer-executable format for the purpose of evaluating building permit requirements. Among the various applications of building information modeling (BIM), we focus on automated design assessment and its rule-making process, which has been performed by both architects and software developers. Compared to the conventional rule-making approach, which is integrated with rule-checking software, our suggested mechanism (KBimLogic) of converting rule sentences from the Korean Building Act into computer-executable code (KBimCode) is a software-independent approach that separates the rule-making and rule-checking processes. We use the rule-making approach to translate the Korean Building Act into an explicit code that focuses on building permit requirements. Building permit-related regulations are defined in the Korean Building Act, but some of the sentences are ambiguous, and some implicit definitions hinder translation into an explicitly defined computer-executable form. Some building permit-related requirements vary by building type, administrative district, permitted date, and as-built date; thus, it is critical to design computable rules independent of specific proprietary software. The building permit system in Korea changes (as it does in other countries), making it critical that code compliance rules be kept up-to-date. Our work is motivated by such fundamentals and suggests a logic rule-based mechanism for use by non-programmers and a user-friendly approach to the rule-making process. The scope and major components of our research are as follows: (1) noun phrases classify building objects and associated properties from the Korean Building Act; (2) verb phrases derive high-level methods to construct the actual rule-checking body; and (3) the logic rule-based mechanism processes natural language sentences. In the actual implementation for translation, this approach has been demonstrated by each database and a GUI-based application named KBimLogic, for generating KBimCode. The KBimCode, which contains a set of specific building permit requirements translated from sentences, can be imported into our code-checking software (KBimAssess) using a specific file format.

Journal of Korea Design Knowledge, 2015

Korean Journal of Computational Design and Engineering, 2016

As building information modeling (BIM) is expanding its influence in various fields of architectu... more As building information modeling (BIM) is expanding its influence in various fields of architecture, engineering, construction and facility management (AEC-FM) industry, BIM-based automated code compliance checking has become possible prospects. For the automated code compliance checking, requirements in building code need to be processed into explicit representation that enables automated reasoning. This paper aims to develop high-level methods that translate verb phrases into explicit representation. The high-level methods represent conditions, properties, and related actions of the building objects and clarify the core content of the constraints. The authors analyze building permit requirements in Korea Building Code and establish a standardized process of deriving the high-level methods. As a result, 60 kinds of the highlevel methods were derived. In addition, method classification, analysis, and application are introduced. This study will contribute to the representation of explicit building code sentences and establishment of the automated building permit system of Korea.

Clinical nutrition research, 2018

We reported the cases in order to evaluate the effects of individualized nutrition interventions ... more We reported the cases in order to evaluate the effects of individualized nutrition interventions for enhancing self-management abilities of prediabetic subjects. We conducted four nutrition interventions for weight control in two subjects with high-risk of type 2 diabetes. The first subject was a 53-year-old housewife, and the second subject was a 46-year-old male office worker. The subjects visited the medical center 4 times during the study period, and the lifestyle interventions were advised by a clinical team comprised physicians, clinical dietitians, and nurses. In particular, nutrition intervention to achieve weight loss focused on enhancing motivation and problem-solving skills to improve self-management ability. As a result, both subjects achieved weight loss by the time of their last visits. These two case studies, which differed in terms of sex, occupation, and dietary habits showed the importance of individualized nutrition intervention and forming an intimate relationshi...

The Journal of Korean Diabetes, 2021

Diabetic nephropathy is a microvascular complication in diabetic patients and a major cause of en... more Diabetic nephropathy is a microvascular complication in diabetic patients and a major cause of endstage kidney disease. Proper blood sugar control and blood pressure management can delay progression of kidney disease and can be aided by appropriate clinical nutritional therapy. As excessive protein intake affects kidney function and albuminuria, it is necessary to control protein intake. In addition, restriction of sodium intake is required as it can reduce blood pressure and albuminuria and delay the progression of kidney disease. For potassium and phosphorus, though a specific intake is not recommended, adjustments might be needed depending on stage of kidney disease and blood levels.

J. Inf. Technol. Constr., 2016

This paper aims to describe the definition of KBimCode Language and to demonstrate its actual use... more This paper aims to describe the definition of KBimCode Language and to demonstrate its actual use case. KBimCode is a domain-specific computer language to represent the regulatory sentences in the Korea Building Act as explicit computable rules currently focusing on the building permit-related requirements. As other domain-specific languages are usually in pursuit of both ease-of-use and adequate fidelity to deal with complex domain-specific issues, KBimCode also aims to accomplish a neutral and standardized way of rule-making in an easy-to-use syntax. To address how KBimCode has achieved such objectives, the following main topics are covered in this paper: 1) Language design: features of the Korea Building Act are reflected in a strategy for lexical and syntactic design of KBimcode Language; 2) Language definition: based on the context-free EBNF notation, specifications of KBimCode Language are described; 3) Demonstration: KBimCode can be applied to a BIM assessment tool and execut...

This paper aims to define the syntax of KBimCode Language as a domain-specific computer language ... more This paper aims to define the syntax of KBimCode Language as a domain-specific computer language to represent Korea Building Act sentences. KBimCode Language represents building permit requirements in Korea Building Act as explicit computable rules. KBimCode aims to accomplish the neutral and standardized way of rule-making in an easy-to-use syntax. This paper introduces the approach of language design and definition. The main concerns handled in the paper are: 1) features of building permit-related regulations in Korea Building Act are reflected in the strategy for the lexical and syntactic design of KBimCode Language; 2) specification of KBimCode based on the context-free EBNF notation is introduced; and evaluation of the language definition is performed. KBimCode is an ongoing project. Together with newly developed rule checking applications, KBimCode will establish automated design quality assessment system in Korea.

Proceedings of the 32nd International Symposium on Automation and Robotics in Construction and Mining (ISARC 2015), Jun 18, 2015

This paper aims to describe rule checking method, classification and its demonstration. As applic... more This paper aims to describe rule checking method, classification and its demonstration. As applications of BIM extends, there have been some challenging projects on automated building compliance checking. The current rule-making method is developercentered and thus is difficult to define rules without propound programming knowledge. This paper introduces high level rule making methods with law sentence-centered approach. The proposed methods have intuitive naming convention and are directly mapped with the predicate of the law sentences. Therefore, it is easy to infer function of the methods. According to the type of object and property in instance level, three hierarchies of method classification were set: 1) level 1 divides types of instance, 2) level 2 classifies the type of property, and 3) level 3 specifies the content of checking. From the level 3, representative rule checking method is defined. The representative method is subdivided into extended methods according to the specific object and property to check. The rule checking methods are combined together to form an intermediate pseudocode. The pseudo-code is later to be parsed into computer executable form. This paper mainly focuses on 1) introducing law sentence-centered rule checking method, 2) object and property-based classification of rule checking method, 3) method extensibility and 4) demonstration of rule checking methods with actual requirement sentences from the Korea Building Permit. The high level rule checking method is developed as a part of KBimLogic. KBimLogic is a software that translates the Korea Building Permit requirement into computer executable format. KBimLogic is now under development with government funding.

Proceedings of the 33rd International Symposium on Automation and Robotics in Construction (ISARC), Jul 21, 2016

This paper aims to describe applications of KBimCode that enables representation, definition and ... more This paper aims to describe applications of KBimCode that enables representation, definition and evaluation of building permit rules for BIMenabled code compliance checking. KBimCode is a standardized script language. It is developed to represent the Korean Building Act as explicit computable rules. The application of KBimCode can be summarized as: 1) Preparation of natural language rule, 2) representation of rule, 3) definition of rule, 4) execution of rule, and 5) execution result and report. This paper mainly focuses on describing the process and mechanism of each stage of KBimCode application. First, natural language rules are translated into KBimCode through logic rule-based mechanism. KBimCode are generated and managed by logic rule-based system called KBimLogic. Second, we introduce a design strategy and definition of KBimCode syntax. Application of KBimCode database is also handled. Third, execution of KBimCode is demonstrated with BIM assessment software and its result is reported. For the demonstration presented in this paper, Korean Building Act sentences were translated into KBimCode series and evaluated in a BIM assessment tool named KbimAssess-lite. KBimCode is an ongoing project and will contribute to establish automated design quality assessment system for building permit in Korea.

Proceedings of the 32nd International Symposium on Automation and Robotics in Construction and Mining (ISARC 2015), Jun 18, 2015

This paper aims to describe an approach of implementation for an interpreter that translates the ... more This paper aims to describe an approach of implementation for an interpreter that translates the human natural language into a computer-readable form. Selected building permit-related sentences in Korea Building Act are within the scope of this paper. Among the various applications of BIM, the benefit of automated design assessment has been reported by some leading BIM challengers. The related regulations are usually defined in design guidelines, RFPs, Building Code, etc. The regulations are written in human-readable languages, and sometimes their implicit definitions hinder translating into the explicitly defined computer-readable forms. This paper focuses on the development of a translation process of converting Korea Building Act sentences into specific computer-readable forms such as a midlevel pseudo code and BERA (Building Environment Rule and Analysis) language. The scope of the research process and the overview of the approach to the translation from natural language sentences as follows; 1) Classification of the building objects and related properties from Korea Building Act sentences, 2) Classification of methods from predicate in sentences, 3) Parsing natural language sentence within logic rule-based process. In an actual implementation stage, this translation will be demonstrated by an actual GUI-based application.

Proceedings of the 32nd International Symposium on Automation and Robotics in Construction and Mining (ISARC 2015), Jun 18, 2015

Indoor airborne dust concentration is one of the most adverse factors for human health. Especiall... more Indoor airborne dust concentration is one of the most adverse factors for human health. Especially, inhalable fine particles under 2.5micrometres in diameter (PM2.5) easily permeate into human body causing serious respiratory diseases. The problem is that the air pollutions are hard to be detected with human sense organs alone. Therefore, the development of an effective method to figure out the indoor air quality should be combined with other political approach. Moreover, measuring wide range of indoor environment continuously became affordable because of diverse sensors become downsized and low-priced. In this regards, as the way to collect and intuitively visualize the indoor dust concentration data, this paper proposes an integrated approach to the visualization of indoor dust concentration on the building floor plans. The entire system consists of four major stages: 1) Dust concentration measurement, 2) Data processing, 3) Layer generation and 4) Data mapping. The sensor toolkit was implemented with Arduino Uno Board and Optical dust sensor (GP2Y1010AU0F), which is able to measure fine particles over 0.8um at maximum. In short, this paper proposes a way to visualize of indoor dust density.

Journal of Digital Contents Society

This paper describes an approach to the assessment of building circulation by using quantitative ... more This paper describes an approach to the assessment of building circulation by using quantitative data and applying its weight. People have considered building circulation because of various requirements as well as design decision making. This is why assessment of building circulation plays an important role before construction stage. BIM (Building Information Modeling) and its applications enable us to examine various kinds of building design review tasks using rich building information. Within a scope of building circulation review, this paper is mainly dealing with qualitative issues. In fact, they have been ignored due to their implicit definitions such as 'comfortable circulation' in circulation requirements. We described how it could be expressed quantitatively in a certain approach. Quantitative data and its weight are key aspects to convert implicit descriptions into explicit regulations. As an example, there are several useful quantitative data derived from BIM model such as metric distance, spatial depth, number of turns, window area, spatial volume and so on. This paper aims to study an approach to quantification of circulation data for objective evaluation. We also suggested a framework using weighted data of circulation properties such as 1) vertical distance and horizontal distance 2) the number of spaces to pass 3) the number of turn 4) space of windows area, etc.

Automation in Construction, 2016

Abstract In this paper, we describe an approach to translating the written content of the Korean ... more Abstract In this paper, we describe an approach to translating the written content of the Korean Building Act into a computer-executable format for the purpose of evaluating building permit requirements. Among the various applications of building information modeling (BIM), we focus on automated design assessment and its rule-making process, which has been performed by both architects and software developers. Compared to the conventional rule-making approach, which is integrated with rule-checking software, our suggested mechanism (KBimLogic) of converting rule sentences from the Korean Building Act into computer-executable code (KBimCode) is a software-independent approach that separates the rule-making and rule-checking processes. We use the rule-making approach to translate the Korean Building Act into an explicit code that focuses on building permit requirements. Building permit-related regulations are defined in the Korean Building Act, but some of the sentences are ambiguous, and some implicit definitions hinder translation into an explicitly defined computer-executable form. Some building permit-related requirements vary by building type, administrative district, permitted date, and as-built date; thus, it is critical to design computable rules independent of specific proprietary software. The building permit system in Korea changes (as it does in other countries), making it critical that code compliance rules be kept up-to-date. Our work is motivated by such fundamentals and suggests a logic rule-based mechanism for use by non-programmers and a user-friendly approach to the rule-making process. The scope and major components of our research are as follows: (1) noun phrases classify building objects and associated properties from the Korean Building Act; (2) verb phrases derive high-level methods to construct the actual rule-checking body; and (3) the logic rule-based mechanism processes natural language sentences. In the actual implementation for translation, this approach has been demonstrated by each database and a GUI-based application named KBimLogic, for generating KBimCode. The KBimCode, which contains a set of specific building permit requirements translated from sentences, can be imported into our code-checking software (KBimAssess) using a specific file format.

Journal of Korea Design Knowledge, 2015

Korean Journal of Computational Design and Engineering, 2016

As building information modeling (BIM) is expanding its influence in various fields of architectu... more As building information modeling (BIM) is expanding its influence in various fields of architecture, engineering, construction and facility management (AEC-FM) industry, BIM-based automated code compliance checking has become possible prospects. For the automated code compliance checking, requirements in building code need to be processed into explicit representation that enables automated reasoning. This paper aims to develop high-level methods that translate verb phrases into explicit representation. The high-level methods represent conditions, properties, and related actions of the building objects and clarify the core content of the constraints. The authors analyze building permit requirements in Korea Building Code and establish a standardized process of deriving the high-level methods. As a result, 60 kinds of the highlevel methods were derived. In addition, method classification, analysis, and application are introduced. This study will contribute to the representation of explicit building code sentences and establishment of the automated building permit system of Korea.