• 한국수학교육학회지시리즈A:수학교육
• /
• 제57권3호
• /
• pp.271-287
• /
• 2018

This is a case study that defined collaborative utterances and analyzed how they appear in the problem-solving process when 5th-grade students solved problems in groups. As a result, collaborative utterances consist of an interchange type and a deliver type and the interchange type is comprised of two process: the verification process and the modification process. Also, in groups where interchange type collaborative utterances were generated actively and students could reach an agreement easily, students applied the teacher's help to their problem-solving process right after it was provided and could solve problems even though they had some mathematics errors. In interchange-type collaborative utterances, each student's participation varies with their individual achievement. In deliver-type collaborative utterances, students who solved problems by themselves participated dominantly. The conclusions of this paper are as follows. First, interchange-type collaborative utterances fostered students' active participation and accelerated students' arguments. Second, interchange-type collaborative utterances positively influenced the problem-solving process and it is necessary to provide problems that consider students' achievement in each group. Third, groups should be comprised of students whose individual achievements are similar because students' participation in collaborative utterances varies with their achievement.

• 한국주거학회논문집
• /
• 제22권2호
• /
• pp.63-71
• /
• 2011

The growth of housing complex in the Housing Development District in local small and medium cities can be defined to process individual lots are possessed by buildings. The study is the basic research of analysis for the internal factors that affect on the each lot, and is for hypothesis of the verification about the Housing Development District growth. So, it can be applied in the Housing Development District of the site conditions and restriction of use of buildings and infrastructure works and the constant boundary of the region. The rate of the development is the occupation of the individual lots per entire lots was limited as the factor of analysis. As above conditions haver no possibility to change in the Housing Development District, the results of this study and further are available to consider. By the results of the connected study, it can be used for Planning and management of the Housing Development District in local small and medium cities. by the adjustment of the relation between growth tendecy and city's properties or district characters.

• Molecules and Cells
• /
• 제44권3호
• /
• pp.127-135
• /
• 2021

Since the introduction of RNA sequencing (RNA-seq) as a high-throughput mRNA expression analysis tool, this procedure has been increasingly implemented to identify cell-level transcriptome changes in a myriad of model systems. However, early methods processed cell samples in bulk, and therefore the unique transcriptomic patterns of individual cells would be lost due to data averaging. Nonetheless, the recent and continuous development of new single-cell RNA sequencing (scRNA-seq) toolkits has enabled researchers to compare transcriptomes at a single-cell resolution, thus facilitating the analysis of individual cellular features and a deeper understanding of cellular functions. Nonetheless, the rapid evolution of high throughput single-cell "omics" tools has created the need for effective hypothesis verification strategies. Particularly, this issue could be addressed by coupling cell engineering techniques with single-cell sequencing. This approach has been successfully employed to gain further insights into disease pathogenesis and the dynamics of differentiation trajectories. Therefore, this review will discuss the current status of cell engineering toolkits and their contributions to single-cell and genome-wide data collection and analyses.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2003년도 ISIS 2003
• /
• pp.28-31
• /
• 2003

In the present work, a main purpose is to propose a fuzzy integral-based aggregation framework to complementarily combine partial information due to lack of completeness. Based on Choquet integral (CI) viewed as monotone expectation, we take into account complementary, non-interactive, and substitutive aggregations of different sources of defective information. A CI-based system representing upper, conventional, and lower expectations is designed far handling three aggregation attitudes towards uncertain information. In particular, based on Choquet integrals for belief measure, probability measure, and plausibility measure, CI$\_$bi/-, CI$\_$pr/ and CI$\_$pl/-aggregator are constructed, respectively. To illustrate a validity of proposed aggregation framework, multiple matching systems are developed by combining three simple individual template-matching systems and tested under various image variations. Finally, compared to individual matchers as well as other traditional multiple matchers in terms of an accuracy rate, it is shown that a proposed CI-aggregator system, {CI$\_$bl/-aggregator, CI$\_$pl/-aggregator, Cl$\_$pl/-aggregator}, is likely to offer a potential framework for either enhancing completeness or for resolving conflict or for reducing uncertainty of partial information.

