• Title/Summary/Keyword: verifications

Search Result 269, Processing Time 0.025 seconds

A Study on Policy Model of Promotion Project for Local Industry for Endogenous Rural Development (내생적 지역발전을 위한 향토산업육성사업의 정책모형에 관한 연구)

  • Son, Eun-Il;Satoshi, Hoshino
    • Journal of Korean Society of Rural Planning
    • /
    • v.18 no.4
    • /
    • pp.1-12
    • /
    • 2012
  • This study postulates a partial mediation model(study model I) and a whole mediation model(study model II) to examine the effect on endogenous rural development of local innovation capability strengthening in the local industry promotion project, the establishment of promotion system, and the revitalization of local economy. To accomplish study purposes, 169 response samples from 85 project groups which drive the local industry promotion project were verified using SPSS 12.0 and AMOS 5.0. The results showed that in the partial mediation model, the local innovation capability strengthening had a significantly positive effect on the establishment of promotion system, the establishment of promotion system had a significant effect on the revitalization of local economy, and the revitalization of local economy had a significant effect on the endogenous rural development, while the establishment of promotion system and local innovation capability strengthening didn't have effect on the endogenous rural development. In the whole mediation model, the local innovation capability strengthening had a significant effect on the revitalization of local economy, the establishment of promotion system on the revitalization of local economy, and the revitalization of local economy on the endogenous rural development. According to the verifications of study model I and II, the endogenous rural development is achieved after the revitalization of local economy through the establishment of promotion system and the local innovation capability strengthening. From these results, this study presents suggestions, limits of study and directions in the future study.

Investigation of KIT Gene Polymorphisms in Korean Cattle

  • Hoque, Md. Rashedul;Lee, Seung-Hwan;Lim, Da-Jeong;Cho, In-Cheol;Choi, Nu-Ri;Seo, Dong-Won;Lee, Jun-Heon
    • Journal of Animal Science and Technology
    • /
    • v.54 no.6
    • /
    • pp.411-418
    • /
    • 2012
  • KIT gene is the major causative gene for coat color variation in diverse animal species. This gene regulates melanocyte migration from the neural crest to target tissues and the mutation of this gene can affect dominant white phenotypes in animals. Because this gene has a major influence for the coat color variation, single nucleotide polymorphisms (SNPs) in 14 Korean cattle (Hanwoo) and 5 Holstein individuals were investigated. The Hanwoo DNA samples included three different colored (5 Black, 5 Yellow and 4 Stripe) animals. Total 126 polymorphisms have been identified and 23 of them are located in the exon region. Also, 5 bp (TTCTC) and 3 bp (TCT) intronic indels in intron 3 and intron 5, respectively, were identified. Out of 23 exonic polymorphisms, 15 SNPs are the missense mutations and the rest of the SNPs are silence mutations. The neighbor-joining phylogenetic tree was constructed for the different colored animals using the obtained KIT gene sequences. Holstein breed showed a clear breed-specific cluster in the phylogenetic tree which is differed from Hanwoo. Also, three colored Hanwoo animals were not discriminated among the breeds. The KIT gene polymorphisms identified in this study will possibly give some solutions for the color variations in cattle with further verifications.

A Study of Method about Gathering-analysis, of Legal Guarantee Device about Offerer Rights in Oriental Herbal Prescription-mystique (한방처방비법등의 수집분석방법 및 자료제공자등의 권리에 대한 법적보장방안연구)

  • 이지연;김홍준;주영승;이기성;박상구;이상정
    • The Journal of Korean Medicine
    • /
    • v.21 no.4
    • /
    • pp.159-173
    • /
    • 2000
  • Objectives : First, to restore reliability of oriental prescriptions that are effective against incurable diseases, Second, in the short term, to secure the validity of traditional remedies with the help of accumulated data and in the long term, develop new therapeutic methods and prescriptions in order to broaden its aspect in the field of medicine. Third, to maintain predominance on oriental therapeutic methods and put it into practical use based upon the results obtained by this paper. Methods : In the primary sub-thesis(herbalogical analytic methods applied on unknown oriental prescriptions), models of analytic method and in gathering information that could be put into practice are being revised In the secondary sub-thesis(method in gathering and analysing in dealing with oriental prescription), several statistical approaches and analysis on data that has been gathered are being revised. In the tertiary sub-thesis(research on legal guarantee of the offerer rights), an alternative scheme that covers the limitations of the legislative content in dealing with offerer rights is being revised Results : This research has revealed several problems, including those which were foreseen, in proceeding with the project. The prospect of the involvement of the medical personnel engaging in the field of oriental medicine was remarkably bright. Given the condition that the project will proceed as it follows, unknown oriental prescriptions and remedies which have been particularly ignored will eventually play an important role in clinical practice. Conclusions : It is clear to everyone that these oriental remedies will remain ignored by the public unless they gain popularity. Strict verifications on these oriental remedies are definitely needed in order to overcome this limitation. Finally, it should provide a momentum in the field of medicine in gaining popularity to the public.

  • PDF

