• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제11권9호
• /
• pp.289-304
• /
• 2022

스마트 IoT의 특징인 분산성 및 이동성에 기반한 안전 요구사항을 분석 및 검증하기 위한 프로세스 대수 및 논리가 요구된다. 하지만 기존의 프로세스 대수 및 논리는 분산성 및 이동성에 대한 표현이 제한적이므로 스마트 IoT의 요구사항 분석 및 검증이 비직관적이다. 이러한 한계를 극복하기 위해, 본 논문에서는 GTS-VL(Geo-Temporal Space-Visual Logic)을 제시한다. GTS-VL은 GTS에서 표현된 블록 간의 관계를 다루는 1차술어논리이며, GTS는 프로세스 대수인 dTP-Calculus를 사용하여 명세한 시스템의 동작 과정을 2차원 시공간에서 표현한 그래프이다. 본 논문에서 사용한 SAVE 도구는 ADOxx Meta-modeling Platform을 통해 개발되었으며, SAVE를 사용하여 PBC(Producer-Buffer-Consumer) 예제의 안전 요구사항을 분석 및 검증하고 문자 및 시각화 기반 검증 방법을 비교 분석하여 장점 및 실용성을 보인다.

• 한국지반공학회:학술대회논문집
• /
• 한국지반공학회 2000년도 봄 학술발표회 논문집
• /
• pp.199-206
• /
• 2000

The grout-effect evaluation of the ground reinforcement technique, which has been widely applied to civil engineering and construction fields, is not established for the guidelines of choosing the efficient evaluation method, and in fact the experts have little effort to determine the reinforcement effect quantitatively. The evaluation of the grout was carried out by experiments on core specimen and drilling, which is impossible to evaluate grout-reinforcement effect quantitatively. This paper presents an example on verification of FRP grout-effect using geophysical prospecting on ground surface, which is 2D resistivity survey that easily visualize survey results with color graphics and seismic refraction method that interprets the subsurface seismic velocity structure.

• 환경영향평가
• /
• 제9권1호
• /
• pp.13-24
• /
• 2000

This paper presents a study of water quality model applications in environmental impact statements which were submitted during recent years in Korea. Most of the applications have reported that the development projects would have significant impacts on the water quality, especially, of streams and rivers. The water quality models, however, were hardly used as an impact prediction tool. Even in the cases where models were used, calibration and verification studies were not performed and thus the predicted results would not be reliable. These poor model applications in environmental impact assessment can be attributable to the fact that there were no available model application guidelines as well as no requirements by the review agency. In addition, the expected waste loads were improperly estimated in most cases, especially in non-point sources, and the predicted parameters were not good enough to understand water quality problems expected from the proposed plans. The effects of mitigation measures were not analyzed in most cases. Again, these can be attributed to no formal guidelines available for impact predictions until now. A brief guideline is described in this paper, including model selection, calibration and verification, impact prediction, and analysis of effects of mitigation measures. The results of this study indicate that the model application should be required to overcome the current improper predictions of environmental impacts and the guidelines should be developed in detail and provided.

• International Journal of Computer Science & Network Security
• /
• 제21권5호
• /
• pp.256-266
• /
• 2021

The Convolutional Neural Network (CNN) has recently made potential improvements in face verification applications. In fact, different models based on the CNN have attained commendable progress in the classification rate using a massive amount of data in an uncontrolled environment. However, the enormous computation costs and the considerable use of storage causes a noticeable problem during training. To address these challenges, we focus on relevant data trained within the CNN model by integrating a lifting method for a better tradeoff between the data size and the computational efficiency. Our approach is characterized by the advantage that it does not need any additional space to store the features. Indeed, it makes the model much faster during the training and classification steps. The experimental results on Labeled Faces in the Wild and YouTube Faces datasets confirm that the proposed CNN framework improves performance in terms of precision. Obviously, our model deliberately designs to achieve significant speedup and reduce computational complexity in deep CNNs without any accuracy loss. Compared to the existing architectures, the proposed model achieves competitive results in face recognition tasks

• 음성과학
• /
• 제10권4호
• /
• pp.117-124
• /
• 2003

Speaker recognition is the technology that confirms the identification of speaker by using the characteristic of speech. Such technique is classified into speaker identification and speaker verification: The first method discriminates the speaker from the preregistered group and recognize the word, the second verifies the speaker who claims the identification. This method that extracts the information of speaker from the speech and confirms the individual identification becomes one of the most efficient technology as the service via telephone network is popularized. Some problems, however, must be solved for the real application as follows; The first thing is concerning that the safe method is necessary to reject the imposter because the recognition is not performed for the only preregistered customer. The second thing is about the fact that the characteristic of speech is changed as time goes by, So this fact causes the severe degradation of recognition rate and the inconvenience of users as the number of times to utter the text increases. The last thing is relating to the fact that the common characteristic among speakers causes the wrong recognition result. The silence parts being included the center of speech cause that identification rate is decreased. In this paper, to make improvement, We proposed identification rate can be improved by removing silence part before processing identification algorithm. The methods detecting speech area are zero crossing rate, energy of signal detect end point and starting point of the speech and process DTW algorithm by using two methods in this paper. As a result, the proposed method is obtained about 3% of improved recognition rate compare with the conventional methods.

• 무역상무연구
• /
• 제78권
• /
• pp.119-143
• /
• 2018

