http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 손한성(Han-Seong Son) (검색결과 7 건)
- 무료
- 기관 내 무료
- 유료
-
손한성(Han-Seong Son) 한국콘텐츠학회 2007 한국콘텐츠학회논문지 Vol.7 No.11
게임 소프트웨어 개발에는 기획과 프로그래밍 및 그래픽의 조화가 필요하다. 이 중 기획과 프로그래밍 사이에는 소프트웨어 분석 및 설계가 필수적 가교 역할을 해야 한다. 본 논문에서는 이러한 게임 소프트웨어 분석 및 설계를 위해 일반 소프트웨어 공학에서 많이 적용되고 있는 정형기법을 적용하는 것에 대한 가능성에 대하여 고찰한다. 정형기법은 일반적으로 게임 소프트웨어 분야보다는 고신뢰도를 요구하는 소프트웨어 분야에 적용하여 많은 성공을 거두어왔다. 최근 게임 소프트웨어 분야에서도 게임 기획과 게임프로그래밍 사이에서 효율적인 의사 소통을 통하여 게임 소프트웨어 개발의 경제성과 품질을 향상시켜야 할 필요성이 대두되고 있다. 이러한 배경으로, 본 연구에서는 이러한 정형기법을 게임 소프트웨어의 분석 및 설계에 적용하기 위한 제안으로서 정형기법의 대표적인 기법들을 대상으로 적용성을 분석한다. The game software development involves planning, programming and graphics. Between planning and programming, software analysis and design is essential and plays the role of a bridge. This article analyzes, for game software, the applicability of formal methods, which are widely used in general software engineering fields. Since the effective communication between game planners and game developers is crucial, appropriate application of formal methods give us a lot of benefits in view of development cost and software quality.
-
노창현(Chang Hyun Roh),손한성(Han-Seong Son) 한국콘텐츠학회 2007 한국콘텐츠학회논문지 Vol.7 No.11
국내 온라인 게임시장이 포화됨에 따라 많은 회사들이 미국 시장 진출을 시도하고 있다. 해외 시장에서 성공하려면 그 나라의 사용자 특성을 이해하는 것이 가장 중요하다. 그러므로 본 연구에서는 미국에서 서비스 중인 게임 A와 게임 B의 DB로부터 사용자 데이터를 추출하여 사용자 특성을 분석하였다. 이 분석 결과로부터 한국 MMORPG 게임을 북미 시장에 진출할 때 고려해야할 사항을 제시하였다. 이용시간, 결제, 게임에 대한 충성도 등을 결과로 제시하였다. 본 연구 결과는 상용중인 게임 DB로부터 추출된 데이터를 바탕으로 이루어진 최초의 연구이며 본 연구 결과가 향후 미국 진출을 앞둔 둔 국내 기업에게 매우 유용하게 쓰일 것이다. As Korean online game market is saturated, Korean online game companies are trying to push into North American market. In order to succeed in foreign markets, understanding of user characteristics in that country is most important. In this study, investigation on user characteristics has been performed using user DB from A online game and B online game. They are currently in service by M company in America. Connection time, payment, and royalty are analyzed as a results. Based on the analysis, several advance strategies into North America are suggested. This results could be very useful for Korean MMORPG company to try to push into North America.
-
노창현(Chang Hyun Roh),손한성(Han Seong Son) 한국콘텐츠학회 2011 한국콘텐츠학회논문지 Vol.11 No.12
CEP(Complex Event Processing)는 대규모 정보시스템에서 발생하는 복잡한 이벤트 패턴을 발견하는 기법이다. 게임 사용자가 게임 서버에 접속하여 게임을 수행하는 과정에서 발생하는 이벤트들을 관찰하면서 규칙에 위배되는 행위를 검출하기 위하여 CEP 기법을 사용하는 방법이 제안된 바 있다. 본 연구는 실제 게임서버 DB를 이용하여 선행 연구를 통해 제안된 모니터링 방법에 적용하여 보았다. 이를 통해 CEP 기반의 온라인서비스 감시가 대규모 사용자들이 이용하는 온라인 게임의 부정한 사용자들을 찾아내고 감시하는 것에 효과적임을 관찰하였다. CEP(Complex Event Processing) is a technique to find complex event pattern in a massive information system. Based on CEP technique, an abuse pattern monitoring method has been developed to provide an real-time detection. In the method, the events occurred by game-play are observed to be against the rules using CEP. User abuse patterns are pre-registered in CEP engine. And CEP engine monitors user abuse after aggregating the game data transferred by game logging server. This article provides the performance analysis results of the abuse pattern monitoring method using real game DB. We results that the method proposed in previous study is effective to monitor abusing users.
-
지은경(Eun-Kyoung Jee),차성덕(Sung Deok Cha),손한성(Han Seong Son),유준범(Junbeom Yoo),구서룡(Seo-Ryong Koo),성풍현(Poong Hyun Seong) 한국정보과학회 2002 정보과학회논문지 : 소프트웨어 및 응용 Vol.29 No.11·12
폴트 트리 분석(Fault Tree Analysis)은 산업계에서 가장 널리 사용되는 안전성 분석 기법 중의 하나이다. 하지만, 이 기법은 보통 수작업으로 이루어지며, 분석 결과를 체계적이고 자동적으로 검증할 수 있는 방법이 없다는 약점을 지닌다. 본 논문에서는 실시간 모델 체커인 UPPAAL을 이용하여 안전성이 중요한 소프트웨어의 요구 사항들을 정형 명세하고, 수작업으로 완성된 폴트 트리의 정확성을 검증하는 방법을 제안하고 있다. 제안된 방법을 유용성을 확인하기 위해서 월성 원자력 발전소의 비상 정지 소프트웨어(Wolsung SDS2)에서 사용된 기능 요구 사항들을 예제로서 사용하였다. 폴트 트리는 월성 SDS2에 대한 전문적인 지식을 지니고 폴트 트리를 이용한 안전성 분석을 여러 번 수행해 본 경험이 있는 대학원생들에 의해 작성되었다. 기능 요구 사항들은 UPPAAL의 입력으로서 사용되기 위해서 시제 오토마타의 형태로 수작업으로 변환되었으며, 이 폴트 트리의 정확성을 검증하기 위해서 모델 체킹을 사용하였다. 본 논문에서 제안된 방법을 월성 SDS2 예제에 적용해 본 결과, 수작업으로 작성된 폴트 트리에 존재하는 오류를 찾을 수 있었으며, 이러한 작업을 통하여 제안된 방법이 폴트 트리 분석에 대한 신뢰도를 높이는데 유용함을 발견하였다. Fault tree analysis is the most widely used safety analysis technique in industry. However, the analysis is often applied manually, and there is no systematic and automated approach available to validate the analysis result. In this paper, we demonstrate that a real-time model checker UPPAAL is useful in formally specifying the required behavior of safety-critical software and to validate the accuracy of manually constructed fault trees. Functional requirements for emergency shutdown software for a nuclear power plant, named Wolsung SDS2, are used as an example. Fault trees were initially developed by a group of graduate students who possess detailed knowledge of Wolsung SDS2 and are familiar with safety analysis techniques including fault tree analysis. Functional requirements were manually translated in timed automata format accepted by UPPAAL, and the model checking was applied using property specifications to evaluate the correctness of the fault trees. Our application demonstrated that UPPAAL was able to detect subtle flaws or ambiguities present in fault trees. Therefore, we conclude that the proposed approach is useful in augmenting fault tree analysis.
-
설계명세서를 이용한 안전등급 PLC 운영체제 컴포넌트 시험방법
이영준(Young-Jun Lee),성아영(Ah-Young Sung),최병주(Byoungju Choi),손한성(Han-Seong Son) 한국정보과학회 2006 한국정보과학회 학술발표논문집 Vol.33 No.1
본 논문은 안전등급 제어기기(Safety-Grade Programmable Logic Controller)에서 사용하는 프로세서모듈 운영체제에 대한 컴포넌트 시험에 대해 기술한다. 디지털 소프트웨어에 대한 NRC(Nuclear Regulatory Commission)의 지침에 따라 운영체제는 소프트웨어 생명주기에 따라 개발되고 있으며 요구사항과 설계명세, 그리고 구현코드를 가지고 다양한 시험을 수행하고 있다. 컴포넌트 시험은 구현된 코드가 테스트 커버리지를 만족하는 지 파악하는 시험이다. 이를 위해 설계명세서를 참조하여 시험대상을 구분하고 각각의 시험대상에 대한 시험항목을 세분화한 이후 시험방법과 절차, 그리고 시험환경을 구축한 후 컴포넌트 시험을 수행한다.
-
이수영(Su-Young lee),김진현(Jin-Hyun Kim),안영아(Youna-Ah Ahn),심재환(Jae-Hwan Sim),양진석(Jin-Seock Yang),이나영(Na-Young Lee),손한성(Han-Seong Son),최진영(Jin-Young Choi) 한국정보과학회 2004 한국정보과학회 학술발표논문집 Vol.31 No.2Ⅱ
항공 및 국방 산업 등에서는 고안전성 임베디드 시스템의 신뢰성과 안전성을 보장하기 위해 임베디드 시스템의 설계 및 구현에 정형기법을 적용하고 있다. 본 논문은 그러한 정형기법을 적용하여 임베디드 시스템 소프트웨어의 요구사항 명세(Software Requirements Specification:SRS)와 요구명세를 바탕으로 실제 구현을 위한 설계명세(Software Design Specification:SDS)를 정형기법을 이용하여 명세하였다 본 논문은 정형 명세 언어로 작성된 요구명세와 설계명세 간의 부합성 검사를 하고 더 나아가 임베디드 시스템 요구 분석에서 더 정 확하게 소프트웨어를 구현할 수 있는 방법을 제시 하고자 한다.
-
Sequence Diagram을 이용한 안전등급 PLC 운영체제의 인터페이스 설계
이영준(Young-Jun Lee),권기춘(Kee-Choon Kwon),이장수(Jang-Soo Lee),김장열(Jang-Yeol Kim),차경호(Kyung-Ho Cha),천세우(Se-Woo Cheon),손한성(Han-Seong Son) 한국정보과학회 2005 한국정보과학회 학술발표논문집 Vol.32 No.1
본 논문은 Sequence Diagram을 이용한 안전등급 PLC(Safety-Grade Programmable Logic Controller) 운영체제의 인터페이스 설계명세를 기술한다. 원자력발전소에 사용하기 위한 안전 소프트웨어(Safety Software)의 규제기준인 Reg. Guide 는 IEEE Std 1016, IEEE Std 1016.1 의 설계명세서 작성표준에 따라 작성하도록 요구하며, 이러한 규제기준과 기술표준을 안전등급 PLC를 위한 운영체제 소프트웨어의 설계명세서도 만족해야 한다. 특히 운영체제와 외부 장치들 사이의 인터페이스를 위해 실시간 특성의 표현에 장점을 갖는 Sequence Diagram을 적용함으로써 운영체제의 인터페이스에 대한 정확성, 완전성, 그리고 일관성을 향상시킬 수 있었다.
ScienceON
DBpia연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
