• 품질경영학회지
• /
• 제10권2호
• /
• pp.25-33
• /
• 1982

We discuss a model for acceptance/rejection decision regarding finite populations. The model is based on a beta-binomial prior distribution and additive costs -- relative sampling costs, relative sorting costs and costs of accepted defectives. A substantial part of the paper is devoted to constructing a Bayes sequential sampling acceptance plan (BSSAP) for attributes under the model. It is shown that the Bayes fixed size sampling acceptance plans (BFSAP) are better than the Hald's (1960) single sampling acceptance plans based on a uniform prior. Some tables and examples are provided for comprisons of the minimum Bayes risks of the BSSAP and those of the BFSAP based on a uniform prior and the model.

• Earthquakes and Structures
• /
• 제25권5호
• /
• pp.369-383
• /
• 2023

Seismic resilience (SR) plays a vital role in evaluating and improving performance losses along with saving repair costs of structures from potential earthquakes. To further explore the developments, hotspots, and trend directions of SR, a total of 901 articles are obtained from the Web of Science (WoS) database. CiteSpace software is used to conduct a bibliometric analysis, which indicates an upward trend of publications in SR and explores the relationship of countries, journals, cited references, and keywords based on visual maps and detailed tables. Then, based on the results of the bibliometric analysis, a state-of-the-art review is conducted to further explore the current challenges and trend directions of SR. The trend directions can be divided into five categories: (a) SR assessments of infrastructure structures, (b) multi-hazard quantifications of SR, (c) seismic resilient structures, (d) refining and calibrating analytical models, and (e) multi-criteria decision-making frameworks for sustainability and SR.

• 정보과학회 논문지
• /
• 제42권11호
• /
• pp.1410-1422
• /
• 2015

소프트웨어 개발자들은 시스템의 설계를 위해 UML의 클래스 다이어그램과 같은 객체 모델을 이용한다. 객체-관계 변환 방법론은 객체 모델에 표현된 관계성들을 관계형 데이터베이스 테이블로 변환하는 방법론으로, 설계된 시스템의 구현을 위해 적용된다. 기존 객체-관계 변환 방법론의 연구들은 하나의 관계성을 표현하기 위해 여러 변환 기법들을 제안하였다. 하지만 각 변환 기법의 사용기준들이 존재하지 않아 구현에 적용하기 어려운 문제점이 있다. 따라서 이 논문은 각 관계별로 이진 결정 다이어그램 기반의 모델링 규칙을 제안한다. 이를 위해 변환 기법들을 구분하는 조건들을 정의하고, 질의 수행시간을 측정함으로 검증이 요구되는 모델링 규칙들을 평가한다. 평가 후, 이 논문은 명제 논리로 표현된 최종 모델링 규칙을 재정의하고, 사례 연구를 통하여 제안된 모델링 규칙이 설계된 시스템을 구현하는데 유용함을 보인다.

• 한국항공우주학회지
• /
• 제37권7호
• /
• pp.627-633
• /
• 2009

복합재는 인공위성 카메라 경통의 재료로 많이 사용되는 재료이다. 하지만 적층된 복합재는 층간응력에 의한 층간분리 현상으로 약화된다 이러한 파괴모드는 경통의 구조적 불안정을 유발하며, 카메라의 광학적 성능도 저하시킨다. 따라서 경통은 층간분리에 대해서 강건해야하며, 또한 고강성, 충분히 높은 고유진동수 및 작은 열 팽창 계수 등을 가져야한다. 본 연구에서는 실험계획법을 바탕으로 설계를 진행하였다. 각 실험과정은 직교배열표를 기준으로 설계되었으며, 여러 속성을 고려하기 위해서 MADM 방법을 사용하였다. 그리고 분산분석과 F-검정을 통해서 영향력 인자를 결정하여 경통의 최종 적층각을 결정하였다.

• 대한기계학회논문집A
• /
• 제32권8호
• /
• pp.693-700
• /
• 2008

