Association of skeletal muscle mass in hepatic steatosis

김규년,송도선,조익현 대한내과학회 2021 대한내과학회 추계학술대회 Vol.2021 No.1

호텔종사원의 감정노동과 직무만족 : 조직적 지원의 조절효과를 중심으로

김규년 한국관광식음료학회 2010 관광식음료경영연구 Vol.21 No.1

CODARTS 방법론의 태스크 구성 지침을 적용한 태스크 자동 구성

엄진아,김규년 울산대학교 1997 공학연구논문집 Vol.28 No.2

Gomaa에 의해 제안된 CODARTS(COncurrent Design Approach for Real-Time System) 방법론은 COBRA(Concurrent Object-based Real-Time Analysis)를 사용하여 실시간 시스템의 행동 모델을 개발하고 행동 모델에서 병렬 태스크 구조로 변환하는데 도움을 주는 태스크 구성 지침을 제공한다. CODARTS에서는 태스크 구성 지침을 RTSA 표기법으로 표현된 행동 모델에 적용하여 태스크를 구성한다. 그러나 RTSA 표기법에는 태스크를 구성하는데 필요한 실행 성질 및 주기, 이벤트의 병렬성 및 순서와 같은 정보들을 기술하지 않기 때문에 직접 태스크 구성 지침을 적용하는 것은 어렵다. 본 논문에서는 CODARTS 방법론의 분석 단계에서 태스크 구성에 필요한 정보를 통합적으로 나타낼 수 있는 STS(Specification for Task Struturing)를 제안하고 이를 이용하여 태스크를 자동적으로 구성할 수 있는 알고리즘과 구현 예제를 보인다. CODARTS(COncurrent Design Approach for Real-Time System) made by Gomaa models behavioral model of real-time system using COBRA(Concurrent Object-based Real-Time Analysis) and provides task structuring criteria that assists in mapping a behavioral model of the system into a concurrent-tasking architecture. In CODARTS, task structuring starts with a behavioral model represented using RTSA notation. But applying directly task structuring criteria to RTSA notation is difficult because RTSA notation doesn't represent activation characteristic and frequency of transformation, concurrency and sequence of event/data flow as information needed task structuring. In this study, we propose STS(Specification for Task Structuring) that can represent all informations for task structuring in analyzing steps of CODARTS and show an algorithm and example using STS for automatic task structuring.

실시간 시스템의 설계 지원을 위한 CODARTS에서 Petri Net으로의 변환에 대한 연구

정민포,김규년 울산대학교 1996 공학연구논문집 Vol.27 No.2

본 논문에서는 CODARTS의 산물중 Task Architecture Diagram에서 Petri Net으로의 변환 방법을 제안한다. CODARTS는 여러 개의 동시작업(Concurrent Task)으로 이루어진 시스템을 설계할 때 사용되는 방법이다. 하지만, CODARTS에서 생성되는 산물 (product, output)은 정적인 측면만을 강조하게 된다. 그래서, 시스템을 설계한 후 성능 분석을 할 때, 시스템 요소들 사이의 동적인 측면을 강조하기 위해 Petri Net으로 변환을 함으로써 더 나은 실시간 소프트웨어의 설계 및 분석을 유도할 수 있다. In this paper, we propose the transformation method from the TAD of CODARTS to Petri Net. CODARTS is used to design a system consisting of concurrent tasks. But, the product of CODARTS emphasizes only the static aspect of the target system. Therefore, when we perform performance analysis after designing a system, it is possible to derive the better real time S/W analysis&design by transforming into Petri Net for emphasizing the dynamic aspect between the system's component.

대수명세기법의 새로운 접근방법

김규년(Kyoo Nyun Kim),우치수(Chi Su Wu) 한국정보과학회 1990 한국정보과학회 학술발표논문집 Vol.17 No.1

