• Journal of KIISE:Software and Applications
• /
• v.35 no.11
• /
• pp.661-670
• /
• 2008

In some applications of software engineering such as the verification of software model or embedded program, SAT solver is used. To practical use a SAT solver, a problem is encoded to a CNF formula, but because the formula has lower expressiveness than software models or source codes, optimal CNF encoding is required. In this paper, we propose optimal encoding techniques for the problem of "Selecting adjacent $k{\leq}n$ among n objects," Through experimental results we show the proposed constraint is efficient and correct to solve Japanese puzzle. As we know, this paper is the first study about CNF encoding for adjacency in BCC.

• Korean journal of food and cookery science
• /
• v.6 no.1
• /
• pp.21-26
• /
• 1990

Tepary bean (phaseolus acutifolius var latifolius)은 반사막성기후 즉 미국의 서남부나 멕시코에서 자라는 콩으로 이 콩의 curd 생산에 있어서의 acceptability를 조사하는데 목적을 두었다. Curd는 100% Tepary bean(TB)과 soybean(SB)의 여러 가지 비율의 혼합물을 University Arizona와 Unicon Valleage Company와의 Cooperative Extension work에서 연구된 방법을 적용하여 만들었다. 완성된 Curd는 무게와 충고성분의 양(Yield)을 측정하였고 관능검사결과를 통계처리하여 특성 및 acceptability를 조사하였다. TB:SB가 50:50 그리고 25:75의 비율일 때, curd 제품의 관능검사와 acceptability에서 만족할 수 있었다. 따라서 50% 이상의 Tepary Bean Tofu는 좋은 질의 curd로서의 생산 이용 가능성이 없는 것으로 판단되어 50% 미만의 Tepary Bean과 Soy bean의 curd는 서로 제한 아미노산을 보충해주어서 보다 좋은 질의 TOFU를 생산할 수 있는 가능성을 가졌다고 보여진다.

• The Journal of the Korea Contents Association
• /
• v.21 no.7
• /
• pp.510-518
• /
• 2021

This study analyzed (1) the utility of telepractice in language assessment and (2) parental satisfaction for telepractice. Young children with language disabilities conducted REVT through both face-to-face and telepractice system. The correlation and paired t-test were analyzed. The results showed (1) the strong correlations between telepractice and face-to-face assessment scores. However, the telepractice score was significantly lower than face-to-face in the receptive vocabulary test and (2) the overall average of parental satisfaction for telepractice was 3.6 out of 5 points. The parents showed the highest satisfaction in terms of time and convenience of telepractice while the equivalence between telepractice and face-to-face item was the lowest. This study suggested the possibility and considerations in applying telepractice of language assessment in Korea.

• Journal of KIISE:Software and Applications
• /
• v.26 no.5
• /
• pp.595-603
• /
• 1999

최근 많이 부각되고 있는 여러 데이터베이스 응용들은 복잡하고 많은 무결정 규칙을 요구한다. 이러한 응용에서 갱신 트랜잭션은 많은 양의 무결성 규칙을 동반하며 시스템 고장시 많은 수의 트랜잭션이 검사 단계에 있을 경우가 증가하여 철회될 가능성이 높아지낟. 그러나 일반적으로 대부분의 트랜잭션 수행은 무결성 제약 규칙을 만족하므로, 무결성 검사를 통과하여 완료될 트랜잭션을 시스템 고장 회복시에 철회시키는 것은 물론 시스템의 자원을 낭비하는 결과를 초래하게 된다. 이에 본 논문에서는 이러한 트랜잭션이 가지는 성질을 이용하여 , 시스템 고장 시에도 철회되지 않고 계속해서 남은 작업을 수행하고 종료될 수 있도록 하는 방법을 제시하고 실험을 통해 제안한 방법의 효용성을 보였다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.31 no.12
• /
• pp.692-703
• /
• 2004

Communication induced checkpointing (CIC) is one of the checkpointing techniques to provide fault tolerance for distributed systems. Independent checkpoints that each distributed process produces without coordination are likely to be useless. Useless checkpoints, which cannot belong to any consistent global checkpoint sets, induce nondeterminant rollback. To prevent the useless checkpoints, CIC forces processes to take additional checkpoints at proper moment. The number of those forced checkpoints is the main source of failure-free overhead in CIC. In this paper, we present two new CIC protocols which satisfy 'No Z-Cycle (NZC)'property. The proposed protocols reduce the number of forced checkpoints compared to the existing protocols with the drawback of the increase in message delay. Our simulation results with the synthetic data show that the proposed protocols have lower failure-free overhead than the existing protocols. Additionally, we show that the classical 'index-based checkpointing' protocols are inefficient in constructing the consistent global cut in distributed executions.

• Journal of Intelligence and Information Systems
• /
• v.24 no.1
• /
• pp.125-140
• /
• 2018

As one of the processes in the manufacturing industry, quality inspection inspects the intermediate products or final products to separate the good-quality goods that meet the quality management standard and the defective goods that do not. The manual inspection of quality in a mass production system may result in low consistency and efficiency. Therefore, the quality inspection of mass-produced products involves automatic checking and classifying by the machines in many processes. Although there are many preceding studies on improving or optimizing the process using the data generated in the production process, there have been many constraints with regard to actual implementation due to the technical limitations of processing a large volume of data in real time. The recent research studies on big data have improved the data processing technology and enabled collecting, processing, and analyzing process data in real time. This paper aims to propose the process and details of applying big data for quality inspection and examine the applicability of the proposed method to the dairy industry. We review the previous studies and propose a big data analysis procedure that is applicable to the manufacturing sector. To assess the feasibility of the proposed method, we applied two methods to one of the quality inspection processes in the dairy industry: convolutional neural network and random forest. We collected, processed, and analyzed the images of caps and straws in real time, and then determined whether the products were defective or not. The result confirmed that there was a drastic increase in classification accuracy compared to the quality inspection performed in the past.

