• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2001.06a
• /
• pp.485-488
• /
• 2001

소프트웨어의 신뢰도모델을 적용하는 중요한 일 중의 하나는 소프트웨어 발행시각을 결정하는 일이다. 이 문제에 대해서 여러 연구자들이 그동안 많은 연구논문을 발표하였다. 본 논문에서는 최적발행시각을 결정하는 문제를 심도있게 다루고자 하였다. 특정한 발행시각을 결정하는데 있어서 신뢰도 요건 및 비용 모델 모두를 고려하여 고찰한다. 신뢰도 목표로서 허용치 이내의 고장강도를 사용해야 하며, 최적 발행방책은 순차적인 접근법에 근거하여 검토

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2001.10a
• /
• pp.143-146
• /
• 2001

본 연구는 생산-운송시스템에서 수요자와 생산시설 및 운송네트워크이 주어질 경우 최소의 비용으로 고객을 지원할 수 있는 시스템의 결정을 위한 GIS(Geographic Information System) 기반의 차량 운송시스템의 연구이다. 주요 결정 변수는 생산공장의 위치, 운송네트워크, 운영할 창고 및 재고유지수준 등이 포함된다. 본 연구에서는 다-품목 생산 및 공급문제를 비 선형문제로 정식화하고 이를 선형문제로 변환하여 정수계획문제(IP)로 해를 구하였다. 이를 위한 전산 프로그램을 개발하고 예제들을 응용하고 그 결과를 보였다.

• Journal of Korean Society of Transportation
• /
• v.16 no.4
• /
• pp.213-218
• /
• 1998

국가 경쟁력 강화 측면에서 물류의 효율성 증대는 많은 관심의 대상이 되고 있으며, 따라서 물류시설의 입지를 결정하는 문제는 매우 중요하다. 그 중에서도 배송중심지는 물류비절감 차원 뿐만 아니라 물류 서비스의 향상차원에서 관심이 증대되고 있다. 따라서 본 연구에서는 물류시설의 위치결정을 위하여 평균거리 최소화문제(median problam)와 최대통행거리 최소화문제(center problem)를 결합한 이진정수계획모형을 제시하였으며, 또한 개발된 모형은 수요의 형태가 상이한 4가지 유형의 망(network)상에서 2개 및 3개의 배송중심지를 설치하는 문제에 적용되었다.

• Proceedings of the Acoustical Society of Korea Conference
• /
• 1991.06a
• /
• pp.32-37
• /
• 1991

고해상도 신호처리의 기본적인 문제는, 관찰 데이터의 개수가 작고 신호 대 잡음비(SNR)가 낮아서, 푸리에 분석기법에 의해 주기신호가 분해되지 않는 경우에, 신호의 파라미터를 추정하는 것이라 할 수 있다. 주기신호의 주파수 추정 문제에서는 일반적으로 주기신호의 개수를 알고 있다고 가정하는데, 주기신호의 개수가 사전에 알려져 있지 않은 경우, 주파수 추정은 결국 주기신호의 개수결정문제가 되어, EVD나 SVD를 이용한 개수 결정방법이 활발히 연구되어 왔다. 고해상도 신호처리에서는 EVD나 SVD의 비선형 특성 상임게치 신호 대 잡음비가 존재하며 이 SNR보다 낮은 경우 심각한 왜곡현상을 보이게 되어, 주파수 추정 또는 주기신호의 개수결정에 큰 오차를 보이게 된다. 주기신호의 개수를 사전에 알고 있는 경우, 임게치 SNR를 낮추려는 노력으로는 overdetermined over-ranked structured correlation matrix의 rank reduction과 averaging을 이용한 신호 향상방법(signal enhancement)이 연구되어 왔다. 그러나 사전에 주기신호의 개수를 알아야만 하는 결점이 있고, 잡음이 백색이여야 하는 제약이 있었다. 일반적으로 환경 잡음은 유색이고, 주기신호의 개수를 사전에 모르는 경우이므로, 낮은 SNR에서의 주파수 추정문제는 유색잡음을 고려한 신호향상으로 임게치 SNR을 낮추고 주기신호의 개수를 결정한 후 주파수 추정이 이루어져야 한다. 본 논문에서는 이를 위해 광대협 유색잡음에서의 신호향상과 그 과정 중 중 주기신호의 개수를 결정하는 알고리즘ㅇ르 제시하고자 한다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.15 no.1
• /
• pp.1-8
• /
• 2011

To visualize a strategic plan including resource allocations and standardization schedules, it is important to set priorities among information and communication technologies(ICTs) standardization work areas(SWAs). This ranking process involves decision making process with multiple criteria which results a complex selection problem. In this study, analytic hierarchy process(AHP) is employed and applied to solve this decision making problem. The processes and results are illustrated for an effective strategic plan in standardization decision processes.

