• 정보과학회 논문지
• /
• 제44권9호
• /
• pp.986-991
• /
• 2017

본 논문에서는 주어진 입 출력 예제로부터 명령형 프로그램을 합성하는 방법을 제시한다. 프로그램 합성기의 입력으로 (1) 입 출력 예제, (2) 불완전한 프로그램, (3) 사용될 변수 및 정수가 주어지면, 합성기는 주어진 입 출력 예제를 모두 만족하는 완성된 프로그램을 출력한다. 기본 알고리즘은 정답 프로그램을 찾을 때까지, 가능한 모든 프로그램을 나열하는 것이다(enumerative search). 이 경우 탐색 공간이 매우 크므로 오랜 시간이 걸린다는 문제점이 있다. 시간을 효과적으로 단축하기 위한 우리의 방법은, 코드 최적화 기법을 이용해 문법은 다르지만 같은 의미의 프로그램들을 확인함으로써, 불필요한 중복탐색을 피하는 것이다. 20개의 입문자 교육용 프로그래밍 문제들을 대상으로 합성 알고리즘 성능을 평가한 결과, 우리의 방법이 기본 탐색 알고리즘의 성능을 약 10배 향상시킴을 확인하였다.

• Management Science and Financial Engineering
• /
• 제12권1호
• /
• pp.113-125
• /
• 2006

Bilevel programming problem is a two-stage optimization problem where the constraint region of the first level problem is implicitly determined by another optimization problem. In this paper we consider the bilevel quadratic/linear fractional programming problem in which the objective function of the first level is quasiconcave, the objective function of the second level is linear fractional and the feasible region is a convex polyhedron. Considering the relationship between feasible solutions to the problem and bases of the coefficient submatrix associated to variables of the second level, an enumerative algorithm is proposed which finds a global optimum to the problem.

• 한국도서관정보학회지
• /
• 제39권3호
• /
• pp.299-320
• /
• 2008

이 연구는 MRF(Master Reference File)를 바탕으로 2005년에 영국의 BSI(British Standards Institution) 에서 인쇄 형태로 출판한 UDC(Universal Decimal Classification)의 표준판(Standard edition)을 대상으로 그 성립배경과 구조적 특성을 분석하고, 한국어 간략판과 비교하였다. UDC는 다른 십진식분류표에 대비하여 독특한 구조적 특성이 있으며, 한국어 간략판과 비교하여 볼 때 국제적 보편성을 더욱 강화하였고, 보조표를 통한 조합의 방식이 더욱 확대되었다. 이 연구를 바탕으로 앞으로의 KDC(Korean Decimal Classification)의 개정에 있어서 참고가 될 만한 KDC MRF 데이터베이스 개발과 보조표의 개선과 새로운 신설을 제언하였다.

• 한국정보처리학회논문지
• /
• 제6권9호
• /
• pp.2350-2364
• /
• 1999

본 논문은 객체지향 C++ 클래스 컴포넌트를 분류하여 재사용자에게 필요한 컴포넌트를 제공하기 위한 저장소의 클래스 라이브러리 설계방법을 제안한 것이다. 클래스 라이브러리를 설계하기 위해서 컴포넌트 구성 모델을 정의하였고, Enumerative 분류 방법을 이용한 멀티미디어 영역을 분류하였으며, 문서 클러스터링 방법을 확장하여 유사도에 의한 C++ 클래스를 유사한 그룹으로 분류하는 클러스터 생성 기준을 제안하고 있다. 이 유사 그룹인 클러스터는 클래스 멤버 데이터와 멤버함수 그리고 클래스 유사도를 기반으로 분류되며, 분류된 컴포넌트들은 유사도 관계의 계층구조로 구성된다. 마지막으로 객체지향 개념인 Generalization/Specialization의 C++ 상속관계를 계층구조로 표현할 수 있는 클래스 라이브러리를 설계하였다.

• 한국도서관정보학회지
• /
• 제15권
• /
• pp.113-151
• /
• 1988

