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.
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.
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 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".
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.
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.
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.
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.
Nikitkina, Elena V.;Dementieva, Natalia V.;Shcherbakov, Yuri S.;Atroshchenko, Mikhail M.;Kudinov, Andrei A.;Samoylov, Oleg I.;Pozovnikova, Marina V.;Dysin, Artem P.;Krutikova, Anna A.;Musidray, Artem A.;Mitrofanova, Olga V.;Plemyashov, Kirill V.;Griffin, Darren K.;Romanov, Michael N.
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.
본 웹사이트에 게시된 이메일 주소가 전자우편 수집 프로그램이나
그 밖의 기술적 장치를 이용하여 무단으로 수집되는 것을 거부하며,
이를 위반시 정보통신망법에 의해 형사 처벌됨을 유념하시기 바랍니다.
[게시일 2004년 10월 1일]
이용약관
제 1 장 총칙
제 1 조 (목적)
이 이용약관은 KoreaScience 홈페이지(이하 “당 사이트”)에서 제공하는 인터넷 서비스(이하 '서비스')의 가입조건 및 이용에 관한 제반 사항과 기타 필요한 사항을 구체적으로 규정함을 목적으로 합니다.
제 2 조 (용어의 정의)
① "이용자"라 함은 당 사이트에 접속하여 이 약관에 따라 당 사이트가 제공하는 서비스를 받는 회원 및 비회원을
말합니다.
② "회원"이라 함은 서비스를 이용하기 위하여 당 사이트에 개인정보를 제공하여 아이디(ID)와 비밀번호를 부여
받은 자를 말합니다.
③ "회원 아이디(ID)"라 함은 회원의 식별 및 서비스 이용을 위하여 자신이 선정한 문자 및 숫자의 조합을
말합니다.
④ "비밀번호(패스워드)"라 함은 회원이 자신의 비밀보호를 위하여 선정한 문자 및 숫자의 조합을 말합니다.
제 3 조 (이용약관의 효력 및 변경)
① 이 약관은 당 사이트에 게시하거나 기타의 방법으로 회원에게 공지함으로써 효력이 발생합니다.
② 당 사이트는 이 약관을 개정할 경우에 적용일자 및 개정사유를 명시하여 현행 약관과 함께 당 사이트의
초기화면에 그 적용일자 7일 이전부터 적용일자 전일까지 공지합니다. 다만, 회원에게 불리하게 약관내용을
변경하는 경우에는 최소한 30일 이상의 사전 유예기간을 두고 공지합니다. 이 경우 당 사이트는 개정 전
내용과 개정 후 내용을 명확하게 비교하여 이용자가 알기 쉽도록 표시합니다.
제 4 조(약관 외 준칙)
① 이 약관은 당 사이트가 제공하는 서비스에 관한 이용안내와 함께 적용됩니다.
② 이 약관에 명시되지 아니한 사항은 관계법령의 규정이 적용됩니다.
제 2 장 이용계약의 체결
제 5 조 (이용계약의 성립 등)
① 이용계약은 이용고객이 당 사이트가 정한 약관에 「동의합니다」를 선택하고, 당 사이트가 정한
온라인신청양식을 작성하여 서비스 이용을 신청한 후, 당 사이트가 이를 승낙함으로써 성립합니다.
② 제1항의 승낙은 당 사이트가 제공하는 과학기술정보검색, 맞춤정보, 서지정보 등 다른 서비스의 이용승낙을
포함합니다.
제 6 조 (회원가입)
서비스를 이용하고자 하는 고객은 당 사이트에서 정한 회원가입양식에 개인정보를 기재하여 가입을 하여야 합니다.
제 7 조 (개인정보의 보호 및 사용)
당 사이트는 관계법령이 정하는 바에 따라 회원 등록정보를 포함한 회원의 개인정보를 보호하기 위해 노력합니다. 회원 개인정보의 보호 및 사용에 대해서는 관련법령 및 당 사이트의 개인정보 보호정책이 적용됩니다.
제 8 조 (이용 신청의 승낙과 제한)
① 당 사이트는 제6조의 규정에 의한 이용신청고객에 대하여 서비스 이용을 승낙합니다.
② 당 사이트는 아래사항에 해당하는 경우에 대해서 승낙하지 아니 합니다.
- 이용계약 신청서의 내용을 허위로 기재한 경우
- 기타 규정한 제반사항을 위반하며 신청하는 경우
제 9 조 (회원 ID 부여 및 변경 등)
① 당 사이트는 이용고객에 대하여 약관에 정하는 바에 따라 자신이 선정한 회원 ID를 부여합니다.
② 회원 ID는 원칙적으로 변경이 불가하며 부득이한 사유로 인하여 변경 하고자 하는 경우에는 해당 ID를
해지하고 재가입해야 합니다.
③ 기타 회원 개인정보 관리 및 변경 등에 관한 사항은 서비스별 안내에 정하는 바에 의합니다.
제 3 장 계약 당사자의 의무
제 10 조 (KISTI의 의무)
① 당 사이트는 이용고객이 희망한 서비스 제공 개시일에 특별한 사정이 없는 한 서비스를 이용할 수 있도록
하여야 합니다.
② 당 사이트는 개인정보 보호를 위해 보안시스템을 구축하며 개인정보 보호정책을 공시하고 준수합니다.
③ 당 사이트는 회원으로부터 제기되는 의견이나 불만이 정당하다고 객관적으로 인정될 경우에는 적절한 절차를
거쳐 즉시 처리하여야 합니다. 다만, 즉시 처리가 곤란한 경우는 회원에게 그 사유와 처리일정을 통보하여야
합니다.
제 11 조 (회원의 의무)
① 이용자는 회원가입 신청 또는 회원정보 변경 시 실명으로 모든 사항을 사실에 근거하여 작성하여야 하며,
허위 또는 타인의 정보를 등록할 경우 일체의 권리를 주장할 수 없습니다.
② 당 사이트가 관계법령 및 개인정보 보호정책에 의거하여 그 책임을 지는 경우를 제외하고 회원에게 부여된
ID의 비밀번호 관리소홀, 부정사용에 의하여 발생하는 모든 결과에 대한 책임은 회원에게 있습니다.
③ 회원은 당 사이트 및 제 3자의 지적 재산권을 침해해서는 안 됩니다.
제 4 장 서비스의 이용
제 12 조 (서비스 이용 시간)
① 서비스 이용은 당 사이트의 업무상 또는 기술상 특별한 지장이 없는 한 연중무휴, 1일 24시간 운영을
원칙으로 합니다. 단, 당 사이트는 시스템 정기점검, 증설 및 교체를 위해 당 사이트가 정한 날이나 시간에
서비스를 일시 중단할 수 있으며, 예정되어 있는 작업으로 인한 서비스 일시중단은 당 사이트 홈페이지를
통해 사전에 공지합니다.
② 당 사이트는 서비스를 특정범위로 분할하여 각 범위별로 이용가능시간을 별도로 지정할 수 있습니다. 다만
이 경우 그 내용을 공지합니다.
제 13 조 (홈페이지 저작권)
① NDSL에서 제공하는 모든 저작물의 저작권은 원저작자에게 있으며, KISTI는 복제/배포/전송권을 확보하고
있습니다.
② NDSL에서 제공하는 콘텐츠를 상업적 및 기타 영리목적으로 복제/배포/전송할 경우 사전에 KISTI의 허락을
받아야 합니다.
③ NDSL에서 제공하는 콘텐츠를 보도, 비평, 교육, 연구 등을 위하여 정당한 범위 안에서 공정한 관행에
합치되게 인용할 수 있습니다.
④ NDSL에서 제공하는 콘텐츠를 무단 복제, 전송, 배포 기타 저작권법에 위반되는 방법으로 이용할 경우
저작권법 제136조에 따라 5년 이하의 징역 또는 5천만 원 이하의 벌금에 처해질 수 있습니다.
제 14 조 (유료서비스)
① 당 사이트 및 협력기관이 정한 유료서비스(원문복사 등)는 별도로 정해진 바에 따르며, 변경사항은 시행 전에
당 사이트 홈페이지를 통하여 회원에게 공지합니다.
② 유료서비스를 이용하려는 회원은 정해진 요금체계에 따라 요금을 납부해야 합니다.
제 5 장 계약 해지 및 이용 제한
제 15 조 (계약 해지)
회원이 이용계약을 해지하고자 하는 때에는 [가입해지] 메뉴를 이용해 직접 해지해야 합니다.
제 16 조 (서비스 이용제한)
① 당 사이트는 회원이 서비스 이용내용에 있어서 본 약관 제 11조 내용을 위반하거나, 다음 각 호에 해당하는
경우 서비스 이용을 제한할 수 있습니다.
- 2년 이상 서비스를 이용한 적이 없는 경우
- 기타 정상적인 서비스 운영에 방해가 될 경우
② 상기 이용제한 규정에 따라 서비스를 이용하는 회원에게 서비스 이용에 대하여 별도 공지 없이 서비스 이용의
일시정지, 이용계약 해지 할 수 있습니다.
제 17 조 (전자우편주소 수집 금지)
회원은 전자우편주소 추출기 등을 이용하여 전자우편주소를 수집 또는 제3자에게 제공할 수 없습니다.
제 6 장 손해배상 및 기타사항
제 18 조 (손해배상)
당 사이트는 무료로 제공되는 서비스와 관련하여 회원에게 어떠한 손해가 발생하더라도 당 사이트가 고의 또는 과실로 인한 손해발생을 제외하고는 이에 대하여 책임을 부담하지 아니합니다.
제 19 조 (관할 법원)
서비스 이용으로 발생한 분쟁에 대해 소송이 제기되는 경우 민사 소송법상의 관할 법원에 제기합니다.
[부 칙]
1. (시행일) 이 약관은 2016년 9월 5일부터 적용되며, 종전 약관은 본 약관으로 대체되며, 개정된 약관의 적용일 이전 가입자도 개정된 약관의 적용을 받습니다.