• Title/Summary/Keyword: Softwares

Search Result 749, Processing Time 0.036 seconds

Analytical Formula for the Equivalent Mohr-Coulomb Strength Parameters Best-fitting the Generalized Hoek-Brown Criterion in an Arbitrary Range of Minor Principal Stress (임의 최소주응력 구간에서 일반화된 Hoek-Brown 파괴기준식을 최적 근사하는 등가 Mohr-Coulomb 강도정수 계산식)

  • Lee, Youn-Kyou
    • Tunnel and Underground Space
    • /
    • v.29 no.3
    • /
    • pp.172-183
    • /
    • 2019
  • The generalized Hoek-Brown (GHB) failure criterion developed by Hoek et al. (2002) is a nonlinear function which defines a stress condition at failure of rock mass. The relevant strength parameter values are systematically determined using the GSI value. Since GSI index is a value quantifying the condition of in-situ rock mass, the GHB criterion is a practical failure condition which can take into the consideration of in-situ rock mass quality. Considering that most rock mechanics engineers are familiar with the linear Mohr-Coulomb criterion and that many rock engineering softwares incorporate Mohr-Coulomb criterion, the equations for the equivalent friction angle and cohesion were also proposed along with the release of the GHB criterion. The proposed equations, however, fix the lower limit of the minor principal stress range, where the linear best-fitting is performed, with the tensile strength of the rock mass. Therefore, if the tensile stress is not expected in the domain of analysis, the calculated equivalent friction angle and cohesion based on the equations in Hoek et al. (2002) could be less accurate. In order to overcome this disadvantage of the existing equations for equivalent friction angle and cohesion, this study proposes the analytical formula which can calculate optimal equivalent friction angle and cohesion in any minor principal stress interval, and verified the accuracy of the derived formula.

Accuracy Analysis of GNSS-based Public Surveying and Proposal for Work Processes (GNSS관측 공공측량 정확도 분석 및 업무프로세스 제안)

  • Bae, Tae-Suk
    • Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
    • /
    • v.36 no.6
    • /
    • pp.457-467
    • /
    • 2018
  • Currently, the regulation and rules for public surveying and the UCPs (Unified Control Points) adapts those of the triangulated traverse surveying. In addition, such regulations do not take account of the unique characteristics of GNSS (Global Navigation Satellite System) surveying, thus there are difficulties in field work and data processing afterwards. A detailed procesure of GNSS processing has not yet been described either, and the verification of accuracy does not follow the generic standards. In order to propose an appropriate procedure for field surveys, we processed a short session (30 minutes) based on the scenarios similar to actual situations. The reference network in Seoul was used to process the same data span for 3 days. The temporal variation during the day was evaluated as well. We analyzed the accuracy of the estimated coordinates depending on the parameterization of tropospheric delay, which was compared with the 24-hr static processing results. Estimating the tropospheric delay is advantageous for the accuracy and stability of the coordinates, resulting in about 5 mm and 10 mm of RMSE (Root Mean Squared Error) for horizontal and vertical components, respectively. Based on the test results, we propose a procedure to estimate the daily solution and then combine them to estimate the final solution by applying the minimum constraints (no-net-translation condition). It is necessary to develop a web-based processing system using a high-end softwares. Additionally, it is also required to standardize the ID of the public control points and the UCPs for the automatic GNSS processing.

A Source-Level Discovery Methodology for Vulnerabilities of Linux Kernel Variables (리눅스 커널 변수 취약성에 대한 소스레벨 발견 방법론)

  • Ko Kwangsun;Kang Yong-hyeog;Eom Young Ik;Kim Jaekwang
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.15 no.6
    • /
    • pp.13-25
    • /
    • 2005
  • In these days, there are various uses of Linux such as small embedded systems, routers, and huge servers, because Linux gives several advantages to system developers by allowing to use the open source code of the Linux kernel. On the other hand, the open source nature of the Linux kernel gives a bad influence on system security. If someone wants to exploit Linux-based systems, the attacker can easily do it by finding vulnerabilities of their Linux kernel sources. There are many kinds of existing methods for lading source-level vulnerabilities of softwares, but they are not suitable for finding source-level vulnerabilities of the Linux kernel which has an enormous amount of source code. In this paper, we propose the Onion mechanism as a methodology of finding source-level vulnerabilities of Linux kernel variables. The Onion mechanism is made up of two steps. The Int step is to select variables that may be vulnerable by using pattern matching mechanism and the second step is to inspect vulnerability of each selected variable by constructing and analyzing the system call trees. We also evaluate our proposed methodology by applying it to two well-known source-level vulnerabilities.

