• International Journal of Precision Engineering and Manufacturing
• /
• v.3 no.2
• /
• pp.52-60
• /
• 2002

Axiomatic Design is the one of many useful methods for making a good design. In this method, the independency of Functional Requirements (FRs) is an important property to determine whether the design is good or not. Until now so many designers have decided the independency between FRs by their own decisions. The way depending on inspiration is simple and fast, but it can not be considered as a precise conclusion. Also there are not exact rule that evaluate the quantitative independence between FRs. This paper will show the way to evaluate the quantitative independence of FRs from the comparison between FRs of lower levels, and develop more efficient and objective tool in Axiomatic Design.

• Proceedings of the Korean Geotechical Society Conference
• /
• 1999.03a
• /
• pp.269-276
• /
• 1999

The program ESRAS Ver 0.5 that can assess the risk of slopes by means of fuzzy inference is developed in this paper. The results of assessment involve the degree of stability of slopes, the possible travel distance of the soil mass being failed, and anticipated loss of life and properties. With this program, vulnerable slopes can be managed most effectively and the fuzzy inference is used to express quantitatively the judgement of an expert and the uncertainty of slope stability. The fuzzy rule base is composed of an evaluation list for slope stability together with the experience of an expert. This program has been examined for 88 slopes which have been failed or shown a possibility of failure. With this examination, the standards to assess the stability of slopes can be presented and it is proven that this is particularly useful in determining the priority of investment for remedial works of slopes.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 1999.10a
• /
• pp.131-137
• /
• 1999

전문가시스템 개발에 있어서 지식획득 병목현상(knowledge acquisition bottleneck)은 해결해야 할 큰 걸림돌중 하나이다. 지식획득을 위한 여러 과정을 단순화하고 자동화함으로 지식공학자의 작업을 최소화하면서 전문지식을 쉽고 빠르게 획득할 수 있도록 지식획득시스템을 설계·구현한다면 전문가시스템의 대중화는 지금보다 쉽게 이루어질 것이다. 본 연구는 지식 획득시스템 설계와 구현을 위한 연구의 일환으로 기계학습의 한 방법인 PIPPER(Repeated Incremental Pruning to Produce Error Reduction)를 이용하여 규칙을 생성하고 생성된 규칙을 JESS(Justification based Expert System Shell)에서 처리하도록 하였다. 규칙을 생성하기 위한 데이터는 Bohanec이 1997년도에 만든 자동차 평가 데이터베이스(Car Evaluation Database)를 사용하여 실험하였으며, 1700여 개의 레코드에서 약 40개의 규칙이 생성되었고, 생성된 규칙은 지식베이스의 정당성을 위반하지 않으면서 실행되었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11a
• /
• pp.85-87
• /
• 2005

프로그래밍 기술과 인터넷 통신의 발달로 인하여 보안성이 검증되지 않은 다양한 프로그램들이 생성되고 쉽게 유포되어 보안 취약성으로 인해 야기되는 다양한 문제의 심각성이 더해가고 있다. 따라서 사용자가 보안상 안전하게 사용할 수 있는 소프트웨어 인증절차가 필수적으로 요구되고 있는데, 이를 해결하기 위해 소프트웨어 안전성 평가에 대한 연구가 진행 중이지만, 기존의 방법들은 특정 영역에 한정적이어서 일반적인 소프트웨어의 보안성 평가(security evaluation) 방법으로써 부적합하다. 뿐만 아니라 기존의 시스템들은 단순 패턴매칭에 기반을 두고 있어 오용탐지가 크고 정확성이 떨어진다는 문제점을 가지고 있다. 따라서 본 논문에서는 이러한 문제점들을 해결하기 위해 악성프로그램 코드의 구조와 흐름을 분석하여 규칙으로 정의하고 그 규칙에 따라 검사 대상 프로그램 코드에서 악성코드와 취약점 흐름을 탐지하는 규칙 기반의 소프트웨어 보안성 검증 시스템 프로토타입을 제안한다. 제안한 검증 시스템의 프로토타입은 악성코드와 소프트웨어 취약성을 동시에 탐지하여 보안성을 평가함으로써 범용적인 소프트웨어 평가에 활용 가능할 것이다.

• Annals of Clinical Neurophysiology
• /
• v.14 no.1
• /
• pp.1-6
• /
• 2012

