• International Journal of Automotive Technology
• /
• 제7권7호
• /
• pp.795-801
• /
• 2006

A No Spin Differential (NSD) design has been improved from evaluation of two NSD models utilizing the axiomatic approach. New design parameters of the second level are developed to satisfy the independence axiom. The design matrices are determined to decouple the relationship between design parameters and process parameters. The values of process parameters are then determined to optimize and improve the NSD design. Consequently a unique and evolutionary NSD design is achieved with the aid of the axiomatic approach.

• 기술경영경제학회:학술대회논문집
• /
• 기술경영경제학회 2003년도 제22회 동계학술발표회 논문집
• /
• pp.191-199
• /
• 2003

It is critical to select an appropriate technology valuation method when the characteristics of a technology and valuation environment are variable. To ensure high quality decision making when selecting a technology valuation method, it is necessary to understand the principles of a good technology valuation method, and define and apply a decision making theory for selecting an optimal method. The authors propose that Axiomatic Design Principles can be applied as a decision making theory. In order to apply Axiomatic Design for this problem, this paper describes four domains(customer, functional, physical, and process domain) and four axioms(independence, information, cost, time axiom) for the decision making process for the optimal technology valuation method. The result of this study will contribute flexibility to the dynamic technology valuation process.

• International Journal of Automotive Technology
• /
• 제7권5호
• /
• pp.595-601
• /
• 2006

Two No Spin Differential(NSD) models were benchmarked for a project of Dual-Use Technology. The Axiomatic approach is utilized to evaluate the designs of the models. The Independence Axiom is satisfied at the top level of design but not at the second level, which implies the design exhibits coupling and will admit design improvements. The detailed process of design evaluation is described. It is shown that it is possible to develop a unique and evolutionary NSD design by solving the problems that cause coupling within two models.

• Journal of Information Technology Applications and Management
• /
• 제25권1호
• /
• pp.67-85
• /
• 2018

We propose a noise reduced risk aversion index for measuring risk aversion through a laboratory experiment to overcome disadvantages of the multiple pricing list format developed by Holt and Laury (2002). We use randomized multiple list choices with coarser classification and reward weighting, supplement the rank of risk aversion with extra individual characteristics of risk attitude, and construct an index of risk aversion by standardizing the risk aversion ranking with quantile normalization. Our method reduces multiple switching problems that noisy decision makers mistakenly commit in experimental approaches, so that it is free of the framing effect which severely occurred in the HL. Furthermore, the index doesn't utilize any specific utility function or probability weighting, which allows researcher to hold the independence axiom. Since our noise reduced index of risk aversion has many good traits, it is widely used and applied to reveal fundamental characteristics of risk-related behaviors in economics and finance regardless of experimental environment.

• Nuclear Engineering and Technology
• /
• 제31권2호
• /
• pp.157-171
• /
• 1999

In this work, an automatic software verification method for Nuclear Power Plant (NPP) protection system is developed. This method utilizes Colored Petri Net (CPN) for system modeling and Prototype Verification System (PVS) for mathematical verification. In order to help flow-through from modeling by CPN to mathematical proof by PVS, an information extractor from CPN models has been developed in this work. In order to convert the extracted information to the PVS specification language, a translator also has been developed. ML that is a higher-order functional language programs the information extractor and translator. This combined method has been applied to a protection system function of Wolsong NPP SDS2(Steam Generator Low Level Trip). As a result of this application, we could prove completeness and consistency of the requirement logically. Through this work, in short, an axiom or lemma based-analysis method for CPN models is newly suggested in order to complement CPN analysis methods and a guideline for the use of formal methods is proposed in order to apply them to NPP Software Verification and Validation.

• 경영과학
• /
• 제29권3호
• /
• pp.45-65
• /
• 2012

Test and evaluation of weapon system is an important task to evaluate the performance of overseas weapon system purchasing project. Especially, quantitative evaluation of performances is hardly completed in defense projects where multiple criteria are conflicted each other. In order to solve this problem, we apply Axiomatic Design (AD) and Inner Dependence AHP method. First, finite functional requirements (FRs) are categorized in hierarchy structure by selecting proper design parameters (DPs) to implement their corresponding FRs. If there are no ways to select DPs when design is coupled between FRs and DPs, then inner dependence is allowed to overcome the strict rule of independence in AHP. Second, the weights of DPs are calculated by applying both Inner Dependence AHP method for coupled design and normal AHP method for uncoupled or decoupled design. Finally, information axiom of AD is applied to the proposed weapon systems by calculating information contents for all parameters. Weapon system with minimum sum of information contents is considered as the best solution. The proposed method in this study should be used in multiple criteria decision making problems involving various conflicting criteria.

• 사상체질의학회지
• /
• 제32권2호
• /
• pp.10-21
• /
• 2020