• Journal of Information Processing Systems
• /
• 제20권1호
• /
• pp.116-130
• /
• 2024

In the Internet-of-Things (IoT) or blockchain-based network systems, secure keys may be stored in individual devices; thus, individual devices should protect data by performing secure operations on the data transmitted and received over networks. Typically, secure functions, such as a physical unclonable function (PUF) and fully homomorphic encryption (FHE), are useful for generating safe keys and distributing data in a network. However, to provide these functions in embedded devices for IoT or blockchain systems, proper inspection is required for designing and implementing embedded system-on-chip (SoC) modules through overhead and performance analysis. In this paper, a virtual platform (SoC VP) was developed that includes a secure key generation module with a PUF and FHE. The SoC VP platform was implemented using SystemC, which enables the execution and verification of various aspects of the secure key generation module at the electronic system level and analyzes the system-level execution time, memory footprint, and performance, such as randomness and uniqueness. We experimentally verified the secure key generation module, and estimated the execution of the PUF key and FHE encryption based on the unit time of each module.

• Asian-Australasian Journal of Animal Sciences
• /
• 제18권11호
• /
• pp.1529-1534
• /
• 2005

Individual-breed assignments were implemented in six swine populations using twenty six microsatellites recommended by the Food and Agriculture Organization and the International Society for Animal Genetics (FAO-ISAG). Most microsatellites exhibited high polymorphisms as shown by the number of alleles and the polymorphism information content. The assignment accuracy per locus obtained by using the Bayesian method ranged from 33.33% (CGA) to 68.47% (S0068), and the accumulated assignment accuracy of the top ten loci combination added up to 96.40%. The assignment power of microsatellites based on the Bayesian method had positive correlations with the number of alleles and the gene differential coefficient ($G_{st}$) per locus, while it has no relationship to genetic heterozygosity, polymorphism information content per locus and the exclusion probabilities under case II and case III. The percentage of corrected assignment was highest for the Bayesian method, followed by the gene frequency and distancebased methods. The assignment efficiency of microsatellites rose with increase in the number of loci used, and it can reach 98% when using a ten-locus combination. This indicated that such a set of ten microsatellites is sufficient for breed verification purposes.

• Asian-Australasian Journal of Animal Sciences
• /
• 제19권4호
• /
• pp.463-467
• /
• 2006

Genetic profiles of Iranian Holstein young bulls at the national artificial insemination station were determined on the basis of individual genotypes at 13 ISAG's recommended microsatellites, the most useful markers of choice for parentage identification. In the present study a total of 119 individuals were genotyped at 13 microsatellite loci and for possible parent-offspring combinations. A high level of genetic variation was evident within the investigated individuals as assessed from various genetic diversity measures. The mean number of observed alleles per microsatellite marker was 9.15 and the number of effective alleles as usual was less than the observed values (4.03). The average observed and expected heterozygosity values were 0.612 and 0.898, respectively. The mean polymorphic information content (PIC) value (0.694) further reflected a high level of genetic variability. The average exclusion of probability (PE) of the 13 markers was 0.520, ranging from 0.389 to 0.788. The combined exclusion of probability was 0.999, when 13 microsatellite loci were used for analysis in the individual identification system. Inbreeding was calculated as the difference between observed and expected heterozygosity. Observed homozygosity was less than expected which reflects inbreeding of -3.7% indicating that there are genetic differences between bull-sires and bull-dams used to produce young bulls. The results obtained from this study demonstrate that the microsatellite DNA markers used in the present DNA typing are useful and sufficient for individual identification and parentage verification without accurate pedigree information.

• 정보교육학회논문지
• /
• 제24권4호
• /
• pp.401-412
• /
• 2020

