• Journal of the Korea Society of Computer and Information
• /
• v.17 no.7
• /
• pp.23-32
• /
• 2012

There is a method which identifies validity of program by transforming program to verification condition to verify program. If program is verified by generating verification condition, verification condition must have enough and accurate information for verifying program. However, verification condition is consisting of logical formulas, so the user cannot easily identify the verification condition. In this paper, we implemented program that visualize the poorly readable verification conditions. By the program, the users can easily identify information, such as the relationship between logical formulas that represent verification condition.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2015.07a
• /
• pp.470-473
• /
• 2015

본 논문에서는 MPEG 에서 현재 Type-1 동영상 표준을 위해 연구를 진행하고 있는 인터넷 비디오 코딩(Internet Video Coding, IVC)의 압축 성능에 대한 평가 방법 및 결과를 다룬다. 다년간의 연구로 IVC 의 성능은 매우 개선되어 왔으나, 산업이 원하는 수준에 도달했는지를 검증하기 위해서는 타 동영상 코덱과의 비교 평가 역시 필요하다. 이를 위하여, AVC/H.264 를 기반으로 Type-1 표준화를 진행해온 Web Video Coding(WebVC)의 인코더와 IVC Test Model 10.0 을 압축 성능 관점에서 객관적으로 비교 평가함으로써, IVC 의 부호화 성능의 뛰어남을 보이고자 한다. 또한, 상용화된 AVC/H.264 High Profile 과도 비교함으로써, IVC 의 객관적인 성능을 확인하고자 한다. 특별히, MPEG 내에서 결정한 시각적 비교 조건(Visual comparison condition)에 입각한 목표 비트율 및 양자화 변수 조건에 맞추어 평가한다.

• Asia-Pacific Journal of Business Venturing and Entrepreneurship
• /
• v.17 no.6
• /
• pp.13-24
• /
• 2022

The purpose of this study is to examine whether the existence of related personnel in KOSDAQ technology special listed firms has a signal effect on the market and affects performance when listed. The KOSDAQ technology special listing system is a system introduced to enable future growth by securing financing through corporate public offering based on the technology and marketability of technology-based startups and venture companies. As a result of analyzing 135 special technology companies listed from 2005 to 21 (excluding SPAC mergers and foreign companies) whether or not related personnel affect corporate value and listing period when they are listed, it was analyzed that the presence of related personnel did not significantly affect corporate value or listing period. The same was found in the results of the verification by reducing the scope to related personnel such as public officials and related agencies. However, under certain conditions, significant results were derived from the presence of related personnel on the listing of companies listed in special technology cases. It was found that the presence of related personnel and VC investment had a significant effect on corporate value, and in the case of bio-industry, there was a slight significant effect on the duration of listing. This study is significant in that it systematically analyzed the signal effect of the existence of related personnel for the first time for all 135 companies. In addition, as a result of the analysis, the results suggest that internalized efforts to secure technology and marketability are more important, such as parallel to VC investment, rather than simply recruiting related personnel.

• Magazine of the Korea Concrete Institute
• /
• v.7 no.3
• /
• pp.175-186
• /
• 1995

The determination of the stress intensity factors is investigated by sur-face integral method around the crack tip of the nlass~vc: concrete structure. The surface integral met hod is naturally derived from the standal-ci path integral J. Howevcr. In the J integral method, pressure in the crack-face and body forces can not be considered, while this theory has advantage of ccmsidering many kind of forces, so t.his theory will be useful in investigating more accurate strt:ss states around crack tip. Furthermore. t h~s rrlethod can elerninate unntussary process of using singular elements and fine mesh around crack tip which is used 11; modelling the singularity around crack tip. A computer program for determming $K_I$, $K_{II}$ is tfcvulopcd by applying this theory. $K_I$, $K_{II}$ values usmg X noded isoparametric elements which was proved and variation of the stress intensity factor was investigated by application of darn structures.