The enumerative classification schemes do not represent the tiny mass of knowledge embodied in a article in a periodical or in a chapter or a paragraph of a book. But today's information centers regard a tiny spot of knowledge embodied in a article as a class. we call this micro-thought. But the enumerative classification are manual systems, it cannot be a n.0, pplied to the automation of classification. The purpose of this study is to build a general principle for the automatic book-classification which can be put to use in library operation, and to present a methodology of the automatic classification for the library. The methodology used is essentially theoretical, Published works by and about Ranganathan, especially 6th edition of the CC were studied, analyzed. The principle of automatic book classification derived from the analysis of colon classification and facet combinations. The results of this study can be summarized as follows ; (1) This study confined the fields of library science and agriculture. (2) This study represent a general principles for the automatic book classification of library science and agriculture. (3) Program flowcharts are designed as a basis of system analysis and program procedure in library science and agriculture. (4) The principles of the automatic classification in library, science is different from that of agriculture. (5) Automatic book classification can be performed by the principle of faceted classification, by inputting the title and subject code into a computer. In addition, the expected value from the automatic book-classification is as follows (1) The prompt and accurate of classification is possible. (2) Though a book is classified in any library, it can have same classification number. (3) The user can retrieve the classification code of a book for which he or she wants to search through dialogue with the computer. (4) Since the concept coordination method is employed, a tiny mass of knowledge embodied in a article in a periodical or in a chapter or a paragraph of a book can be represented as a class. (5) By performing automatic book-classification, the automation of library operation can be completed.

• 대한토목학회논문집
• /
• 제31권6D호
• /
• pp.849-856
• /
• 2011

본 연구에서는 교량의 구조계산서와 같이 여러 종류의 머리기호를 사용하며 제목의 계층구조가 복잡한 형식을 띄는 엔지니어링 문서의 비구조화된 텍스트 정보를 제목의 계층 구조에 따른 준구조화된 XML 문서로 변환시키는 방법을 제시한다. 텍스트 정보로부터 제목의 계층구조를 자동으로 추출하기 위해 문서구조분석 방법의 하나인 문서구조추출 기법을 이용하는 방법을 개발하였으며, 특히 개조식 구문의 식별방법을 개발하여 구조계산서 문서 계층구조의 제목추출과정 및 계층구분의 전체 정확도를 향상시킬 수 있는 방법을 제시하였다. 제시된 방법에 따른 응용모듈을 개발하였으며, 총 40개의 교량 구조계산서를 대상으로 그 성능을 평가하였다. 먼저, 20개의 강거더 상부 구조계산서를 대상으로 선행 연구결과와 비교하여 본 연구에서 개발된 응용모듈의 정확성과 신뢰도가 향상됨을 보였다. 또한, 다른 구조형식에 대한 구조계산서 20개에 대하여 개발된 모듈의 적용성을 평가하였다. 그 결과 본 연구에서 제안한 방법에 의한 문서 계층구조 분석의 최종 정확도는 평균 99% 수준 이상을 나타내고, 표준편차는 1.52로 나타나 본 연구에서 제시된 방법이 다양한 형식의 머리기호를 사용하여 제목을 구분하는 여러 엔지니어링 문서에도 적용이 가능함을 보였다.

• 정보관리연구
• /
• 제41권3호
• /
• pp.1-26
• /
• 2010

본 연구의 목적은 2005년 영국의 BSI(British Standards Institution)에서 인쇄 형태로 출판된 UDC(Universal Decimal Classification)의 표준판과 1973년 한국과학기술정보센터(KORSTIC, Korea Scientific & Technological Information Center)에서 출판된 UDC의 한국어판을 비교 분석하여 한국어판의 개정방향을 제시하는 데 있다. 앞으로 개정될 한국어판은 표준판의 규모로 한국어 간략판과 MRF(Master Reference File)를 바탕으로 표준판의 체제에 따라 본표와 색인으로 된 인쇄판이 되어야하며, 국제적 보편성을 강화하고, 보조표를 통한 조합의 방식을 더욱 확대할 필요가 있음을 제언 하였다.

