• Title/Summary/Keyword: 부울

Search Result 111, Processing Time 0.027 seconds

A survey on the Minimum Time Scale by Southern Region of the Korean Peninsula for Daily SPI Application (일 단위 SPI 적용을 위한 한반도 남부지역별 최소 시간 척도 조사)

  • Chae Lim Lee;Ji Yu Seo;Jeong Eun Won;Sang Dan Kim
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2023.05a
    • /
    • pp.328-328
    • /
    • 2023
  • 표준강수지수(Standardized Precipitation Index, SPI)는 강수량 변동의 정도를 표준화하여 나타낸 지수로, 가뭄 평가에 적용되고 있다. 일반적으로 SPI를 산정할 때는 월 단위의 시간 척도를 적용하며, 장기간의 가뭄에 대해 평가한다. 그러나 시간 척도가 길어질수록 가뭄 발생 후 가뭄을 감지하는 데 걸리는 시간이 더 길어지기 때문에 대처가 더욱 어려워진다. 또한, 기후변화로 인해 가뭄 빈도가 증가하고, 그 정도가 더욱 심화되면서 일 단위의 적용이 필요해지고 있다. 본 연구는 한반도 남부지역을 대상으로 일 단위의 SPI 적용을 위한 최소 시간 척도를 조사하였다. 대상 지역을 강원권, 수도권, 부울경, 대경권, 호남권, 충청권의 총 6개 지역으로 분리하여, 각 지역별, 계절별 최소 시간 척도를 조사하였다. SPI 산정을 위해 후보 분포형으로 Gumbel, Gamma, GEV, Loglogistic, Lognormal, Weibull을 적용하였으며, 시간 척도는 5일부터 365일까지 총 10개로 설정하였다. 본 연구에선 크게 적합도 검정과 정규성 검정으로 진행하였다. 적합도 검정에서는 Chi-square test를 적용하였으며, 이때 일 단위의 짧은 시간 척도를 적용할 경우 누가 강수 시계열의 값이 0으로, 0값이 시계열에 포함되면 SPI의 정확도가 떨어지는 문제가 발생하는데, 이를 보완하기 위해 누가 강수 시계열의 0값을 고려하였다. 마지막으로 각 후보 분포형을 적용하여 산정된 SPI가 표준정규분포에 합당한지를 검증하기 위해 Anderson-Darling test를 수행하였다. 결과적으로 대부분의 지역에서는 봄과 여름의 경우 최소 15일 정도의 시간 척도까지는 적용할 수 있을 것으로 판단되며, 겨울의 경우는 최소 30일 정도의 시간 척도를 적용해야 함을 확인하였다. 지역별로 차이가 크진 않지만, 이러한 연구 결과를 참고하여 각 지역별로 더 나은 가뭄 대책을 마련할 수 있을 것으로 기대된다.

  • PDF

k-SAT Problem Algorithm Based on Maximum-Maximum Frequency (최대-최대 빈도수 k-SAT 알고리즘)

  • Sang-Un Lee
    • The Journal of the Institute of Internet, Broadcasting and Communication
    • /
    • v.23 no.6
    • /
    • pp.125-132
    • /
    • 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. Conventionally well-known DPLLs should perform O(2𝑙) in the worst case by performing backtracking if they fail to find a solution in a brute-force search of a branch-and-bound for the number of literals 𝑙. DPLL forms the core of the SAT Solver by substituting true(T) or false(F) for a literal so that a clause containing the least frequency literal is true(T) and removing a clause containing that literal. Contrary to DPLL, the proposed algorithm selects a literal max𝑙 with the maximum frequency and sets $_{\max}({\mid}l{\mid},{\mid}{\bar{l}}{\mid})=1$. It then deletes 𝑙∈ci clause in addition to ${\bar{l}}$ from ${\bar{l}}{\in}c_i$ clause. Its test results on various k-SAT problems not only show that it performs less than existing DPLL algorithm, but prove its simplicity in satisfiability verification.