본 논문에서는 추상자료형(abstract data type)을 기술하기 편리하며 명세의 일관성 및 완전성을 쉽게 증명할 수 있는 결정적대수 명세(determistic algeleraic specification)기법을 제안하였다. 공리의 수행규칙이 명시된 결정적 대수명세를 이용하면 명세의 유한종료성, 일관성 및 sufficient-completeness가 증명될 수 있다는 것을 보였고, 이들을 자동화 시킬 수 있는 알고리즘을 제시하였다. 결정적대수명세는 전통적인 컴퓨터의 순차적인 실행방식을 모방하면서 명세를 형식적으로 기술할 수 있으므로 추상자료형을 이용한 소프트웨어 개발및 자동프로그래밍에 효과적으로 응용될 수가 있다. 명세의 일관성및 유한종료성을 증명하기 위하여 본 논문에서 제시한 귀납적완전성을 점검하는 알고리즘을 이용하면 잘못 작성되거나 불필요한 공리를 발견해 낼 수 있으므로 소프트웨어 생명주기의 설계단계에서 명세작성 지원도구로 사용되어 질 수 있다.

Parameterized Specification 의 Actualization 에 사용가능한 Colimit 계산을 위한 알고리즘 및 구현

김규년(Gyoo Nyun Kim),김태공(Tae Gong Kim),우치수(Chisu Wu) 한국정보과학회 1989 한국정보과학회 학술발표논문집 Vol.16 No.1

본 논문에서는 Algebraic specification language 에서의 parameterized specification 의 actualization 에 많이 사용되는 colimit 계산을 위한 알고리즘을 제시하고 이 알고리즘을 구현하여 몇가지 예제에 적용시켜본 결과를 보였다. 형식적인 명세를 작성한다는 것은 결국 자동프로그래밍 및 프로그램의 검증을 자동화하자는 뜻을 안고 있지만 명세의 효율적인 작성이 실제 프로그램을 작성하는 것 보다 더욱 어려울 가능성이 높다. 그러므로 효율적으로 형식적인 명세를 작성할 수 있는 명세언어의 필요성이 대두된다. 형식적인 명세언어의 하나로서 algebraic specification language 를 구현할때 명세를 효과적으로 작성할 수 있게 해 주는 parameterized specification 의 개념은 명세언어의 필요불가결한 요소 중의 하나이다. 본고에서 제시한 colimit 계산을 위한 알고리즘은 이러한 형식적인 명세언어의 개발에 응용될 수 있을 것이다.

대수명세의 단계적 구현과 증분식 테스팅

김규년(Kyoo Nyun Kim),우치수(Chi Su Wu) 한국정보과학회 1991 정보과학회논문지 Vol.18 No.1

추상자료형이 대수명세로 기술된 경우 이를 단계적으로 구현하기 위한 중간자료형 glist를 정의하고, glist를 이용하여 입력명세가 고급언어로 변환되었을 때 명세의 일관성의 완전성(sufficient-completeness)을 증명하기 위한 증분식 테스팅(incremental testing) 기법을 제안하였다. 이를 위하여 대수명세를 B명세, BE명세, BD명세 등으로 분류하고, 자동적으로 생성가능한 기본적인 테스트자료(test case)를 분류된 각 명세의 귀납법의 기본단계의 증명에 이용하고 그 결과를 귀납단계에서의 수동 증명에 사용한다. 단계적으로 구현된 명세를 테스팅 및 각종 특징의 증명에 이용함으로써 작성된 명세가 의도대로 동작하는지의 여부를 파악하여 소프트웨어 생명주기에서의 명세설계 단계의 오류를 쉽게 찾아낼 수 있으므로 생산비용의 절감 효과를 가져올 수 있다. In this paper, we define an intermediate abstract data type, glist for the stepwise implementation of the algerbraic specification of an abstract data type. And we presented an incremental testing technique for the proof of the consistency and sufficient-completeness of the given abstract data type when it is implemented via glist. For that purpose we classified given algebraic specification as B-specification, BE-specification and BD-specification and used basic test cases, which can be generated, in the proof of the basic step of the induction and the result in that of the induction step. By the use of the stepwise implementation in the proof and testing of some property of abstract data type, we can demonstrate the specification whether it works as the designer's intent and can debug some errors in the early step of the software life cycle, thus the cost of the software construction can be reduced.

수정된 CODARTS 방법론에서의 실시간 병렬 태스크 자동 구성

김규년(Kyoo-Nyun Kim),정민포(Min-Po Jung),이종구(Jong-Gu Lee) 한국정보과학회 1999 정보과학회논문지(B) Vol.26 No.1

