객체지향 설계에서 정형명세를 이용한 컴포넌트 설계로의 변환 기법

신숙경(Suk Kyung Shin),이종국(Jong Kook Lee),김수동(Soo Dong Kim) 한국정보과학회 2004 정보과학회논문지 : 소프트웨어 및 응용 Vol.31 No.7

재사용성과 확장성을 높이는 객체지향 개발이 보편화 되면서 새로운 소프트웨어를 개발할 경우 기 개발되어 검증된 객체지향 산출물을 재사용함으로써 개발기간을 단축하고 품질을 향상할 수 있다. 이렇게 성능이 검증된 기 개발된 객체지향 산출물을 이용하여 컴포넌트 기반 모델로 변환하면 짧은 기간에 고품질의 컴포넌트 기반 시스템을 구축할 수 있다. 본 논문에서는 이미 개발되어 있는 객체지향 설계 모델을 이용하여 컴포넌트 기반 설계로 변환하되 변환의 정확성을 위해 정형명세 기법을 사용한다. 컴포넌트 기반 설계를 정형명세하기 위해 컴포넌트 정형명세 언어를 정의한다. 그리고 객체지향 설계의 정적, 동적, 기능적 측면을 정형명세 언어 Object-Z를 사용하여 정형명세하는 기법을 제시한 후, 객체지향 정형명세를 컴포넌트 정형명세로 변환하는 기법을 제시한다. 사례연구는 제시된 변환 기법을 적용하여 객체지향 정형명세가 컴포넌트 기반 정형명세로의 변환과정을 설명한다. As object-oriented development technology that increases extensibility and reusability has been widely spread, it can shorten development period and enhance quality by reusing verified object-oriented artifacts. Thus we can construct high quality component-based system at short time transforming component-based model using verified object-oriented artifacts. In this paper, we propose techniques to transform available object-oriented design model into component-based model using formal specification techniques in order to increase accuracy of transformation. First, formal specification language for component is defined for formal specification of component-based design. And, techniques for formal specification of object-oriented design using Object-Z, a formal specification language, is proposed in structural, functional, and dynamic aspects. Next, we present techniques for transforming formal specification of object-oriented design into formal specification of component-based design. Through a case study we apply the proposed transformation techniques and show the transformation process of object-oriented formal specification into component-based formal specification.

숙지황을 첨가한 쌀 쿠키의 품질특성 및 항산화성

신숙경,민아영,김현정,이수진,심은경,이근종,이보담,김미리,Shin, Suk Kyung,Min, A Young,Kim, Hyun Jeong,Lee, Su Jin,Sim, Eun Kyoung,Lee, Kun Jong,Lee, Bo Dam,Kim, Mee Ree 한국식품조리과학회 2015 한국식품조리과학회지 Vol.31 No.2

The aim of this study was to evaluate the quality characteristics and anti-oxidative activities in the rice cookies with R. glutinosa Preparata (0%, 4%, 8%, 12%) and bean flour (10%). The moisture of cookies was increased depending on amount of R. glutinosa Preparata (RRP). The pH of cookies with RRP was lower than that of the control cookies. Sugar content and reducing sugar of cookies were increased according to the amount of RRP. L-value and b-value of cookies with 12% RRP were lower than the control, whereas a-value was higher than the control. Spread factor of cookies with RRP was lower than the control, and hardness of cookies was increased depending on amount of RRP added. The antioxidant activity such as DPPH radical and hydroxyl radical scavenging activity was significantly increased in the cookies with RRP, compared with that of the control. Also, total phenol content of cookies was increased according to the amount of RRP. In sensory test, cookies with 8% RRP received the highest score for overall preference. As a result, the optimum amount of RRP concentrate to be added in the cookies was found to be 8%.

의료의 질 평가 우선순위 설정

신숙연 ( Suk Youn Shin ),박춘선 ( Choon Seon Park ),김선민 ( Sun Min Kim ),김남순 ( Nam Soon Kim ),이상일 ( Sang Il Lee ) 한국보건행정학회 2009 보건행정학회지 Vol.19 No.3

