• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.10a
• /
• pp.623-626
• /
• 2001

최근 휴대폰단말기, PDA 와 같은 내장형시스템에 필수적으로 사용되고 있는 SoC(System On a Chip)에 대한 설계에서는 HW/SW 동시설계를 통한 설계생산성 향상이 필수적이다. 이에 따라서 설계검증에서도 HW/SW 통합검증의 중요성이 매우 커지고 있다. 본 논문에서는 이와 같이 내장형시스템을 위한 HW/SW 통합검증을 효율적으로 수행 할 수 있는 방법들인 co-simulation 과 co-emulation 및 co-prototyping 에 대하여 이들 방법들의 장단점과 더불어 이들을 통합한 새로운 검증방법인 집적 동시-검증(integrated co-verification) 기법에 대하여 논하기로 한다.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.66 no.1
• /
• pp.23-26
• /
• 2017

Social Welfare is useful concept for evaluating the effectiveness of an economic policy in micro economics. This paper focuses on Social Welfare(SW) of electricity market incorporating demand response(DR). Competition between DR and generation company is modeled as a simple bid function. DR function can be considered as an negative generation(called Negawatt) and as an element of modified demand function. These two approaches result in the same demand reduction, generation power, and the market price. However, SW in the modified demand function approach is not identical to SW in the Negawatt approach. It makes the numerical index of DR effectiveness less persuasive. This paper proposes modified definition of SW in the demand function approach. The proposed definition of SW leads the DR effectiveness index to be identical to that in the Negawatt approach.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.15 no.4
• /
• pp.249-256
• /
• 2022

In the case of Drone Photogrammetry, the "pixel to point tool" module of Metashape, Pix4D Mapper, ContextCapture, and Global MapperGIS, which is a simple software, are widely used. Each SW has its own logic for the analysis of aerial triangulation, but from the user's point of view, it is necessary to select a SW by comparative analysis of the coordinate values of geospatial information for the result. Taking aerial photos for drone photogrammetry, surveying GCP reference points through VRS-GPS Survey, processing the acquired basic data using each SW to construct ortho image and DSM, and GCPSurvey performance and acquisition from each SW The coordinates (X,Y) of the center point of the GCP target on the Ortho-Image and the height value (EL) of the GCP point by DSM were compared. According to the "Public Surveying Work Regulations", the results of each SW are all within the margin of error. It turned out that there is no problem with the regulations no matter which SW is included within the scope.

• Microbiology and Biotechnology Letters
• /
• v.40 no.2
• /
• pp.152-156
• /
• 2012

Methanotrophic communities from freshwater wetland (FW), seawater wetland (SW), forest (FS), and landfill soils (LS) around Seoul of South Korea, were characterized using comparative sequence analyses of clone libraries. Proportions of Methylocaldum, Methlyococcus and Methylosinus were found to be greater in FW and SW, while Methylobacter and Methylomonas were more notable in FS and Methylocystis and Methylomicrobium more prominent in LS. Lag periods behind the initiation of methane oxidation significantly varied amongst the soils. Methane oxidation rates were greater in $FW{\geq}LS{\geq}SW>FS$ (p<0.05). Thus, the environmental setting is a significant factor influencing the communities and capabilities of methanotrophs.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2017.04a
• /
• pp.629-632
• /
• 2017

국내 대기업들은 충분한 SW테스팅으로 SW의 품질과 안정성을 점검하고 있다. 반면, 중소기업들은 부족한 인력과 비싼 상용 테스팅 도구 등으로 테스팅 환경이 어려운 실정이다. 이로 인한 테스트 부족 속에서 SW제품을 출시한다. 이 논문에서는 이런 문제의 해결방안 중 하나로 개발자가 코드 내부의 복잡도를 측정하여 잠재적인 오류를 줄이는데 초점을 둔다. 이를 위해 공개 소스프트웨어 기반의 도구 개선 제안 및 가시화 구현을 하였다. 즉, 벤처/중소 기업의 개발자들에게 각각 품질 요소들의 가시화 서비스가 가능하다. 이는 코드 내부의 결합력/응집력/복잡도/재사용 등의 가시적 모듈화로 SW품질 개선이 가능하다.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.25 no.7
• /
• pp.1047-1054
• /
• 2001

