• 논리연구
• /
• 제6권1호
• /
• pp.69-77
• /
• 2003

본 논문은 겐첸의 정식열(sequent) 계산에서 자름규칙(cut)을 제거한 경우 증명의 길이는 어떻게 달라지는가를 다루고 있다. 특히 본 논문은 명제 논리에 있어서 공리를 원자 정식으로만 삼는 체계의 경우 증명의 길이는 번화가 없음을 증명하는 것을 목적으로 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2007년도 한국컴퓨터종합학술대회논문집 Vol.34 No.1 (D)
• /
• pp.1-6
• /
• 2007

무선 인터넷 통신은 유선 인터넷 통신보다 더욱 정보 노출이 쉬운 상태여서 강도 높은 보안 솔루션이 요구된다. 본 논문에서는 무선 인터넷의 암호 시스템을 위해, 키 길이가 짧아 처리 속도가 빠른 타원 곡선 알고리즘을 사용한 신뢰된 파티가 없는 쓰레시홀드 암호시스템을 제안한다. 따라서 제안한 시스템은 타원 곡선 알고리즘 사용으로 휴대 단말기 용량 한계에 부딪혔던 WPKI(Wireless Public Key Infrastructure) 서비스를 개선할 수 있으며, 신뢰된 파티를 보장할 수 없는 무선 인터넷 통신에서 안전한 그룹 통신을 할 수 있게 된다. 또한 제안한 시스템은 다양한 타원 곡선을 활용할 수 있는 타원 곡선 암호시스템 장점으로 다양한 암호시스템 설계가 가능하다는 것이 증명되었다.

• 한국지반환경공학회 논문집
• /
• 제6권2호
• /
• pp.39-49
• /
• 2005

보강토벽의 안정성을 증명하고, 경제성의 극대화를 도모하기 위해, 본 연구에서는 뒤채움재로 현지 점성토를 사용하고 보강재로 부직포와 직포 그리고 부직포와 지오그리드를 혼합 배치하여 일반적인 한계평형해석으로는 안전율이 1.3미만인 2개의 실물 보강토벽을 얕은 연약지반 상에 구축하여 보강재, 수평토압, 그리고 간극수압 등의 거동을 약 15개월 동안 계측 및 분석하였다. 보강재의 길이를 보강토벽 높이의 30%로 설계하였고, 그에 따라 일반적인 한계평형해석에 의한 보강토벽의 안전율이 1.3미만 임에도 불구하고 2개의 실물보강토벽이 얕은 연약지반 상에 안전하게 구축되었고, 분석결과 보강재의 최대변형은 보강재의 특성에 따라 2.3~6.0%로 안전하고, 간극수압은 강우의 영향을 거의 받지 않는 것으로 나타났으나 수평토압은 안전율과 부등침하 등의 영향으로 보강토벽의 상 하부에서 주동토압과 정지토압보다 큰 것으로 나타났다.

• 한국통신학회논문지
• /
• 제38A권6호
• /
• pp.471-478
• /
• 2013

미래의 고품질 통신 시스템을 위해서는 더욱 강력한 오류제어기법과 메시지 심볼 당 비트수의 증가가 요구되고 있다. 멀티미디어 데이터에서 메시지 비트들은 서로 다른 중요도를 가질 수 있다. 그러므로 이 경우, EEP(equal error protection) 보다는 UEP(unequal error protection)를 사용하는 것이 더 효과적일 수 있다. 그리고 LDPC(low-density parity check) 부호는 Shannon 한계에 근접하는 우수한 성능을 보인다. 따라서 본 논문에서는 고품질 메시지 데이터에 대한 LDPC 부호의 UEP 효과를 분석한다. MSE(mean square error)와 BER(bit error rate)과 심볼당 비트수의 관계를 이론적으로 분석하고 모의실험을 통하여 증명한다. 이를 위하여 전체 메시지비트를 중요도에 따라 두 그룹으로 나눈 후 전체 부호율과 부호어 길이를 고정시키고 각 그룹의 메시지 비트수를 변화시켜가며 모의실험을 통하여 UEP 성능을 나타내었다. 이 결과를 통하여 심볼당 비트수, 전체 메시지비트에서 각 그룹의 비율, 그리고 각 그룹의 보호정도에 따른 LDPC 부호의 UEP 성능을 분석하였다.

• Journal of Animal Science and Technology
• /
• 제46권3호
• /
• pp.427-436
• /
• 2004