A Study on the Construction Demand for Network of Metro Railroad in Busan-Ulsan-Gyeongnam Area - In the place of National Road No.7 - (부울경 광역도시철도망 구축 필요성에 관한 연구 - 국도 7호선 중심으로 -)

  • Choi, Yang Won
    • KSCE Journal of Civil and Environmental Engineering Research
    • /
    • v.31 no.6D
    • /
    • pp.771-778
    • /
    • 2011
  • Preliminary feasibility study on Busan metro line #1 in Yangsan line (Nopo-Bukjeong) depending on active volume of mass transportation between Yangsan city and Busan city was conducted. As the study concluded that it's valid, the necessity to establish the metro railroad network connecting to Busan, Ulsan and Gyeongnam Province is demanded to improve the transportation issues in Ungsang area vulnerable to metro service and to drive the balanced development between metropolitan cities. In addition, the volume of transportation depending on methods in target areas and road traffic assignment are surveyed to put a stress on the necessity to establish the metro railroad network. As the demand of transportation for alternative lines is predicted, the budget and benefits for construction for each alternative line set for the rough economic analysis depending on traffic volume for each method and traffic assignment results. The total project budget necessary for construction of proposal line #1 set as effective one among target three lines in this project is calculated in 794.32 billion won. Construction accounts for the most expensive in expenses for project and contingency allowances, purchases for vehicles and collateral expense are followed in orders. However, compensation for lands is not counted. In particular, according to economic analysis in proposal #1, ratio of benefit/cost (B/C) is 0.584, net present value (NPV) is -217.47 billion won, the internal rate of return (IRR) is analyzed in 0.604 %. At the current stage, it is not economically feasible, but the B/C is 0.737 in long-term upon construction of Yangsan line between Wolpheong and Yongdang which is proposal line #3. Therefore, when Busan metro basic plan is reorganized to aim the benefit of residents in Ungsang area vulnerable to the metro service, we think it must be necessary to establish the metro railroad network connecting to Busan-Yangsan-Ulsan which is proposal line #2 by extending the existing Sinjeong line and including this task line in high-ranked plan related to metro railroad.

A Study on the Computational Model of Word Sense Disambiguation, based on Corpora and Experiments on Native Speaker's Intuition (직관 실험 및 코퍼스를 바탕으로 한 의미 중의성 해소 계산 모형 연구)

  • Kim, Dong-Sung;Choe, Jae-Woong
    • Korean Journal of Cognitive Science
    • /
    • v.17 no.4
    • /
    • pp.303-321
    • /
    • 2006
  • According to Harris'(1966) distributional hypothesis, understanding the meaning of a word is thought to be dependent on its context. Under this hypothesis about human language ability, this paper proposes a computational model for native speaker's language processing mechanism concerning word sense disambiguation, based on two sets of experiments. Among the three computational models discussed in this paper, namely, the logic model, the probabilistic model, and the probabilistic inference model, the experiment shows that the logic model is first applied fer semantic disambiguation of the key word. Nexr, if the logic model fails to apply, then the probabilistic model becomes most relevant. The three models were also compared with the test results in terms of Pearson correlation coefficient value. It turns out that the logic model best explains the human decision behaviour on the ambiguous words, and the probabilistic inference model tomes next. The experiment consists of two pans; one involves 30 sentences extracted from 1 million graphic-word corpus, and the result shows the agreement rate anong native speakers is at 98% in terms of word sense disambiguation. The other pm of the experiment, which was designed to exclude the logic model effect, is composed of 50 cleft sentences.

  • PDF

The application of fuzzy spatial overlay method to the site selection using GSIS (GSIS를 이용한 입지선정에 있어 퍼지공간중첩기법의 적용에 관한 연구)

  • 임승현;조기성
    • Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
    • /
    • v.17 no.2
    • /
    • pp.177-187
    • /
    • 1999
  • Up to date, in many application fields of GSIS, we usually have used vector-based spatial overlay or grid-based spatial algebra for extraction and analysis of spatial data. But, because these methods are based on traditional crisp set, concept which is used these methods. shows that many kinds of spatial data are partitioned with sharp boundary. That is not agree with spatial distribution pattern of data in the real world. Therefore, it has a error that a region or object is restricted within only one attribution (One-Entity-one-value). In this study, for improving previous methods that deal with spatial data based on crisp set, we are suggested to apply into spatial overlay process the concept of fuzzy set which is good for expressing the boundary vagueness or ambiguity of spatial data. two methods be given. First method is a fuzzy interval partition by fuzzy subsets in case of spatially continuous data, and second method is fuzzy boundary set applied on categorical data. with a case study to get a land suitability map for the development site selection of new town, we compared results between Boolean analysis method and fuzzy spatial overlay method. And as a result, we could find out that suitability map using fuzzy spatial overlay method provide more reasonable information about development site of new town, and is more adequate type in the aspect of presentation.

  • PDF