A Simulation Study for Improving Operations of an Emergency Medical Center (응급진료센터 운영 개선을 위한 시뮬레이션)

  • Mo, Chang-Woo;Choi, Seong-Hoon
    • Journal of the Korea Society for Simulation
    • /
    • v.18 no.3
    • /
    • pp.35-45
    • /
    • 2009
  • Emergency medical center(EMC) is the place for patients who need medical treatment immediately due to a disease, childbirth, or all sorts of accidents. Currently, most of EMCs use temporary beds because regular EMC beds cannot afford to serve all incoming patients. However, since it decreases the quality of service(QoS) of EMC patients and their guardians and efficiency of the EMC, some improvements are highly required to diminish the usage of temporary beds. The system duration time is one of the typical QoSs. This thesis proposes the information which is critical to make a better decision for cut down the number of temporary beds without sacrificing QoS of patients. The key point is to control the duration time of medical treatments for the consultation and hospitalization process, since it is the major reason of overcrowding in EMC and the usage of temporary beds. In this paper, we proposed an Arena simulation model reflecting real world substantially. Arena is one of the most widely accepted simulation softwares in the world. Using the developed model, we can obtain the optimal EMC operation parameters through simulation experiments. Optquest, included in the Arena, is used to make the developed simulation model collaborate with an optimization model. The results showed one can determine the set of optimal operation parameters decreasing the required number of temporary beds without deteriorating EMC patient's QoS.

Measuring Similarity of Android Applications Using Method Reference Frequency and Manifest Information (메소드 참조 빈도와 매니페스트 정보를 이용한 안드로이드 애플리케이션들의 유사도 측정)

  • Kim, Gyoosik;Hamedani, Masoud Reyhani;Cho, Seong-je;Kim, Seong Baeg
    • The Journal of Korean Institute of Next Generation Computing
    • /
    • v.13 no.3
    • /
    • pp.15-25
    • /
    • 2017
  • As the value and importance of softwares are growing up, software theft and piracy become a much larger problem. To tackle this problem, it is highly required to provide an accurate method for detecting software theft and piracy. Especially, while software theft is relatively easy in the case of Android applications (apps), screening illegal apps has not been properly performed in Android markets. In this paper, we propose a method to effectively measure the similarity between Android apps for detecting software theft at the executable file level. Our proposed method extracts method reference frequency and manifest information through static analysis of executable Android apps as the main features for similarity measurement. Each app is represented as an n-dimensional vectors with the features, and then cosine similarity is utilized as the similarity measure. We demonstrate the effectiveness of our proposed method by evaluating its accuracy in comparison with typical source code-based similarity measurement methods. As a result of the experiments for the Android apps whose source file and executable file are available side by side, we found that our similarity degree measured at the executable file level is almost equivalent to the existing well-known similarity degree measured at the source file level.

Morphogenetic Identification of Eel's Larva (Leptocephalus) Collected by Set net in Namhae, Korea (남해 정치망에서 채집한 엽상자어(Leptocephalus)의 형태 및 유전학적 특성)

  • Chang-Gi Hong;Kyeong-Ho Han
    • Journal of Marine Life Science
    • /
    • v.8 no.2
    • /
    • pp.128-135
    • /
    • 2023
  • The present study was tried to identify whether the eel's larva was close to a conger (Conger myriaster), a pipe conger (Muraenesox cinereus) or four species of Anguilla. Experimental fishes were collected by set net in the gulf of enggang, Namhae, Korea from May to June. Their morphological characteristics were compared with adult fishes of a conger, a pipe conger and four species of Anguilla. For genetic classification, DNA was isolated and amplified by using 12S rRNA and 16S rRNA primer set. The PCR products were direct sequencing in both directions. The nucleotide sequences were analyzed using softwares. As results of morphological measurement on eel's larva, the percentages of head length and preanal length against total length were similar with a conger. Based on the nucleotide sequences, the phylogenetic tree also revealed a close relationship to a conger. Therefore, eel's larva, caught in Namhae from May to June, was identified into a conger's larva.