예비교사들이 프로그래밍 수업에서 겪는 다양한 어려움을 해결하기 위해서 팀 기반의 프로그래밍 방법이 많이 적용되고 있다. 그들에게 필요한 효율적인 협업 전략을 마련하기 위해서는 학습자의 프로그래밍 역량에 미치는 다양한 협업요인들을 분석해야 할 필요가 있다. 따라서 본 연구에서는 학습자들의 협업 요인들을 크게 개인 역량과 팀 역량으로 구분하여 설문조사를 실시하고 학습자들의 프로그래밍 역량과의 관계를 분석하였다. 검증결과 프로그램 설계역량에는 학습자 개인역량 모든 요소와 자료공유 기술과 같은 협업에 필요한 기술인 팀 테크닉 및 팀 협력도 등에서 유의미한 결과를 보였다. 그리고 프로그램 구현역량에는 개인의 학습이해도, 팀 협력도가 영향을 주는 것으로 분석되었다. 또한 팀 테크닉이 상대적으로 높은 그룹이 프로그래밍 역량과 흥미도 및 만족도에 유의미한 차이가 있는 것으로 나타났다. 이에 예비교사들에게 실질적으로 필요한 협업 전략을 프로그래밍 과정에 따라 개인역량 및 팀 역량과 관련된 유의미한 요소들을 연계하여 제시하였다.

• 품질경영학회지
• /
• 제47권4호
• /
• pp.911-926
• /
• 2019

Purpose: In an infinite market competition, companies are adopting management systems to gain a competitive advantage. The expectancy effect of the management system is management performance improvement and accurate measurements. These can be made through quality records with integrity and maintainability. This paper examines the operation of records management standards, which are records, storage and management standards for quality records to understand the needs of records management standards and empathize with their needs. Methods: This paper examines PEC's (Pields Engineering Co., Ltd.) specific processes and standards for integrating individual management systems and establishing records management standards. We also look at the specific features of the Search Tool and Document Storage Management Standards that support records management standards. Results: The integration process of PEC's individual management system consists of five steps. A PDCA-based process was established to erode the confusion and inefficiencies caused by overlap between individual management systems. Also, by accurately grasping corporate competence, PEC established a record management standard suitable for the characteristics of the company. PEC's records management standards are used as a useful standard for organizing quality records, and have an impact on management performance improvement. Conclusion: PEC's records management standards enable the verification of quality performance rates and performance measures. Companies can implement appropriate quality improvement strategies based on the numbers identified by introducing records management standards. Companies can succeed in improving management performance when operating quality management that combines performance measurement techniques and records management standards.

• 대한간호학회지
• /
• 제16권3호
• /
• pp.67-77
• /
• 1986

The research was carried out in order to assess, at an early stage, the potential barrier in mother-child relationship in the childs' development by using the screening tool. Consequently, after modifying the Neonatal Perception Inventory developed by Broussard and testing its reliability. It has been applied to 152 mothers at the hospital of three universities in Seoul from August 1 to September 30, 1986. The data was analyzed by S.P.S.S. pro-gram and the results were as follows: 1) Mothers perceived the newborn as an individual, and evaluated their baby higher than other babies. 2) Mothers indicated difficulties in their role performance in the fellowing order-bathing, safety, detecting pain or suffering, and feeding. 3) Mothers' perception of a newborn was positive for 75% of the mothers. 4) The factor analysis of the modified tool using principal components analysis and Varimax rotation resulted in the two factors: Factor 1, Baby as an individual: Factor Ⅱ, Performances are required to meet the new-born's needs. 5) The difference in mothers' individual characteristics such as the number of childbirth, the desire to get pregnant or not, the type of deli-very, and the sex of the newborn did not influence on a mothers' perception of her newborn. As seen above, most of the mothers perceived their newborns as able individuals and expressed difficulties involved in taking care of the newborn. Also most of the mothers perceived their babies positively. My point here is, we ought to observe those mothers who perceive their babies negatively, and then compare them with those mothers who perceive their babies extremely positive or extremely negative. In the future, for more comprehensive assessment tool for maternal perception of the newborn, a repetitive verification and modification of this tool is demanded. At the same time, father's perception of the newborn should be included.