• Title/Summary/Keyword: Axiom

Search Result 183, Processing Time 0.026 seconds

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

  • Choi, Wan-Kyoo;Chung, Il-Yong;Lee, Sung-Joo
    • Journal of KIISE:Software and Applications
    • /
    • v.28 no.12
    • /
    • pp.910-920
    • /
    • 2001
  • We developed a SIFC(Slice-based Information Flow Graph) For modeling the information flow on program on the basis of the information flow of a data tokens on program slices. Then we defined a SCM(Slice-based Complexity Measure) for measuring the program complexity by measuring the complexity of information flow on SIFG, We showed that, according to Zuse's approach, it assumed ordinal scale based on atomic modifications on SIFG and that it was additive to binary operation MBSEQ and that it was not additive to binary operation MBALT but satisfied Weyuker's 9th axiom. Also based on comparison with the existing measures, we showed that SCM could measure not only the control and data flow in program but also the physical size of program.

  • PDF

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

  • Choi Mi-Sook;Lee Jong-Seok
    • Journal of KIISE:Software and Applications
    • /
    • v.33 no.3
    • /
    • pp.301-315
    • /
    • 2006
  • In component-based system, the qualities of components as reusable units are the most important to success the component-based development. Therefore, before software implementation phase, the designed components should be measurable to improve the qualities of the components and the measured results should be reflected in the component-based development phase. In addition, the qualities of the components should be measured accurately. Accordingly, this paper proposes cohesion and coupling metrics applying static and dynamic dependency characteristics by the interdependence between classes. We prove the theoretical soundness of the proposed metrics by the axiom of briand et al. A case study and a comparison with the conventional metrics verify the practicality of the proposed metrics. The development times and endeavors to design the components is reduced, because the proposed metrics measure the qualities of components accurately.

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

  • Gwang Hyeon Lee;Jae Don Oh;Hong Sik Kong
    • Journal of Animal Reproduction and Biotechnology
    • /
    • v.39 no.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 (구강악습관이 저작근 및 안면표정근의 경직도 및 탄성도에 미치는 영향)

  • Kim, Seung-Ki;Kim, Mee-Eun;Kim, Ki-Suk
    • Journal of Oral Medicine and Pain
    • /
    • v.33 no.1
    • /
    • pp.85-95
    • /
    • 2008
  • The purpose of this study was to evaluate the effects of oral habits on the muscles of mastication and facial expression by means of two parameters: muscle stiffness and elasticity. 10 healthy, fully-dentate male subjects in their twenties were selected for this study; all had normal Class I occlusal relationships. Muscle stiffness and elasticity were measured with a tactile sensor(Venustron, Axiom Co., JAPAN) while subjects were asked to relax and perform various parafunctional activities such unilateral clenching(biting the bite force recorder with a force of 50kg on each subject's preferred side), jaw thrusting and lip bracing. The following muscles were examined: temporalis anterior(Ta), masseter(Mm), frontalis(Fr), inferior orbicularis oculi(OOci), zygomaticus major(Zm), superior and inferior orbularis oris(OOrs and OOri) and mentalis(Mn). Paired t-test, Correlation Coefficients, ANOVA and Multiple Comparison t-tests were used for statistical analysis. Unilateral clenching was highly correlated with bilateral stiffness and elasticity of all the muscles tested. Mm was affected by all three oral habits; Ta was affected by unilateral clenching(p<0.05); Zm was affected by unilateral clenching and OOrs, OOri and Mn were most affected by lip bracing(p<0.05). This study indicates that not only the masticatory muscles but also the muscles of facial expression, mainly circumoral muscles, can be significantly influenced by parafunctional activities such as unilateral clenching and lip bracing.

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

  • Han, Sung Gu
    • The Journal of Korean Philosophical History
    • /
    • no.27
    • /
    • pp.197-222
    • /
    • 2009
  • The Reform Movement(戊戌變法) of 1898 was a boundary tablet of modern history of science and technology which inherited the past and ushered in the future. Kang Youwei(康有爲), as a leader, his scientific thoughts opened up the way of Chinese enlightenity campaign and pushed the development of Chinese modem science and had an important position in modem history of scientific thoughts. The dissertation analyses the source, establishment and content of Kang Youwei. Kang Youwei developed the useful and discarded the useless of the view of implement science held by the Westernized Party, undertook a deep and throughout thinking on the nature of science, had cognition of scientific methods and spirit, by which he criticized negative proneness of ancient Chinese views of science. He put forwards a series of practical suggestions on political reform that provided a solid guarantee and support in system for scientific development. Kang Youwei rooted in the soil of Chinese traditional academic culture, but also western learning in modern western civilization. Kang go through Westernization Movement since the in-depth study of Western natural and inevitable outcome of the social sciences, are giving to science and technology. Although he was originally of Western "science" has a lot of misunderstandings and prejudices, but these shallow hazy perceptual knowledge, his view of science which constitutes the basis of the formation. In the course of scientific inquiry, Kang has begun to explore the essence of scientific development. He has a gut feeling that behind the scientific discovery of the existence of a force, which is the scientific truth and is used to grasp the scientific method. After contact with the Western world, with the traditional "Heaven(天)", and modern Chinese intellectuals began to "axiom(公理)" to recover his traditional "Heaven" of the new understanding is reflected mainly in "Zhutianjiang(諸天講)". "Zhutianjiang" is the Kang Yuwei in the absorption of traditional astronomy knowledge base, will the traditional arithmetic, as well as Buddhism and the West since the twentieth century, new knowledge of astronomy combines written. Kang while recognizing that scientific instruments, is nothing more than an extension of the role of the human senses and make the "Dao(道)" is more clear, but the "artifacts(器物)" caused by the inherent limitations of the limited nature of human knowledge, which is "Heaven" boundless nature of the broad terms, refused to concede defeat to. In reality, the activities of political reform, he gradually recognize this real-world helpless, and he recognized that the real world to achieve common ground of social ideal is impossible, so he chose comfort in life that people really get a stage of "Tianyou(天遊)". This is the cause that his writing "Datongshu(大同書)", at the same time, followed by writing "Zhutianjiang" talk "Tianyou".

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

  • Park, Gil-Yang;Lee, Samuel Sang-Kon;Hwang, Jea-Jeong
    • Journal of Korea Multimedia Society
    • /
    • v.15 no.2
    • /
    • pp.215-225
    • /
    • 2012
  • In multimedia database, a multidimensional space-based indexing has been used to increase search efficiency. However, this method is inefficient in terms of ubiquity because it uses Euclidean distance as a scale of distance calculation. On the contrary, a metric space-based indexing method, in which metric axiom is prerequisite is widely available because a metric scale other than Euclidean distance could be used. This paper is attempted to propose a way of improving VP-tree, one of the metric space indexing methods. The VP-tree calculates the distance with an object which is ultimately linked to the a leaf node depending on the node fit for the search range from a root node and examines if it is appropriate with the search range. Because search speed decreases as the number of distance calculations at the leaf node increases, however, this paper has proposed a method which uses the latest interface on query object as the base point of trigonometric inequality for improvement after focusing on the trigonometric inequality-based range compression method in a leaf node. This improvement method would be able to narrow the search range and reduce the number of distance calculations. According to a system performance test using 10,000 video data, the new method reduced search time for similar videos by 5-12%, compared to a conventional method.

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
    • /
    • v.33 no.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 (항만 인센티브 배분방법 설계 - 광양항을 중심으로)

  • Sung, Souk-Kyung;Park, Byung-In
    • Journal of Korea Port Economic Association
    • /
    • v.29 no.2
    • /
    • pp.1-17
    • /
    • 2013
  • This paper aims to review the fairness of carriers' incentive schemes at Gwangyang port in 2010 and to show the desirable incentive allocation rules using the proportional and egalitarian rules under cooperative game theory. The carriers' incentive schemes at Gwangyang port in 2010 did not meet the no-envy and the efficiency, and satisfy the symmetry axiom. According to the research findings, the equal surplus method satisfies the axioms of equity, efficiency, symmetry, and progressivity. However, the uniform losses method meets the axioms of equity, efficiency, symmetry, and regressivity. We use a single allocation criterion of the total throughput to show the regressivity and the symmetry principles into the incentive scheme instead of using multiple criteria such as total throughput, increased volume, and coastal volume. The uniform losses method based on the total throughput can distribute the incentive amount according to the intent of the incentive schemes. Hence, we need to establish a rationing system to allocate reasonably the total amount of different types of incentives, avoiding the temptation to adjust the volume shipped between the ports of carriers considering the efficiency of allocation.

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

  • Lim, Gi-Hyun;Suh, Il-Hong
    • Journal of the Institute of Electronics Engineers of Korea CI
    • /
    • v.44 no.6
    • /
    • pp.19-29
    • /
    • 2007
  • This paper introduces a robot knowledge framework which is represented with multiple classes, levels and layers to implement robot intelligence at real environment for mobile robot. Our root knowledge framework consists of four classes of knowledge (KClass), axioms, rules, a hierarchy of three knowledge levels (KLevel) and three ontology layers (OLayer). Four KClasses including perception, model, activity and context class. One type of rules are used in a way of unidirectional reasoning. And, the other types of rules are used in a way of bi-directional reasoning. The robot knowledge framework enable a robot to integrate robot knowledge from levels of its own sensor data and primitive behaviors to levels of symbolic data and contextual information regardless of class of knowledge. With the integrated knowledge, a robot can have any queries not only through unidirectional reasoning between two adjacent layers but also through bidirectional reasoning among several layers even with uncertain and partial information. To verify our robot knowledge framework, several experiments are successfully performed for object recognition and navigation.

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
    • /
    • v.32 no.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.