• Title/Summary/Keyword: 집합론

Search Result 279, Processing Time 0.029 seconds

Multifaceted Modeling Methodology for System of Systems using IEEE 1516 HLA/RTI (IEEE 1516 HLA/RTI를 이용한 복합 시스템의 다측면적인 모델링 방법론)

  • Kim, Byeong Soo;Kim, Tag Gon
    • Journal of the Korea Society for Simulation
    • /
    • v.26 no.2
    • /
    • pp.19-29
    • /
    • 2017
  • System Entity Structure/Model Base (SES/MB) enhances organizing model families and storing and reusing model components in the multifaceted system modeling. However, the real world can be described not only an individual system but also a collection of those systems, which is called system of systems (SoS). Because SES/MB has a limitation to simulate the SoS using HLA/RTI, an extended framework is required to simulate it. Therefore, this paper proposes System of Systems Entity Structure/Federate Base (SoSES/FB) for simulation in a distributed environment (HLA/RTI). The proposed method provides the library of federates (FB) and System of System Entity Structure (SoSES) formalism, which represents structural knowledge of a collection of simulators. It also provides a methodology for the development process of distributed simulation. The paper introduces the anti-missile defense simulation using the proposed SoSES/FB.

A Metric based Restructuring Technique Preserving the Behavior of Object-Oriented Designs (객체지향 설계 행위를 보존하는 메트릭 기반 재구조화 기법)

  • 이병정
    • Journal of KIISE:Software and Applications
    • /
    • v.30 no.10
    • /
    • pp.912-924
    • /
    • 2003
  • Design restructuring improves software quality by reorganizing design elements and reduces maintenance cost. Object-oriented metrics can help to detect design flaws and find transformations to reorganize design elements. Basically, the transformations must preserve the behavior of an initial system. This paper describes a metric based restructuring technique preserving the behavior of object-oriented designs, founded on set theory, and gives its validity by applying the technique to applications written in Java. This paper also compares the technique with a technique using simulated annealing algorithm to show its effectiveness.

A Comparative Analysis on the Current Housing Unit Plans of Korea and China (${\cdot}$중 현대 집합주거 단위평면 비교연구)

  • Jung Byung-Moon;Kim Hyeon-Ji;Lee Sang-Hong
    • Journal of the Korean housing association
    • /
    • v.16 no.6
    • /
    • pp.65-72
    • /
    • 2005
  • The purpose of this study is to get preeminent data from comparative analysis of multi-family housing unit plans between Korea and China nowadays. Even though Korea and China belong to common cultured band in Asia, there are many different Housing aspects and unit plans. Through this study we want to grasp the characteristics of both nation's apartment unit plans and to contribute for advance into the China apartment market. Analysis target is constructing and lotting out apartment at South Korea and China in 2004, and the space syntax model is used as an analysis tool. First, analyze kind, number and special quality of each room by use area, and second, analyze area and scale of the rooms. Through the integration analysis we know the grade of rank and centrality of each rooms, and search difference of South Korean and Chinese apartment.

A Study on the Image Recognition Using Mathematical Morphology (수학적 모폴로지를 이용한 화상인식에 관한 연구)

  • 남태희
    • Journal of the Korea Society of Computer and Information
    • /
    • v.3 no.2
    • /
    • pp.113-117
    • /
    • 1998
  • The image recognition, with various technics, recently presented an effective recognition scheme both for image and character. The analyzing process, however, is highly complicated so that this does not utilized fully. This paper examines the validity of the image recognition through morphology, which is simple and a theory of sets. The morphology applies erosion and dilation, opening and closing, and structuring element.

  • PDF

Study on Acceleration of Building a Thesaurus by Means of Pre-applying of $\alpha$-cut ($\alpha$-cut 선적용에 의한 시소러스 구축의 가속화에 관한 연구)

  • 김창민;김용기
    • Proceedings of the Korean Institute of Intelligent Systems Conference
    • /
    • 1997.10a
    • /
    • pp.233-236
    • /
    • 1997
  • 퍼지 관계 개념을 응용한 퍼지 정보 검색은 형태론에 입각한 기존의 정보 검색과는 달리 문서와 용어의 의미론에 근거하는 정보검색을 할 수 있다. 퍼지 정보 검색은 문헌의 집합 용어의 집합으로 나누고 문헌과 용어의 관계성을 문서 $\times$ 용어이 관계 행렬로 나타내며 퍼지 관계곱 연산을 이용하여 시소러스(thesaurus)를 형성하고 사용자로부터 주어진 질의 적합한 문서를 제공한다. 그러나 이러한 퍼지 관계곱 연산은 매우 큰 시간 복합도를 요구하는 연산이고 퍼지값은 부동소수점으로 표현해야하므로 대용량의 문서 시스템에 적용할 수 없어 비현실적이다. 부동소수점 연산은 연산속도가 느리고 저장공간도 많이 요구하므로 부동소수점 연산을 비트 연산으로 대체할 수 있다면 처리속도와 처리공간에 있어 성능 향상을 기대할 수 있다. 본 연구는 퍼지 정보 검색의 시소러스 형성에 있어 $\alpha$-cut 적용의 시기를 조정하여 성능을 향상하는 방법을 제안한다.

  • PDF