• 한국도서관정보학회지
• /
• 제11권
• /
• pp.175-209
• /
• 1984

The purpose of this study is to build a general principle for the automatic book-classification which can be put to use in library operation, and to present a methodology of the automatic classification for the library. Since the enumerative classification scheme which exist as manual systems cannot be a n.0, pplied to the automation of classification, the principles of Colon Classification by S.R. Ranganathan is brought in and studied. The result of the study can be summarized as follows: (1) Automatic book-classification can be performed by the principles of faceted classification. (2) This study presents a general and an a n.0, pplication principles for the automatic book-classification. (3) File design for the automatic book-classification of a general classification is different from that of special classification, (4) The methodology is to classify the literature by inputting the title into a terminal. In addition, the expected Value from the Automatic Book-classification is as follows: (1) The prompt and accurate process of classification is possible. (2) Though a book is classified in any library it can have the same classification number. (3) The user can retrieve the classification code of a book for which he or she wants to search through the dialogue with the computer. (4) Since the concept coordination method is employed, even the representing of a multi-subject concept is made simple. (5) By performing automatic book-classification, the automation of library operation can be completed.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제15권6호
• /
• pp.2282-2303
• /
• 2021

To solve the problems of heavy computing load and system transmission pressure in energy internet (EI), we establish a three-tier cloud-edge integrated EI network based on a cloud-edge collaborative computing to achieve the tradeoff between energy consumption and the system delay. A joint optimization problem for resource allocation and task offloading in the threetier cloud-edge integrated EI network is formulated to minimize the total system cost under the constraints of the task scheduling binary variables of each sensor node, the maximum uplink transmit power of each sensor node, the limited computation capability of the sensor node and the maximum computation resource of each edge server, which is a Mixed Integer Non-linear Programming (MINLP) problem. To solve the problem, we propose a joint task offloading and resource allocation algorithm (JTOARA), which is decomposed into three subproblems including the uplink transmission power allocation sub-problem, the computation resource allocation sub-problem, and the offloading scheme selection subproblem. Then, the power allocation of each sensor node is achieved by bisection search algorithm, which has a fast convergence. While the computation resource allocation is derived by line optimization method and convex optimization theory. Finally, to achieve the optimal task offloading, we propose a cloud-edge collaborative computation offloading schemes based on game theory and prove the existence of Nash Equilibrium. The simulation results demonstrate that our proposed algorithm can improve output performance as comparing with the conventional algorithms, and its performance is close to the that of the enumerative algorithm.

• 대한수학회지
• /
• 제54권4호
• /
• pp.1121-1148
• /
• 2017

Go is an ancient game of great complexity and has a huge following in East Asia. It is also very rich mathematically, and can be played on any graph, although it is usually played on a square lattice. As with any game, one of the most fundamental problems is to determine the number of legal positions, or the probability that a random position is legal. A random Go position is generated using a model previously studied by the author, with each vertex being independently Black, White or Uncoloured with probabilities q, q, 1 - 2q respectively. In this paper we consider the probability of legality for two scenarios. Firstly, for an $N{\times}N$ square lattice graph, we show that, with $q=cN^{-{\alpha}}$ and c and ${\alpha}$ constant, as $N{\rightarrow}{\infty}$ the limiting probability of legality is 0, exp($-2c^5$), and 1 according as ${\alpha}$ < 2/5, ${\alpha}=2/5$ and ${\alpha}$ > 2/5 respectively. On the way, we investigate the behaviour of the number of captured chains (or chromons). Secondly, for a random graph on n vertices with edge probability p generated according to the classical $Gilbert-Erd{\ddot{o}}s-R{\acute{e}}nyi$ model ${\mathcal{G}}$(n; p), we classify the main situations according to their asymptotic almost sure legality or illegality. Our results draw on a variety of probabilistic and enumerative methods including linearity of expectation, second moment method, factorial moments, polyomino enumeration, giant components in random graphs, and typicality of random structures. We conclude with suggestions for further work.