• Journal of the Korean School Mathematics Society
• /
• v.18 no.2
• /
• pp.203-221
• /
• 2015

The purpose of this study is to analyze how a peer mentoring method affects students' problem solving abilities and class satisfaction in the context of high school quadratic curves and provide implications for teaching and learning mathematics. For this study, seventy six 11th graders in the natural sciences track participated in the peer mentoring method. After finishing the teaching method, Problem Solving Abilities Questionnaire was collected for analysis of pre-test/post-test experiments and Class Satisfaction Questionnaire was also gathered. The results show that the mentoring method positively impacts on participants' problem solving abilities and class satisfaction because its comfortable learning environments, individualized learning contents, and unconstrained learning processes motivate them through ways to improve their communication. According to the results, it is to address practical implications applied in teaching quadratic curves in high school with the value and importance of mentoring methods.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10a
• /
• pp.68-70
• /
• 1998

본 논문에서는 클록들을 주기적으로 동기화하는 분산 실시간 시스템에서 주어진 태스크의 시간 제약(timing constraint)을 변환시는 구가지 기법을 제안한다. 전형적인 이산 클록 동기화(discrete clock synchronization)알고리즘은 클록의 값을 순간적으로 보정(correct)하여 클록의 시간이 불연속적으로 진행학 한다. 이러한 시간상의 불연속성은 태스크의 시작제한시간(release time)이나 종료시한(deadline)과 같은 이벤트를 잃어버리거나 다시 발생시키는 오류를 범하게 한다. 클록 시간의 불연속성을 피하기 위해 일반적으로 연속 클록 동기화(continuous clock synchronization) 기법이제안되었지만 소프트웨어적으로 구현되기에는 많은 오버헤드를 유발시키는 문제점이 있다. 이에 따라 연속 클록 동기화는 PLL (Phase-Locked Loop)을 이용한 별도의 하드웨어를 사용하는 것이 보통이다. 본 논문에서는 연속 클록 동기화 기법을 사용하는 대신, 태스크의 시간 제약을 동적으로 변환시키는 DCT (Dynamic Constraint Transformation) 기법을 제안하였다. DCT는 소프트웨어 으로 구현이 가능하여 새로운 하드웨어를 필요로 하지 않으며, 이를 통해 기존의 이산적으로 동기화된 시스템에서 클록 시간의 불연속성에 의한 문제점들을 해결할 수 있다. 또 다른 문제점으로서, 클록의 물리적인 특성으로 인해 동기화된 클록들이 상한된(bounded from the above)오차(skew)를 갖는다는 것이다. 이러한 오차는 지역 클록(local clock)에 대해 만족될 수 있는 임의의 실기간 제약 조건이 전역 클록(global clock)에 대해서는 만족되지 않을 수 있음을 의미한다. 본 논문에서는 이를 위해 먼저 두 가지의 스케줄링 가능성, 지역적 스케줄링 가능서(local schedulability)과 전역적 스케줄링 가능성(global schedulability)을 정의하고, 실시간 제약을 정적으로 변환시키는 SCT (Static Constraint Transformation)기법을 제안하였다. SCT를 통해 지역적으로 스케줄링 가능한 태스크는 전역적으로 스케줄링이 가능하므로, 단지 지역적 스케줄링 가능성만을 검사하면서 스케줄링 문제를 해결할 수 있도록 하였다.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.4
• /
• pp.1136-1142
• /
• 1999

A difficulty of the visual inspection for translated, magnified and rotated objects exists owing to the limitation of recognition rate. In this paper, we perform to define Integral Logarithm Transform(ILT), to consider its characteristic for implementation of Translation-, Magnification- and Rotation-invariant inspection system, and to compare with other methods in inspection error rate. By using magnification and rotation invariance properties of ILT, it makes easier than other methods to extract the rotation degree. The new method employs the ILT for the good/bad inspection of translated, magnified and rotated objects and experiment is performed to achieve translation, magnification and rotation invariance. In other methods both magnification and rotation invariance can't be available. As the result of he experiment, it is not better than the self-organizing map in the improvement of recognition rate, but it shows us the possibility to be used as a tool for the good/bad inspection system.

• Journal of The Korean Association For Science Education
• /
• v.18 no.4
• /
• pp.617-626
• /
• 1998

Inquiry approach in teaching science has been widespread in Korea since the Third National Curriculum in 1970's. But the effect of the approach has never been evaluated systematically in Korea, so the science educators do not know if the inquiry approach really works and if any critical problems inhibit the effect of the approach. In this context, the NAEP of the Unied States and the APU of the United Kingdom were model programs for assessing the effect of the inquiry approach in teaching science. The purpose of this study is to develop an assessment system for evaluating the effect of inquiry teaching in elementary and secandary schools. For this purpose, an assessment framework and 240 test items were developed and tried with a sample of 8,906 students. The results say that the developed tests are reliable. The average Cronbach $\alpha$ reliability coefficient of the tests was 0.69. The discrimination index(point-biserial correlation coefficient) ranged from 0.39 to 0.54 with a mean of 0.49, which indiate they are excellent in discriminating students in terms of their inquiry achievement. The test items were also analyzed by "item response theory." The results also say that the items are successfully developed.