• The Journal of the Acoustical Society of Korea
• /
• v.15 no.4
• /
• pp.98-104
• /
• 1996

This paper propose the alteraton rule to compensate a formant trasition of several connected vowels for improving an unnatural synthesized continuous speech which is concatenated by each demisyllable without coarticulated formant transition for use in dmisyllable based synthesis by rule. To fullfill each formant transition part, the database of 42 stationary vowels which are segmented from the stable part of each vowels is appended to the one of Korean demisyllables, and the resonance circuit used in formant synthesis is employed to change the formant frequency of speech signals. To evaluate the synthesied speech by this rule, we carried out the alteration rule for connected vowels of the synthesized speech based on demisyllable, and compare spectrogram and MOS tested scores with the original and the demisyllable based synthesized speech without this rule. The result shows that this proposed rule can synthesize the more natural speech.

• Journal for History of Mathematics
• /
• v.23 no.3
• /
• pp.45-56
• /
• 2010

Sequent Calculus is a symmetrical version of the Natural Deduction which Gentzen restructured in 1934, where he presents 'Hauptsatz'. In this thesis, we will examine why the Cut-Elimination Theorem has such an important status in Proof Theory despite of the efficiency of the Cut Rule. Subsequently, the dynamic side of Curry-Howard correspondence which interprets the system of Natural Deduction as 'Simply typed $\lambda$-calculus', so to speak the correspondence of Cut-Elimination and $\beta$-reduction in $\lambda$-calculus, will also be studied. The importance of this correspondence lies in matching the world of program and the world of mathematical proof. Also it guarantees the accuracy of program.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.27 no.10
• /
• pp.138-145
• /
• 1990

This paper present a rule-based speech synthesis method for improving the naturalness of synthetic speech and using the small data base based on demisyllable units. A 12-pole Linear Prediction Coding method is used to analyses demisyllable speech signals. A syllable and vowel concatenation rule is developed to improve the naturalness and intelligibility of the synthetic speech. in addiion, phonological structure transform rule using neural net and prosody rules are applied to the synthetic speech.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.19 no.1
• /
• pp.253-259
• /
• 2019

The wedding seating problem(WSP) is to finding a minimum loss of guest relations(sit together preference) with restricted seats of a table for complex guest relation network. The WSP is NP-hard because of the algorithm that can be find the optimal solution within polynomial-time is unknown yet. Therefore we can't solve the WSP not computer-assisted programming but by hand. This paper suggests min-cut rule theory that the two guests with maximum preference can't separate in other two tables because this is not obtains minimum loss of preference. As a result of various experimental, this algorithm obtains proper seating chart meet to the seats of a table constraints.

• The Journal of the Acoustical Society of Korea
• /
• v.13 no.1
• /
• pp.71-83
• /
• 1994

This paper deals with the improvement of the synthesized speech quality and naturality in the Korean TTS(Text-to-Speech) system. We had extracted the parameters(table2) such as its amplitude, duration and pitch period in a syllable through the analysis of speech waveforms(table1) in the time domain and synthesized syllables using them. To the frequencies of the Korean pronunciation large vocabulary dictionary we had synthesized speeches selected 229 syllables such as V types are 19, CV types are 80. VC types are 30 and CVC types are 100. According to the 4 Korean syllable types from the data format dictionary(table3) we had tested each 15 syllables with the objective MOS(Mean Opinion Score) evaluation method about the 4 items i.e., intelligibility, clearness, loudness, and naturality after selecting random group without the knowledge of them. As the results of experiments the qualities of them are very clear and we can control the prosodic elements such as durations, accents and pitch periods (fig9, 10, 11, 12).

• Applied Chemistry for Engineering
• /
• v.7 no.6
• /
• pp.1142-1146
• /
• 1996

Cholesterol-containing surfactant was synthesized, and it was sonicated with monomer in water to form a vesicle solution. This vesicle solution was dried to construct a membrane which had a molecular multilayer structure. Using UV irradiation the monomer in this membrane were polymerized, and then surfactant was extracted by organic solvent. Using a X-ray diffractometer, the thickness of one layer and the regularity of the multilayer were measured. And scanning electron microscopy was conducted for fractured polymer film.

• Journal of Sensor Science and Technology
• /
• v.8 no.1
• /
• pp.1-9
• /
• 1999

A study has been made on the fabrication of a dual mode(a longitudinal and shear mode) ultrasonic sensor using a single PZT piezoelectric ceramic element. We investigated the mechanism of the dual mode sensor that generated both of the longitudinal and the shear waves simultaneously with the single PZT element. Through the analysis of analytic wave propagation equations, all the possible crystal cuts have been examined to determine appropriate Euler transformation angles for efficient excitations of the dual modes. We studied the performance of a PZT element as a function of its rotation angle so that its efficiency is optimized to excite the two waves of equal strength. Experimental examination of the waveform on a delay line(STS303) setup confirms that the ultrasonic sensor can transmit and detect both longitudinal and shear waves simultaneously.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.39 no.3
• /
• pp.191-200
• /
• 2002

In this paper, we present the method transforming the interval functions into the truncated difference functions for multi-variable multi-valued functions and implementing the truncated difference functions to the multiple valued logic circuits with uniform patterns using the current mirror circuits and the inhibit circuits by current-mode CMOS. Also, we apply the presented methods to the implementation of circuits for additive truth table of 2-variable 4-valued MOD(4) and multiplicative truth table of 2-variable 4-valued finite fields GF(4). These circuits are simulated under 2${\mu}{\textrm}{m}$ CMOS standard technology, 15$mutextrm{A}$ unit current, and 3.3V power supply voltage using PSpice. The simulation results have shown the satisfying current characteristics. Both implemented circuits using current-mode CMOS have the uniform Patterns and the regularity of interconnection. Also, it is expansible for the variables of multiple valued logic functions and are suitable for VLSI implementation.