This research aims to review every important academic research on risk management in FTA and to suggest a future area for further research. This research area seems to focus on conceptual study or fact finding rather than on theory development or empirical research on causal relationship or theory testing. The National Assembly Digital Library analyzed the results of 3,576 researches on thesis and journals fromthe results of the FTA. Research on FTA is analyzed in four major themes. First, there have been previous studies on business performance such as FTA export performance and economic effect. Second, analyzed the effects of FTA in product and service. The products are classified into agricultural, marine products, manufacturing, textiles and clothing, medicinal pharmaceuticals, cosmetics, and others. Services are classified into educational and cultural contents, service industry and financial industry. Third, research on the risk management of FTA Origin is broadly classified into the use of country of origin and the verification of origin, and the use of origin includes the study of rules of origin and systems of origin and management. Origin verification was divided into origin verification and origin risk management. Fourth, study on the conclusion area of the FTA, studies were conducted on areas such as Korea-US FTA, Korea-China FTA, Korea-EU FTA, Korea-Japan FTA, Korea-Chile FTA, and Korea-ASEAN FTA. Search results through the FTA, focused on analyzing the FTA area and concept research by research purpose. In addition, research methods are mainly focused on documentary survey, and research areas are concentrated on specific countries such as China and USA. This implies a necessity for a future development in that research area. Other areas for future research may include case research on actual failures in FTA, proactive risk management strategy, and integrated risk management for export companies. Risk management in FTA may help investment expansion, and that is why research on the issue matters.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제10권12호
• /
• pp.569-578
• /
• 2021

오늘날 웹의 발전으로 우리는 각종 언론 매체를 통해 온라인 기사를 쉽게 접하게 된다. 온라인 기사를 쉽게 접할 수 있게 된 만큼 거짓 정보를 진실로 위장한 가짜뉴스 또한 빈번하게 찾아볼 수 있다. 가짜뉴스가 전 세계적으로 대두되면서 국내에서도 가짜뉴스를 탐지하기 위한 팩트 체크 서비스가 제공되고 있으나, 이는 전문가 기반의 수동 탐지 방법을 기반으로 하며 가짜뉴스 탐지를 자동화하는 기술에 대한 연구가 계속해서 활발하게 이루어지고 있다. 기존 연구는 기사 작성에 사용된 문맥의 특성이나, 기사 제목과 기사 본문의 내용 비교를 통한 탐지 방법이 가장 많이 사용되고 있으나, 이러한 시도는 조작의 정밀도가 높아졌을 때 탐지가 어려워질 수 있다는 한계를 가진다. 따라서 본 논문에서는 기사 조작의 발달에 따른 영향을 받지 않기 위하여 기사의 진위 여부를 판단할 수 있는 검증기사를 함께 사용하는 방법을 제안한다. 또한 가짜뉴스 탐지 정확도를 개선시킬 수 있도록 실험에 사용되는 기사와 검증기사를 문서 요약 모델을 통해 요약하는 과정을 추가했다. 본 논문에서는 제안 알고리즘을 검증하기 위해 문서 요약 기법 검증, 검증기사 검색 기법 검증, 그리고 최종적인 제안 알고리즘의 가짜뉴스 탐지 정확도 검증을 진행하였다. 본 연구에서 제안한 알고리즘은 다양한 언론 매체에 적용하여 기사가 온라인으로 확산되기 이전에 진위 여부를 판단하는 방법으로 유용하게 사용될 수 있다.

• International Journal of Concrete Structures and Materials
• /
• 제10권4호
• /
• pp.513-525
• /
• 2016

The resistance-demand approach has emerged as an effective approach for determining the shear capacity of reinforced concrete beams. This approach is based on the fact that both the shear resistance and shear demand are correlated with flexural tensile strain from compatibility and equilibrium requirements. The basic shear strength, under a given loading is determined from the intersection of the demand and resistance curves. This paper verifies the applicability of resistance-demand procedure for predicting the shear capacity of high strength concrete beams without web reinforcement. A total of 18 beams were constructed and tested in four-point bending up to failure. The test variables included the longitudinal reinforcement ratio, the shear span to depth ratio, and the beam depth. The shear capacity of the beams was predicted using the proposed procedure and compared with the experimental values. The results of the comparison showed good prediction capability and can be useful to design practice.

• 대한수학교육학회지:수학교육학연구
• /
• 제21권2호
• /
• pp.135-148
• /
• 2011

우리나라 중학교 수학 2에서는 공리의 역할을 하는 명제를 공리라는 명시 없이, 실험에 의해 확인한 옳은 결과로만 받아들여 증명에 사용한다. 그러나 공리 개념은 경험적 입증과 연역적 증명, 직관기하와 논증기하, 증명과 증명이 아닌 것의 차이를 이해하는데 매우 중요한 것이다. 본 연구의 교과서 분석과 영재학생들을 대상으로 한 인식조사 결과는, 공리와 증명의 취급에 대하여 우리나라 교과서가 가진 한계와 문제점을 보여주고 있다.

• 항공우주시스템공학회지
• /
• 제10권2호
• /
• pp.34-40
• /
• 2016

A satellite is exposed to various impact environment until orbit entry. It is particularly undergoing the biggest impact by pyro shock, which is generated when the launch vehicle stages are separated or the satellite is separated from the launch vehicle. In this paper, due to the fact that the pyro shock is prerequisite for performing the test and verification on the ground, we developed an air-gun type shock tester for NEXTSat-1 shock test at the KAIST SaTReC along with the development of program introduced by LabVIEW software. The program operated in shock tester is consist of data measurement and analysis with the convenient implementation of user interface and its easy modification of the code.