Goral(Nemorhaedus caudatus) Habitat Suitability Model based on GIS and Fuzzy set at Soraksan National Park. (GIS와 퍼지집합을 이용한 산양(Nemorhaedus caudatus)의 서식지적합성모형 개발: 설악산 국립공원을 대상으로)

  • 최태영;양병이;박종화;서창완
    • Proceedings of the Korean Association of Geographic Inforamtion Studies Conference
    • /
    • 2003.04a
    • /
    • pp.472-477
    • /
    • 2003
  • 멸종위기종의 서식지를 효율적으로 관리하기 위해서는 해당 종의 서식 가능한 지역의 분포를 알아야 한다. 본 연구의 목적은 GIS와 퍼지집합을 이용하여 산양(Nemorhaedus caudatus)의 서식지적합성모형을 개발하여 멸종 위기종의 서식지를 관리하기 위한 정보를 제공하는 것이다. 산양의 서식지적합성모형 개발을 위한 본 연구의 주요내용은 다음과 같다. 첫째, 산양 서식지 이용에 관한 기존 연구를 바탕으로 산양의 잠재적 서식지 환경변수를 분류하였으며, 분석 대상지의 산양 흔적 조사를 통해 서식지 환경변수의 재분류 및 x²검정(Chi-square test)을 통한 변수들의 유용성을 파악하고, 쌍체비교를 통한 환경변수별 가중치를 계산하였다. 둘째, 기존 부울논리(boolean logic)의 단점을 보완하기 위해 현장 조사의 결과를 바탕으로 퍼지논리(fuzzy logic)에 의한 산양 서식지의 각 환경변수별 주제도를 작성하고, 주제도들의 상관관계를 분석하여 상호 관련성이 높은 변수들의 중복을 피하였다. 셋째, 환경변수별 주제도와 변수별 가중치를 바탕으로 다기준평가기법(MCE, Multi-Criteria Evaluation)을 이용하여 분석대상지의 산양 서식지적합성모형을 개발하였다. 마지막으로, 개발된 서식지적합성모형의 타당성을 검증하기 위해 분석대상지 외부 지역을 대상으로 검증을 실시하였다. 분석 결과 분석대상지의 분류정확도는 서식가능성 0.5를 기준으로 93.94%의 매우 높은 분류정확도를 나타내었으며, 검증대상지에서는 95.74%의 분류정확도를 나타내어 본 모형의 분류정확도는 일관성이 높은 것으로 판단되었다. 또한 전체 공원구역에서 서식가능성 0.5이상의 면적은 59%를 차지하였다.퇴적이 우세한 것으로 관측되었다.보체계의 구축사업의 시각이 행정정보화, 생활정보화, 산업정보화 등 다양한 분야와 결합하여 보다 큰 시너지 효과와 사용자 중심의 서비스 개선을 창출할 수 있는 기반을 제공할 것을 기대해 본다.. 이상의 결과를 종합해볼 때, ${\beta}$-glucan은 고용량일 때 직접적으로 또는 $IFN-{\gamma}$ 존재시에는 저용량에서도 복강 큰 포식세로를 활성화시킬 뿐 아니라, 탐식효율도 높임으로써 면역기능을 증진 시키는 것으로 나타났고, 그 효과는 crude ${\beta}$-glucan의 추출조건에 따라 달라지는 것을 알 수 있었다.eveloped. Design concepts and control methods of a new crane will be introduced in this paper.and momentum balance was applied to the fluid field of bundle. while the movement of′ individual material was taken into account. The constitutive model relating the surface force and the deformation of bundle was introduced by considering a representative prodedure that stands for the bundle movement. Then a fundamental equations system could be simplified considering a steady state of the process. O

  • PDF

Design and Performance Evaluation of a 3-Dimensional Nonblocking Copy Network for Multicast ATM Switches (ATM 멀티캐스트 스위치를 위한 3차원 논블럭킹 복사망의 설계 및 성능평가)

  • 신재구;손유익
    • Journal of KIISE:Information Networking
    • /
    • v.29 no.6
    • /
    • pp.696-705
    • /
    • 2002
  • This paper presents a new copy network for multicast ATM switches. Many studies have been carried out up to date since the proposition of Lee's copy network. However, the overflows and cell conflicts within the switch have still been raised a problem in argument. In order to reduce those problems, we proposed a 3-dimensional multicast switching architecture which has shared buffers in this paper. The proposed architecture can reduce the overflows and cell conflicts through multiple paths and output ports even in the high load environments. Also, we proposed a cell splitting algorithm which handles the cell in the case of large fan-out, and a copy network to increase throughput by expanding the Lee's Broadcast Banyan Network(BBN). Cell copy uses the Boolean interval splitting algorithm and the multicast pattern of the cells according to the self-routing characteristics of the network. In the proposed copy network, we improve the problems such as overflow, cell splitting of large fanout, cell conflicts, etc., which were still existed in the Lee's network. The results of performance evaluation by computer simulation show that the proposed scheme has better throughput, cell loss rate and cell delay than the conventional method.

