• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.18 no.8
• /
• pp.361-366
• /
• 2017

For two given logical expressions and, when expression contains the same part of the logical expression as expression, substituting for that part of expression is called a substituted logic expression. If a substituted relation is established between the logical expressions, there is an advantage in that the number of literals used in the whole logical expression can be greatly reduced. However, if the substituted relation is not established, there is no simplification effect obtained from the substituted expression. Previous methods proposed a way to find substituted relations between logical expressions for the given logical expressions themselves, and to calculate substituted expressions if only substitution is possible. In this paper, a new method for performing substitution with addition and revision of logic terms is proposed in order to perform substitution, even though there is no substituted relation between two logic expressions. The proposed method is efficiently implemented using a matrix that finds terms to be added. Then, by covering the matrix that has added terms, substituted logic expressions are found. Experiment results show that the proposed method for several benchmark circuits can reduce the number of literals, compared to existing synthesis tools.

• School Mathematics
• /
• v.16 no.2
• /
• pp.303-315
• /
• 2014

Even though the variety of expressions are dealt with in Korean elementary mathematics, the systematization of the subject matter of expressions is still insufficient. This is basically due to the failure of revealing clearly the identity of expressions dealt with in elementary mathematics. In this paper, as a groundwork to improve this situation, after the classification of signs as elements constituting expressions, in a position to consider elementary mathematics using transitional signs such as ${\square}$, ${\triangle}$, etc and words or phrases in expressions, expressions were defined and classified based on that classification of signs. It can be presented as the conclusion that the following four judgements which helps to promote the systematization of the subject matter of expressions are possible through this definition and classifications. First, by clarifying the identity of the expressions, any mathematical clauses or sentences can be determined whether those are expressions or not. Second, Forms of expressions can be identified. Third, the subject matter of expressions can be identified systematically. Fourth, the hierarchy of the subject matter of expressions can be identified.

• Journal of Practical Agriculture & Fisheries Research
• /
• v.6 no.1
• /
• pp.143-154
• /
• 2004

The value of daily heating degree hour(described as DH hereafter) is essential for calculating the heating load of a greenhouse during the winter months. Many researchers have so for proposed different models for estimating DH value. Models for estimating DH have been investigated DH(unit, ℃·h·year^-1) in this paper. The comparisons of standard and existed DH values were made to know the estimation error of each model proposed so far. The standard DH values and other proposed DH values have were obtained for the inside setpoint temperatures of 9, 13, 16 and 20℃ in greenhouse, estimated based on meterological data from 1961 to 2000 according to locals, and standard DH values were independent and existed DH values were dependent. Among the various model, the one developed theoretically by Mihara modified to author was the best fitting for standard DH values. The DH values were obtained for the inside setpoint temperature of 9, 13, 16 and 20℃ by Modified Mihara's model. A new DH contour line graph was proposed using Modified Mihara's model. Using the DH contour line graph, the DH values can be obtained easily for any setpoint according to local.

• Childhood Kidney Diseases
• /
• v.3 no.2
• /
• pp.170-179
• /
• 1999

Purpose: To evaluate whether or not sodium restriction had its own beneficial effect and increased the efficiency of the anti-hypertensive drugs on the progression of renal failure. Methods: We studied using the excision remnant kidney model. Treatment groups were as follows: 5/6 nephrectomy and a 0.49% (normal-high) sodium diet (NN); 5/6 nephrectomy and a 0.25% (normal-low) sodium diet (LN); 5/6 nephrectomy, a 0.49% sodium diet and enalapril (NNE); 5/6 nephrectomy, a 0.49% sodium diet and nicardipine (NNN); 5/6 nephrectomy, a 0.25% sodium diet and enalapril (LNE); 5/6 nephrectomy, a 0.25% sodium diet and nicardipine (LNN). Both diets were isocaloric and had the same content of protein, phosphorus and calcium. Proteinuria, remnant kidney weight, mesangial expansion scores, and glomerular volume were assessed. Results: Blood pressure tended to be lower in LN compared to NN (P<0.05). NN developed progressive hypertension. LNE, LU, NNE, and NNN reduced blood pressure. LNE, LNN, NNE, NNN, and LN had significantly less proteinuria than NN at 16 weeks (P<0.05). At 24 weeks, LN developed proteinuria (82 mg/day), which were lessened in LNE (54 mg/day) and not lessened in LNN (76 mg/day). Mesangial expansion scores were significantly less in LN rats compared to those in NN rats. Glomerular volumes at 24 weeks in LN rats were significantly less compared to those at 16 weeks in NN rats. Mesangial expansion scores and glomerular volumes at 4, weeks, 12 weeks, and 24 weeks were not different among LN, LNE, and LNN groups. Conclusion: Dietary salt restriction lessens renal damage, at least in part, by inhibiting compensatory renal growth and reducing blood pressure. Enalapril was particularly successful in reducing proteinuria and glomerular injury when combined with dietary salt restriction.

