• Title/Summary/Keyword: type checking

Search Result 266, Processing Time 0.036 seconds

Formal Description and Reference Implementation Code Generation for a Security Algorithm using VDM-SL (VDM-SL을 이용한 보안 알고리즘의 형식적 표현과 참조구현 코드 생성)

  • Kim, Young-Gil;Kim, Ki-Su;Kim, Young-Wha;Ryou, Jae-Cheol;Jang, Chung-Ryong
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.6 no.4
    • /
    • pp.67-84
    • /
    • 1996
  • VDL-SL (Vienna Development Method-Specification Language) is one of the FSL(Formal Specification Language) which is being presented for the correct description of the security relevant standards. Several tools are being developed for the correctness and the convenience in the description and executable code generation of security relevant standards using VDM-SL. The IFAD VDM-SL Toolbox is one that has many functions : syntax checking, type checking, c++ code generation, test coverage information. This paper describes a formal method for description and implementation of MD4 algorithm using VDM-SL and IFAD VDM-SL Toolbox, and examines the result applied to secure hash algorithm, and proposes the relation to strict conformance test which recently suggested as a security test method.

A Study on Pattern Making by 3D Reconstruction of French Men's Costume in the Second Half of 19th Century - Focused on Redingote and Jaquette - (19세기 하반기 프랑스 남성복 유물의 3D 고증에 의한 패턴 제작에 관한 연구 - 르뎅고뜨(Redingote)와 자께뜨(Jaquette)를 중심으로 -)

  • Kim, Yang-Hee;Ryu, Kyung-Hwa;Bae, Ji-Ye
    • Fashion & Textile Research Journal
    • /
    • v.22 no.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.

An exploratory study of Aab alternative role: In consideration of environment level of engagement and message direction (Aad의 대안적 역할에 대한 탐색적 연구 : 환경 관여도와 메시지 방향성을 중심으로)

  • Park, Jin-Woo
    • Management & Information Systems Review
    • /
    • v.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.

  • PDF

Game-type Recognition Rehabilitation System based on Augmented Reality through Object Understanding (증강현실 기반의 물체 인식을 통한 게임형 인지 재활 시스템)

  • Lim, Myung-Jea;Jung, Hee-Woong;Lee, Ki-Young
    • The Journal of the Institute of Internet, Broadcasting and Communication
    • /
    • v.11 no.3
    • /
    • pp.93-98
    • /
    • 2011
  • In this paper, we propose a game type cognitive rehabilitation system using marker-based augmented reality system for intelligence development of user. Existing cognitive rehabilitation with the help of others, or a keyboard or mouse operation required to relieve the discomfort, the marker card only control it led and is advanced the method which it applied. As a result, obtained through the camera calibration for image processing, and a Augmented Reality as well as mark detection. In this paper we presented a complete rotation of the model after checking through the whole form, through a combination of multiple markers by completing the interactive objects proceed with the rehabilitation process in a manner required by the target of interest to human rehabilitation and treatment.

The Characteristics of the Composite Ground with Sand Compaction Pile(SCP) using Large Soil Box (대형토조시험을 이용한 모래다짐말뚝이 적용된 복합지반의 침하 및 하중전이특성)

  • Kim, Oo-Seok;Park, Eon-Sang;Kim, Jae-Kwon;Kim, Soo-Sam
    • Proceedings of the Korean Geotechical Society Conference
    • /
    • 2005.03a
    • /
    • 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.

  • PDF

The Clinical Study of Urticaria (두드러기 치료 조사)

  • Yoon, Jung-won;Yoon, So-won;Yoon, Hwa-jung;Ko, Woo-shin
    • The Journal of Korean Medicine Ophthalmology and Otolaryngology and Dermatology
    • /
    • v.16 no.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.

  • PDF

Bond behaviors of shape steel embedded in recycled aggregate concrete and recycled aggregate concrete filled in steel tubes

  • Chen, Zongping;Xu, Jinjun;Liang, Ying;Su, Yisheng
    • Steel and Composite Structures
    • /
    • v.17 no.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.

A Study on Estimating the Contingency Cost of Small Construct Project (소규모 건설 프로젝트에서의 공사예비비 산정방법에 관한 연구)

  • 송진우;표영민;박성호;이상범
    • Proceedings of the Korean Institute of Building Construction Conference
    • /
    • 2004.05a
    • /
    • 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.

  • PDF

Assessment Method of Noise Exposed Population for Manufacture Type of Noise Map (소음지도제작방법에 따른 소음노출인구산정방법)

  • Park, In-Sun;Oh, Jong-Hwa;Park, Sang-Kyu
    • Proceedings of the Korean Society for Noise and Vibration Engineering Conference
    • /
    • 2007.11a
    • /
    • 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.

  • PDF

The Comparison of Visual Interpretation & Digital Classification of SPOT Satellite Image

  • Lee, Kyoo-Seock;Lee, In-Soo;Jeon, Seong-Woo
    • Proceedings of the KSRS Conference
    • /
    • 1999.11a
    • /
    • 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.

  • PDF