Atomic Force Microscope (AFM) was used to study cross sectional profiles and dimensions of fatigue striations in 2017-T351 aluminum alloy. Their widths(SW) and heights (SH, SH(sub)h, SH(sub)ι) were measured from the cross sectional profiles of three-dimension AFM images. The following results that will be helpful to understand the fatigue crack growth mechanism were obtained. (1) The relation of SH=$\alpha$(SW)(sup)1.2 was obtained. (2) The ratio of the striation height to its width SH/SW, SH(sub)h/SW and SH(sub)ι/SW did not depend on the stress intensity factor range ΔK and the stress ratio R( =P(sub)min/P(sub)max = K(sub)min/K(sub)max). (3) Effect of precipitate on the morphology of striation was changed by the relative dimensional difference between the striation width SW and the precipitates. From these results, the applicability of the AFM to nano-fractography is discussed.

• Journal of Software Engineering Society
• /
• v.13 no.3
• /
• pp.87-91
• /
• 2000

정보화촉진기본법의 시행 이후로 정부기관에서는 정보화촉진기본계획에 의거, 작지만 효율적인 전자정부 구현과 대민서비스 개선을 위한 정보화사업을 추진중에 있고, 2000년 7월 22일부터 소프트웨어산업진흥법이 시행되는 국내 환경에서 소프트웨어공학에 대한 연구 및 관련 기술의 개발의 중요성은 더욱 커지고 있다. 본 고에서는 SW공학의 개요 및 관련 기술의 간단한 소개와 국내의 SW공학의 표준화 동향을 소개하고, 미 국방부의 SW공학 관련 표준의 분류를 제시하며, 결론부분에서는 향후 표준화를 위한 추진전략을 제안하고자 한다.

• Journal of Life Science
• /
• v.31 no.7
• /
• pp.654-661
• /
• 2021

In this study, in order to isolate excellent whitening agents from fungal cultural broth, various fungi were collected from wild areas in South Korea and then screened for tyrosinase inhibition activity, as tyrosinase is a precursor for the biosynthesis of melanin in regulating skin color. A fungus strain that inhibits tyrosinase activity has been identified and confirmed as Trichoderma viridescens (later renamed T. viridescens SW-1) via ITS sequencing. In T. viridescens SW-1, tyrosinase inhibitory activity was strongest on day three of culture. A 5% culture broth showed a tyrosinase inhibitory activity greater than 90% and exhibited high thermostability on day three. At 10% culture broth, the accumulations of intra- and extracellular melanin were inhibited above 27.1% and 7.5%, respectively. In summary, the physical and functional properties of the tyrosinase inhibitory substances of T. viridescens SW-1 included high levels of inhibition of melanin synthesis and antioxidative activity as well as thermostability. Therefore, we suggest that the whitening substance identified from the cultural broth of T. viridescens SW-1 has potential for application as a functional cosmetic ingredient.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2014.05a
• /
• pp.277-279
• /
• 2014

In case of APT attacks, the update server is being used as a means of dissemination, the update program is running malicious code or data in applications such as anti-virus signature is vulnerable to manipulation, SW Update threat identification and prevention measures are urgently required. This paper presents a natiional and international SW update structure, update process exploits and response measures to examine, Through the extraction/analysis of a domestic famous SW update log, we are willing to select the necessary component of the normal program update to identify a white list.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.14 no.6
• /
• pp.329-338
• /
• 2019

Today's embedded software (SW) developments are mostly preceded by composing Software Requirement Specification (SRS). In particular, in the domain of weapon systems, it is essential to have a systematic method for the verification of the SW functionality. To be more specific, it is crucial to check if the SW functionality is implemented as described in SRS, so-called SW suitability verification. Unfortunately, existing static or dynamic SW testing methods are not sufficient to evaluate suitability with SRS since those testings only verify the robustness of the SW codes. In this paper, we propose an automatic embedded SW suitability verification framework which is based on a structured SRS. The major challenge in the automation of this verification framework is how to get rid of ambiguities in SRS. In order to overcome this challenge, we propose a structured SRS description framework and the supporting toolchain for that. We show how the proposed framework is applied to an actual SRS of a weapon system.