• Magazine of the Korea Concrete Institute
• /
• v.10 no.3
• /
• pp.153-164
• /
• 1998

본 연구는 양생온도의 영향에 따른 콘크리트의 장기강도 예측식을 개발하고, 기존에 보고된 데이터를 이용하여 제안식의 신뢰성을 검증하기 위한 것이다. 제안식은 반응률상수 모델을 이용하였으며, 콘크리트의 장기강도에 영향을 미치는 인자로 양생온도에 따른 확산장벽의 효과를 고려하였다. 제안식을 검증하기위하여 각각의 데이터를 28일 상대강도의비로바꾸어 -0.6~59.7$^{\circ}C$ 범위의 8개의 평균 양생온도에 대해서 회귀분석하였다. 회귀분석을통해 제안식의 온도 영향계수인 반응율상수, 한계강도, 반응지수를 양생온도에 따른 함수식으로 표현하였다. 제안식은 기존의모델식에 비해 신뢰성이 높았으며, 초기재령에서는 기존의 모델식등과 큰 차이를나타내지 않았으나 장기재령으로 갈수록 제안식의 정확도가 크게 높아짐을 알 수 있었다.

• Journal of Chest Surgery
• /
• v.34 no.2
• /
• pp.194-197
• /
• 2001

부식성 물질에 의한 양성 식도 협착 환자에서 식도 확장술이 일반적으로 사용되는 술식이나 협착부위가 잔존하여 연하곤란이 발생하므로 식도 재건술이 이용된다. 식도재건술은 대용 식도로 위관, 대장관, 소장관이 이용하여 광범위한 박리, 여러 부위의 절개, 문합부 대용 식도 위치에 따른 문제점 및 협착된 식도를 잔존시킴으로 식도암 발생가능성이 있으며 식도 재건술후 식도 기능의 문제점이 많다. 이에 시고 기능에 이상을 초래하지 않으면서 합병증이 적고 수술하기 쉬운 방법이 요구된다. 저자는 식도 근층만을 절개하고 점막하층을 박리한 후 협착부 점막만 절제하고 점막 단단 문합함으로 좋은 결과를 얻었기에 증례와 더불어 수술 방법을 소개하고자 한다.

• Proceedings of the Korean Society for Information Management Conference
• /
• 2005.08a
• /
• pp.65-70
• /
• 2005

계층적 문서 클러스터링에 있어서 실험집단에 따라 응집식 기법과 분할식 기법의 성능이 다르며, 이를 좌우하는 요소는 분류의 깊이, 즉 분류수준이라고 가정하였다. 조금만 나누면 되는 대분류인 경우는 상대적으로 분할식 기법이 유리하고, 조금만 합치면 되는 소분류인 경우에는 응집식 기법이 유리할 것이라고 판단했기 때문이다. 그에 따라 분할식 클러스터링 기법인 양분(Bisecting) K-means기법과 응집식 기법인 완전연결, 평균연결, WARD기법의 성능을 실험집단이 대분류인 경우와 소분류인 경우의 유사계수를 적용하여 각 기법별 성능을 비교하여 실험집단의 특성에 따른 적합 클러스터링 기법을 찾고자 하였다. 실험결과 응집식 기법과 분할식 기법의 성능 우열에 영향을 미치는 것은 분류수준보다는 변이계수로 측정된 상대적인 군집의 크기 편차인 것으로 나타났다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.04a
• /
• pp.415-418
• /
• 2002