천이노심 DNBR 벌점 평가방법 개선

  • 김강훈;전병순;박응준
    • Proceedings of the Korean Nuclear Society Conference
    • /
    • 1995.10a
    • /
    • pp.389-395
    • /
    • 1995
  • 기존의 천이노심 DNBR 벌점 평가 방법을 개선하여 불확실도를 줄이고 신뢰도를 향상시키며, 적용범위를 확대함으로써 보다 실제적인 DNBR 벌점 평가 방법을 제시하고자 하였다. 이를 위하여 영광 1호기 JDFA-V5H 의 천이노심을 대상으로 하는 일련의 분석이 수행되었다. 먼저 균일노심과 천이노심을 모형화 한 기준 제어군에서의 상대적인 물성치의 변화와 축방향에서의 DNBR 거동을 분석하였고 이에 따른 최소 DNBR 의 상대적 차이로부터 최대 럴점 조건 및 벌점이 적용되는 집합체를 선정하였다. 변수 민감도 분석 결과, 최대 벌점 조건은 과출력 (120% 출력), 고압 (2420 psia) 그리고 상부노심에서 상대출력이 많은 축방향 출력 분포를 갖는 조건이 선정되었고 천이노심 벌점은 V5H에만 부과된다. 천이노심 DNBR 벌점은 배열 민감도 분석을 통하여 노심내 V5H 분율의 함수로 표현됨을 알 수 있었으며, 기존의 보수적인 방법론에 비해 최소 3% 이상의 천이노심 벌점이 감소되는것으로 나타나 추가적인 여유도의 확보로 인한 설계의 탄력성을 기대할 수 있다. 이 결과는 IFM이 존재하는 원전연료 집합체 상부에 대하여 노심의 V5H 분율이 0.02 부터 1.0 까지의 정상 및 과도상태 노심에 대하여 적용할 수 있다.

  • PDF

Changes of Mathematical Knowledge and Mathematical Revolution (수학에서의 지식의 변화와 수학혁명)

  • Park, Chang-Kyun
    • Journal for History of Mathematics
    • /
    • v.23 no.4
    • /
    • pp.17-30
    • /
    • 2010
  • The aim of this paper is to classify mathematical revolutions by discussing the concept of revolution, and to suggest criteria to judge mathematical revolutions. I examine the relation between the types and the criteria of mathematical revolutions, and explore what types of revolutions several instances of changes in mathematical knowledge are.

Risk Analysis System in Fuzzy Set Theory (퍼지 집합론을 이용한 위험분석 시스템)

  • 홍상우
    • Journal of Korean Society of Industrial and Systems Engineering
    • /
    • v.13 no.21
    • /
    • pp.29-41
    • /
    • 1990
  • An assessment of risk in industrial and urban environments is essential in the prevention of accident and in the analysis of situations which are hazardous to public health and safety. The risk imposed by a particular hazard increases with the likelihood of occurence of the event, the exposure and the possible consequence of that event. In a traditional approach, the calculation of a quantitative value of risk is usually based on an assignment of numerical values of each of the risk factors. Then the product of the values of likelihood, exposure and consequences called risk score is derived. However vagueness and imprecision in mathematical quantification of risk are equated with fuzziness rather than randomness. In this paper, a fuzzy set theoretic approach to risk analysis is proposed as an alternative to the techniques currently used in the area of systems safety. Then the concept of risk evaluation using linguistic representation of the likelihood, exposure and consequences is introduced. A risk assessment model using approximate reasoning technique based on fuzzy logic is presented to drive fuzzy values of risk and numerical example for risk analysis is also presented to illustrate the results.

  • PDF

Unsupervised News Article Summarization Using VNA Sets (VNA 집합을 이용한 뉴스기사의 중요문장 추출)

  • Na, Jong-Yeol;Sin, Ji-Ae;Choe, Gi-Seon
    • Annual Conference on Human and Language Technology
    • /
    • 2007.10a
    • /
    • pp.165-168
    • /
    • 2007
  • 본 연구에서는 문서의 문장들을 순위화하여 추출하는 일반적인 문서 요약 방법론을 소개한다. 첫 번째 단계는 주제와 관련되는 동사, 명사, 형용사(VNA) 단어들의 집합을 구하여 각 문장의 주제 관련성 정도를 결정하며, 두 번째 단계는 단어들의 의존관계를 통해 각 문장의 정보 함유량을 판단한다. 두 개의 방법은 모두 주제와 관련된 정보를 많이 내포하는 문장에 중요도를 부여하고 있다. 이러한 방법은 주제와 연관성이 높고 정보전달성이 높은 문서요약을 만들기 위함이다. 생성된 문서요약본의 성능평가는 문서요약의 결과로 추출된 문장들과 설문에 의해 추출된 문장들의 일치율에 의해 시행되었으며 68%의 일치율을 보였다.

  • PDF

교사양성대학에서의 선형대수학 강좌 운영

  • Sin, Hyeon-Yong
    • Communications of Mathematical Education
    • /
    • v.15
    • /
    • pp.35-41
    • /
    • 2003
  • 수학이 자연과학의 기초 또는 기본으로 여겨지듯이, 수학에서도 기초가 되는 강좌들이 있다. 미적분학이나 집합론, 그리고 선형대수학은 그러한 강좌라고 할 수 있다. 대수학의 관점에서 볼 때, 선형대수학은 현대대수학을 이해하기 위한 기본바탕이 되고, 한편 수학 전체적으로 보더라도, 선형대수학은 다른 고등수학을 배우기 위한 필수적인 선수과목을 것이고, 그 자체로서도 많은 응용성을 지니고 있다. 뿐만 아니라 선형대수학은 중등 교육과정과도 밀접한 관련이 있으므로, 교샤양성 대학에서의 선형대수학 강좌를 통해 학생들은 교육과정상의 연계성까지 이해하여야 한다. 따라서 본 연구는 사범대학 학생들로 하여금, 선형대수학 그 자체의 순수한 측면과, 중등교육과의 긴밀한 관련성, 아울러 기하락, 미분방정식, 그리고 부호이론과 관련된 최신 정보수학의 응용적인 측면도 포함하여 선형대수학의 폭넓은 이해를 꾀하는 방안을 제시한다.

  • PDF