A Study on developing Flight Software for Nano-satellite based on NASA CFS (NASA CFS에 기반한 초소형 위성용 비행소프트웨어 개발에 관한 연구)

  • Choi, Won-sub;Kim, Jin-Hyoung;Kim, Hae-dong
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.44 no.11
    • /
    • pp.997-1005
    • /
    • 2016
  • Flight software plays an important role in operating satellites, such as processing commands from ground station, controlling satellites and processing mission data. Reliability is the most important thing in flight software and many verifications and tests are needed for assuring it. this causes an increase of cost and period of development. So NASA has developed a reusable flight software platform to apply to their satellite projects. The CFS(Core Flight System) is the very result. We are developing our flight software for a nano-satellite based on NASA CFS. We have tested core services and functions provided in CFS and we have designed and implemented flight software based on these.

Vibration behaviors of a damaged bridge under moving vehicular loads

  • Yin, Xinfeng;Liu, Yang;Kong, Bo
    • Structural Engineering and Mechanics
    • /
    • v.58 no.2
    • /
    • pp.199-216
    • /
    • 2016
  • A large number of bridges were built several decades ago, and most of which have gradually suffered serious deteriorations or damage due to the increasing traffic loads, environmental effects, and inadequate maintenance. However, very few studies were conducted to investigate the vibration behaviors of a damaged bridge under moving vehicles. In this paper, the vibration behaviors of such vehicle-bridge system are investigated in details, in which the effects of the concrete cracks and bridge surface roughness are particularly considered. Specifically, two vehicle models are introduced, i.e., a simplified four degree-of-freedoms (DOFs) vehicle model and a more complex seven DOFs vehicle model, respectively. The bridges are modeled in two types, including a single-span uniform beam and a full scale reinforced concrete high-pier bridge, respectively. The crack zone in the reinforced concrete bridge is considered by a damage function. The bridge and vehicle coupled equations are established by combining the equations of motion of both the bridge and vehicles using the displacement relationship and interaction force relationship at the contact points between the tires and bridge. The numerical simulations and verifications show that the proposed modeling method can rationally simulate the vibration behaviors of the damaged bridge under moving vehicles; the effect of cracks on the impact factors is very small and can be neglected for the bridge with none roughness, however, the effect of cracks on the impact factors is very significant and cannot be neglected for the bridge with roughness.

Application of a Two-dimensional Flood Inundation Model based on Quadtree Grid (사면구조 격자 기법에 의한 2차원 홍수범람모형의 적용)

  • Kim, Jong-Ho;Lee, Seung-Oh;Yoon, Kwang-Seok;Cho, Yong-Sik
    • Journal of the Korean Society of Hazard Mitigation
    • /
    • v.8 no.3
    • /
    • pp.129-136
    • /
    • 2008
  • All measures to cope with flooding rely on flood predictions to some extent. To investigate these predictions such as maximum water level or inundation area, a numerical model has been developed. The governing equations of the model are the two-dimensional Saint-Venant equations. The governing equations are discretized explicitly by using the leap-frog scheme and upwind scheme based on quadtree grids. The predicted numerical results have been verified by comparing to those of a Thacker problem. As a result of verifications, the present model is not only nearly four times as efficient as uniform grids but also in close agreement with the previous models. Next, the developed model is applied to several flood events in the Uiryeong basin. A general tendency is found that as a frequency is increasing, overall water levels including peak water level are increasing. At only a 500 year frequency, maximum water level is higher than 18.5 m. Therefore, it can be predictable that inundation will be generated in a 500 year frequency.