상태 불변식은 도달 가능한 모든 상태에서 항상 만족되는 식이다. 이는 복잡한 시스템의 이해와 분석에 활용될 뿐만 아니라 시스템의 안전성, 일관성, 완전성 검사에 사용된다. 이와 같은 이유로, 상태 불변식의 추론은 폭 넓게 연구되었다. 기존의 연구에서는 시스템의 가능한 모든 상태를 고려하여 상태 불변식을 생성했다. 이러한 방법으로 생성된 상태 불변식은 매우 복잡하며 사용자가 이를 이해하고 활용하기가 어렵다. 본 연구에서는 두 가지 투영 방법을 통해 단순화된 상태 불변식을 생성한다. 첫째, 지정 범위를 통한 투영으로 고려해야 할 상태들을 줄인다. 둘째, 해당 범위에서 사용된 명제들로 상태 불변식을 투영하여 최소 부정 불변식을 찾고 이를 제거한다. 그 결과 사용자의 관심을 특정 범위와 명제에 집중시킬 수 있었으며 단순화된 상태 불변식을 통해 사용자의 이해와 활용도를 높일 수 있었다.

• Journal of Bio-Environment Control
• /
• v.1 no.2
• /
• pp.169-174
• /
• 1992

This experiment was carried out to investigate the possibility of practical use of intermittent soaking system(ISS) in hydroponicaly growing tomato. There were four treatments which were NFT, Aeroponics, and ISS with 10 and 15 minute soaking intervals. 1. Plant height is highest in NFT, but main root length is longest in ISS. While stem diameter and leaf number were not significantly difference. 2. Fresh and dry weight were heavier in NFT than those of other systems at early growth stage, but the heavier in ISS system, the growth more develop. 3. In 43 days after treatment, the number of flowerlet was largest in aeroponics, and then ISS and NFT in order. Fruit weight per plant was also heaviest in aeroponics. 4. Average yield per plant were 1929.1g in aeroponics, 1475.2g in ISS with 10 minute soaking interval, 1276.2g in NFT and 1084.8g in ISS with 15 minute soaking interval. 5. Average fruit number per plant were 11.0 in aeroponics, 9.7 in NFT, 8.3 in ISS with 15 minute soaking interval, and 7.7 in ISS with 10 minute soaking interval. Average fruit weight were 192.9g in aeroponics, 172.4g in ISS with 10 minute soaking interval, 134.0g in NFT and 126.0g in ISS with 15 minute soaking interval. 6. Average fruit length was longer in aeroponics and ISS with 10 minute soaking interval than in the NFT and ISS with 15 minute soaking interval. Average fruit width was similarly wider in NFT, aeroponics and ISS with 10 minute soaking interval than in ISS with 15 minute soaking interval.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2006.05a
• /
• pp.144-148
• /
• 2006

본 연구의 목적은 기존 수위-유량곡선식 개발과정에 내재되어 있던 목적함수 문제와 곡선식 개발과 정에서 대두된 발산과 처리 불능문제를 해결하기 위해서 새로운 형태의 관계식$(Q=p(h-e)^{\beta}-{\gamma})$과 비선형 매개변수 추정방법을 이을 제안하고 이러한 신개념의 수위-유량곡선식 산정모형을 개발하는데 있다. 기존 수위-유량곡선식은 기존수위-유량자료를 log변환하여 산정된 목적함수는 저수위에 비하여 고수위 부분에 잘못된 유량 값을 추정하는 문제를 갖고 있다. 기존의 발산 문제는 영유량 수위 매개변수 e를 찾고 추정된 식의 목적함수을 수렴하는 동안 매개변수 ${\beta}$가 비정상적으로 커지는 것이다. 이상의 두 가지 문제는 제어변수 ${\gamma}$를 도입하고 목적함수, $min{\sum}w(i)(Q-\hat{Q})^2$를 도입함으로서 개선 할 수 있게 되었다. 본 연구에서는 물리적 분석과 민감도 분석을 통하여 수위-유량곡선식에서 매개변수 ${\gamma}$의 영향이 e의 영향과 같음을 보였다. 또한 개발된 WinCARD 시스템은 기존의 목적함수에 의한 추정오차와 새롭게 제안된 목적함수의 개선사항을 상호 비교할 수 있게 하였다. 본 개발프로그램은 기존 수위-유량곡선식의 적합도를 평가하고, 하천유량 산정을 위한 신개념의 수위-유량곡선식을 개발하는데 활용될 수 있다.