Accuracy of soft tissue Profile change prediction in mandibular set-back surgery patients: a comparison of Quick Ceph Image $Pro^{TM}$ (ver 3.0) and $V-Ceph^{TM}$(ver 3.5) (하악골 후퇴 수술 환자의 연조직 측모 예측의 정확성: Quick Ceph Image $Pro^{TM}$(ver 3.0)와 $V-Ceph^{TM}$(Ver 3.5)의 비교)

  • Kim, Myoung-Kyun;Choi, Yong-Sung;Chung, Song-Woo;Jeon, Young-Mi;Kim, Jong-Ghee
    • The korean journal of orthodontics
    • /
    • v.35 no.3 s.110
    • /
    • pp.216-226
    • /
    • 2005
  • The purpose of this study was to test and compare the accuracy and reliability of soft tissue profile predictions generated from two computer software programs (Quick Ceph Image $Pro^{TM}$ (ver 3.0) and $V-Ceph^{TM}$(ver 3.5)) for mandibular set-back surgery. The presurgical and postsurgical lateral cephalograms of 40 patients (20 males and 20 females) were traced on the same acetate paper with the reference taken as the cranial base outline. The presurgical skeletal outlines were digitized onto each computer program and the mandible was moved to mimic the expected surgical procedure with reverence to the mandibular anterior border and lower incisor position of the actual postsurgical skeletal outline. The soft tissue profile was generated and the amount and direction of skeletal movement was calculated with each software. The predicted soft tissue profile was compared to the actual postsurgical soft tissue profile. There were differences between the actual and the predicted surgical soft tissue profile charges in the magnitude and direction, especially the upper lip. lower lip and the soft tissue chin (P<0.05). Quick Ceph had more horizontal measurement errors and thickness errors for the upper lip and lower lip, but V-Ceph had more vertical measurement errors of the lower lip (P<0.05). There was a positive correlation between the prediction errors and the amount of mandibular movements in the vertical position of Sn, the horizontal position of Ls and the upper lip thickness for V-Ceph, and there was a negative correlation in the horizontal position and the thickness of the lower lip for Quick Ceph (P<0.05). However all of the Prediction errors of both imaging softwares were ranged within 3mm, and this was considered to be allowable clinically.

SSR Profiling and Its Variation in Soybean Germplasm (콩 유전자원의 SSR Profiling과 변이)

  • Yoon, Mun-Sup;Lee, Jeong-Ran;Baek, Hyung-Jin;Cho, Gyu-Taek;Kim, Chang-Yung;Cho, Yang-Hee;Kim, Tae-San;Cho, Eun-Gi
    • KOREAN JOURNAL OF CROP SCIENCE
    • /
    • v.52 no.1
    • /
    • pp.81-88
    • /
    • 2007
  • The evaluation of soybean germplasm has mainly been carried out by morphological characters at Genetic Resources Division, Rural Development Administration (RDA). However, this information has been limited serving a diverse information for user and effectively managing the soybean germplasm. To resolve this problem, soybean collection conserved at RDA gene bank was profiled using nine soybean SSR (Simple Sequence Repeat) markers. Soybean SSR allele was confirmed using genescan and genotyper softwares of automatic sequencer for accurate genotyping of each accession and continuous accumulation of data. SSR profiling of soybean germplasm has been carried out from 2,855 (Satt458) to 4,368 (Satt197) accessions by locus. The number of allele revealed 267 with an average of 29.6 in total accession, and varied from a low of 21 (Satt532 and Satt141) to a high of 58 (Sat_074). Although the number of accessions of wild soybean is less than that of soybean landraces, Korean wild soybean is more variable than other soybean landraces populations in total number of alleles. However, Korean soybean landraces were more variable than Korean wild soybeans in 5 loci. In the allele frequency, wild soybean accessions showed an even distribution in all alleles and higher distribution in low ladder than in high ladder. Also, Korean soybean landraces revealed a high condensed frequency in Satt286 (202 bp, 232 bp), Chinese soybean landraces in Satt197 (171 bp) and Satt458 (173 bp), and Japanese soybean landraces in Sat_074 (244 bp) and Satt458 (170 bp). These SSR profile information will be provided as indications of redundancies or omissions of accessions and can aid in managing soybean collection held at RDA gene bank. The information on diversity analysis could help to enlarge the genetic diversity of materials in breeding program, and could be used to develop a core collection of soybean germplasm.