• Journal of Arbitration Studies
• /
• v.21 no.2
• /
• pp.3-25
• /
• 2011

국제상사중재를 다루는 중재판정부의 중재인은 당사자들 간의 유효한 합의를 통하여 구속력 있는 중재판정을 행사할 권한을 가진다. 중재계약에 다른 정함이 없는 한 중재인의 판정권에 대한 결정은 중재인 자신이 내린다. 중재인은 중재합의에 의하여 그 권한이 부여된 사건에 대해서만 권한을 갖게 되나, 명시적으로 그 권한에 따라야 하는 사건 외에 당해 사건을 해결하기 위하여 처리하지 않으면 안 될 모든 문제, 즉 당해 사건과 절단될 수 없는 형태로 연계되어 있는 문제 또는 그 부차적인 조건의 문제를 해결하여야 하는 책임을 지게 된다. 중재판정부는 그 자율적인 권한범위를 규율하는 권한을 가지며, 그 권한 속에는 중재합의의 존부 또는 효력에 관한 것도 포함된다. 중재인의 판정권에 이의가 있는 당사자는 법원에 중재계약의 부존재 무효 확인을 청구할 수 있고, 중재판정이 이미 내려진 경우에는 중재판정취소의 소를 제기하거나, 집행판결에서 이의를 제기할 수 있다. 우리 중재법의 입장에서 국제중재판정의 판정기준에 대해 는 중재판정부는 당사자들이 지정한 법에 따라 중재판정을 내려야 하며, 특정 국가의 법 또는 법체계가 지정된 경우에 달리 명시되지 아니하는 한 그 국가의 국제사법이 아닌 분쟁의 실체법을 지정한 것으로 보고 있다. 국제중재의 법적 안정성, 예측가능성의 관점에서 실정법을 그 판단의 규준으로 삼는다. 한국의 국제중재의 특성은 국제성 중립성, 보편성을 보장받는 점이다. 중재인 구성원은 세계 각국의 국적을 가진 전문 중재인들이 참가하고 있다. 중재절차에 있어서도 중재인은 실체법이나 절차법, 또는 법률의 상충에 관계없이 어느 특정법률을 적용하도록 강요받지 않고 각각의 경우에 가장 적합한 법률에 따르며 중재판정부의 진행절차는 국제중재규칙에 의해 규율된다.

• Restorative Dentistry and Endodontics
• /
• v.26 no.4
• /
• pp.350-359
• /
• 2001

목적 - 근관형성시 근관내 상아질벽에는 항상 도말층(smear layer)이 형성되는데, 이는 상아질, 치수조직 잔사, 조상아세포 돌기, 때로는 미생물 등으로 구성되며, 주사전자현미경상으로는 비규칙적이며, 무정형의 구상(granular)구조물로 관찰된다. 본 연구에서는 도말층의 유무에 따른 혐기성 미생물, Prevotella nigrescens의 근관내 상아질 부착정도를 주사전자현미경으로 평가하고자 한다. 지금까지 사용되었던 실험방법에 비하여 보다 임상적 환경에 가까운 실험방법을 고안, 신빙성 있는 연구결과를 기대할 수 있도록 하였다. 방법 - 치주질환이나 외상 등의 원인으로 발거된 상, 하악 전치 18개를 사용하였다. 각 치아의 치관부를 백악법랑경계부위에서 절단하고, 1군(5개치아)은 10ml의 생리식 염수를, 2군(5개치아)과 3군(5개치아)은 10ml의 3.5% NaOCl을 근관관주용액으로 사용하여 근관형성을 하였다. 근관형성 완료후 1군과 2군은 10ml의 생리식염수로, 3군은 10ml의 0.5M EDTA용액으로 final flush를 시행하여, 3군의 도말층을 제거하였다. 치근수직절단과 ethylene oxide(EO) gas 소독후 1, 2, 3군의 시편(각군10개시편)을 Prevotella nigrescens가 부유된 Brain Heart Infusion with Yeast estract, Hemin and Menadione(BHIYHM) broth내에 37$^{\circ}C$에서 3시간 동안 incubation했다. 4, 5, 6군은 실험과정을 검증하기 위한 대조군으로써, 4군(1개치아)과 5군(1개치아)은 1군, 2군과 같이 각각 생리식염수와 NaOCl만을 이용한 근관형성으로 도말층을 잔존시키고, 6군(1개치아)은 3군과 같이 NaOCl과 EDTA를 적용하여 도말층을 제거한 후, 치근 수직절단과 EO gas 소독을 시행했다. 모든 시편(1, 2, 3, 4, 5, 6군)을 통상의 방법에 따라 처리한 후 주사전자현미경을 통하여 관찰, 근관내면에 부착되어 있는 Prevotella nigrescens의 개수, 모양, 상아세관 및 도말층과의 관계 등을 관찰, 비교, 분석하였다. 결과는 t-test와 one-way ANOVA를 통하여 통계처리 하였다. 결론 - 1. 근관형성 후 근관내 상아질 표면 전체는 도말층으로 덮여 있는 양상을 보였다. 2. 3.5% NaOCl과 0.5M EDTA를 적용하여 근관내 도말층을 효과적으로 제거할 수 있었으며, 상아세관 개구부가 확연히 노출되어 있는 소견을 관찰할 수 있었다. 3. 도말층이 덮인군에서 미생물의 부착이 유의성 있게 높았다(P<0.05). 4. 근관 형성중 형성되어 근관 상아질을 덮고 있는 도말층이 미생물의 부착을 증가시켜, 근관 재감염의 기회를 증가시킴을 알 수 있었다.