An Efficient CPLD Technology Mapping considering Area under Time Constraint (시간 제약 조건하에서 면적을 고려한 효율적인 CPLD 기술 매핑)

  • Kim, Jae-Jin;Kim, Hui-Seok
    • Journal of the Institute of Electronics Engineers of Korea SD
    • /
    • v.38 no.1
    • /
    • pp.79-85
    • /
    • 2001
  • In this paper, we propose a new technology mapping algorithm for CPLD consider area under time constraint(TMFCPLD). This technology mapping algorithm detect feedbacks from boolean networks, then variables that have feedback are replaced to temporary variables. Creating the temporary variables transform sequential circuit to combinational circuit. The transformed circuits are represented to DAG. After traversing all nodes in DAG, the nodes that have output edges more than two are replicated and reconstructed to fanout free tree. This method is for reason to reduce area and improve total run time of circuits by TEMPLA proposed previously. Using time constraints and delay time of device, the number of graph partitionable multi-level is decided. Initial cost of each node are the number of OR-terms that it have. Among mappable clusters, clusters of which the number of multi-level is least is selected, and the graph is partitioned. Several nodes in partitioned clusters are merged by collapsing, and are fitted to the number of OR-terms in a given CLB by bin packing. Proposed algorithm have been applied to MCNC logic synthesis benchmark circuits, and have reduced the number of CLBs by 62.2% than those of DDMAP. And reduced the number of CLBs by 17.6% than those of TEMPLA, and reduced the number of CLBs by 4.7% than those of TMCPLD. This results will give much efficiency to technology mapping for CPLDs.

  • PDF

An Analysis on Scientific and Technological Information Status and Demand of Small Businesses: Focuses on Busan·Ulsan·Gyeongsangnam-do Branches of KISTI (중소기업의 과학기술정보 요구 실태 분석 연구 - KISTI 부산·울산·경남지원을 중심으로 -)

  • Lee, Jong-Moon
    • Journal of the Korean BIBLIA Society for library and Information Science
    • /
    • v.26 no.3
    • /
    • pp.83-100
    • /
    • 2015
  • This paper aims to survey the supply status and demand of the scientific & technological information among the 1,059 small enterprises demanding the support in Busan, Ulsan and Gyeongsangnam-do which have been supported by the Branch of KISTI and to propose the approaches to improve the scientific & technological information system. As the results of this research, Busan, Ulsan and Gyeongsangnam-do have very poor business and R&D environment to the extent that 96.3% of businesses was small business (medium business only for 3.7%) and 31% of total small & medium-cized businesses has less than 10 R&D workers. Small & medium-sized businesses which have demanded the information to KISTI account for only 0.2% in average for 3 years. The information demand types are market trend (26.8%), industrial property right (22.1%), business proposal (19.9%), item exploration (16.8%) and quality certification (8.4%). The supplied informations include scientific and technological data survey, market survey, translation and information application seminar. The business achievements from the information supply include 379 cases in technological development improvement and launch of products, 88 cases in technology certifications and 414 cases in patents and utility design application and registration. By the analysis results, the small and medium-sized businesses have difficulties in using R&D information by themselves. Thus, it's proposed to establish the science and technology information center in southeastern region and develop the information advisors specialized in local specialty industry categories. It's also proposed to expand the manpower and budget of KISTI concerning the information support for small & medium-sized businesses.

A Study on the Economic Effects of Wide-Regional Zones Port Logistic Industry (광역권 항만산업의 경제적 파급효과 분석)

  • Choi, Bong-Ho
    • Journal of Korea Port Economic Association
    • /
    • v.25 no.3
    • /
    • pp.21-42
    • /
    • 2009
  • This paper analyses the industrial structure and economic effects of wide-regional zones port logistic industry. The analysis on regional economic impacts is conducted in two ways, among which one is the analysis on the effects of final demand of the industry on regional economy and the other is the analysis on the effects of the industry's production activity with using input-output analysis. Main results of this study are as follows: first, wide-regional zones port logistic industry has lower value-added rate relative to other industries. Busan-Ulsan regional zone has relatively higher value-added rate than other regional zones. Second, the economic effects of final demand and production activity of the industry are found to be the largest in Jeolla regional zone and the lowest in Sudo regional zone.

  • PDF