Study on Implementation Measures of Provincial Self-governing Police System : Focusing on the Implication from Enlargement of Work Scope of Self-governing Police of Jeju Province (광역자치경찰제의 정착방안에 관한 연구 - 제주자치경찰의 사무확대에 대한 시사점을 중심으로 -)

  • Kim, Seong-Hee
    • Korean Security Journal
    • /
    • no.59
    • /
    • pp.37-69
    • /
    • 2019
  • According to viewpoints of researchers and stakeholders, various opinions can be suggested on self-governing police system. Therefore, success of Korean self-governing police system will be defending on how to balance among conflicting values such as Empowerment, Political neutrality, Financial issues, Comprehensive competence in maintaining public safety. Before the launching of self-governing police system nation-wide, the experience of Jeju provincial police will be valuable model case. In specific, enlargement of work scope of self-governing police in Jeju province which has been introduced since last year will be a useful reference. There is more pessimism about self-governing police of Jeju province so far. However, this perspective is mostly based on the issue regarding hardwares such as manpower, equipment, law and organization. Issues regarding softwares such as organizational culture, operation system and work process need more attention to evaluate self-governing police system properly. To mark the first year after enlargement of work scope of Jeju police, this study demonstrate the overall result and implications of self-governing police of Jeju province based on documents, statistics, reports and media reports. In result, several preconditions are needed to implement the self-governing police system nation-wide successfully. 1. Strengthen the link between local government and local police 2. Establish the foundation for collaboration of state and local police 3. Enhance the aspect of citizen autonomy in local level 4. Reinforcing the capability of handling situation of state and local police 5. Invigorating the inter-organizational working group to operate self-governing police system effectively. The self-governing police system is unclosed topic to discuss. After this study, in-depth studies should be followed with more resources. Particularly, additional perspective including redundancy and equity need to be considered regarding self-governing police. By getting with the changes of macroscopic trends - lowbirth and aging, the fourth industrial revolution and possible reunification of north and south Koreas - these studies should suggest the long-term blueprint of self-governing police system of Korea.

Development of Overhead Projector Films, CD-ROM, and Bio-Cosmos Home Page as Teaching Resources for High School Biology (고교 생물의 오버헤드 프로젝터용 필름 제작 및 전달 매체로서의 CD-ROM과 홈페이지의 설계)

  • Song, Bang-Ho;Sin, Youn-Uk;Choi, Mie-Sook;Park, Chang-Bo;Ahn, Na-Young;Kang, Jae-Seuk;Kim, Jeung-Hyun;Seo, Hae-Ae;Kwon, Duck-Kee;Sohn, Jong-Kyung;Chung, Hwa-Sook;Yang, Hong-Jun;Park, Sung-Ho
    • Journal of The Korean Association For Science Education
    • /
    • v.19 no.3
    • /
    • pp.428-440
    • /
    • 1999
  • The colorful overhead projector films, named as Bio-cosmos II, including photographs, pictures, concept maps, and diagrams, were developed and manufactured as audio-visual teaching aids and teaching resources for students' biology learning in high school, and the CD-ROM and web sites for their application to the school were also constructed. The content of the films was organized based upon the analysis of seven different biology textbooks approved by the Ministry of Education. The films were designated based on various instructional strategies and manufactured using multimedia with various educational softwares. The CD-ROM was composed of the scenes as logo, initial main, chapters list, contents, and quit. Initial main scene indicated various chapters according to the texts of biology areas in General Science, Biology I, and II. Each chapters linked with the scenes for detailed concept maps, the downstream real subjects, and contents. The subject screens were composed of various types of summarized diagrams including lesson contents, figures, pictures, photographs, and their explanation, experimental procedures and results, tables for summarized contents, and additional animation with video captures, explanations, glossary, etc. Most files were manufactured in software Adobe Photoshop by scanning the pictures, figures and photographs, and then the explanation, modification, storing with PICT or PSD files, and transformation with JPG files, were processed in the aspect of high quality in terms of instructional strategies and graphic skills on gracefulness, clearness, colorfulness, brightness, and distinctness. A 14 films for biology areas in General Science, 80 for Biology I, and 142 for Biology II were manufactured and loaded to the CD-ROM and web site, and the files had been attempted to opened with an internet home-page of http://gic.kyungpook.ac.kr/biocosmos.

  • PDF