Objectives: To identify target areas and set priorities among those areas identified for national quality evaluation. Methods: Target areas were identified from: i) analysis of the national health insurance claims data, mortality and prevalence data ii) various group surveys, including representatives from 22 medical specialty associations, 19 physician associations, QI staffs in hospital, civil organizations, and commissioners of Health Insurance Review and Assessment Service(HIRA) ⅲ) literature reviews and RAM(RAND/UCLA appropriateness method). The priority areas for national quality evaluation represented the full spectrum of health care and the entire life span. The criteria for selecting the priority areas were impact, improvability, and measurability. The priority areas were divided into three categories: short-term, mid-term, long-term. Results: Based on the group surveys and the data analysis, 46 candidates were selected as quality evaluation priority areas. 13 areas were selected as having a short-term priority areas: tuberculosis, community acquired pneumonia, stroke, ischaemic heart disease, diabetes, hypertension, chronic lower respiratory disease(asthma, chronic obstructive pulmonary disease), intensive care unit, emergency room, nosocomial infection, use of antibiotics, multiple medication and renal failure. This results suggested that we need to enlarge the target priority areas to the chronic diseases in short-term. Conclusions: The priority areas identified from the study will assist healthcare quality associated institutions as well as HIRA in selecting quality evaluation areas. It is required to develope and implement strategies for improving the quality of care within the next 5 years.

산업용 직류배전반의 절연 및 온도성능 검증 연구

이두기(Doo-ki Lee),임상혁(Sang-hyuk Im),김형국(Hyung-kuk Kim),신숙범(Suk-bum Shin) 대한전기학회 2022 대한전기학회 학술대회 논문집 Vol.2022 No.11

창의적·도전적 융합연구 생태계 구축을 위한 기초융합연구 지원체계 수립에 관한 연구

박귀순(Kwisun Park),신숙경(Suk Kyung Shin),송영동(Young Dong Song),이성종(Sung Jong Lee),이은규(Eunkyu Lee),차은종(Eun Jong Cha) 한국콘텐츠학회 2013 한국콘텐츠학회논문지 Vol.13 No.12

한국연구재단은 이공분야와 인문사회분야 간 통합 연구를 포함한 융합연구 생태계 구축으로 창의적이고 도전적인 연구를 중점적으로 지원하고자 한다. 이에 기초연구사업의 융합연구를 활성화하고 실질적인 융합연구를 발굴하기 위한 전략을 도출하고 창의적·도전적 융합연구 지원체계 구축을 골자로 하는 ‘융합연구사업추진체계’를 수립하였다. 사업추진체계는 연구분야 중심의 지원분야 재설정, 문제중심융합 신설, 신청자격 확대, ‘융합연구 우수성 평가’ 신설, 최소 융합성 지표 및 가이드라인 도출로 구성되었다. 동 사업추진체계 적용 전 약 38%였던 복수 연구분야분류 지정 경향이 적용 후 98% 이상으로 급증하여 거시적 분야분류 간 융합연구 지원이라는 근본적인 목적을 달성할 수 있는 가능성을 높였다. 선정여부와 융합연구 평가프로세스 간 회귀분석 및 피어슨 상관 분석 결과에 근거하여 평가 단계별 배점제에서 다음 단계 추천 방식으로 평가프로세스를 개선하였다. 또한 연구계획서 양식, 분야 지정 방식 개선안을 도출하여 2013년에 확대적용하였다. National Research Foundation of Korea (NRF) provides underpinning to boost international competitiveness in convergence research including research amalgamating Science and Engineering with Humanities and Social Sciences. Division of Electrical Engineering, Information Sciences and Convergence Research recategorized a scientific and engineering array of convergence research in basic sciences and reformed a Convergence Research Support Framework in 2012. The test case was thoroughly analyzed and reviewed for successful application in the 2013 mid-career researcher program. The core of convergence research-specific review process is ‘Suitability Review’ that is performed by the ‘Suitability Review Committee for Convergence Research’ and ‘Merit Review’ that is conducted as a conventional peer review. As a good result of the pilot program, prior allocation of budget for convergence research was decided to the 2013 Core Research Program and the modified convergence Research Support Framework was extensively applied in the ‘2013 Implementation Plan for Basic Research Program in Science and Engineering.’