The primary mirror system in a satellite camera is an opto-mechanically coupled system for a reason that optical and mechanical behaviors are intricately interactive. In order to enhance the opto-mechanical performance of the primary mirror system, opto-mechanical behaviors should be thoroughly investigated by using various analysis procedures such as elastic, thermo-elastic, optical and eigenvalue analysis. In this paper, optimal design of the bipod flexure mounts for high opto-mechanical performance is performed. Optomechanical performances considered in this paper are RMS wavefront error under the gravity and thermal loading conditions and 1st natural frequency of the mirror system. The procedures of the flexure mounts design based on design of experiments and statistics is as follows. The experiments for opto-mechanical analysis are constructed based on the tables of orthogonal arrays and analysis of each experiment is carried out. In order to deal with the multiple opto-mechanical properties, MADM (Multiple-attribute decision making) is employed. From the analysis results, the critical design variables of the flexure mounts which have dominant influences on opto-mechanical performance are determined through analysis of variance and F-test. The regression model in terms of the critical design variables is constructed based on the response surfaceanalysis. Then the critical design variables are optimized from the regression model by using SQP algorithm. Opto-mechanical performance of the optimal bipod flexure mounts is verified through analysis.

• 한국정보통신학회논문지
• /
• 제19권10호
• /
• pp.2341-2349
• /
• 2015

부동소수점 나눗셈에서 많이 사용하는 골드스미트 부동소수점 나눗셈 알고리즘은 한 회 반복에 두 번의 곱셈을 수행한다. 본 논문에서는 한 회 반복에 K 번 곱셈을 수행하는 가칭 오차 교정 K차 골드스미트 부동소수점 나눗셈 알고리즘을 제안한다. 본 논문에서 제안한 알고리즘은 입력 값에 따라서 곱셈 횟수가 다르므로, 평균 곱셈 횟수를 계산하는 방식을 유도하고, 여러 크기의 근사 역수 테이블에서 단정도실수 및 배정도실수의 나눗셈 계산에 필요한 평균 곱셈 횟수를 계산한다. 또한 한 번의 곱셈과 판정으로 나눗셈 결과를 보정하는 알고리즘을 제안한다. 본 논문에서 제안한 알고리즘은 오차가 일정한 값보다 작아질 때까지만 반복 연산을 수행하므로 나눗셈 계산기의 성능을 높일 수 있다. 또한 최적의 근사 테이블을 구성할 수 있다.

• 한국정보과학회논문지:데이타베이스
• /
• 제35권4호
• /
• pp.297-306
• /
• 2008

MJoin은 변화가 잦은 데이타 스트림의 조인을 효율적으로 수행하기 위한 방법으로 소개되었다. MJoin은 다중 스트림의 처리가 가능하도록 대칭적 해시 알고리즘을 확장한 것으로, 각 입력 튜플마다 모든 해시 테이블에 동일한 키를 지닌 튜플이 존재하는지 반복적으로 체크한다. 그러나, 조인 선택율이 낮고 조인되는 데이타 스트림의 수가 많을 경우, 이러한 체크 과정의 성능은 조인되는 데이타 스트림의 조인순서에 많은 영향을 받게 된다. 본 논문에서는 MJoin처럼 대칭적 해시 알고리즘을 기본으로 하지만, 이러한 체크 과정을 조인순서에 상관없이 상수 시간에 처리하는 BiHT-Join 알고리즘을 제안한다. BiHT-Join은 스트림에 있는 튜플의 존재 유무를 비트-벡터로 유지하며, 이를 비교하는 것으로 조인의 성공/실패를 판단한다. 따라서, BiHT-Join은 이 판단을 기준으로 조인이 성공하는 튜플만 해시 조인을 수행함으로 조인 효율을 높일 수 있다. 우리는 실험을 통해 BiHT-Join이 다중 데이타 스트림 조인에서 MJoin에 비해 더 나은 성능을 제공한다는 것을 보인다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제15권5호
• /
• pp.345-349
• /
• 2009