Objectives Genome-wide association studies(GWAS) is a useful method to identify genetic associations for various phenotypes. The purpose of this study was to develop predictive models for Sasang constitution types using genetic factors. Methods The genotypes of the 1,999 subjects was performed using Axiom Precision Medicine Research Array (PMRA) by Life Technologies. All participants were prescribed Sasang Constitution-specific herbal remedies for the treatment, and showed improvement of original symptoms as confirmed by Korean medicine doctor. The genotypes were imputed by using the IMPUTE program. Association analysis was conducted using a logistic regression model to discover Single Nucleotide Polymorphism (SNP), adjusting for age, sex, and BMI. Results & Conclusions We developed models to predict Korean medicine constitution types using identified genectic factors and sex, age, BMI using Random Forest (RF), Support Vector Machine (SVM), and Neural Network (NN). Each maximum Area Under the Curve (AUC) of Teaeum, Soeum, Soyang is 0.894, 0.868, 0.767, respectively. Each AUC of the models increased by 6~17% more than that of models except for genetic factors. By developing the predictive models, we confirmed usefulness of genetic factors related with types. It demonstrates a mechanism for more accurate prediction through genetic factors related with type.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 한국컴퓨터종합학술대회 논문집 Vol.32 No.1 (B)
• /
• pp.361-363
• /
• 2005

본 연구에서는 온라인 다중 사용자 환경의 eBook 어노테이션 시스템 개발에서 데이터를 의미 기반으로 관리하고, 데이터에 대하여 상호 공통적인 이해를 표현하며, 그리고 데이터에 대한 무결성 검사 등을 지원하기 위해서 eBook 어노테이션 온톨로지를 구축하였다. eBook 어노테이션 테이터에 대한 상호 공통적인 이해의 표현을 위해서 한국 전자책 문서 표준인 EBKS(Electronic Book of Korea Standard)를 기반으로 구축 하였으며 구축된 온톨로지는 Conceptual Graph(CG)를 사용하여 표현하였다. 의미 기반의 처리를 위해서 본 온톨로지에서는 다국어(Multilingua) 관계를 고려하였으며 또한 오노테이션 데이터 생성 시 중요도를 표현하기 위해서 중요성 axiom을 고려했고, $NF^2$(Non-First Normal Form)에 입각하여 온톨로지를 설계함으로서 어노테이션 데이터의 검색에 활용도를 높였다. 제안된 온톨로지는 어노테이션 데이터의 재사용성을 높일 수 있고 의미 정보를 활용함으로써 eLearning, cyberclass과 같은 다중 사용자 환경에서 효과적인 협업을 가능하게 한다. 본 연구에서는 구현한 eBook annotation 시스템은 구축한 온톨로지를 사용함으로써 의미 기반의 데이터 관리가 가능하다. 또한 어노테이션 생성 시 온톨로지 구조를 모르더라도 어노테이션을 생성할 수 있는 인터페이스를 구현하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제33권3호
• /
• pp.356-364
• /
• 2006

차세대 정보통신 기술의 가장 중요한 패러다임으로 '유비쿼터스 컴퓨팅'이 새롭게 주목 받고있다. 유비쿼터스 컴퓨팅 서비스 시스템을 개발하기 위한 중요한 초점 중의 하나는 이동 객체(사용자)의 시간과 이벤트의 관계를 파악하고 이동 객체의 위치 데이타로부터 시공간 이동 패턴을 추론하는 것이다. 본 논문에서는 유비쿼터스 환경 내에서 사용자에게 시간과 관련된 서비스를 적절히 제공하기 위해서 다음과 같은 연구를 한다. 첫째, 서비스 관점에서의 시간적 추론(Temporal Reasoning)이다. 둘째, 사용자의 취향을 기록하기 위한 시간적 추론(Temporal Reasoning)이다. 각 사용자들은 각자의 취향을 가지고 있으며 이는 시간과 밀접한 관계를 가지고 있다. 시간과 관련된 사용자의 취향이 기록된 각 사용자 프로파일을 기반으로 서비스 지원 시스템은 적절한 서비스를 제공할 수 있다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제28권12호
• /
• pp.910-920
• /
• 2001

본 논문은 프로그램 슬라이스에서의 데이타 토큰들의 정보 흐름에 기초하여 프로그램에서의 정보 흐름을 모델링하기 SIF(Slice-based Information Flow Graph)를 개발하였다 다음으로, SIFG에서 의 정보 흐름의 복잡도 측정을 통해서 프로그램의 복잡도를 측정하기 위해 SCM(Slice based Complexity Measure)을 정의하였다. Zuse의 방법에 따라. 본 연구에서는 SIFC에서의 극소 수정(atomic modifica- tion을 통해 SCM이 순서척도가 됨을 보여주었고, 이항 연산 MBSEQ에 대해서 SCM이 가법성을 만족함을 보여주었고, 이항 연산 MBALP 에 대해서는 Zuse의 가법성을 만족하지 않지만 Weyuker의 9번째 공리를 만족함을 보여주었다. 또한 기존 척도들과의 비교를 통해서. SCM이 프로그램 내에서의 제어와 데이타 흐름뿐만 아니라 프로그램의 물리적 크기를 반영하는 측정이 이루어진다는 것을 보여주었다.