• Korean Journal of Logic
• /
• v.6 no.1
• /
• pp.69-77
• /
• 2003

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

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.06d
• /
• pp.1-6
• /
• 2007

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

• Journal of the Korean GEO-environmental Society
• /
• v.6 no.2
• /
• pp.39-49
• /
• 2005

In this study, the fifteen month behavior of two geosynthetic reinforced walls which was constructed on the shallow weak ground was measured and analyzed. The walls were backfilled with clayey soil obtained from the construction site nearby, and the safety factors obtained from general limit equilibrium analysis were less than 1.3 in both wall. The measured and analyzed data were horizontal earth pressures, strain of reinforcements, and excess pore water pressures. The used reinforcements were nonwoven geotextile, woven geotextile and geogrid. Although the length of reinforcement was only 30% of wall height and the safety factors of the walls were less than 1.3, the walls were constructed without any problems on the such weak ground. The analysis results showed that the maximum strain of reinforcements were negligible and the strain was between 2.3 and 6.0% according to tensile characteristic of the reinforcements. The excess pore water pressure was not changed due to the rainfall and the horizontal earth pressures in upper and lower part of the walls were larger than the active and the rest pressure.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.38A no.6
• /
• pp.471-478
• /
• 2013

Powerful error control and increase in the number of bits per symbol should be provided for future high-quality communication systems. Each message bit may have different importance in multimedia data. Hence, UEP(unequal error protection) may be more efficient than EEP(equal error protection) in such cases. And the LDPC(low-density parity-check) code shows near Shannon limit error correcting performance. Therefore, the effect of UEP with LDPC codes is analyzed for high-quality message data in this paper. The relationship among MSE(mean square error), BER(bit error rate) and the number of bits per symbol is analyzed theoretically. Then, total message bits in a symbol are classified into two groups according to importance to prove the relationship by simulation. And the UEP performance is obtained by simulation according to the number of message bits in each group with the constraint of a fixed total code rate and codeword length. As results, the effect of UEP with the LDPC codes is analyzed by MSE according to the number of bits per symbol, the ratio of the message bits, and protection level of the classified groups.

• Journal of Animal Science and Technology
• /
• v.46 no.3
• /
• pp.427-436
• /
• 2004

The current study was conducted to determine the effect of suspension method on satisfaction level of Korean consumers and objective meat quality traits in Hanwoo longissimus dorsi(LD), triceps brachii(TB) and semimembranosus(SM) muscles. Eighteen Hanwoo steers were slaughtered and alternative sides were hung either by pelvic bone(TS) or Achilles tendon(Al). Sensory characteristics, WB-shear force, sarcomere length, water-holding capacity, saroomere length and cooking loss were determined after a 7-d chiller ageing. Higher carcass quality grade received significantly(p < 0.05) greater eating quality for LD, but the grade did not affect eating quality for both TB and SM. TS did not influence objective and subjective meat quality for TB, but that significantly(P < 0.05) improved eating quality for LD and SM. The most noticeable result was that when SM was tenderstretehed, eating quality was equivalent to that of nonna1ly hung LD. In relationship between objective and subjective meat quality assessments, eating qualty for LD had a significant(P < 0.05) relationship with intramuscular fat content, while that for SM was greatly(P < 0.05) related to saroomere length. The current study indicated that pelvic hanging was an effective way to improve eating quality both LD and SM, and carcass quality grades did not greatly reflect eating quality of SM and TB. The data also implied that instnunental measurements poorly estimated the satisfaction level of Korean conswners.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.9 no.5
• /
• pp.590-597
• /
• 1985

A recursive geometric adaptive control method to compensate for machining straightness error in the finished surface due to tool deflection and guideway error generated by end milling process is developed. The relationship between the tool deflection and the feedrate is modeled by a modified Taylor's tool life equation. Without a priori knowledge on the variations off cutting parameters, time varying parameters are then estimated by an exponentially windowed recursive least squares method with only post-process measurements of the straightness error. The location error is controlled by shifting the milling bed in the direction perpendicular to the finished surface and adding a certain amount of feedrate with respect to the tool deflection model before cutting. The waviness error is compensated by adjusting the feedrate during machining. Experimental results show that location error is controlled within a range of fixturing error of the bed on the guideway and that about 60% reduction in the waviness error can be achieved within a few steps of parameter adaption under wide operating ranges of cutting conditions even if the parameters do not converge to fixed values.

• Membrane Journal
• /
• v.30 no.3
• /
• pp.181-189
• /
• 2020

In the present study, a biomimetic alumina membrane was fabricated by using selenic acid as an electrolyte to overcome the asymmetry limit of the square pulse anodization process. The prepared membrane has conical channels with a minimum diameter of 10 nm, a maximum diameter of 50 nm, and a length of 5 ㎛. The rectification property was higher than membranes fabricated by sulfuric acid. It showed 2.9 times larger current at +1 V than -1 V. Also, the membrane, which sulfonic acid group was introduced by surface modification, showed 4.2 times larger rectification property at -1 V than +1 V. Theoretical verifications were supported by the numerical analyses of 2D models. The results of the present study present a convenient method to fabricate two type membranes with different rectification properties and are expected to be used to control ion transport.