http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 서선애(Sun Ae Seo) (검색결과 4 건)
- 무료
- 기관 내 무료
- 유료
-
서선애(Sun Ae Seo),오승욱(Seung Uk Oh),조승모(Seung Mo Cho),이남희(Nam Hee Lee),차성덕(Sung Deok Cha),권용래(Yong Rae Kwon) 한국정보과학회 1999 한국정보과학회 학술발표논문집 Vol.26 No.2Ⅰ
모형 검증을 통한 시스템 명세의 정형적인 검증은 상태 폭발 문제로 인해 많은 어려움을 겪고 있다. 여러 개의 병렬 프로세스로 구성된 시스템에서 지수적으로 증가하는 상태의 갯수로 인해 현실적으로 모형 검증을 적용하는 것이 불가능한 경우가 많다. 이런 문제점을 해결하기 위해서 시스템을 모듈 단위로 생각하여 정형 검증을 시도하는 많은 연구가 수행되고 있다. 병렬성을 중요한 특성의 하나로 하는 Statecharts 또한 널리 사용되고 있음에도 불구하고 아직 모듈을 바탕으로 검증을 수행하려는 시도가 그리 많지 않다. 본 연구에서는 내장 소프트웨어 시스템에 널리 사용되는 Statecharts 명세를 모듈을 바탕으로 검증하는 방법을 제시하고자 한다. 먼저 Statecharts에서의 모듈을 정의하고, 그와 같은 정의를 바탕으로 여러 개의 모듈로 구성되어 있는 Statecharts 명세의 모듈 기반 검증 방법을 제안한다. 여기서 사용되는 모듈 기반 검증은 환경에 대한 가정이 만족된다면 모듈은 반드시 주어진 성질을 만족한다는 가정-보중 추론(Assume-Guarantee Reasoning)을 이용한다.
-
산업구조와 수출입 상품 특성이 항만물동량에 미치는 영향
서선애(Seo, Sun Ae),오가영(Oh, Ka Young) 한국물류학회 2012 물류학회지 Vol.22 No.3
수출입 물량이 증가하면 항만 물동량이 증가하는 것은 당연한 귀결이라 할 수 있다. 그러나 항만은 항공운송의 증가나 양국의 교역 특성 그리고 수ㆍ출입 화물의 특성에 따라 물동량이 변화될 수 있다. 또한 국가의 경제 발전 수준이나 산업구조에 따라 항만 물동량 변화요인은 달라 질 수 있다. 이에 국내 부산항에 영향을 주는 산업구조나 수ㆍ출입 제품의 특성의 변화는 물동량에 크게 기여하고 나아가 항만의 발전방향과 유연성에도 영향을 줄 수 있을 것이다. 이에 따라 1990년대부터 국내 산업구조 비중 변화를 서비스업, 경공업, 중화학공업, 첨단산업, It산업, 1,2,3차 산업 비중변화 순으로 정의하여 이들의 비중 변화가 수출ㆍ입에 어떠한 영향과 관계를 미치는지 살펴보았다. 또한 이러한 산업구조의 비중변화와 수출ㆍ입 구조변화가 항만 물동량에 어떠한 영향을 미치는지도 파악하였다. 분석을 위해 국내 산업구조 비중변화는 1991년부터 2011년까지의 년 도별산업별 비중변화를 시계열 자료를 통해 파악하였다. 수출입 자료는 수출입은행의 산업(성질)별 수출입 자료를 1990년부터 2012년까지 시계열 정리화 하여 적용하였다. 해당 상품으로는 1차 상품, 공산품, 경공업제품, 중화학 제품, IT제품, 기타 등으로 분류하여 조사하였다. 이러한 산업 구조 특성과 수출상품의 특성 구조와 항만물동량의 상관관계는 항만 물동량의 추이를 예측하고 항만의 탄력성에 영향을 미칠 수 있을 것이다. It is natural that port traffic becomes high when the number of importing and exporting products is increasing. However, port traffic is also affected by increase of air transport, characteristics of trading between countries and properties of importing or exporting goods. Futhermore, causes of change in port traffic range from economic development level to industrial structure of a certain country. Therefore, making a change in industrial structure and characteristics of importing and exporting goods which have effects on traffics in Pusan Port can significantly contribute to the volume of traffics and affect development and flexibility of the port. As a result, this study defines changes in composition of the domestic industrial structure including change of proportion of the service industry, light industry, heavy and chemical industry, high tech industry, IT industry and the first, second and third industry in order and investigates how change of the proportion of such industries affect the change in importing and exporting structure system. In addition, The study identifies the effect of change in proportion of the industrial structure and changes in the importing and exporting structure on the port traffic. For analysis, annual change in proportion of the industries in the domestic industrial structure from 1991 to 2011 has been indicated by using time series data. Importing and exporting data was obtained from the Korea Exim Bank and arranged them in time series from 1990 to 2012. Before investigation, products were classified into the primary commodity, industrial products, light products, heavy and chemical products, IT products and others. Correlation between characteristics of industrial structure and exporting products structure and port traffic can affect prediction of trend in port traffic and its elasticity. c
-
6차 산업 발전방향에 관한 정책 탐색 - 서비스 유통 측면을 중심으로 -
서선애 ( Seon-ae Seo ),전영옥 ( Young-ok Chun ),순레이 ( Rei Sun ) 한국자치행정학회 2018 한국자치행정학보 Vol.32 No.2
국내 6차 산업의 발생배경은 농·수·축산업의 시장 확대라는 측면에서 시작되었으나, 외국형 6차 산업에 대한 일방적 모방과 1차 산업 의존형 발전전략으로 발전 한계에 이르고 있다. 이에 6차 산업이 발전하게 된 배경과 6차 산업에 대한 접근의 문제점을 파악하고 이를 바탕으로 하여 서비스 유통적 관점에서의 6차 산업의 발전에 관한 정책방안을 제시하는 것이 본 논문의 목적이다. 6차 산업의 정책적 한계로는 1차 산업 위주의 정책으로 인한 부가가치 감소, 농산품 위주의 산출물, 정부주도적 관점, 그리고 소비자와의 커뮤니케이션 부족 등으로 정리할 수 있다. 6차 산업은 1,2,3차 산업의 특성을 모두 함께 지니고 있으나 그 동안의 연구들이 6차 산업에 집중하여 1,2,3차 산업 각각의 특성을 간과한 것이다. 6차 산업 이전에 각각의 산업을 구성하는 요소들을 파악하고 접근해야 하는데, 이는 단순히 1차 산업 확대가 아닌 창출하고자 하는 서비스 전략에 맞는 1·2차 상품 개발 전략을 병행해야 할 것이다. 이에 본 연구에서는 6차 산업의 구성요소를 살펴보고, 선행연구 분석을 통해 제시된 전략들에 대한 점검을 토대로, 서비스 유통 관점에서 6차 산업정책의 발전방안을 제시하고자 한다. The background of the 6th industry in Korea started from the aspect of expanding the market of agriculture and fishery industry, but it is reaching the development limit by unilateral imitation of foreign 6th industry and development strategy of dependent on 1st industry. The purpose of this paper is to examine the background of the development of the 6th industry and the problems of access to the 6th industry and to examine the development of the 6th industry from the viewpoint of service distribution. The policy limitations of the 6th industry can be defined as primary industry oriented policies, agricultural oriented policies, government - led policies, and lack of communication with consumers. Although the 6th industry has all the characteristics of the 1st, 2nd and 3rd industries, the researches concentrated on the 6th industry and overlooked the characteristics of each of the 1st, 2nd and 3rd industries. Before the 6th industry, we must identify and approve the elements that make up each industry. Instead of simply expanding the primary industry, the first and second product strategies should be followed in accordance with the targeted service strategy. In this study, we examined the components of the 6th industry and examined the strategies presented through the analysis of previous research, and suggested the development strategy of the 6th industry in terms of service distribution.
-
MSCTest : 내장 소프트웨어 테스트를 위한 자동화 도구
이남희(Nam Hee Lee),서선애(Sun Ae Seo),김태효(Tae Hyo Kim),차성덕(Sung Deok Cha),이재원(Jae Won Lee),박기웅(Ki Woong Park) 한국정보과학회 2000 정보과학회 컴퓨팅의 실제 논문지 Vol.6 No.2
내장 소프트웨어는 외부 입력과 시스템의 현재 상태를 함께 고려하여 출력을 결정하는 특성을 가지고 있기 때문에, 하나의 모듈을 테스트하기 위해서는 해당 모듈에 대한 단위 테스트 기법 이외에, 추가적으로 그 모듈에 도달하기 위한 다양한 시퀀스를 생성하는 방법이 필요하다. 본 논문에서는 내장 소프트웨어의 모듈 테스트를 위한 명세 기반의 테스트 방법을 제안하고 이를 지원하는 자동화 도구인 MSCTest를 구현하였다. 각 모듈의 기능은 결정표 (decision table)를 이용하여 명세하고, 시스템에 발생가능한 시나리오는 데이타 표현을 첨가한 MSC (Message Sequence Charts)로 기술하여 테스트 시퀀스를 생성한다. MSCTest는 MSC 그래픽 편집기, 테스트 시퀀스와 데이타 생성기, 그리고 생성된 테스트 데이타를 수행시키는 테스트 드라이버 생성기로 구성되어 있다. MSCTest를 이용하여 웹 비디오폰이나 디지털 TV 등에서 편리한 사용자 인터페이스를 제공하기 위해 사용되는 EsWin (Embedded System Windows) 소프트웨어를 효과적으로 테스트할 수 있었다. Embedded software generates its outputs using current states of the system as well as external inputs. When a module in embedded software is tested, we need an automated testing tool, which generates possible sequences to reach the module as well as input data of the module, to reduce the testing time and to improve the quality of software. In this paper, we use decision table to specify the functionality of the module and data-annotated MSC (Message Sequence Charts) to describe scenarios, and implement a tool, which we call MSCTest, to automate the testing process. MSCTest consists of MSC graphic editor, test sequence and data generator, and test driver generator. MSCTest is effectively applied to test EsWin which is a kind of window library used in embedded systems.
KCI연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
