• 정보보호학회논문지
• /
• 제6권4호
• /
• pp.67-84
• /
• 1996

VDM-SL은 다양한 표준들의 정확한 기술을 위해 제시되고 있는 형식 규격어의 하나로서 특히 보안표준의 기술에 적합한 형식규격어이다. 이러한 VDM-SL을 사용하여 보안표준의 표현 및 실행코드 생성의 정확성과 편리성을 제공하기 위한 다양한 도구들이 개발되고 있으며 이들 중 IFAD VDM-SL Toolbox는 가장 널리 사용되고 있는 도구이다. 본 논문에서는 IFAD VDM-SL Toolbox를 이용해 MD4 Message Digest Algorithm을 VDM-SL로 기술하고, 이에 대한 C++ 코드를 생성하여 보안 알고리즘에 대한 참조구현 코드 생성 기법을 제시하고자 한다. 또한, 이를 안전한 해쉬코드 생성 알고리즘에 대하여 적용한 결과를 검토하여 최근 보안 시험 방법으로 제시되고 있는 Strict Conformance Test 와의 연계성을 제시하고자 한다.

• 한국의류산업학회지
• /
• 제22권1호
• /
• pp.11-24
• /
• 2020

This research examines pattern production of 3 men's costumes in the second half of 19th century by 3D reconstruction to reveal technical aspects of mail costumes. The steps are as follows. First, an examination of selective type according to research study. Second, a pattern analysis of 3 historical male tops of 19th century referred to 9 pattern books of the France National Library collection. Third, a categorized type analysis that referred to paintings of the Musée d'Orsay collection. Fourth, a measurement and structure research of 3 historical garments of Fashion and Textile Museum collection. Fifth, the pattern making and fitting by 3D simulation. Research discussed the following subjects and results. First, main type of men's coat can be categorized by frac, redingote, jaquette, and veston. Second, the male costume pattern contained in pattern books was researched along with distinguished silhouettes and structures; X silhouette for frac and redingote, H silhouette for jaquette, and straight box silhouette for veston. Third, based on the analysis of representative type of men's costume per period conducted previous studies, 2 redingotes and a jaquette in the museum were selected and compared to other data such as image materials. Last, the following process was conducted for reconstruction; 'Drawing diagram-Primary pattern drafting by measurement value-3D virtual fitting-Checking the fit-Modification and complement'. We also obtained a 3D virtual reconstruction and a 2D research pattern that suggested a costume pattern by each type along with 3D reconstruction that included insights for male coat techniques of 19th century France.

• 경영과정보연구
• /
• 제24권
• /
• pp.97-124
• /
• 2008

This study aimed to explore how the involvement of environment influenced eight subjects group. Thus, experiment was performed to clarify the role that the attitude of university student consumer plays in the communication process depending on the level of engagement of consumer in the environment and method to raise donation for preservation of environment. Analyzing as per the type of appeal, the mark in altruistic appeal type was higher in all variables than egoistic appeal type. Finally, checking the average mark of each variable as per the condition of donation, the value in unconditional donation was higher than in all variables than conditional donation. It was found 3 groups composed of 2 groups with high level of environmental engagement and 1 group with low level of environmental engagement were suitable to double mediation model among the 8 experimental groups. The group where double mediation model best corresponds than any other group was high level related to environment and the group that contacts altruistic appeal and the message in the form of conditional donation. It was also found that the group that has low level of environmental engagement and contacts egoistic appeal type and conditional donation shows the group that corresponds to double mediation model in the second place among the 8 groups. Finally, it was found that the group that has high level of environmental engagement and is stimulated by altruistic appeal and unconditional donation corresponds to double mediation model. Depending on the condition of message stimulation, unconditional donation is found to better correspond to double mediation model than conditional donation. However, opposite phenomena is observed when the level of environmental engagement is high and appeal type is egoistic. Namely, it was found that conditional donation better corresponds to double mediation model than unconditional donation.

• 한국인터넷방송통신학회논문지
• /
• 제11권3호
• /
• pp.93-98
• /
• 2011

본 논문은 마커 기반의 증강현실 시스템을 이용하여 사용자의 지능 개발을 위한 게임형 인지 재활 시스템을 제안한다. 기존의 인지 재활은 타인의 도움을 받거나 키보드나, 마우스 조작을 필요로 하는 불편을 해소 하고자, 마커 카드 제어만을 통해 진행 되는 방식을 적용하였다. 이를 위해 카메라를 통해 얻은 영상의 보정을 위한 영상처리 과정과 마커 검출 및 증강 표현이 가능하도록 하였다. 제시된 완성 모형의 회전을 통해 전체 형태를 확인하고, 멀티 마커의 조합을 통해서 원하는 오브젝트 완성이 가능하며, 대화형 방식으로 처리되어 사용자에게 흥미와 치료에 대한 집중도를 증진할 수 있도록 하였다.

• 한국지반공학회:학술대회논문집
• /
• 한국지반공학회 2005년도 춘계 학술발표회 논문집
• /
• pp.974-981
• /
• 2005

Because general laboratory tests for sand compaction pile method including unit-cell test device have fixed outside diameter, as area replacement ratio increase, diameter of sand pile increase. These condition can bring about overestimation of stiffness of composite ground. In addition, existing large soil box which consist of bellows type loading plate can occur serious mistake in checking the amount of drained water because there are additional drainage along the inside wall in device. Overcoming these shortcoming, this paper developed modified large scale soil box consist of piston type load plate. In this study, using this device, series of modified large scale soil box tests were performed, and investigated the settlement and stress transportation characteristics with area replacement ratio in sand compaction pile method.