소결 북마킹(social bookmarking) 시스템은 사용자가 북마크를 저장하고 공유할 수 있는 플랫폼을 제공하는 웹 기반(web-based) 시스템으로 폭소노미(folksonomy)를 이용한 대표적인 웹2.0 서비스이다. 소셜 북마킹 시스템에서의 스패머(spammer)란 자신들의 이익을 위해서 시스템을 고의적으로 악용하는 사람을 말한다. 스패머는 많은 양의 잘못된 정보를 시스템에 포스팅(posting)하기 때문에 전체 소셜 북마킹 시스템의 리소스(resource)를 쓸모없게 만들어 버린다. 따라서, 스패머를 빠른 시간 안에 탐지하고 그들의 접근을 차단하는 것은 시스템의 붕괴를 방지하기 위해 중요하다. 본 논문에서는 사용자가 사용한 태그에 대한 데이터를 추출하여, 사용자가 스패머 인지 아닌지를 예측하는 모델을 기계학습의 다양한 방법을 적용하여 생성한 후 그 성능을 비교해 보았다. 구체적으로, 결정테이블 (decision table, DT), 결정트리(decision tree, ID3), 나이브 베이즈 분류기($na{\ddot{i}}ve$ Bayes classifier), TAN(tree-augmented $na{\ddot{i}}ve$ Bayes) 분류기, 인공신경망(artificial neural network)의 방법을 비교하였다. 그 결과 AUC(area under the ROC curve)와 모델 생성시간을 고려하였을 때 나이브 베이즈 분류기가 가장 만족할 만한 성능을 보였다. 나이브 베이즈 분류기의 분류 결과가 가장 좋았던 이유는 성능을 비교하는 데 사용된 AUC가 결정트리 계열의 방법(ID3 등)보다 나이브 베이즈 분류기에서 일반적으로 높게 나오는 경향이 있다는 것과, 스패머 탐지 문제가 선형으로 분리 가능한 경우(lineally separable)와 유사할 가능성이 높기 때문으로 여겨진다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제12권9호
• /
• pp.381-386
• /
• 2023

기존의 다양한 테스트 케이스 생성에 대한 연구는 모델로부터 테스트 케이스를 추출한다. 하지만 실무의 경우 자연어 요구사항 문장으로부터 테스트 케이스를 생성할 수 있어야 한다. 이를 위해 자연어 문장의 분석하고, 분석 과정 및 결과를 요구공학 영역에 접목하는 연구는 매우 필요하다. 하지만 한국어 문장의 다양성 때문에, 한국어 자연어 요구사항 분석은 어려운 이슈이다. 우리는 한국어 자연어 요구사항으로부터 테스트 케이스 생성 연구 중 하나로써, 자연어 요구사항의 정의 분석, C3Tree 모델의 생성, 원인-결과 그래프의 생성, 결정 테이블의 생성 단계를 통한 테스트 케이스 생성 방법을 연구한다. 본 논문은 중단 단계로써, 메타모델링 변환 기법을 이용하여 C3Tree 모델 기반의 결정 테이블로부터 테스트 케이스 생성 방법을 제안한다. 이 방법은 모델 변환 규칙의 수정을 통해 모델 to 모델, 모델 to 텍스트로의 변환 과정을 제어한다. 모델이 변형되거나, 새로운 모델이 추가되더라도 프로그램 알고리즘의 직접적인 수정 없이 모델 변환 규칙을 유지보수 할 수 있다. 평가 결과, 결정 테이블에 대한 모든 조합이 테스트 케이스로 자동 생성되었다.

• 농촌계획
• /
• 제21권4호
• /
• pp.167-175
• /
• 2015

The aim of this study is to establish resident-participative primary design of integrated rural development project with master planner by setting principals of open competition and transparent decision-making about village-to-village or business-to-business unit enterprise in Onui area, Hong-seong Gun. For effective processing, software projects such as residents education and rural landscape planning are simultaneously conducted for enhancing project understanding and comprehensive development plan including related post project. Above all, competition teams for individual project were organized to establish the resident-participative primary design using survey tables of residents demand. In 6 months resident-participative processing of primary design, continuous education and visiting to advanced area are conducted in team unit. Strengthened ability of team unit can be used in management and maintenance after project development. To do this, residents with the same opinions gathered as one competition team and identified business plans such as village asset, business location, size, program, and method for land securing. Favorable decision-making process by residents who are audience in project presentation of competition team has conducted. After selecting competition teams, continuos consulting are operated for establishing operation and management for developed or remodeled facilities through repetitive education and visiting advanced area. In this process, unit project suggested by competition team are completed. Preliminary selection was conducted by experts who were entrusted by residents. After residents agreement of project main stream such as major facilities and location, final detailed cost of projects are work out. Suggested process in this study which choose the final project by residents would improve residents' voluntary participation in integrated rural development project through open competition in establishing primary design.