Component - Z : Object - Z를 확장한 컴포넌트 정형 명세 언어

이종국(Jong Kook Lee),신숙경(Suk Kyung Shin),김수동(Soo Dong Kim) 한국정보과학회 2004 정보과학회논문지 : 소프트웨어 및 응용 Vol.31 No.5

컴포넌트 기반 소프트웨어 공학(CBSE)은 재사용 가능한 컴포넌트를 조립하여 시스템을 개발하는 방법이다. CBSE는 소프트웨어 개발 비용과 기간을 단축할 수 있는 새로운 패러다임으로 평가되고 있다. 정형 명세를 사용하면 컴포넌트 구성 요소들 사이의 일관성과 정확성을 판단할 수 있기 때문에 컴포넌트 설계의 품질을 높일 수 있다. 현재까지 제안된 컴포넌트 정형 명세 언어들은 인터페이스 간의 계약, 컴포넌트의 구조적인 측면과 동적인 측면, 컴포넌트 기반 시스템, 컴포넌트 간의 결합, 가변성 중 일부만을 명세에 반영한다. 따라서 지금까지 발표된 정형 명세 언어를 컴포넌트 설계 과정의 모든 단계에서 사용하는 것은 적절치 않다. 본 논문에서는 컴포넌트 정형 명세 언어인 Component-Z를 제안한다. Component-Z는 Object-Z를 확장하여 컴포넌트 명세를 위한 새로운 표기법을 추가하고 의미론을 확장한다. Component-Z를 사용하여 인터페이스, 컴포넌트 내부 구조, 컴포넌트 내부 워크플로우와 인터페이스간의 워크플로우를 명세할 수 있다. 또한 가변점(variation point), 가변치(variant), customization 인터페이스를 사용하여 가변성을 명세할 수 있다. 인터페이스와 컴포넌트 사이의 관계는 매핑 스키마(mapping schema)를 사용하여 정의한다. 또한 병렬 연산자(parallel operator)를 사용하여 컴포넌트 간의 결합을 명세할 수 있고 컴포넌트 기반 시스템을 명세하여 컴포넌트가 배포된 상황을 표현할 수 있다. 따라서 본 논문에서 제안된 정형 명세 언어를 사용하여 컴포넌트 설계에 필요한 모든 요소를 표현 할 수 있다. 사례연구에서는 은행 계좌 관리 시스템을 명세하여 Component-Z가 컴포넌트 설계의 전 단계에서 사용될 수 있음을 보인다. Component-based software engineering (CBSE) composes reusable components and develops applications with the components. CBSE is admitted to be a new paradigm that reduces the costs and times to develop software systems. The high quality of component designs can be assured if the consistency and correctness among the elements of a component are verified with formal specifications. Current formal languages for components include only some parts of contracts between interfaces, structural aspects and behavioral aspects of component, component-based system, component composition and variability. Therefore, it is not adequate to use current formal languages in all steps of a component design process. In this paper, we suggest a formal language to specify component designs Component-Z. Component-Z extends Object-Z, adds new notations to specify components. It can be possible to specify interfaces, the inner structure of a component, inner workflows, and workflows among interfaces with Component-Z. In addition, Component-Z provides the notations and semantics to specify variability with variation points, variants and required interfaces. The relation between interfaces and components is defined with mapping schemas. Parallel operator is used to specify component composition. It can be possible to describe deployed components with the specifications of component-based systems. Therefore, the formal specification language proposed in this paper can represent all elements to design components. In the case study, we specify an account management system in a bank so that we show that Component-Z can be used in all steps of component design.

한국형 그랜트 지원방식 도입에 따른 선정평가 효율화를 위한 정량적 가이드라인 수립에 관한 연구

