• 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.

• 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.

• 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.

• 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".

• 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.

• 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.

• 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.

• 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.

• 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.

• Animal Bioscience
• /
• v.35 no.12
• /
• pp.1827-1838
• /
• 2022

Objective: The semen quality of stallions including sperm motility is an important target of selection as it has a high level of individual variability. However, effects of the molecular architecture of the genome on the mechanisms of sperm formation and their preservation after thawing have been poorly investigated. Here, we conducted a genome-wide association study (GWAS) for the sperm motility of cryopreserved semen in stallions of various breeds. Methods: Semen samples were collected from the stallions of 23 horse breeds. The following semen characteristics were examined: progressive motility (PM), progressive motility after freezing (FPM), and the difference between PM and FPM. The respective DNA samples from these stallions were genotyped using Axiom Equine Genotyping Array. Results: We performed a GWAS search for single nucleotide polymorphism (SNP) markers and potential genes related to motility properties of frozen-thawed semen in the stallions of various breeds. As a result of the GWAS analysis, two SNP markers, rs1141327473 and rs1149048772, were identified that were associated with preservation of the frozen-thawed stallion sperm motility, the relevant putative candidate genes being NME/NM23 family member 8 (NME8), olfactory receptor family 2 subfamily AP member 1 (OR2AP1), and olfactory receptor family 6 subfamily C member 4 (OR6C4). Potential implications of effects of these genes on sperm motility are herein discussed. Conclusion: The GWAS results enabled us to localize novel SNPs and candidate genes for sperm motility in stallions. Implications of the study for horse breeding and genetics are a better understanding of genomic regions and candidate genes underlying stallion sperm quality, and improvement in horse reproduction and breeding techniques. The identified markers and genes for sperm cryotolerance and the respective genomic regions are promising candidates for further studying the biological processes in the formation and function of the stallion reproductive system.