• Journal of Veterinary Clinics
• /
• v.27 no.6
• /
• pp.679-685
• /
• 2010

Many animal models of osteoarthritis (OA) have been developed, aimed at understanding the long-term progression of OA and difficulty of identifying patients in the initial stage of the disease. In canines, coxofemoral luxation and hip dysplasia are common orthopedic ailments related to OA in the hip joint. Transecting the ligament of the head of the femur (LHF) aids in diagnosis of coxofemoral joint OA. Presently, mobility of this joint was increased by transected LHF in 10 mature, 2-3-year-old (average $2.57{\pm}0.20$ years), healthy male beagles. The animals were normally gaited 1-week post-operatively. During the experimental period, examinations including X-ray, complete blood count and serum chemistry were unremarkable. Proteomic examination revealed protein alterations in synovial fluid, with significant increases in Vitamin D-binding protein precursor (ANOVA, p < 0.004) and Kinogen-1 (ANOVA, p < 0.039). Both proteins correlated with arthritis.

• Journal of the Korean Society of Food Science and Nutrition
• /
• v.38 no.2
• /
• pp.235-243
• /
• 2009

This study was performed to find the optimum ratio of ingredients in the Chinese radish jam. The experiment was designed according to the RSM (response surface methodology), which included 18 experimental points with 4 replicates for three independent variables (sugar $45{\sim}70%$, pectin $0.5{\sim}2.0.%$, citric acid $0.2{\sim}0.5%$). The compositional and functional properties of the prepared products were measured, and these values were applied to the mathematical models. By use of F-test, sweetness, color values (L, a, b), and firmness were expressed by a linear model, while the sensory characteristics (color, smell, taste, texture and overall acceptance) were by a quadratic model. In the numeric optimization, the optimal ingredient amounts were 53.7% sugar, 1.0% pectin, and 0.3% citric acid. And in the graphical optimization, 53.9% sugar, 1.0% pectin, and 0.3% citric acid; these data were equivalent to 0.6985 desirability, indicating that the values were almost equivalent to the numerical optimization points. The above results demonstrate the feasibility of Chinese radish jam, and therefore, the commercialization of a Chinese radish jam marketed as a functional food is deemed possible.

• Korean Journal of Food Science and Technology
• /
• v.43 no.3
• /
• pp.303-314
• /
• 2011

The purpose of this study was to determine the optimal mixing conditions for two different amounts of added mulberry powder and fresh cream to prepare functional chocolate with added mulberry powder. The experiment was designed according to the central composite response surface design, which showed 10 experimental points, and included two replicates for mulberry powder and fresh cream. The physiochemical, mechanical, and sensory properties of the test were measured, and these values were applied to the mathematical models. The results of the physiochemical and mechanical analyses of each sample, including pH, moisture content, total phenolic content, DPPH free radical scavenging activity, color L, color b, hardness, gumminess, and cohesiveness showed significant differences. The sensory characteristics of the samples tested were significantly different in flavor, texture, sourness, bitterness, and overall acceptability. The optimum formulation calculated by numerical and graphical methods was 25.76 g mulberry powder and 72.21 g fresh cream.

• Journal of KIISE:Computer Systems and Theory
• /
• v.35 no.2
• /
• pp.75-83
• /
• 2008

Joye et al. introduced a new prime generation algorithm (JPV algorithm hereafter), by removing the trial division from the previous combined prime generation algorithm (combined algorithm hereafter) and claimed that JPV algorithm is $30{\sim}40%$ faster than the combined algorithm. However, they only compared the number of Fermat-test calls, instead of comparing the total running times of two algorithms. The reason why the total running times could not be compared is that there was no probabilistic analysis on the running time of the JPV algorithm even though there was a probabilistic analysis for the combined algorithm. In this paper, we present a probabilistic analysis on the running time of the JPV algorithm. With this analytic model, we compare the running times of the JPV algorithm and the combined algorithm. Our model predicts that JPV algorithm is slower than the combined algorithm when a 512-bit prime is generated on a Pentium 4 system. Although our prediction is contrary to the previous prediction from comparing Fermat-test calls, our prediction corresponds to the experimental results more exactly. In addition, we propose a method to improve the JPV algorithm. With this method, the JPV algorithm can be comparable to the combined algorithm with the same space requirement.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.13 no.5
• /
• pp.1996-2001
• /
• 2012

Visual inspection systems are widely proposed for the well formed surface materials like electronics parts. But the materials with ill reflection ability have many troubles when visual inspection system is introduced. We have developed a robust visual inspection system that can work well in spite of low reflection ratio and with much noise when truth model is not known in the mixed production line. A workpiece identification technique using k-means has been proposed to identify the type. Based on the identified type, a robust-to-noise segmentation method, called active contour, has been applied to segment the features from the image. Finally, Kalman filter has been applied to adapt the error variation. Experiment shows that performance is about to match the accuracy of manual measurement using projectors.

• Proceedings of The KACE
• /
• 2018.08a
• /
• pp.89-91
• /
• 2018

