http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
커스텀 파서와 SMT 솔버를 활용한 모델 기반 테스트 데이터 생성 기법
신기욱,임동진,Shin, Ki-Wook,Lim, Dong-Jin 한국정보처리학회 2017 정보처리학회논문지. 소프트웨어 및 데이터 공학 Vol.6 No.8
Because of the ever-increasing software complexity, model-based development techniques are becoming an essential technique in software development. However, even if model-based techniques are used, the test case generation for complex software is still a challenge to solve. In this paper, we propose a method to generate automatic test cases based on UML model using custom parser and SMT solver. By proposed technique, a test case can be generated even though the model is described in a platform independent language such as action language, or in a platform dependent language. In addition, a concolic execution technique is applied to efficiently generate test cases in the model. In this paper, we present a case study on the power window switch model of Hyundai Santa Fe through the proposed test case generation technique. 지속적으로 증가하는 소프트웨어 복잡성으로 인해, 모델 기반 개발 기법은 소프트웨어 개발에 있어 거의 필수적인 기법이 되고 있다. 그러나, 모델 기반 기법을 활용한다 하더라도 복잡한 소프트웨어를 위한 테스트 케이스 생성은 여전히 풀어야 할 숙제이다. 본 논문에서는, 커스텀 파서와 SMT 솔버를 이용해 UML 모델 기반에서 자동 테스트 데이터를 생성하는 기법을 제안한다. 제안된 기법을 이용하면, 모델이 액션 언어(action language)와 같은 플랫폼 독립적인 언어로 구현되어 있거나, 플랫폼 종속적인 언어로 기술되어 있더라도 테스트 입력을 생성할 수 있다. 또한, 모델에서 테스트 케이스를 효율적으로 생성하기 위해 콘콜릭 수행 기법을 적용하였다. 본 논문에서는, 제안된 테스트 데이터 생성 기법을 통해 현대 산타페의 파워윈도우 스위치 모델에 활용된 사례를 기술한다.
AQUI-S® 의 조피볼락(Sebastes schlegeli)에 대한 진정 및 마취 효과
신기욱,신용승,김영림,이은영,양향희,팔락샤,연성찬,이희천,오명주,조성준,강승원,정태성 한국임상수의학회 2006 한국임상수의학회지 Vol.23 No.3
Along with olive flounder (Paralichthys olivaceus), black rockfish (Sebastes schlegeli) is another very popular maricultured species in Korea. As there is many difficulties in handlling live fish for aquaculturist, use of suitable anesthesia for proper handling of fish is very important in the field. In this view, the effect of AQUI-S® has analysed for its use in the field. AQUI-S®, contains 50% isoeugenol, is a new anesthics for fish and zero-withdraw time required since it was approved as a safe additives of food. In the present study, black rockfish adult exhibted sedation effect from 5 ppm at 10℃ and 15℃, and 7.5 ppm at 20℃, on the other hand, anesthesia was at least required 7.5 ppm at 10℃ and 15℃, and 10 ppm at 20℃. The fish was recovered from sedation and anesthesia after approximately 5 and 10 minutes, respctively. In case of black rockfish fry, sedation was recorded from 2.5 ppm at 10℃, and 5 ppm at 15℃ and 20℃. The least concentraion of anesthesia was 2.5 ppm at 10℃, 7.5 ppm at 15℃, and 5 ppm at 20℃. The acute toxic test showed that black rockfish adult and fry showed mortality above 12.5 and 15 ppm concentration of AQUI-S®, respectivly. In sum, AQUI-S® is considered as useful anesthetic drug for sedation and anesthesia of black rockfish, it is highly availbale to be prevented from a varity of stress.
신기욱,Hyungjun Lee,발락샤,Youngrim Kim,Eunyoung Lee,Yongseung Shin,Eunggoo Lee,박경대,정태성 대한수의학회 2006 JOURNAL OF VETERINARY SCIENCE Vol.7 No.3
The present study was undertaken to produce monoclonal antibodies (MAbs) against immunoglobulin (Ig) purified from black rockfish (Sebastes schlegeli Higendorf) serum using protein A, mannan binding protein, and goat IgG affinity columns. These three different ligands were found to possess high affinity for black rockfish serum Ig. All of the Igs purified eluted at only 0.46 M NaCl concentration in anion exchange column chromatography and consisted of two bands at 70 kDa and 25 kDa in SDS-PAGE; they also had similar antigenicity for MAbs to Ig heavy chain in immunoblot assays. Therefore, black rockfish Ig is believed to exist as a single isotype within serum. The MAbs produced against Ig heavy chain reacted specifically with spots distributed over the pI range from 4.8 to 5.6 with a molecular weight of 70 kDa on two dimensional gel electrophoresis immunoblot profiles.
A Study on Innovation toward University-Industry Networking
신기욱 과학기술정책연구원 2002 정책자료 Vol.- No.-
This project addresses the issue of how to enhance the interactions between academia and industries in Korea. We will examine the social and historical factors underlying the university-industry linkage as well as the organizational strategies for the R&D networking. The obj ective of the project is to assist better understanding of the current status of university-industry linkages and suggest relevant policy recommendations.Under this proj ect we organized the workshop on university-industry collaboration/networking in Korea. The workshop was held on November 1 at the Asia/Pacific Research Center at Stanford University. Four experts on this issue presented their papers to address the current situation of various aspects of the university-industry networking in Korea. Five discussants from Stanford University responded to these four presentations, especially with a focus on policy suggestions to improve the current state of university-industry networking.The final report consists of the outcomes of the workshop: four papers presented in the workshop and response comments by five discussion panels. The papers are: Infrastructure of Research and Development and Human Resource in Korea (Jong-Chun Woo, Seoul National University), A Study on R&D Human Resources Mobility between Research Institute and Industry, Universities in Korea: the Macro view and Micro Analysis (Jae-Gu Kim et al., Myongj i University), Technology Transfers through University-Industry Cooperation: An Overview of Korean Experience (Kiseok Lee, Kyung Hee University), and Industry and University Linkage for Development through Technical Human Resource Development in Korea (Ji Soo Kim, Korea Advanced Institute of Science and Technology). The response comments are made by scholars and practitioners in Silicon Valley: Nathan Rosenberg (Department of Economics, Stanford University), Catherine Ku (Director, Office of Technology Licensing, Stanford University), Rafiq Dossani (Asia/Pacific Research Center, Stanford University), Mariko Yoshihara Yang (Asia/Pacific Research Center, Stanford University), and Michael Paek (Korean American Attorney).
Isoeugenol의 넙치(Paralichthys olivaceus)에 대한 진정, 마취 및 독성효과 검토
신기욱,신용승,김영림,이은영,양향희,팔락샤,허남응,연성찬,이희천,오명주,조성준,강승원,정태성,Shin, Gee-wook,Shin, Yong-seung,Kim, Young-rim,Lee, Eun-young,Yang, Hyang-hee,Palaksha, K.J.,Huh, Nam-eung,Yeon, Seong-chan,Lee, Hee-chun,Oh, Myung- 대한수의학회 2005 大韓獸醫學會誌 Vol.45 No.2
Olive flounder (Paralichthys olivaceus) is the major mariculture fish in Korea. The annual aquaculture production of olive flounder in Korea during the period of 2003 was 300,000 ton (2002 Statistics, Ministry of Maritime Affairs & Fisheries, Korea Government). Anesthetics is very necessary in aquaculture to minimize stress and damage during harvesting, grading, transportation, spawning induction and handling to fish. In the present study, isoeugenol as new anesthetic in marine fish, especially olive flounder, was examined to know the efficacy and proper concentration. As a result, olive flounder adult was exhibited sedation at 5 ppm at 10 and $15^{\circ}C$, and 7.5 ppm at $20^{\circ}C$, respectively. Anesthesia was required at least 10, 7.5 and 10 ppm at $10^{\circ}C$, $15^{\circ}C$ and at $20^{\circ}C$, respectively. In case of fry, the effect of sedation was observed from 2.5 ppm at $10^{\circ}C$ and 5 ppm at 15 and $20^{\circ}C$, respectively. Anesthesia was observed from 2.5 ppm at $10^{\circ}C$, 5 ppm at 15 and $20^{\circ}C$, respectively. In acute toxicity test, it was impossible to explore $LD_{50}$ with the concentration of isoeugenol adult at $15^{\circ}C$ used, but over immersion volume of 15 ppm at $15^{\circ}C$ was observed mortality in fry. Based on the present study, isoeugenol was identified as a safe and active anesthetic to olive flounder.