실시간 소프트웨어 설계 시에는 시스템을 분석하고 순차적인 실행 단위인 모듈들을 병렬 태스크로 구성하게 된다. 시스템 분석의 결과로 Real-Time Structured Analysis(RTSA) 표기법으로 표현된 Control flow and Data flow Diagram(C&DFD)이 산출물로 나오게 되고 이들을 이용하여 성능에 문제가 생기지 않을 조건 하에서 병렬 태스크로 구성하게 된다. 이러한 병렬 태스크들의 구성 방법이 Gomaa에 의해 제안된 COncurrent Design Approach for Real-Time System(CODARTS)에서 태스크 구조화 지침(Task Structuring Criteria)으로 제시되어 있다. 그러나, 이러한 구조화 지침은 설계자의 경험에 전적으로 의존하기 때문에 이를 이용하여 시스템을 설계하기가 어려운 것이 현실이다. 또한 CODARTS 방법론 자체가 내용이 광범위하고 추상적이기 때문에 설계된 시스템이 해석자마다 다른 관점에서 이해될 수 있고 설계의 일관성이 결여될 수 있다. 본 연구에서는 이미 존재하는 CODARTS 방법론을 적용단계별로 정리하여 개정된 CODARTS 구조와 보완된 태스크 구성 단계를 제안하여 단일한 설계를 도출해내고 일관적인 해석이 가능하도록 하였다. 이러한 개정된 CODARTS 구조와 태스크 구성 단계들은 실시간 병렬 소프트웨어 시스템의 설계를 자동화하는데 이용될 수 있다. 결론으로서 개정된 CODARTS의 구조와 태스크 구성 단계들을 적용한 태스크 구성 예를 제시하고 기존의 방법보다 개선된 점을 제시한다. When we design real-time software target system is analyzed and then we structure sequential executive modules into concurrent tasks. As a result of the analysis, control flow and data flow diagram based on the RTSA notation is produced. This diagram is structured into concurrent tasks under the condition that performance problem is not serious. The criteria structuring concurrent tasks are introduced as COncurrent Design Approach for Real-Time System(CODARTS) by Gomaa. But structuring concurrent tasks using the criteria of CODARTS is somewhat difficult because the criteria are dependent on designer's experience. CODARTS is an wide-range and abstract methodology. As a result, the design can be inconsistent and peoples can understand it differently. In this paper, we restructure the CODARTS methodology, propose a revised CODARTS structure and represent the task structuring steps for this new framework to overcome the understanding and inconsistency problems. The revised CODARTS framework and task structuring steps can be used to automate the design of real time concurrent software systems. Finally, we show an example of task structuring in revised CODARTS framework.

추상자료형 기술을 위한 대수명세의 새로운 접근 방법

김규년(Kyoo Nyun Kim),우치수(Chi Su Wu) 한국정보과학회 1990 정보과학회논문지 Vol.17 No.3

추상자료형(abstract data types)을 기술하기 편리한 결정적 대수명세(determistic algeleraic specification)기법을 제안하였다. 결정적 대수명세란 공리의 수행규칙이 명시된 명세로서, 이를 이용하면 명세의 일관성이 보장되고, 유한종료성 및 sufficient-completeness가 증명될수 있다는 것을 보였으며, 이들의 증명과정을 자동화 시킬 수 있는 알고리즘을 제시하였다. 결정적대수명세는 전통적인 컴퓨터의 순차적인 실행방식을 모방하면서 명세를 형식적으로 기술할 수 있으므로 추상자료형을 이용한 소프트웨어 개발에 효과적으로 응용될 수가 있다. 명세의 sufficient-completeness 및 유한종료성을 증명하기 위하여 본 논문에서 제시한 귀납적완전성을 점검하는 알고리즘은 공리식이 충분하게 기술되지 않은 사실 또는 불필요한 공리를 발견해 낼 수 있으므로 소프트웨어 생명주기의 명세작성단계에서 지원도구로 사용되어 질 수 있다. A deterministic algebraic specification technique which can be used to describe abstract data types easily is presented. A deterministic algebraic specification is a specification of which applying sequence of axioms are determined We show the fact that the consistency is affirmative and that the sufficient-completeness and finite termination of a specification described by deterministic algebra can be proved and present some algorithms to automate the proof processes. A deterministic algebraic specification can be used in software construction with abstract data type because it mimics the sequential execution model of the conventional computers and may be used to describe a specification formally The induction completeness testing algorithm presented in this paper to prove sufficient-completeness and finite termination can be used as an assistant tool in the specification design step of the software life cycle, because it can detect some axioms over or under specified.