초 고령사회가 전망됨에 따라 적극적인 문화향유를 즐기는 다양한 신체적 활동성이 있는 새로운 실버세대를 스마트 시니어라고 지칭한다. 이전 연구에서는 스마트 시니어의 신체적 노화나 운동능력 저하를 고려하여 제공하는 맞춤형 UI/UX 콘텐츠 서비스를 제공하였다. 또한 스마트 시니어의 인지 반응 검사를 통하여 인지적 특성 저하 요소를 파악하고 A, B, C 그룹으로 나뉘어 그룹 특성에 맞게 글자 크기, 폰트 종류, 재생 속도 등 설정을 조정하여 맞춤형 UI/UX 콘텐츠를 제공하였다. 그러나 약 180여개의 인지 반응 검사를 진행함에 따라 스마트 시니어의 집중력 저하의 문제점이 있었다. 본 논문에서는 스마트 시니어의 인지 반응 검사지와 온라인 콘텐츠에서 스마트 시니어가 활동하여 변경된 설정 값을 이용하여 유의미한 인지반응 검사지를 추출하고 인지 반응 검사지 결과를 통해 상세한 맞춤형 UI/UX 콘텐츠를 제공하는 모델을 제안한다.

• The Korean Journal of Food And Nutrition
• /
• v.15 no.3
• /
• pp.228-234
• /
• 2002

In this paper, we proposed a preparation of Jeung- pyun (Korean fermented steamed rice cake with sour taste and spongy texture) using fuzzy theory. Before this preparation was introduced, it thoroughly analyzed the existing data of Jeung-pyun preparation with sensory evaluation and instrumental measurement. It defined a membership auction of Fuzzy set by analyzed three sorts of data on Jeung-pyun. And it established the Fuzzy model using the quantity of materials as input, such as rice, flour, wheat flour and fermentation time, and the sensory test scores as output, such as grain, softness, sourness, chewiness, overall quality, pH value and volume, respectively. We got the results that the Fuzzy model was accord with the conventional method with sensory evaluation. And the validity of this method is shown through the computer simulation of the test data. Therefore, the proposed method by Fuzzy model will apply to make Jeung-pyun without sensory evaluation. This study will contribute to develop standard preparation for korean foods and expert system of preparation using computer system.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.12
• /
• pp.1485-1492
• /
• 1999

대규모 시스템 명세의 올바름을 검증하기 위한 유한 상태 LTS에 기반을 둔 CTL논리 적용에 있어 가장 큰 문제점은, 시스템 내부의 병렬 프로세스간의 상호작용으로 인한 상태폭발이다. 그러나 Modal mu-calculus 논리를 시스템 안전성 및 필연성 특성 명세에 사용하면, 행위에 의한 순환적 정의가 가능하므로 상태폭발 문제가 해결 가능하다. 본 논문에서는 LTS로 명세화된 통신 프로토콜 시스템 모델의 안전성 및 필연성 특성을 모형 검사 기법에 의해 검증함에 있어, 시제 논리로 사용된 Modal mu-calculus 안전성 및 필연성 논리식과 CTL 의 안전성 및 필연성 논리식의 극한값이 동일함을 두 논리식을 만족하는 상태 집합이 같다는 것을 보임으로써 증명한다. 증명된 결과는 I/O FSM 모델로 표현된 통신 프로토콜의 안전성 및 필연성 검사를 위해 이론적인 기반으로서, 컴퓨터를 이용한 모형검사 기법에 효과적인 방법으로 응용이 가능하다.Abstract In applying CTL-based model checking approach to correctness verification of large state transition system specifications, the major obstacle is the combinational explosion of the state space arising due to interaction of many loosely coupled parallel processes. If, however, the modal mu-calculus viewed as a CTL-based logic with recursion, is used to specify the safety and liveness property of a given system, it is possible to resolve this problem. In this paper, we discuss the problem of verifying communication protocol system specified in LTS, and prove that a logic expression specifying safety and liveness in modal mu-calculus is semantically identical to the maximum value of the expression in CTL. This relation is verified by the proof that the sets of states satisfying the two logic expressions are equivalent. The proof can be used as a theoretical basis for verifying safety and liveness of communication protocols represented as I/O FSM model.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.28 no.2
• /
• pp.119-124
• /
• 2008

In recent years, gradually increasing interest has been directed to the use of terahertz technology in nondestructive testing and non-invasive measurements, and terahertz time domain spectroscopy (THz-TDS) has become a key technology in such applications. This paper deals with the terahertz pulse generation from cadmium telluride via optical rectification process of femto-second infrared laser pulses. The measured terahertz spectrum is compared with the result of model calculation based on space-time domain nonlinear Maxwell equations for coherent frequency mixing process. The propagation process of terahertz and infra-red pulses in the material as well as the surface interference and free space diffraction effects are also considered. The experimental results are in good agreements with the calculated spectrum.

• Journal of the Korea Society of Computer and Information
• /
• v.26 no.12
• /
• pp.61-67
• /
• 2021

In this paper, we propose a method of extracting and recognizing related information for research from images of the unstructured pulmonary function test papers using character detection and recognition techniques. Also, we develop a post-processing method to reduce the character recognition error rate. The proposed structuring method uses a character detection model for the pulmonary function test paper images to detect all characters in the test paper and passes the detected character image through the character recognition model to obtain a string. The obtained string is reviewed for validity using string matching and structuring is completed. We confirm that our proposed structuring system is a more efficient and stable method than the structuring method through manual work of professionals because our system's error rate is within about 1% and the processing speed per pulmonary function test paper is within 2 seconds.