• Journal of the Society of Naval Architects of Korea
• /
• v.36 no.1
• /
• pp.82-89
• /
• 1999

A designer must make a lot of decisions in a design process. The decisions may be classified into selection decisions and compromise decisions. As the results of two decisions depends on the designer's intention it is necessary that the designer's intention should be reflected in the design systematically and precisely. As the AHP(Analytic Hierarchy Process) technique analyzes and evaluates a obscure selection problem hierarchically, designer's intention can be reflected in the design systematically. Also as qualitative attributes can be rated at quantitative criterion the designer's intention can be reflected consistently. Usually an engineering problem is a coupled problem in which a designer must select one alternative from a set of alternatives and find optimal characteristics of the alternative concurrently. As considered attributes are functions of the compromise system variables and the attributes's units and orders are different each other, attribute ratings must be normalized. This paper introduces a neural network at this normalization. So the attribute ratings can reflect designer's intention and the knowledge from his(her) experience automatically.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.23 no.1
• /
• pp.157-162
• /
• 2023

To NP-complete 3-SAT problem, this paper proposes a O(nm) polynomial time algorithm, where n is the number of literals and m is the total frequency of all literals in equation f. The algorithm firstly decides a truth value of a literal in sequence of previously-set priority. The priority order is as follows: a literal whose occurrence in a clause is 1(k=1), a literal which is k≥2 and whose truth value is either 0 or 1, and a literal with the minimum frequency. Then, literals whose truth value is determined are then deleted from clause T and the remaining clauses. This process is repeated l times, the number of literals. As a result, the proposed algorithm has been successful in accurately determining the satisfiability of a given equation f and in deciding the truth value of all the literals. This paper, therefore, provides not only a linear-time algorithm as a viable solution to the SAT problem, but also a basis for solving the P versus NP problem.

• Informatization Policy
• /
• v.27 no.4
• /
• pp.47-66
• /
• 2020

The rapid development of artificial intelligence technologies such as machine learning and deep learning is expanding its impact in the public administrative and public policy sphere. This paper is an exploratory study on policy decision-making in the age of artificial intelligence to design automated configuration and operation through data analysis and algorithm development. The theoretical framework was composed of the types of policy problems according to the degree of problem structuring, and the success and failure cases were classified and analyzed to derive implications. In other words, when the problem structuring is more difficult than others, the greater the possibility of failure or side effects of decision-making using artificial intelligence. Also, concerns about the neutrality of the algorithm were presented. As a policy suggestion, a subcommittee was proposed in which experts in technical and social aspects play a professional role in establishing the AI promotion system in Korea. Although the subcommittee works independently, it suggests that it is necessary to establish governance in which the results of activities can be synthesized and integrated.

• 한국어정보학회:학술대회논문집
• /
• 2016.10a
• /
• pp.300-304
• /
• 2016

본 논문에서는 한국어 의미역 결정을 순차열 분류 문제(Sequence Labeling Problem)가 아닌 순차열 변환 문제(Sequence-to-Sequence Learning)로 접근하였고, 구문 분석 단계와 자질 설계가 필요 없는 End-to-end 방식으로 연구를 진행하였다. 음절 단위의 RNN Search 모델을 사용하여 음절 단위로 입력된 문장을 의미역이 달린 어절들로 변환하였다. 또한 순차열 변환 문제의 성능을 높이기 위해 연구된 인풋-피딩(Input-feeding) 기술과 카피넷(CopyNet) 기술을 한국어 의미역 결정에 적용하였다. 실험 결과, Korean PropBank 데이터에서 79.42%의 레이블 단위 f1-score, 71.58%의 어절 단위 f1-score를 보였다.

• Annual Conference on Human and Language Technology
• /
• 2016.10a
• /
• pp.300-304
• /
• 2016

본 논문에서는 한국어 의미역 결정을 순차열 분류 문제(Sequence Labeling Problem)가 아닌 순차열 변환 문제(Sequence-to-Sequence Learning)로 접근하였고, 구문 분석 단계와 자질 설계가 필요 없는 End-to-end 방식으로 연구를 진행하였다. 음절 단위의 RNN Search 모델을 사용하여 음절 단위로 입력된 문장을 의미역이 달린 어절들로 변환하였다. 또한 순차열 변환 문제의 성능을 높이기 위해 연구된 인풋-피딩(Input-feeding) 기술과 카피넷(CopyNet) 기술을 한국어 의미역 결정에 적용하였다. 실험 결과, Korean PropBank 데이터에서 79.42%의 레이블 단위 f1-score, 71.58%의 어절 단위 f1-score를 보였다.