• 한방안이비인후피부과학회지
• /
• 제16권2호
• /
• pp.152-176
• /
• 2003

This study was clinically performed with the 73 outpatients of urticaria who had visited the Dept. of Dermartology, Oriental Medical Hospital, Dong-eui University from January 1st 2000 to June 30th 2003. They have all taken the oriental herb medicine as Sungmagalguntanggamibang(SGT, 升麻葛根湯加味方) more than 1 time. Urticaria is a common disease and a well known reaction pattern of the skin charaterized by erythema, wheals and edema, that is the results of various causes. Urticaria is classified into acute or chronic type. The etilogy of acute uricaria has been determined in many cases, but the cause of chronic urticaria has been determined in 10$\%$ to 20$\%$ of cases. Character of chronic type urticaria is recurrent pruritus and erythematous skin disease by stimulating factor. Through checking up the present patient state, we verified the effect of SGT in various ways. The results were summarized as follows; 1. An increase of taking a medicine(SGT) and attending a hospital in number let down repeated urticaria occurence. 2. SGT is more effective when the symptoms with the severe pruritic wheals are spread on the whole body in daily occurrence. 3. In urticaria treatment method, gradually reducing a western medicine and going side by side SGT, that is good at symptoms improvement. 4. Etiology of urticaria is classified into intestine-stomach accumulated heat by indigestion(食滯腸胃積熱), wind-moisture(風濕), wind-heat(風熱) etc. The SGT is available in the order of frequency of use.

• Steel and Composite Structures
• /
• 제17권6호
• /
• pp.929-949
• /
• 2014

Thirty one push-out tests were carried out in order to investigate the bond behavior between shape steel, steel tube (named steels) and recycled aggregate concrete (RAC), including 11 steel reinforced recycled aggregate concrete (SRRAC) columns, 10 recycled aggregate concrete-filled circular steel tube (RACFCST) columns and 10 recycled aggregate concrete-filled square steel tube (RACFSST) columns. Eleven recycled coarse aggregate (RCA) replacement ratios (i.e., 0%, 10%, 20%, 30%, 40%, 50%, 60%, 70%, 80%, 90% and 100%) were considered for SRRAC specimens, while five RCA replacement ratios (i.e., 0%, 25%, 50%, 75% and 100%), concrete type and length-diameter ratio for recycled aggregate concrete-filled steel tube (RACFST) specimens were designed in this paper. Based on the test results, the influences of all variable parameters on the bond strength between steels and RAC were investigated. It was found that the load-slip curves at the loading end appeared the initial slip earlier than the curves at the free end. In addition, eight practical bond strength models were applied to make checking computations for all the specimens. The theoretical analytical model for interfacial bond shear transmission length in each type of steel-RAC composite columns was established through the mechanical derivation, which can be used to design and evaluate the performance of anchorage zones in steel-RAC composite structures.

• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2004년도 학술.기술논문발표회
• /
• pp.113-117
• /
• 2004

We need the contingency cost in order to deal with the uncertainty to be accompanied inevitably at the construction and an every kind risk not to forecast in advance. And also the contingency colt needed for the change order and we need it for reduction of the delay and reduce the trouble between owner and constructor. This study, through checking and analyzing the risk factor, in the step of domestic construction, suggests optimal management reserve to specific business about the contract type and the scale. The main results of this research are summarized as follow. First, I investigated the recognition about the contingency cost, grasped the risk to be happened at the construction step and found out the frequency occurrence, through making up question to engineer are carrying out their job in the domestic construction. Second, I computed optimal contingency cost rate by the statistics investigation, and proposed an improvement plan and problem when compute a contingency cost.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2007년도 추계학술대회논문집
• /
• pp.1129-1133
• /
• 2007

Assessment of noise exposed population is a method for checking the degree of environmental noise and social influence in order to reduce the risks such as annoyance and disturbance that are generated by environmental noise. Also, this method suggests the preferential noise reduction policy and action plan by accurately assessing the area that noise causes harm to human health. Recently, a noise map, which can predict noise in comprehensive areas, is used for the assessment of noise exposed population, breaking from the methods using existing measures. In particular, countermeasure for the noise can be considered more effectively by using assessment methods of noise exposed population for specific noise levels, areas, and building types which are the main input factors in noise maps. In this study, Assessment methods of noise exposed population by using 2D noise map are compared with those by 3D noise map.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 1999년도 Proceedings of International Symposium on Remote Sensing
• /
• pp.433-438
• /
• 1999

The land use type of Korea is high-density. So, the image classification using coarse resolution satellite image may not provide land cover classification results as good as expected. The purpose of this paper is to compare the result of visual interpretation with that of digital image classification of 20 m resolution SPOT satellite image at Kwangju-eup, Kyunggi-do, Korea. Classes are forest, cultivated field, pasture, water and residential area, which are clearly discriminated in visual interpretation. Maximum likelihood classifier was used for digital image classification. Accuracy assessment was done by comparing each classification result with ground truth data obtained from field checking. The classification result from the visual interpretation presented an total accuracy 9.23 percent higher than that of the digital image classification. This proves the importance of visual interpretation for the area with high density land use like the study site in Korea.