Low back pain is a common clinical condition with heterogeneous causes and challenges to manage. High prevalence and numerous assessments result in an enormous socioeconomic burden. Clinician must conduct efficient and stepwise evaluation process to rule out serious spinal pathology, neurologic involvement, and identify risk factors for chronicity. The process can be achieved through the focused history taking and physical examination. Certain factors related to serious spinal pathology include age (>50 years), trauma, unexplained fever, recent urinary or skin infection, unrelenting night or rest pain, unexplained weight loss, osteoporosis, immunosuppression, steroid use, and widespread neurological symptoms. In non-specific low back pain, diagnostic imaging and laboratory studies are often unnecessary and can disturb an appropriate management. For the management of acute low back pain, patient education and medication such as acetaminophen, non-steroidal anti-inflammatory drugs, and muscle relaxants are recommended. For chronic low back pain, behavior therapy, back exercise, and spinal manipulation are beneficial. The evidence based approach could improve success rate of management, result in prevention of acute low back pain from being chronic intractable pain.

• Proceedings of the ESK Conference
• /
• 1998.04a
• /
• pp.179-179
• /
• 1998

현재 사회는 컴퓨터의 자원과 통신이라는 매체가 필요한 사회이다. 따라서 경쟁력이 있고 생산성이 높은 제품 혹은 시스템을 구현하기 위해서는 반드시 통신을 통한 정보의 공유가 필수적이다. 현재 정보통신 수단은 인터넷 환경의 웹 서비스가 대표적이다. 이에 인터넷을 통한 정보의 공유 및 전자상거래 등은 확대일로에 있다. 많은 사용자가 많은 시간을 투자 하는 인터넷 환경에서의 컴퓨팅 시 사용자 인터페이스 시스템은 더욱 중요한 의미를 갖으며, 사용자 인터페이스는 반드시 사용자를 고려해야만 한다. 본 논문에서는 사용성이라는 개념 을 웹 환경에서 정의 하며 사용자 인터페이스 시스템의 재설계에 대한 체계적인 분석과 설계, 그리고 구현 방법을 제시하고자 한다. 사용자 인터페이스 부분의 재설계란 Navigation rule & Navigation user interface component 에 대한 설계를 의미하며, 이런 요소들은 재사용성이 강조되면서 사용자의 인지형태와 일치된다. 또한, 사용자 인터페이스 부분에 대한 재설계에 대한 분석 및 설계 구현 부분의 단계로 웹 환경에서의 사용편이성 향상을 도모한다.

• 제어로봇시스템학회:학술대회논문집
• /
• 1997.10a
• /
• pp.807-810
• /
• 1997

Digital control of robot manipulator employs discrete-time robot models. It is important to explore effective discrete-time robot models and to analyze their properties in control system designs. This paper presents a new type discrete-time robot model. The model is derived by using trapezoid rule to approximate the convolution integral term, then eliminating nonlinear force terms from robot dynamical equations. The new model obtained has very simple structure, and owns the properties of independence to the nonlinear force terms. According to evaluation criteria, three aspects of the model properties: model accuracy, model validity range and model simplicity are examined and compared with commonly used discrete-time robot models. The validity of the proposed model and its advantages to control system designs are verified by simulation results.

• Proceedings of the Acoustical Society of Korea Conference
• /
• 1994.06c
• /
• pp.103-106
• /
• 1994

Generally we are used to apply waveform coding method obtaining the high quality synthesized speech. But we have to solve the problems, memory capacity and pitch alteration, for applying the waveform coding method to speech synthesis by rule. The former problem is conquered by improving the integrated semiconductor technology, but the latter problem remains. In this paper, we compare the methods that have proposed for pitch alteration in our laboratory until now. These methods are not change properties of vocal tract formants and only altered the pitch halving method, 1.14% for cepstrum analysis method, and 2.36% for hamonics compensated with the phase method.

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 2003.10a
• /
• pp.144-147
• /
• 2003

In order to evaluate spring-back behavior in automotive sheet forming processes, a panel shape idealized as a SS-rail has been investigated. After spring-back kas been predicted fer SS-rails using the finite element analysis, results has been compared with experimental measurements for three automotive sheets. To account for hardening behavior such as the Bauschinger and transient effects in addition to anisotropic behavior, the combined isotropic-kinematic hardening law based on the Chaboche type single-surface model and a recently developed non-quadratic anisotropic yield function have been utilized, respectively.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.19 no.6
• /
• pp.1479-1489
• /
• 1995

In this study, tensile strength and modulus were evaluated for a filament wound ring specimen by split disk test and compared with the theoretical values obtained by the rule of mixtures. The circumferentially wound ring specimens were prepared from 4 types of material systems. The results showed that the measured strengths of the composite systems were considerably lower than the theoretical values due to the local bending stresses around the split disk edges. for the measurement of elastic moduli of the filament wound ring specimens, the effect of friction on the strain of the ring must be taken into account. But the effect of friction between the split disk fixture and the ring specimen can be eliminated by averaging the moduli for loading and unloading state with maintaining the same crosshead rates. The measured elastic moduli of ring specimens showed very good agreement with the theoretical values.