서옥이(Ok-Ee Seo),박귀순(Kwisun Park),신숙경(Suk Kyung Shin),이성종(Sung Jong Lee),이원근(Won Geun Rhie),이윤희(Yun Hee Lee) 한국기술혁신학회 2013 기술혁신학회지 Vol.16 No.2

교육과학기술부와 한국연구재단은 창의적?도전적 연구를 적극 장려하고자 2012년 기초연구사업 중점 추진방향으로 ‘한국형 그랜트’ 지원 방식을 도입하였으며, 이에 따라 연구자가 추후 과제 신청시 기존 연구수행 성과를 집중적으로 평가 받게 되었다. 이에, 선정평가에서 과제관리 및 종료평가에 이르는 전주기적 성과관리 시스템의 필요성이 크게 대두되었다. 본 연구에서는 전주기적 성과관리 시스템의 첫 단계로 분야별 연구실적의 정량적 가이드라인를 제시하여 연구역량평가의 보조적 수단으로 사용할 방안을 도출하고자 하였다. 그 결과, 상위그룹 간 비교 시에는 순위보정영향력지수(Ranked Normalized Impact Factor, rnIF), 하위그룹 간 비교 시에는 영향력지수(Impact Factor, IF) 또는 rnIF를 정량가이드라인으로 제안하였다. SCI급 논문 수는 동일 분류 내 위상비교 또는 동일 위상내 분류별 비교 등에 사용할 것을 제안하였다. National Research Foundation of Korea (NRF) provides underpinning to boost international and domestic competitiveness in basic science and engineering (S&E) research. In 2012, NRF came up with the idea about implementing koreanized grant funding system and a NRF grant funding mechanism on basic research was applied to General Researcher program. The main components of the mechanism are 1) no final evaluation, instead intensive evaluation for next proposal submission, 2) no paper account report, instead reporting it online, 3) no lengthy final report, instead unloading a brief overview of research achievements. For successful establishment of the NRF grant funding mechanism, the quality and quantity-based quantitative guidelines of research achievement for various research areas are essential. In this study, we suggest 3 quantitative indexes and these quantitative guidelines provides a supplementary tool for researcher"s capability review. These guidelines will be also useful to elevate the reliability and objectivity of peer review.

단락전류 발생에 의한 직류배전반의 구조안정성 검토

허호진(Ho-Jin Heo),유영수(Young-Su Yu),김준연(Joon-Yeon Kim),신숙범(Suk-Beom Shin),이찬주(Chan-Joo Lee) 대한기계학회 2021 대한기계학회 춘추학술대회 Vol.2021 No.11

Since a switchgear accident can cause huge damage to property and human life, the stability and reliability of the switchgear are very important in the design of the switchgear. Above all, a short-circuit accident may be caused by an external factor, and lead to structural destruction and human life damage due to the short-circuit electromagnetic force. Busbars, supports and insulating structures in the switchgear must be designed to withstand these short-circuit characteristics which be changed by the current and the structure of the busbar. In this paper, an analysis model was developed to evaluate the effect of the volume force distribution of busbars obtained through electromagnetic field analysis on the DC switchgear structure.

관절전문병원 슬관절치환술 환자의 진료결과

박춘선 ( Choon Seon Park ),김묘정 ( Myo Jeong Kim ),임지혜 ( Jee Hye Im ),김태현 ( Tae Hyun Kim ),신숙연 ( Suk Youn Shin ),이남석 ( Nam Suk Lee ),장진희 ( Jin Hee Chang ) 한국보건경제정책학회 2016 보건경제와 정책연구 Vol.22 No.3