Numerical Evaluation of Tidal Characteristic Changes after Saemangeum Sea-dike Closing (수치모형(數値模形)을 이용(利用)한 새만금 방조제(防潮堤) 축조후(築造後)의 조석(潮汐) 운동(運動) 예측(豫測))

  • Park, Chang-Kyu;Lee, Nam-Ho
    • Journal of Korean Society of Rural Planning
    • /
    • v.7 no.1 s.13
    • /
    • pp.61-76
    • /
    • 2001
  • During the performance of large scale tidal land reclamation project along the coast line, the construction of large scale structures such as sea-dikes, closing estuaries will induce big changes of near-shore hydraulic behavior. In this paper, its is aimed to verify the change of tide and currents after the construction of sea-dike of the Saemangeum project along the coast line. Numerical scale model "TRISULA" which development by Delft Hydraulics in the Netherlands was used. "TRISULA" is adopting the finite difference numerical scheme, and mostly using for hydro-dynamic solution along the sea and estuaries. Model boundary is covering $100{\times}170$ Km and constructed with $133{\times}337$ grids. Outer side boundary is divided 48 sections, and input 37 tidal components are gained from another big scale numerical "Yellow Sea" model. Model calibrations & verifications were performed th field tide & current datas which were measured along sea-dike alignment during Aug. $1997{\sim}Apr$. 1999. And then, numerical simulation with the tide condition dated 17 Apr. 1999 was performed with & without sea-dike construction condition for the comparison. Evaluated boundary is 20 km out-side from sea-dike alignment. Four cross lanes were set up, each of lane contains 3 points, for the comparison of sea-dike construction effects. Results showing the tidal amplitude is reducing approximately 20 cm after the construction of sea-dike during spring tide condition, amplitude 6.9m. Currents after construction of sea-dikes along the alignment, the northern part shows 50%(inner), 90%(outer) and the southern part shows 10%(inner) 50%(outer) of the currents before construction.

  • PDF

A Study on Shell Foundation Behaviour in Cohesionless Soil (사질토 지반에서 Shell 기초 거동에 대한 연구)

  • Kim, Sang-Hwan;Lee, Chung-Hwan;Choi, Chung-Sic
    • Proceedings of the Korean Geotechical Society Conference
    • /
    • 2008.03a
    • /
    • pp.1144-1154
    • /
    • 2008
  • In this paper, the behaviour of shell foundation was studied. In order to perform this study, three studies such as theoretical, numerical and experimental programs were performed. In the theoretical program, the general shallow foundation theories and failure mechanism developed by Terzaghi, Mayerhof and others were reviewed and compared. Based on the previous shallow foundation behaviour, the shell foundation theory was developed using the upper boundary theorem. In the numerical study, the 2 and 3 dimensional FEM simulations were carried out using an uncoupled-analysis approach. From the analysis results, the adequate depth of shell foundation was evaluated. It was also evaluated the bearing capacity according to the shell angle ($120^{\circ}$, $90^{\circ}$, $60^{\circ}$). In the experimental study, the laboratory model tests were carried out for five cases of different foundation shapes including the rectangular and circular foundation in order to verify the theoretical and nemerical study. According to the results of this study, the bearing capacity of shell foundation was theoretically about 15% larger than that of general foundation. However, in the model test, the bearing capacity of shell foundation was about 25 to 30% larger than that of general foundation. In the case of shell angle, the maximum bearing capacity of shell foundation shows when the shell angle of foundation was $60^{\circ}$. In addition, Even if the shell foundation has the various advantages compared with the general foundations as described above, the practical verifications in full scale size will be necessary to use in the field and will be helpful in the technical development of other special foundations.

  • PDF

A Study on the Problems and Prospects of Ubiquitous Library Through Ubiquitous Computing (유비쿼터스 컴퓨팅에 기반한 유비쿼터스 도서관의 과제와 전망에 관한 연구)

  • Noh, Dong-Jo
    • Journal of the Korean BIBLIA Society for library and Information Science
    • /
    • v.15 no.2
    • /
    • pp.219-240
    • /
    • 2004
  • Ubiquitous computing technology provides anytime and anywhere accessibility to information, ubiquitous computing is adapted in the various field to increase efficiency of work. After looking into the trend of ubiquitous computing, case studies of information service using mobile service and RFID system in library were investigated in this paper. Library information service are providing retrieval of library OPAC and verifications of circulation and return date using mobile internet technology. In addition, various notice services using short me sage service(SMS) of mobile are available. Considering growing mobile service and RFID system advancement of related technology, more information service utilizing mobile service and RFID system should be developed in near future.

  • PDF

A Formal Security Analysis on the Enhanced Route Optimization Protocol for Mobile IPv6 (이동 IPv6의 확장된 경로 최적화프로토콜에 대한 형식화된 보안 분석)

  • You, Il-Sun;Kim, Heung-Jun
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.13 no.4
    • /
    • pp.691-699
    • /
    • 2009
  • Recently, the ERO protocol has been adopted as a standard to protect the routing optimization mode introduced by MIPv6. This protocol uses the public key cryptography and the early binding update method to improve the Return Routeability protocol while optimizing both security and performance. On the other hand, though various security approaches including the ERO protocol have been proposed for MIPv6, they lack formal verification. Especially, to our best knowledge, there is no formal analysis on the ERO protocol. In order to provide a good example for formal analysis on MIPv6 security protocols, this paper verifies the correctness of the ERO protocol through BAN-logic. For this goal, BAN-logic is extended to consider the address tests on the mobile nodes's CoA and HoA. It is expected that the analysis presented in this paper will be useful for the formal verifications on the security protocols related to MIPv6.