• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 2002년도 춘계학술대회 논문집
• /
• pp.297-305
• /
• 2002

웹 어플리케이션의 경제적 연관성은 웹의 질적 유지 및 향상의 중요성이 매우 증가되고 있다. 더욱이 이러한 웹 어플리케이션의 개발을 위해 새로운 개념을 적용 및 사용 가능한 기술들은 매우 개선되고 세련된 기능들의 접목을 요구하고 있지만 조직과 개선을 책임지고 있는 개발자들은 자주 떠나는 실정에 있다. 그 결과로 이러한 수준 높은 요구 시스템 기반의 모든 웹의 질적 보장을 위해 방법론과 툴 들이 나타나게 하고 있다. 본 논문에서는 위에서 언급한 높은 수준의 요구사항에 만족하기 위해 하나의 웹 어플리케이션 모델을 소개하고 실제 웹 어플리케이션의 검증 및 확인 기술에 대한 개념과 향후 국내 웹사이트를 대상으로 한 분석 알고리즘을 제안하고 실험을 통한 결과를 제시하였다.

• 경영과학
• /
• 제24권1호
• /
• pp.147-160
• /
• 2007

Six Sigma's concept has long been used as an effective way of restructuring the management process of a firm. In literature regarding Six Sigma, a number of successful cases were reported, where Six Sigma based management activities could enhance firm's strategic performance dramatically for year. However, there exist very few researches investigating the effect of Six Sigma on process innovation and quality improvement. Therefore this study propose a research model testing whether Six Sigma innovation could improve process innovation and quality improvement by industrial classification. We collected 332 valid questionnaires from expert in Six Sigma activities, and applied PLS. Empirical results showed that Six Sigma activities could contribute to process innovation and quality improvement.

• ETRI Journal
• /
• 제19권4호
• /
• pp.363-388
• /
• 1997

This paper describes a research result on automatic generation of abstract test cases from formal specifications by applying many related algorithms and techniques such as the testing framework, rural Chinese postman tour and unique input output sequence concepts. In addition, an efficient algorithm for verifying the strong connectivity of the reference finite state machine and the concept of unique event sequence are explained. We made use of several techniques to from an integrated framework for abstract test case generation from LOTOS and SDL specifications. A prototype of the proposed framework has been built with special attention to real protocol in order to generate the executable test cases in an automatic way. The abstract test cases in tree and tabular combined notation (TTCN) language will be applied to the TTCN compiler in order to obtain the executable test cases which re relevant to the industrial application.

• 한국정보디스플레이학회:학술대회논문집
• /
• 한국정보디스플레이학회 2009년도 9th International Meeting on Information Display
• /
• pp.1383-1385
• /
• 2009

This paper suggests that testing method and equipment structure to detect potential failures of LCD cells. LCD Cell Aging Tester is the unique process to detect failures related with ASG circuits. This system consists of four components that is Aging chamber, work table, probe contact unit, and pattern generator. The key factor of the concept is temperature aging and HVS driving. Complicated combination of test parameters including voltage, temperature and frequency provided practical burn-in conditions eligible for prediction of mass production.

• 대한전자공학회논문지
• /
• 제24권5호
• /
• pp.841-848
• /
• 1987

This paper presents a new two-stage edge detection algorithm which can give thin edges and can find edges between low contrast regions. In the first stage, the potential edge points are obtained using the proposed edge operator which is motivated by the concept of the E filter. And in the second stage, the real edge points adre detected by comparing the potential edge values with the lically adaptive threshold values of the corresponding potential edge points and by testing whether the potential edge points are zero-crossing points or not. It is shown quantitatively that the proposed algorithm can find edges effectively in an image with impulse noise, and also the results of applying the proposed algorithm to real images are presented.

• 한국신뢰성학회지:신뢰성응용연구
• /
• 제10권2호
• /
• pp.149-160
• /
• 2010

This paper presents a study of an availability evaluation for I&C(Instrumentation and Control) System which it applied for nuclear power plant. The system availability assessment have been implemented to the reactor protection system by the adoption of Markov process. Results are satisfied to the requirement of EPRI and APR1400. Based on the research of I&C system assessment, it will contribute to improve the availability of system and impact the design concept with new design optimization.

• 한국국방경영분석학회지
• /
• 제31권2호
• /
• pp.45-59
• /
• 2005

As more advanced and complicated equipments are introduced, effective operation and maintenance, along with acquisition of the equipments, commands more significance lately. In order to perform effective depot maintenance, the Republic of Korea Army is continually developing the concept, cycle and method for operating the depot maintenance. Not only the high-cost testing and maintenance equipments but the highly developed maintenance technologies are required for the depot maintenance of the latest weapon system. In order to have the depot maintenance capability, this paper provides the standard and procedure for estimating the development cost of the depot maintenance elements to be utilized in the depot maintenance elements development project.

• Journal of Electrical Engineering and information Science
• /
• 제2권5호
• /
• pp.1-8
• /
• 1997

The main purpose of the Boolean equivalence problem is to verify that two Boolean expressions have the same functionality. Simulation has been extensively used as the standard method for the equivalence problem. Obviously, the number of tests required to perform a satisfactory coverage grows exponentially with the number of input variables. However, formal methods as opposed to simulation are getting more attention from the community. We propose a new algorithm called the Cover-Merge Algorithm based on a derivational method using the concept of cover and merge for the equivalence problem and investigate its theoretical aspects. Because of the difficulty of the problem, we emphasize simplification techniques in order to reduce the search space or problem size. Heuristics based on types of merges are developed to speed up the derivation process by allowing simplifications. In comparison with widely used technique called Binary Decision Diagram or BDD, the algorithm proposed outperforms BDD in nearly all cases of input including standard benchmark problems.

• 한국안전학회지
• /
• 제17권4호
• /
• pp.119-125
• /
• 2002

The concept of dwelling space is tend to be changed not only to have reasonable mobility but also to have high quality of indoor air with psychologicaa satisfaction and comfortable. Moreover, recent constructed buildings have a big problem because of exhausted pollution gas and particles from building materials. More serious problem occurs from its high air tightness reducing the ventilation for saving the energy and superior adiabatic insulators to have high heat efficiency. Indoor air quality in super high-rise dwelling house was investigated by measuring pollutants such as $CO_2,=;CO,\;MO_2,\;R_n,\;TSP,\;PM_{10}$, HCHO, Offensive ordor. Subjective evaluation of residential environment is processed for the inhabitants who live in research space by testing environmental load in accordance with environment morphology, exterior environmental factor and post occupancy correlation and influence of attention.

• 한국전기전자재료학회논문지
• /
• 제16권5호
• /
• pp.435-440
• /
• 2003

The electron-atom collision studies have been essentially used for testing and developing suitable theories of the scattering and collision processes, and for providing a tool for obtaining detailed information on the structure of the target atoms and molecules and final collision products. And, the development of that has also been strongly motivated by the need for electron collision data in such fields as laser Physics and development, astrophysics, Plasma devices, upper atmospheric processes and radiation physics. The concept and the Principle of determination of the electron collision cross sections for atoms and molecules by using the present electron swarm method are explained.