Total knee arthroplasty (TKA) is a common and effective surgical procedure for severe knee arthritis and is one of the most increasingly popular procedures in developed countries. In 2011, the Korean Government designated hospitals that had been focusing on specific diseases or procedures as specialty hospitals. The aim of this study was to compare outcomes of TKA specialty hospitals and non-specialty hospitals. Observational data collected from the National Health Insurance Claims Data of the Health Insurance Review and Assessment Service included 36,934 patients who underwent primary TKA at hospitals during 2012. Outcomes of TKA were unplanned readmission and adverse events. Age, sex, health insurance status, and comorbidity using Charlson`s Index were used to adjust for covariates. A generalized estimating equation (GEE) was used to compare outcomes of specialty hospitals and non-specialty hospitals. The unplanned readmission rates within 30 days of discharge of specialty and non-specialty hospitals were 12.1% and 10.1%, respectively. Patients who underwent TKA in specialty hospitals experienced fewer adverse events within 90 days of surgery compared to those who underwent the procedure in non-specialty hospitals (1.3% vs. 1.9%). However, the outcomes were not significantly different after adjusting for covariates. Further studies are needed to determine whether the outcomes of specialty hospitals become better than those of non-specialty hospitals in order to examine the effect of the designation policy.

공공갈등관리 법제에 관한 법리분석 및 정책적 함의

이성호(Lee Sung Ho),박신숙(Park Shin Suk) 한국갈등관리학회 2015 한국갈등관리연구 Vol.2 No.1

우리나라의 사회적 갈등의 문제는 OECD 회원국 가운데 최하위로서 매우 심각한 수준이며, 또한 갈등으로 인한 사회․경제적 비용이 막대하게 낭비되고 있다. 그러므로 국민의 행복과 국가발전을 위하여 국정 최고의 목표로 설정하여야 할 만큼 갈등관리의 중요성이 바로 여기에 있다. 그렇지만 갈등관리 관련 법률안이 국회에서 대책 없이 계류되고 있다는 점은 참으로 안타까운 일이며, 현행 우리나라의 갈등관리제도(대통령령 및 지방자치단체의 조례)의 실효성에 대해서는 대부분 연구자들의 부정적인 평가가 공통적이라고 할 수 있다. 이에 본 연구는 현행 갈등관리정책에 대한 법제의 실효성과 관련한 의문으로부터 시작되었다. 즉 법과 제도는 마련되었다고는 하나, 법 제정의 취지나 목적에 맞추어 실행되지 않는다면 무슨 의미가 있겠는가의 관점에서, 국회에 계류 중인 법안과 현행 제도에 대하여 법제의 실효성과 관련한 법리적 비교분석을 시도하였다. 그 결과 대통령령 등 현행 갈등관련 제도는 법적 이념을 충실하게 담아내지 못하고 있으며, 갈등관리 정책추진의 실효성을 보장하기에는 역부족임을 확인하였다. 본 연구의 결과, 갈등관리 법제의 실효성 확보를 위해서는 갈등관리 법적 제도의 이념을 실체적 규정에 명확하고 구체적으로 충실하게 담아내야 한다는 점이 강조되었다. 아울러 지금까지는 외국의 제도와 운영에 관한 단편적인 내용을 중심으로 연구되었다는 점과 관련하여, 앞으로 법실증주의적 철학 등 법적 이념을 제대로 구현하고 실행력을 높일 수 있는 방안을 제안하였다. The Korea is very serious level of social conflict as the lowest among OECD countries, is also being wasted enormous social and economic costs caused by the conflict. Therefore, the people of the happiness and national development of the national importance of conflict management to be set up here as the best target for. But it is that conflict management bill in the National Assembly is indeed a sad day sleeping, that is negative about the effectiveness of current country"s conflict management institutions (regulations of the Presidential and Local Governments). It can be said that the common opinion of the researchers named. So this study was started with questions about the effectiveness of the legislation in the current conflict management policy. In other words, "but the legal system is established, Would that mean if not executed properly the intent or purpose of the law?" Pending congressional legislation with respect to the effectiveness of the legal system and judicial thinking that was analyzed and compared with respect to the current system. As a result of the current conflict-related institutions such as the Presidential Decree to guarantee the effectiveness of conflict management policy and legal inability to faithfully capture stations that the ideologies were found lacking. The apparent conflict management in order to improve the effectiveness of the legal principles of conflict management institutions on substantive legal provisions and stressed that it faithfully pay specifically put. In addition, until now there has been only regret the research center with the introduction and operation of foreign institutions, the aim is also to implement correctly the legal principles such as the future law-liberal philosophy and empirical research suggest measures to increase executive power.