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.
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.
Kim Kee-Hyuk;Kim Sang-Yun;Kang Yong-Joo;Maeng Won-Jae;Kim Kyo-Sun
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.
본 연구는 양생온도의 영향에 따른 콘크리트의 장기강도 예측식을 개발하고, 기존에 보고된 데이터를 이용하여 제안식의 신뢰성을 검증하기 위한 것이다. 제안식은 반응률상수 모델을 이용하였으며, 콘크리트의 장기강도에 영향을 미치는 인자로 양생온도에 따른 확산장벽의 효과를 고려하였다. 제안식을 검증하기위하여 각각의 데이터를 28일 상대강도의비로바꾸어 -0.6~59.7$^{\circ}C$ 범위의 8개의 평균 양생온도에 대해서 회귀분석하였다. 회귀분석을통해 제안식의 온도 영향계수인 반응율상수, 한계강도, 반응지수를 양생온도에 따른 함수식으로 표현하였다. 제안식은 기존의모델식에 비해 신뢰성이 높았으며, 초기재령에서는 기존의 모델식등과 큰 차이를나타내지 않았으나 장기재령으로 갈수록 제안식의 정확도가 크게 높아짐을 알 수 있었다.
부식성 물질에 의한 양성 식도 협착 환자에서 식도 확장술이 일반적으로 사용되는 술식이나 협착부위가 잔존하여 연하곤란이 발생하므로 식도 재건술이 이용된다. 식도재건술은 대용 식도로 위관, 대장관, 소장관이 이용하여 광범위한 박리, 여러 부위의 절개, 문합부 대용 식도 위치에 따른 문제점 및 협착된 식도를 잔존시킴으로 식도암 발생가능성이 있으며 식도 재건술후 식도 기능의 문제점이 많다. 이에 시고 기능에 이상을 초래하지 않으면서 합병증이 적고 수술하기 쉬운 방법이 요구된다. 저자는 식도 근층만을 절개하고 점막하층을 박리한 후 협착부 점막만 절제하고 점막 단단 문합함으로 좋은 결과를 얻었기에 증례와 더불어 수술 방법을 소개하고자 한다.
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
상태 불변식은 도달 가능한 모든 상태에서 항상 만족되는 식이다. 이는 복잡한 시스템의 이해와 분석에 활용될 뿐만 아니라 시스템의 안전성, 일관성, 완전성 검사에 사용된다. 이와 같은 이유로, 상태 불변식의 추론은 폭 넓게 연구되었다. 기존의 연구에서는 시스템의 가능한 모든 상태를 고려하여 상태 불변식을 생성했다. 이러한 방법으로 생성된 상태 불변식은 매우 복잡하며 사용자가 이를 이해하고 활용하기가 어렵다. 본 연구에서는 두 가지 투영 방법을 통해 단순화된 상태 불변식을 생성한다. 첫째, 지정 범위를 통한 투영으로 고려해야 할 상태들을 줄인다. 둘째, 해당 범위에서 사용된 명제들로 상태 불변식을 투영하여 최소 부정 불변식을 찾고 이를 제거한다. 그 결과 사용자의 관심을 특정 범위와 명제에 집중시킬 수 있었으며 단순화된 상태 불변식을 통해 사용자의 이해와 활용도를 높일 수 있었다.
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.
Park, Jae-Young;Oh, Byoung-Dong;Kim, Jae-Bog;Chae, Hyo-Sok
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 시스템은 기존의 목적함수에 의한 추정오차와 새롭게 제안된 목적함수의 개선사항을 상호 비교할 수 있게 하였다. 본 개발프로그램은 기존 수위-유량곡선식의 적합도를 평가하고, 하천유량 산정을 위한 신개념의 수위-유량곡선식을 개발하는데 활용될 수 있다.
본 웹사이트에 게시된 이메일 주소가 전자우편 수집 프로그램이나
그 밖의 기술적 장치를 이용하여 무단으로 수집되는 것을 거부하며,
이를 위반시 정보통신망법에 의해 형사 처벌됨을 유념하시기 바랍니다.
[게시일 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일부터 적용되며, 종전 약관은 본 약관으로 대체되며, 개정된 약관의 적용일 이전 가입자도 개정된 약관의 적용을 받습니다.