본 연구는 현수방법이 한우 육질에 미치는 영향과 근육간 육질특성 차이에 영향을 주는 요인을 평가하기 위해 수행되었다. 총 18두 한우 거세우의 좌도체와 우도체를 순차적으로 tendaerstretch(TS) 처리하고, 다음날 양 도체의 longissimus(LD), semimembranosus(SM), tricepsbrachii(TB)을 발골하여 7일 동안 숙성하였다. 관능검사는 한국식 바베큐(BBQ)와 서양식 스테이크(Grill) 방법으로 360명을 대상으로 실시하였고, 동시에 전단력, 보수력, 가열 감량, 근절길이와 근내 조지방 함량을 측정하였다. 소비자 맛 지수는 도체 육질등급이 높은 경우 LD는 높았으나(P < 0.05), TB는 차이가 없었다. 한편, SM은 Grill의 경우에만 높은 듭급이 높은(P < 0.05) 값을 없었다. 이 결과는 높은 도체 육질등급은 LD의 경우 맛이 우수하다는 것을 증명하나, SM과 TB의 맛은 대변하지 못한다는 것을 시사한다. Tenderstretch는 TB의 관능 특성 및 물리적 육질 특성에는 영향을 미치지 않았고, 다른 근육의 가열 감량에도 영향을 미치지 않았다. 한편, 이 현수 방법은 LD와 SM의 근절길이와 맛 지수를 증가(P < 0.05) 시키고 전단력을 감소(P < 0.05) 시켰다. 이 결과는 시료가 7일 동안 냉장 숙성되었다는 점을 고려할 때, 결체조직의 약화와 관련되었다는 것을 시사하고 있다. 도체 육질등급에 따른 현수방법의 특별한 효과는 대부분 육질 특성에는 관찰되지 않았으나, tenderstretch된 SM의 맛 지수가 처리를 하지 않은 LD와 동하였다. 이 결과는 소비자들이 tenderstretch한 우둔을 불고기 형태로 소비했을 경우 등심과 같은 맛을 느낄 수 있다는 것을 의미한다. 소비자 맛 지수와 기계적 육질 측정치와의 상관관계에서, LD의 경우 근내지방과 유의적(P < 0.05) 상관관계를 보였고, SM의 경우는 근절길이와 유의적(P < 0.05) 관계를 보였다. 이 결과는 근육에 따라 맛을 대변할 수 있는 예측 요인이 다르다는 것을 시사한다. SM의 경우 보수력과 가열 감량이 높은 음의 상관관계를 보여, 보수력과 가열 감량과의 관계를 잘 나타내고 있으나, 다른 근육에서는 높은 상관도가 관찰되지 않았다. 소비자가 느끼는 맛 차이를 포함하여 실험실적 측정요인을 이용한 근육간 별별력 검사를 하였을때 약 77%의 확률에서 분류되었다. 근육간 차이에서 가장 큰 요인은 맛지수였고, 가열 감량과 근절길이도 큰 요인으로 작용했다. 이 결과는 전단력 측정의 절대치와 맛과의 관계는 근육에 따라 다르다는 것을 나타내며, 근육간 맛 차이는 전단력보다 가열 감량과 근절길이가 설명력이 높다는 것을 나타냈다. 본 연구 결과는 Tenderstretch는 우둔과 같은 비인기부위의 맛 지수를 높이는데 유용한 방법이고, 기계적인 육질측정 방법이 국내 소비자 맛 지수를 예측하는데 한계가 있다는 것을 시사한다.

• 대한기계학회논문집
• /
• 제9권5호
• /
• pp.590-597
• /
• 1985

본 논문에서는 위치오차는 가공전 밀링베드를 수치제어 장치를 이용하여 가공 면에 수직한 방향으로 움직여 수치제어 장치인 스텝모우터의 분해능 한계 내에서 보정 하고 또한 공구휨에 상당하는 만큼 이 송속도를 더함으로써 제어하며, 파형오차는 이 송속도와 공구처짐 사이의 관계를 수정된 Taylor의 공구식으로 모형화하고 절삭공정중 이송속도를 적절히 조절하여 공구의 휨양을 제어함으로써 스텝모우터를 갖는 밀링머시 인에서 길이 508mm,두께 20mm의 두꺼운 철판을 평면절삭하는 경우 직진도오차를 최소 로 하는 GAC 방법을 개발하였다.측정은 밀링머시인 자체의 구조적, 동적변화나 절삭 조건의 변화, 공구의 재질 및 마멸상태의 변화, 공작물의 재질 변화등에 적응할 수 있 도록 Fig. 2에 보인 바와 같이 등간격으로 배열된 100개의 위치에서 가공후(post-pro- cess)측정을 통하여 취하였고, 절삭계수의 추정은 측정점을 각각 10개씩 10개의 구간 으로 묶어 각 구간에서의 계의 특성이 변하지 않는다는 가정하에서 계수를 지수가중 반복최소 자승(exponentially weighted recursive least squares, EWRLS)법을 이용하 여 추정하였고, 실제 절삭작업중 모델의 계수변화에 대한 사전 지식이 없이도 이들 계 수들을 보정시킴으로써 최적의 직진도를 얻을 수 있는 절삭조건을 제시하였다. 그리 고 이 방법의 도입으로 단일(SINGLE-PASS)밀링작업이 가능함을 보였고 또한 방법의 타 당성을 증명하기 위하여 여러 경우의 절삭상태에서 실험을 수행하였다.

• 멤브레인
• /
• 제30권3호
• /
• pp.181-189
• /
• 2020

본 연구에서는 생체모방형 비대칭 분리막 제조방법인 사각펄스양극산화법의 비대칭성 한계를 극복하기 위해 최근 보고된 셀렌산 전해액을 이용하고 표면개질에 따른 정류특성을 평가하였다. 분리막의 비대칭 원뿔형 채널은 최소직경이 10 nm이고 최대직경이 50 nm이며 길이가 5 ㎛이었다. 분리막의 정류특성은 기존 황산 전해액에서 제작된 것보다 높았으며 +1V에서의 전류가 -1 V일 때보다 최대 2.9배를 나타내었다. 또한, 실란화 반응을 이용한 표면개질을 통해 술폰산기를 도입한 분리막은 반대로 -1 V에서의 전류가 +1 V일 때보다 전류의 최대 4.2배인 정류특성을 나타냈다. 실험에 대한 이론적 증명은 2D 모델에 수치해석 결과를 제시함으로써 뒷받침되었다. 본 연구의 결과는 서로 다른 정류방향을 갖는 두 종류의 이온 정류 분리막을 손쉽게 제작할 수 있는 방법을 제시하며 이온의 이동을 제어하기 위한 다양한 연구 분야에 활용될 수 있을 것으로 기대된다.