• 한국언어정보학회지:언어와정보
• /
• 제4권2호
• /
• pp.1-26
• /
• 2000

The purpose of this paper is to establish the standard method of evaluation English-to-Korean MT systems We focus on test suites, evaluation procedure and evaluation results. Four computer programs on the market are tested on a test suite consisting of 1,501 sentence, The quality of translation and the capacity of MT system are the key points for evaluation . The sentences in the suite are classified according to the grammatical properties they reveal. The classificatory scheme has the structure of a directory: each sentence belongs to a subclass, which belongs to a major class,. We place the sentences in the test suite on a scale of difficulty (hard ordinary easy) and each output sentence is graded on a scale of four accuracy levels. We also test the programs with respect to their speed.

• 한국학교수학회논문집
• /
• 제3권1호
• /
• pp.31-45
• /
• 2000

The idea to be changed first among the general ideas of mathematics is that, from the standpoint of teachers, one-sided teaching is efficient due to the progress of classwork of excessive quantity, and, from the standpoint of students, they say they gave up mathematics publicly feeling uneasiness in every class because of the deficiency of previous learning and interest, and they think all problems are due to the educational system, neglecting their studies, not participating actively in lessons. Therefore this study is, after giving learning points and problem papers of which the degree of difficulty differs to the groups of students divided into the advanced, intermediate, and elementary by personal abilities of learning and concerns, tried out to remove uniformity and integrity of lessons through solving the problems students can, to convert lessons to the learner-oriented that learners take part in voluntarily through discussing, solving the problems, and correcting the errors of them by group-cooperative actions, for the students to realize that they can solve everything only by their own endeavors.

• International Journal of Contents
• /
• 제1권1호
• /
• pp.21-28
• /
• 2005

This paper is about the hardness of Leader Election problem in asynchronous distributed systems in which processes can crash but links are reliable. Recently, the hardness of a problem encountered in the systems is defined with respect to the difficulty to solve it despite failures: a problem is easy if it can be solved in presence of failures, otherwise it is hard [9]. It is shown in [9] that problems are classified as three classes: F (fault-tolerant), NF (Not fault-tolerant) and NFC (NF-completeness). Among those, the class NFC is the hardest problem to solve. It is also shown in [9] that the construction of Perfect Failure Detector (problem P) belongs to NFC. In this paper, we show that Leader Election is also one of NFC problems by using a general reduction protocol that reduces the Leader Election Problem to P. We use a formulation of the Leader Election problem as a prototype to show that it belongs to NFC.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2013년도 춘계학술대회 논문집
• /
• pp.555-558
• /
• 2013

A type of electric propulsion employed by specialized purpose vessels or offshore is the azimuth thruster. Azimuth thruster application had been increasing recently and resulted to excellent vessel maneuverability. However, this system is very complex and some of its major component being exposed under the seawater level presents difficulty in sealing design. For Polar class icebreaker operating in extreme sea condition, this requires a high level of reliability and safety. In this study, the characteristics of lubricating orifice pipe structural vibration installed at the lower reduction gear were investigated and analyzed through beam analysis theory and comparison of experiments. Propeller excitation and the resonant modes of vibration causing excessive vibration and suitable countermeasures to prevent damage due to vibration fatigue on the pipe are presented.

• 한국공작기계학회논문집
• /
• 제17권3호
• /
• pp.128-132
• /
• 2008

The noise levels and individual employee noise exposure levels within a factory will determine the need for hearing conservation program. The difficulty in not having an effective hearing conservation program is the risk of hearing loss that employees may sustain. In the last few years the claims for hearing loss compensation have grown due to class action litigation brought against the employer and companies that have equipment in the factory alleged to have caused hearing loss. The Blower in the factory generates the noise of 98.3dB(A) in the frequency range of 2,000Hz, which may cause occupational hearing loss. By designing close type enclosures which are made of absorption material, about 24.4dB(A) reduction has been in the factory. It is demonstrated that this kind of enclosures can be effectively used to reduce the noise in the factory.

• 대한유전성대사질환학회지
• /
• 제5권1호
• /
• pp.108-115
• /
• 2005

Inherited metabolic diseases (IMD) comprise a large class of genetic diseases involving disorders of metabolism. The majorities are due to defects of single genes that code for enzymes that facilitate conversion of various substances into others. Because of the multiplicity of conditions, many different diagnostic tests are used for screening of IMD. Molecular genetic diagnosis is the detection of pathogenic mutations in DNA and/or RNA samples and is becoming a much more common practice in medicine today. The purpose of molecular genetic testing in IMD includes diagnostic testing, pre-symptomatic testing, carrier screening, prenatal diagnosis, preimplantation testing, and population screening. However, because of the complexity, difficulty in interpreting the result, and the ethical considerations, an understanding of technical, conceptual, and practical aspects of molecular genetic diagnosis is mandatory.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1995년도 춘계학술발표회논문집(2)
• /
• pp.643-650
• /
• 1995

A numerical method for treating transient diffusion Involving change of phase is presented. In other methods of dealing with this class of problems, the mass flux balance at the moving phase boundary requires explicit treatment of two distinct phases. The technique, originating from the apparent heat capacity method in transient heat conduction with the phase change, avoids the difficulty by transferring the concentration discontinuity at the boundary to smoothed physical property variations near the moving front. This technique accomodates the nonlinearities which preclude use of analytical solutions. It was tested against known analytical solutions for simple cases and turned out to be quite accurate.

• 한국생산제조학회지
• /
• 제19권4호
• /
• pp.576-581
• /
• 2010

As a super high speed small-sized centrifugal separator which is operated by the center inputting method has solved two difficulty problems, it can be made use of developing the new composition through the making of Nano particle (50~100nm) by high speed revolution and alleviation of unbalanced shapes inside the disk continuously throwing slurry in the central part. Uses the air spindle and the centrifugal machine production will be able to manufacture the Roh class fine particle under boil.

• 한국멀티미디어학회논문지
• /
• 제11권12호
• /
• pp.1716-1721
• /
• 2008

Currently, Wireless Networks have some nice characteristics such as multi-hop, multi-channel, multi-radio, etc but these kinds of resources are not fully used. The most difficulty to solve this issue is to solve mixed integer optimization. This paper proposes a method to solve a class of mixed integer optimization for wireless networks by using AMPL modeling language with CPLEX solver. The result of method is scheduling and congestion control in multi-channel multi-radio wireless networks.

• International journal of advanced smart convergence
• /
• 제7권4호
• /
• pp.128-137
• /
• 2018

In the programming education, there is a great need of a teaching support system that can support the learner in the programming process regardless of the computer language due to instructor's difficulty of checking the progress of learners in real-time. Its importance is especially important in lower grade coding classes such as in K-12 education because they are not used to coding and so simple problems can be regarded as complex problems. For this, a pilot coding education support system based on Levenshtein distance algorithm which shows learners' progress to given solution in real-time was developed in order to help learners to solve complex problems easily, and the learners' motivation and self-efficacy was measured for estimating the usefulness of developed system targeting elementary school students. When the learners use the developed system, it was found that a statistically significant difference appears in the sub-factors of learning motivation compared with traditional class teaching environments. Among the sub-factors of self-efficacy, the efficacy dimension showed statistically significant difference too.