• Title/Summary/Keyword: Axiom

검색결과 183건 처리시간 0.026초

SIFG를 이용한 프로그램 복잡도 척도 (A Program Complexity Measure using the Slice-based Information Flow Graph(SIFG))

  • 최완규;정일용;이성주
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제28권12호
    • /
    • pp.910-920
    • /
    • 2001
  • 본 논문은 프로그램 슬라이스에서의 데이타 토큰들의 정보 흐름에 기초하여 프로그램에서의 정보 흐름을 모델링하기 SIF(Slice-based Information Flow Graph)를 개발하였다 다음으로, SIFG에서 의 정보 흐름의 복잡도 측정을 통해서 프로그램의 복잡도를 측정하기 위해 SCM(Slice based Complexity Measure)을 정의하였다. Zuse의 방법에 따라. 본 연구에서는 SIFC에서의 극소 수정(atomic modifica- tion을 통해 SCM이 순서척도가 됨을 보여주었고, 이항 연산 MBSEQ에 대해서 SCM이 가법성을 만족함을 보여주었고, 이항 연산 MBALP 에 대해서는 Zuse의 가법성을 만족하지 않지만 Weyuker의 9번째 공리를 만족함을 보여주었다. 또한 기존 척도들과의 비교를 통해서. SCM이 프로그램 내에서의 제어와 데이타 흐름뿐만 아니라 프로그램의 물리적 크기를 반영하는 측정이 이루어진다는 것을 보여주었다.

  • PDF

컴포넌트 기반 시스템에서 클래스들 간의 정적 그리고 동적 특성을 적용한 컴포넌트 메트릭스 (Component Metrics Based on Static and Dynamic Characteristics between Classes for Component based Systems)

  • 최미숙;이종석
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제33권3호
    • /
    • pp.301-315
    • /
    • 2006
  • 컴포넌트 기반 시스템에서 재사용 단위인 컴포넌트의 품질은 시스템 개발의 성공을 위해서 가장 중요하다. 컴포넌트의 품질을 향상시키기 위해서는 개발 이전에 측정 가능해야 하고, 그 결과를 컴포넌트 개발 과정에 반영할 수 있어야 한다. 또한 컴포넌트의 품질을 정확하게 측정하여야 한다. 따라서 본 논문에서는 클래스들 간의 상호작용에 의한 정적 그리고 동적인 특성을 적용하여 식별된 컴포넌트의 품질을 좀 더 정확하게 측정할 수 있는 컴포넌트의 응집도와 결합도 메트릭스를 제안한다. 제안된 메트릭스가 이론적으로 타당하다는 것을 검증하기 위하여 Briand이 정의한 프레임워크에 적용하여 증명한다. 또한 메트릭스의 실용성을 검증하기 위해서 사례를 제시하고 기존의 메트릭스와의 비교분석을 통해서 평가 결과를 제시한다. 본 논문에서 제안한 컴포넌트 메트릭스는 식별된 컴포넌트의 품질을 좀 더 정확하게 측정함으로써 컴포넌트 설계를 위한 개발 시간과 노력을 절감한다.

Genetic structure analysis of domestic companion dogs using high-density SNP chip

  • Gwang Hyeon Lee;Jae Don Oh;Hong Sik Kong
    • 한국동물생명공학회지
    • /
    • 제39권2호
    • /
    • pp.138-144
    • /
    • 2024
  • Background: As the number of households raising companion dogs increases, the pet genetic analysis market also continues to grow. However, most studies have focused on specific purposes or native breeds. This study aimed to collect genomic data through single nucleotide polymorphism (SNP) chip analysis of companion dogs in South Korea and perform genetic diversity analysis and SNP annotation. Methods: We collected samples from 95 dogs belonging to 26 breeds, including mixed breeds, in South Korea. The SNP genotypes were obtained for each sample using an AxiomTM Canine HD Array. Quality control (QC) was performed to enhance the accuracy of the analysis. A genetic diversity analysis was performed for each SNP. Results: QC initially selected SNPs, and after excluding non-diverse ones, 621,672 SNPs were identified. Genetic diversity analysis revealed minor allele frequencies, polymorphism information content, expected heterozygosity, and observed heterozygosity values of 0.220, 0.244, 0.301, and 0.261, respectively. The SNP annotation indicated that most variations had an uncertain or minimal impact on gene function. However, approximately 16,000 non-synonymous SNPs (nsSNPs) have been found to significantly alter gene function or affect exons by changing translated amino acids. Conclusions: This study obtained data on SNP genetic diversity and functional SNPs in companion dogs raised in South Korea. The results suggest that establishing an SNP set for individual identification could enable a gene-based registration system. Furthermore, identifying and researching nsSNPs related to behavior and diseases could improve dog care and prevent abandonment.

구강악습관이 저작근 및 안면표정근의 경직도 및 탄성도에 미치는 영향 (Effects of Oral Parafunction on the Stiffness and Elasticity in the Muscles of the Mastication and Facial Expression)

  • 김승기;김미은;김기석
    • Journal of Oral Medicine and Pain
    • /
    • 제33권1호
    • /
    • pp.85-95
    • /
    • 2008
  • 구강안면통증의 주원인의 하나인 측두하악장애는 다양한 기여요인에 의해 발생하거나 악화되는데, 특히 이갈이, 이악물기 등의 비기능적 구강악습관은 중요한 기여요인으로 고려된다. 구강악습관과 저작근의 관련성에 대해서는 근전도 등을 이용한 연구가 이루어져왔으나, 안면표정근에 미치는 영향에 대해서는 연구된 바가 거의 없다. 그러므로 본 연구는 근육의 탄성도과 경직도를 정량적으로 평가할 수 있는 촉각센서(tactile sensor)를 이용하여 구강악습관이 저작근과 안면표정근에 미치는 영향을 평가하고자 하였다. 건강하고 건전한 치열을 가지고 있으며 Class I 교합관계의 정상골격인 지원자10명(20대 남성)을 연구대상으로 선택하여 촉각센서(Venustron II, Axiom Co, 일본)를 이용하여 이완 상태와 편측 이악물기(피검자가 선호하는 측의 제1대구치 부위에서 교합측정기를 50Kg force의 힘으로 깨문 상태), 턱내밀기(전치 상하절단연이 만나는 위치까지 턱을 내민 상태), 입술힘주기(치아는 닿지 않는 상태에서 입술만 꼭 다문 상태) 상태에서 저작근과 안면표정근의 경직도와 탄성도를 측정하였다. 측정근육은 측두근 전부, 교근(이상 저작근), 전두근, 하안륜근, 대관골근, 상 하 구륜근, 이근(이상 안면표정근)이었다. 통계처리를 위해 paired t-test, correlation coefficients, ANOVA 및 multiple comparison t-tests을 사용하였다. 편측 이악물기를 할 때 측정한 모든 근육에서 경직도와 탄성도는 좌우 차이를 보이지 않고 높은 상관관계를 보였다. 교근은 편측 이악물기 뿐만 아니라 턱내밀기, 입술힘주기의 시행된 모든 구강악습관에 의해 경직도가 증가하고 탄성도는 감소하였다(p<0.05). 측두근과 대관골근은 편측 이악물기의 영향을 받았으며, 상 하구륜근 및 이근의 경직도와 탄성도는 입술힘주기에 의해 크게 변화하였다(p<0.05). 본 연구의 결과는 편측 이악물기, 턱내밀기, 입술힘주기 같은 구강악습관은 저작근뿐만 아니라 안면표정근, 특히 구강주위근육에도 영향을 준다는 것을 보여준다.

강유위(康有爲) 사상의 과학적 배경과 '천유경계(天遊境界)' (A study on the scientific background of thinking of Kang Youwei and a stage of 'Tianyou')

  • 한성구
    • 한국철학논집
    • /
    • 제27호
    • /
    • pp.197-222
    • /
    • 2009
  • 강유위는 근대 중국 변법파의 대표적 인물로 동서고금을 가로지르는 그의 학문적 열정과 구세정신(救世精神)은 다양한 영역에서 괄목할 만한 성과를 만들어 냈다. 특히 전통을 비판적으로 수용하는 과정 속에서 그가 무기로 삼았던 서양 근대과학은 전통 '천도(天道)' 관념을 비판하는 데 매우 효과적이었으며, 이를 기초로 발전시킨 변화관과 연화(演化)사상은 그가 궁극적으로 추구하는 '대동사회(大同社會)'를 그려내는 데 막대한 영향을 미쳤다. 그는 서양의 근대 과학과 학술에 대해 강렬한 지적(知的) 욕구를 가지고 있었지만 체계적인 서학(西學) 교육을 받지 못했기에 여러 한계를 드러냈다. 그럼에도 불구하고 그의 사상역정은 양무운동 시기의 "기물(器物)"적 과학인식 태도를 벗어나 보편적 가치 체계로서 과학을 인식할 수 있는 계기를 마련했다는 점에서 매우 중요한 의의가 있다 강유위(康有爲)는 서양 진화론의 영향을 받아 비록 대동 이상을 제시하긴 하였지만 "대동극락(大同極樂)"이 "차안세계(此岸世界)"에서 절대로 실현될 수 없음을 잘 알고 있었기에 대동(大同)의 이상으로부터 이탈해 "천유(天遊)"경지로 관심을 돌리게 되었다. 즉 이상과 현실의 괴리, 그리고 그가 가정한 단선적(單線的) 대동주의(大同主義)의 실현 불가능에 대한 생각이 그를 "천유(天遊)" 경계로 나아가게 한 것이다. 강유위(康有爲)는 젊은 시절 그가 찬탄해 마지않았던 과학 기구가 사람의 인식능력을 확대시켜 "대도(大道)"에 가까이 가도록 해 준다는 점에는 여전히 동의하고 있었다. 하지만 "기물(器物)"과 인간 감관(感官)의 유한한 능력이 "천(天)"의 무한함에 비추어볼 때 보잘 것 없다는 것은 그를 절망적으로 만드는 점이었다. 그는 현실 사회와 정치를 개혁하는 데 있어서도 이런 비관적인 현실에 깊은 절망감을 느꼈다. 이런 비관주의적 경향은 그가 대동(大同) 이상을 추구하기보다 "천유(天遊)"경지에 경도되게 된 이유이며, 『대동서(大同書)』를 완성함과 동시에 곧바로 『제천강(諸天講)』을 저술함으로써 사람들이 혼란된 사회 속에서 인생 위안을 얻을 수 있는 "천유지학(天遊之學)"을 제창한 원인이라 할 수 있다.

영상 색인용 VP-tree의 검색 범위 압축법의 개선에 관한 연구 (Study of Improvement of Search Range Compression Method of VP-tree for Video Indexes)

  • 박길양;이상곤;황재정
    • 한국멀티미디어학회논문지
    • /
    • 제15권2호
    • /
    • pp.215-225
    • /
    • 2012
  • 멀티미디어 데이터베이스에서는 검색 효율을 높이기 위해 다차원 공간에 기초한 색인 방법이 사용되고 있다. 그러나 이 방법은 거리 계산의 척도로 유클리드 거리를 이용하여야 한다는 전제가 있어 범용성이 떨어진다. 한편, 거리 공리의 성립을 전제로 하는 거리 공간에 기반한 색인 방법은 유클리드 거리 이외의 거리 척도를 이용할 수 있기 때문에 범용성이 높다. 본 논문에서는 거리 공간을 색인화하는 방법 중 하나인 VP-tree의 방법을 개선하고자 한다. VP-tree는 검색 시에 루트 노드로부터 검색 범위에 적합한 노드를 따라 최종에 이르는 리프 노드에 링크되어 있는 오브젝트와의 거리를 계산하고, 검색 범위에 적합한가를 검사한다. 그러나 리프 노드에서 거리 계산 횟수가 증가하면 검색 속도가 떨어지기 때문에 리프 노드에서 삼각 부등식을 이용한 범위 압축 방법에 주목하고 그 개량 방법으로서 질의 오브젝트에 대한 최근접점을 삼각 부등식의 기준점으로 이용하는 방법을 제안한다. 이 개량 방법에 의해 검색 범위를 크게 좁힐 수 있으며, 또한 거리 계산의 횟수도 꽤 줄일 수 있다. 실제로 10,000 건의 영상 데이터를 이용하여 시스템의 성능 평가를 진행해 본 결과 기존 방법에 비해 유사 영상의 검색 시간을 5%~12%까지 절감할 수 있었다.

Reduction of slaughter age of Hanwoo steers by early genotyping based on meat yield index

  • Jeong, Chang Dae;Islam, Mahfuzul;Kim, Jong-Joo;Cho, Yong-Il;Lee, Sang-Suk
    • Asian-Australasian Journal of Animal Sciences
    • /
    • 제33권5호
    • /
    • pp.770-777
    • /
    • 2020
  • Objective: This study was conducted to determine early hereditary endowment to establish a short-term feeding program. Methods: Hanwoo steers (n = 140) were equally distributed into four groups (35/group) based on genetic meat yield index (MYI) viz. the greatest, great, low, and the lowest at Jukam Hanwoo farm, Goheung. All animals were fed in group pens (5 animals/pen) with similar feed depending on the growth stage. Rice straw was provided ad libitum, whereas concentrate was fed at 5.71 kg during the growing period (6 to 13 mo) and 9.4 kg during the fattening period (13 to 28 mo). Body weight (BW) was measured at two-month intervals, whereas carcass weight was determined at slaughtering at about 31 months of age. The Affymetrix Bovine Axiom Array 640K single nucleotide polymorphism (SNP) chip was used to determine the meat quantity-related gene in the blood. Results: After 6 months, the highest (p<0.05) BW was observed in the greatest MYI group (190.77 kg) and the lowest (p<0.05) in the lowest MYI group (173.51 kg). The great MYI group also showed significantly (p<0.05) higher BW than the lowest MYI group. After 16 and 24 months, the greatest MYI group had the highest BW gain (p<0.05) and were therefore slaughtered the earliest. Carcass weight was significantly (p<0.05) higher in the greatest and the great MYI groups followed by the low and the lowest MYI groups. Back-fat thickness in the greatest MYI group was highly correlated to carcass weight and marbling score. The SNP array analysis identified the carcass-weight related gene BTB-01280026 with an additive effect. The steers with the allele increasing carcass weight had heavier slaughter weight of about 12 kg. Conclusion: Genetic MYI is a potential tool for calf selection, which will reduce the slaughter age while simultaneously increasing carcass weight, back-fat thickness, and marbling score.

항만 인센티브 배분방법 설계 - 광양항을 중심으로 (Allocation Methods for Port Incentives at Gwangyang Port)

  • 성숙경;박병인
    • 한국항만경제학회지
    • /
    • 제29권2호
    • /
    • pp.1-17
    • /
    • 2013
  • 본 논문은 2010년 광양항 선사 인센티브제도의 공정성을 검토하기 위해 공평성과 효율성 기준을 제시하고, 협조적게임이론의 주요 배분규칙인 비례배분규칙과 평등주의 배분규칙을 활용해 바람직한 인센티브 배분방법을 제시하는데 목적이 있다. 2010년 광양항 선사 인센티브제도는 공평성의 기준인 No-envy와 효율성을 만족하지 못하였으며, 동일한 물량을 처리한 선사에게 동일한 인센티브를 지급하는 대칭성도 만족하지 못하였다. 비례배분규칙과 평등주의 배분규칙 가운데 공평성과 효율성, 대칭성, 그리고 누진성 공리를 만족하는 규칙은 균등잉여배분법이며, 공평성과 효율성, 대칭성, 그리고 역진성 공리를 만족하는 규칙은 균등손실배분법인 것으로 분석되었다. 본 논문은 전체처리물량, 증가물량, 그리고 연안물량과 같은 복수의 기준을 사용해 금액을 배분하는 대신 인센티브제도의 특성대로 역진성과 대칭성을 적용하기 위해 단일기준으로 전체처리물량을 사용하였다. 균등손실배분법은 전체처리물량을 기준으로 인센티브금액을 배분할 때 제도의 취지에 맞게 배분할 수 있었다. 향후에는 효율성을 고려하면서 선사들로 하여금 항만간 물량조정의 유인을 없게 하고, 인센티브 종류별 총액을 합리적으로 할당하는 배분제도를 수립해야 할 것이다.

이동 로봇의 물체 인식과 주행을 위한 로봇 지식 체계 (Robot Knowledge Framework of a Mobile Robot for Object Recognition and Navigation)

  • 임기현;서일홍
    • 전자공학회논문지CI
    • /
    • 제44권6호
    • /
    • pp.19-29
    • /
    • 2007
  • 본 논문에서는 이동 로봇의 다계층으로 로봇 지식 체계를 구축함으로써 실생활 환경에서 잡음이 섞인 센서 때문에 소실되거나 잃어버리거나 가려진 정보를 찾아낼 수 있는 추론(inference)할 수 있는 로봇 지식을 구현하고자 한다. 로봇 지식 체계는 4개의 지식 계층과 2종류의 규칙 (rule)과 공리 (Axiom)으로 구성되어 있다. 인지, 모델, 정황, 활동의 4 개의 지식 계층 (KClass)으로 구성된다. 각각의 지식 계층은 3개의 지식 층 (KLevel)과 3개의 온톨로지 층 (OLayer)으로 구성된다. 3개의 지식층은 하위 층, 중간, 상위 지식층이고, 3 개의 온톨로지 층은 메타 온톨로지, 온톨로지 스키마, 온톨로지 인스턴스 층이다. 공리는 각 온톨로지 층 내에서 온톨로지 요소인 개념간의 관계를 표현하고, 2종류의 규칙은 서로 다른 온톨로지 층간, 서로 다른 지식 계층 간의 연관을 각각 표현한다. 따라서 이러한 특징의 로봇의 하위 수준의 센서 정보에서 상위 수준의 의미 정보를 통합 할 수 있도록 하고, 통합된 지식을 가지고 이웃한 층간의 단방향 추론 및 몇 개의 층들 간의 양방향 추론을 통해 불확실하고 부분적인 정보에 대한 질문에 응답할 수 있다. 이러한 우리의 로봇 지식 체계의 유용성이 물체 인식과 주행을 위한 여러 실험을 통하여 검증할 수 있다.

Identification of copy number variations using high density whole-genome single nucleotide polymorphism markers in Chinese Dongxiang spotted pigs

  • Wang, Chengbin;Chen, Hao;Wang, Xiaopeng;Wu, Zhongping;Liu, Weiwei;Guo, Yuanmei;Ren, Jun;Ding, Nengshui
    • Asian-Australasian Journal of Animal Sciences
    • /
    • 제32권12호
    • /
    • pp.1809-1815
    • /
    • 2019
  • Objective: Copy number variations (CNVs) are a major source of genetic diversity complementary to single nucleotide polymorphism (SNP) in animals. The aim of the study was to perform a comprehensive genomic analysis of CNVs based on high density whole-genome SNP markers in Chinese Dongxiang spotted pigs. Methods: We used customized Affymetrix Axiom Pig1.4M array plates containing 1.4 million SNPs and the PennCNV algorithm to identify porcine CNVs on autosomes in Chinese Dongxiang spotted pigs. Then, the next generation sequence data was used to confirm the detected CNVs. Next, functional analysis was performed for gene contents in copy number variation regions (CNVRs). In addition, we compared the identified CNVRs with those reported ones and quantitative trait loci (QTL) in the pig QTL database. Results: We identified 871 putative CNVs belonging to 2,221 CNVRs on 17 autosomes. We further discarded CNVRs that were detected only in one individual, leaving us 166 CNVRs in total. The 166 CNVRs ranged from 2.89 kb to 617.53 kb with a mean value of 93.65 kb and a genome coverage of 15.55 Mb, corresponding to 0.58% of the pig genome. A total of 119 (71.69%) of the identified CNVRs were confirmed by next generation sequence data. Moreover, functional annotation showed that these CNVRs are involved in a variety of molecular functions. More than half (56.63%) of the CNVRs (n = 94) have been reported in previous studies, while 72 CNVRs are reported for the first time. In addition, 162 (97.59%) CNVRs were found to overlap with 2,765 previously reported QTLs affecting 378 phenotypic traits. Conclusion: The findings improve the catalog of pig CNVs and provide insights and novel molecular markers for further genetic analyses of Chinese indigenous pigs.