서비스스케이프의 사회적요소가 고객충성도에 미치는 영향- 긍정적 감정의 매개효과를 중심으로 -

김규년 ( Kyu Nyeon Kim ),김한신 ( Han Shin Kim ) 한국관광산업학회 2014 Tourism Research Vol.39 No.3

본 연구는 서비스스케이프의 사회적 환경요인이 고객의 긍정적 감정반응을 매개하여 고객충성도에 미치는 영향에 대하여 살펴보고자 하였다. 본 연구의 목적을 달성하기 위해 문헌연구를 통해 가설을 도출하였다. 연구의 표본은 최근 1개월 이내에 서울에 위치해 있는 패밀리 레스토랑을 이용해본 경험이 있는 성인 남녀를 대상으로 조사를 실시하였으며 조사기간은 2014년 1월 06일부터 1월 30일까지 약 21일 동안 수행되었다. 총 315부의 설문지를 배포하였고 회수된 설문지 298부 중 불성실한 응답지 7부를 제외한 291부의 설문을 실증분석에 사용하였다. 본 연구에서 수집된 자료는 SPSS 및 AMOS(ver.20)을 이용하여 빈도분석을 적용하였으며 측정도구에 대한 타당성 및 신뢰도분석을 확인하기 위해서 신뢰도분석과 요인분석을 수행하였다. 또한 상관관계분석과 집중타당도 및 판별타당도를 적용하여 변인의 타당성을 파악하였으며 확인적 요인분석을 적용하여 전체 요인구조의 적합성 및 관측변수의 유의성을 확인하였다. 가설의 검증을 위하여 AMOS를 이용하여 구조방정식모델분석을 구축하였고, 이를 바탕으로 가설검증을 실시하였다. 실증분석의 결과 다음과 같은 연구결과를 도출하였다. 먼저 사회적 환경요인과 고객의 감정반응의 영향관계를 검증한 결과 서비스 환경 내 다른 고객에 대한 지각은 고객이 긍정적 반응에 유의한 영향을 미친 것으로 분석되어 서비스 환경에서 다른 고객에 대하여 긍정적으로 지각할수록 고객의 긍정적 반응을 높이는 결과로 검증되었다. 둘째, 고객의 감정반응과 고객충성도의 영향관계를 검증한 결과 고객의 감정적 반응은 고객충성도에 유의한 영향을 미치는 것으로 분석되었다. 셋째, 서비스 환경 내 다른 고객에 대한 지각과 고객충성도의 영향관계는 고객의 긍정적 감정 반응에 의해 매개되는 결과를 나타냈다. 본 연구는 서비스스케이프연구에 있어 다른 고객 요인에 주안점을 두고 연구를 시도하였다는 점에서 기존의 선행연구들과 다르다고 볼 수 있다. 이는 학문적으로 서비스스케이프 분야에 관련된 연구의 확대를 도모하였을 뿐 아니라 실무적으로도 서비스 기업의 마케팅 전략수립에 시사점을 제공하였다는 점에서 의미가 있다고 할 수 있다. This study aims to examine the effects of the social environment factors, mediating customer``s positive emotional response, on customer loyalty. In order to achieve the research purpose, hypotheses were established through literature review. It conducted a survey targeting adult males and females who had visited casual family restaurants located in Seoul during the previous one month and the survey was conducted from Jan 06 to Jan 26, 2014. A total of 315 questionnaires were distributed, and among returned 298, 291 were used for an empirical analysis. The collected data was analyzed by a frequency analysis using SPSS and AMOS(ver.20), and in order to verify validity and reliability of the measurements, a reliability analysis and a factor analysis were performed. And the validity of the factor was grasped by applying a correlation analysis and convergent/discriminant validity, and the suitability of the overall factor structure and significance of observed variables were confirmed by a confirmatory factor analysis. For hypothesis verification, a structural equation model was utilized by using AMOS, and based on it, hypothesis verification was conducted. The analysis results are as follows. First, it proved servicescape``s social factors caused a positive impact on customer``s positive response and customer``s positive response caused a positive impact on customer loyalty. Second, it proved customer``s positive response partially mediated the relationship between servicescape``s social factors and customer loyalty. This study is differentiated from typical precedind researches in that it focused on other customer factors in researching servicescape. This study is also significant because it academically sought expansion of researches related to the servicescape field and suggested an implication from the business perspective for service companies to establishing marketing strategies.