• 음성과학
• /
• 제9권1호
• /
• pp.149-171
• /
• 2002

After establishing the rules for the phonetic transcription in French, quantitative analysis on the given text, Waiting for Godot, is performed. Analyzing the text by investigating the influence of phoneme distribution is very interesting in the phonostylistic point of view. Since the phonetic transcription rules are useful for its automation, the rules are carefully established in this paper. From the results of the phonetic transcription, we can investigate the distribution of individual phonemes and the different phoneme groups between dialogues and scenery indications for various characters.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제4권3호
• /
• pp.411-427
• /
• 2010

Data sharing is an essential process for collaborative works particularly in the banking, finance and healthcare industries. These industries require many collaborative works with their internal and external parties such as branches, clients, and service providers. When data are shared among collaborators, security and privacy concerns becoming crucial issues and cannot be avoided. Privacy is an important issue that is frequently discussed during the development of collaborative systems. It is closely related with the security issues because each of them can affect the other. The tradeoff between privacy and security is an interesting topic that we are going to address in this paper. In view of the practical problems in the existing approaches, we propose a collaborative framework which can be used to facilitate concurrent operations, single point failure problem, and overcome constraints for two-party computation. Two secure computation protocols will be discussed to demonstrate our collaborative framework.

• 생약학회지
• /
• 제3권1호
• /
• pp.1-10
• /
• 1972

Syllabary called Idu that used the Chinese characters to transcribe the sounds of Korean was superseded by the Korean alphabet in the 15th century. In the middle of Koryo Dynasty, 'Hyang-yak-myeong'(鄕藥名), the Idu common names of herbs began to appear in herbal books of Korea as the synonyms of the Chinese names. Those Idu names were also introduced by the Japanese herbals such as 'Honzo-komoku-keimo' (本草綱目 啓蒙) and it is interesting to point out that some of them were mistakenly cited in the books for lack of the knowledge of Korean language.

• 논리연구
• /
• 제7권1호
• /
• pp.67-83
• /
• 2004

The purpose of this paper is to defend Kripke's theory of truth from Simmons' objection. First after introducing various sorts of the liar paradox, briefly I explain Tarski's attempt to solve the puzzle. Then, I outline Kripke's solution by using the concept of 'fixed point'. Simmons offers an interesting objection against Kripke's solution. He uses a diagonal argument in his attack to Kripke's idea. I claim that Simmons seem to use 'exclusion negation' in refuting Kripke. I think, however, there is an alternative interpretation, which is 'choice negation'. With using choice negation, I maintain that Kripke's theory of ruth can be defended from Simmons' objection.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2003년도 학술회의 논문집 정보 및 제어부문 A
• /
• pp.27-30
• /
• 2003

Wireless power transmission system is one of the very interesting field not only in a technical and economical point of view but also that people are still trying to realize lossless power transmission. This paper has a purpose on the efficient power transmission at the passive type ICcard by using wireless power transmission system. The most difficult but important part of the passive type RF-ID system is building the system that supplies power from Reader-antenna to IDcard-antenna. To check what is the most efficient way to deliver power depending on what kind of specifications of the power-amp in reader, antenna and antenna in IDcard is for operating IDcard circuit efficiently receiving the power from reader-antenna. For this, we used 125kHz sinewave for RF signal as a basic specification, power-amp : OP-Amp for amplifying signal and AB Class push-pull power-amp for amplifying power, loop type antenna.

• 한국실내디자인학회논문집
• /
• 제16권1호
• /
• pp.119-125
• /
• 2007

Changing depends on the one and only out of many design elements constituting the outside, and a Lighting design has an easy characteristic among space. Therefore accuse various sensitivity to watch when lighted up the same environment with Lighting of other colors, and it is an interesting point to show a communication tendency of a Lighting design in the present age escape from a general idea transmit a change of sight to a man of experience directly, and to clarify space simply, and to show various power of expression. The study of a book tried to make a searching examination for a generation cause of this tendency by trying to observe the modern Lighting design tendency that various desires were reflected in of the modern society in various general ideas of communication.

• 대한수학회지
• /
• 제46권4호
• /
• pp.747-758
• /
• 2009

In this paper, we investigate the growth and fixed points of meromorphic solutions of higher order linear differential equations with meromorphic coefficients and their derivatives. Because of the restriction of differential equations, we obtain that the properties of fixed points of meromorphic solutions of higher order linear differential equations with meromorphic coefficients and their derivatives are more interesting than that of general transcendental meromorphic functions. Our results extend the previous results due to M. Frei, M. Ozawa, G. Gundersen, and J. K. Langley and Z. Chen and K. Shon.

• Environmental Engineering Research
• /
• 제20권4호
• /
• pp.307-328
• /
• 2015

The increasing demand for materials, energy and products drives chemical engineers to propose new solutions everyday able to promote development while supporting sustainable industrial growth. Membrane engineering can offer significant assets to this development. Here, they are identified the most interesting aspects of membrane engineering in strategic industrial sectors such as water treatment, energy production and depletion and reuse of raw materials. The opportunity to integrate membrane units with innovative systems to exploit the potential advantages derived from their synergic uses is also emphasized. The analysis of the potentialities of these new technologies is supported by the introduction of process intensification metrics which provide an alternative and innovative point of view regarding the unit performance, highlighting important aspects characterizing the technology and not identified by the conventional analysis of the unit performance.

• 대한수학회논문집
• /
• 제21권4호
• /
• pp.665-673
• /
• 2006

In a recent paper, Domokos and $Kolumb\'{a}}n$ [2] gave an interesting interpretation of variational inequalities (VI) and vector variational inequalities (VVI) in Banach space settings in terms of variational inequalities with operator solutions (in short, OVVI). Inspired by their work, in a former paper [4], we proposed the scheme of generalized vector variational inequality with operator solutions (in short, GOVVI) which extends (OVVI) into a multivalued case. In this note, we further develop the previous work [4]. A more general pseudomonotone operator is treated. We present a result on the existence of solutions of (GVVI) under the weak pseudomonotonicity introduced in Yu and Yao [8] within the framework of (GOVVI) by exploiting some techniques on (GOVVI) or (GVVI) in [4].

• 대한수학회보
• /
• 제57권2호
• /
• pp.419-427
• /
• 2020

In this paper, the projectivity of finitely generated flat modules of a commutative ring are studied from a topological point of view. Then various interesting results are obtained. For instance, it is shown that if a ring has either finitely many minimal primes or finitely many maximal ideals then every finitely generated flat module over it is projective. It is also shown that if a particular subset of the prime spectrum of a ring satisfies some certain ascending or descending chain conditions, then every finitely generated flat module over this ring is projective. These results generalize some major results in the literature on the projectivity of finitely generated flat modules.