• 제목/요약/키워드: 부분적 선후관계

검색결과 8건 처리시간 0.025초

할당문제 해법을 이용한 부분적 선후관계가 있는 군사훈련 일정 수립에 관한 연구 (Scheduling for Military Training of Serials with Partial Precedence Relationships based on the Assignment Problem)

  • 이호주;김영대
    • 한국군사과학기술학회지
    • /
    • 제7권3호
    • /
    • pp.77-83
    • /
    • 2004
  • This paper focuses on a scheduling problem of military training. Repetitive and identical training over multiple serials is a common type of military education. A simple but systematic method is suggested to determine a training schedule for small groups divided from each serial. A satisfactory training schedule and the number of such small groups can be determined by iteratively solving assignment problems with additional constraints. With this method, loads of instructors can also be balanced without violating constraints associated with precedence and continuity relationships among lectures.

요약 해석을 이용한 데스트 데이터 자동 생성 기법 (Automatic Test Data Generation Using Abstract Interpretation)

  • 한승희;강제성;정인상;권용래
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
    • /
    • pp.460-462
    • /
    • 2001
  • 테스트 데이터의 자동 생성은 소프트웨어 테스팅에서 가장 중요하면서도 어려운 부분이다. 대부분의 데스트 데이터 자동생성에 관한 연구는 명세로부터 테스트 데이터를 자동 생성하는 방식이며 이틀 위해 정확한 정형적 명세를 필요로 한다. 본 논문에서 는 프로그램을 실 행하지 않고 프로그램의 동적인 특성을 분석할 수 있는 요약 해석(abstract interpretation) 방법과 선후 지배 관계(pre-, postdominance relationship)를 이용하여 프로그램 코드로부터 직접 테스트 데이터를 자동 생성할 수 있는 방법 을 제안한다.

  • PDF

명세 변경 후 병행 프로그램의 순서 제약조건 기반 회귀 테스팅 (Sequencing Constraints-based Regression Testing of Concurrent Programs After Specification Changes)

  • 김현수;정인상;배현섭;권용래;이동길
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제27권4호
    • /
    • pp.370-383
    • /
    • 2000
  • 이 논문에서는 명세에 변경이 가해진 후에 병행 프로그램을 재검증하기 위해 사용하는 명세기반 회귀 테스팅이라는 새로운 기법에 대해 논의한다. 이러한 형태의 회귀 테스팅은 이벤트에 대해 선후 관계를 기술하는 순서 제약조건을 필요로 한다. 순서 제약조건을 자동으로 추출하기 위해서 우리는 메시지 순차도(MSC)를 사용한다. 메시지 순차 도를 통해 부분적이고 비결정적인 명세를 작성할 수 있다. 회귀 테스팅의 비용을 줄이기 위하여 처음부터 새로운 순서 제약조건을 생성하기보다는 명세에 가해진 변경에 의해 영향받는 순서 제약조건을 어떻게 파악하는 가에 대해 기술한다. 또한 각각의 영향받는 순서 제약조건들이 테스팅 될 프로그램에 의해 만족되는 가를 결정하는 방법에 대해서도 기술한다.

  • PDF

동대문운동장유적 출토 조선시대 기와의 특성 연구 (A Scientific Study of Roof Tiles in Joseon Dynasty from Dongdaemoon Stadium)

  • 정광용
    • 헤리티지:역사와 과학
    • /
    • 제45권3호
    • /
    • pp.160-173
    • /
    • 2012
  • 본 연구는 동대문운동장에서 출토된 조선시대 기와의 선후관계, 유물제작기법 및 기술적 속성을 파악하기 위하여 기와의 물리적 화학적 특성 연구를 실시하였다. 기와의 물리적 특성 연구를 위해 흡수율, 비중, 전암대자율, 시차열분석을 실시하였으며, 화학적 특성 연구를 위해 중성자 방사화분석(NAA), 미세조직관찰, X-선 회절분석(XRD) 등을 실시하였다. 기와편 22점의 중성자방사화분석 및 통계분석결과 각각 기와시료는 다른 시대에 서로 다른 제작지에서 생산된 것으로 뚜렷하게 구분되었다. 또한 희토류원소의 출토지별 평균값을 비교해 보아도 각각 서로 다른 조성의 차이를 보이는데 이는 산지가 다른 점토광물을 이용하여 제작하였다는 것을 의미한다. XRD 및 편광현미경 관찰결과 기와의 주요 성분은 석영과 장석이었으며 부분적으로 운모와 일라이트(Illite)가 나타났다. XRD 분석결과 $1000^{\circ}C$의 부근에서 소성되었을 때 나타나는 뮬라이트(mullite)광물 조성이 나타났으며, 시차열분석에서는 $900^{\circ}C$ 부근에서 완만한 발열피크가 나타났다. 이를 토대로 기와의 소성온도를 추정한 결과, 기와는 $900{\sim}1000^{\circ}C$에서 소성이 이루어진 것으로 보인다. 전암대자율 평균값으로 비교분석하였을 때 출토지별 분류는 나타나지 않았지만 문양이 파상문, 태상문, 어골문, 격자문, 횡선문인 경우 0.2~0.78(${\times}103$ SI unit)의 낮은 전암 대자율이 나타나는 특징이 있다. 전체 흡수율은 대체적으로 14%~21% 범위를 보였으며 이는 조선시대 전통기와에서 나타나는 흡수율 14~18%와 유사한 범위를 보이고 있다. 기와시료의 비중은 대체적으로 1.4~2.5g/cm3의 범위를 보여 출토지에 따른 비중 차이가 나타나지 않았다.

원동 중석 스카른대에서의 관입암류와 스카른광물에 대한 U-Pb(SHRIMP) 및 K-Ar 연대 (U-Pb(SHRIMP) and K-Ar Age Dating of Intrusive Rocks and Skarn Minerals at the W-Skarn in Weondong Deposit)

  • 박창윤;송윤구;지세정;강일모;이기욱;정동훈
    • 한국광물학회지
    • /
    • 제26권3호
    • /
    • pp.161-174
    • /
    • 2013
  • 원동지역은 스카른형 다중금속 광상으로서, 최근에는 회중석을 포함하는 텅스텐 광체의 유망광구로 주목받고 있다. 본 연구는 관입암체와 스카른 광물에 대한 연대측정을 통하여 스카른 형성 시기에 대한 지질연대학적 정보를 제공하고자 한다. 원동 지역의 층서는 석탄기와 트라이아스기, 캠브리아기와 오르도비스기의 층으로 이루어져있다. SHRIMP U-Pb 연대측정으로 원동지역 일대에 분포하고 있는 관입암류인 석영반암($79.37{\pm}0.94$ Ma)과 장석반암암맥($50.64{\pm}0.44$ Ma)의 정치고결시기를 결정하였다. K-Ar 연대측정으로 거정질의 금운모($49.1{\pm}1.1$ Ma), 괴상의 금운모($49.2{\pm}1.2$ Ma), 스카른광물과 공생하는 금운모($49.9{\pm}3.6$ Ma), 그리고 열수변질작용의 산물인 일라이트($48.3{\pm}1.1$ Ma)의 생성시기를 밝혀내었다. 열수 변질된 석영반암에서의 SHRIMP U-Pb 연대는 59.7~38.7 Ma까지 다양한 연대분포를 보이는데, 저어콘의 조직과 관련하여 메타믹티제이션(metamictization) 받은 저어콘 조직에서는 Pb 손실이 발생하여 연대 신뢰도가 떨어지는 반면, 용해-침전작용을 받은 부분의 연대 값은 동위원소 재평형 작용의 가능성이 있어 또다른 열수변질시기 혹은 화성활동시기에 대한 정보를 제공할 수 있다. 연대측정 결과와 광물 공생관계, 그리고 야외조사에서 확인된 석영반암 내 혹은 균열대에 발달해 있는 스카른용액 침투흔적으로 볼 때, 연구지역에서의 중석 스카른 광화시기는 약 50 Ma일 가능성이 높지만, 스카른 광체 선후관계 및 장석반암과 스카른 광체의 지질학적 연관관계에 대한 연구가 추가적으로 이루어져야 할 필요가 있다.

영양-울진 지역 선캠브리아기 변성암류의 변형작용사 (Deformation History of Precambrian Metamorphic Rocks in the Yeongyang-Uljin Area, Korea)

  • 강지훈;김남훈;박계헌;송용선;옥수석
    • 암석학회지
    • /
    • 제13권4호
    • /
    • pp.179-190
    • /
    • 2004
  • 소백산육괴의 동부에 위치하는 영양-울진지역의 선캠브리아기 변성암류는 평해층, 기성층, 원남층, 하다 우백질 화강편마암 등으로 구성되어 있다. 이들 변성암류는 서북서-동남동 방향의 대상 분포를 보이고 중생대 화성암류 및 퇴적암류에 의해 각각 관입 및 부정합으로 피복되어 있다. 본 논문은 변형 암석구조의 운동학적ㆍ기하학적 특성과 중첩된 변형구조들의 선후관계로부터 영양-울진지역 선캠브리아기 변성암류의 변형 작용사를 연구하였다. 그 결과, 영양-울진지역의 지질구조는 선캠브리아기 변성암류의 편마면 내지 편리가 형성된 이후 적어도 네 번의 변형단계(연성 전단변형작용과 그 이전에 한 번의 습곡작용과 그 이후에 적어도 두 번의 습곡작용)를 거쳐 형성되었음을 알게 되었다. (1) 첫 번째 변형은 준 수평적인 습곡축과 북쪽으로 고각 경사하는 습곡축면을 갖는 서북서-동남동 방향의 등사습곡과 광역엽리를 형성시켰다. (2)두 번째 변형은 광역엽리의 상부가 동쪽으로 밀리는 우수 주향이동성 연성전단운동에 의해 발생하여 동서 방향의 준 수평적인 신장선구조, S-C 압쇄구조면, Z자형 비대칭습곡 등을 형성시켰다. (3) 세 번째 변형은 준 수평적인 습곡축과 저각의 습곡축면을 갖는 동서 방향의 개방 내지 킹크형 횡와습곡을 형성시켰다. (4) 네 번째 변형은 북북서-남남동 방향의 압축작용으로 발생하여 준 수평적인 습곡축을 갖는 동북동서남서 방향의 대칭 개방 직립습곡, 비대칭 공역성 킹크습곡, 북북서 방향과 남남동 방향으로 충상하는 공역성 충상단층과 이에 수반된 끌림형 습곡 등을 형성시켰다. 그리고 이러한 네 번의 변형작용은 영양-울진지역 광역엽리의 방향성과 밀접한 관련성이 있다. 첫 번째 변형은 서북서 주향에 북쪽으로 고각 경사하는 광역엽리를 형성하였고, 두 번째 변형은 남-북 방향으로 광역엽리의 주향을 부분적으로 변화시켰으며, 세 번째 변형과 네 번째 변형은 광역엽리의 경사각 및 경사 방향을 부분적으로 변화시켰다.소가 맨틀에 존재하는 가장 풍부한 휘발성성분이며, 맨틀과 같은 고온고압에서 하나의 독립된 상으로 존재한다는 것을 반영하고 있다. 또한 맨틀과 같은 환경에서 규산염멜트(melt), 황화멜트, 이산화탄소가스 사이에 서로 불용융(immscibility) 상태도 형성되고 있음을 나타내고 있다. 대부분의 다상의 규산염용융포유물 (II형)은 상당한 양의 규산질 유리를 지니고 있으며, 이는 하부지각/상부맨틀에서 SiO$_2$ 함량이 높은 규산질마그마가 형성되고 있음을 지시한다. 암석학적, 지화학적 정보와 함께 맨틀 혹은 하부지각 암석에 포획된 유체포유물과 용융포유물 데이터는 한반도의 맨틀에 대한 유체체계, 유체-마그마-광물 사이의 강호작용, 모암인 포획암에 대한 압력-온도 진화사를 파악하는데 크게 이용될 것이다.에서 대조구에 비해 낮은 점수를 받았으나, 이는 시료의 성숙도가 다른데 기인하는 것으로 분석되었다. 이상의 모든결과를 분석해 볼 때 환경기체조절저장은 방울토마토의 성숙 억제 및 저장품질유지에 효과가 있는 것으로 나타났다. 환경기체조성은 일반토마토의 저장조건보다 이산화탄소농도가 다소 높은 산소농도 3%~5% 이산화탄소 농도 5~8%에서 저장하는 것이 효과적일 것으로 판단되었다.철쭉군목으로 대표되나 군단이 하의 군목들은 다소 차이를 보이는 것으로 나타났다. 중간상인이론의 수정이 필요하다고 본다.가\ulcorner 본 논문에서는 표면적 형태에도 불구하고 [-wh]의미의 겹의문사는 병렬적 관계의 합성어가 아니라 내부구조를 지니지 않은 단순한 단어(minimal $X^{0}$ elements)로 가정한다. 즉, [+wh] 의미의 겹의문사는 동일한 구성요 소를 지닌 병렬적 합성어([$[W1]_{XO-}$ $[W1]_{XO}$ ]$_{XO}$)로 그리고 [-wh] 의미의 겹의문사는 중복된 발은을 지닌 한

의리(義利) 문제에 대한 공자와 맹자의 인식 연구 (A Study on the Perceptions of Confucius and Mencius over Yi-Li Issues)

  • 박영진
    • 동양고전연구
    • /
    • 제68호
    • /
    • pp.283-317
    • /
    • 2017
  • 도덕과 이익에 관한 문제는 주로 도덕법칙과 물질이익의 관계에 관한 문제를 말한다. 이와 관련된 논의를 동양의 전통철학사상사에서는 '의리지변(義利之辯)'으로 지칭하였는데, 공자와 맹자의 사상 속에도 의리(義利)에 관한 다양한 논의가 담겨있다. 공자와 맹자에게 있어서 의(義)는 주로 '응당', '적합', '정당' 등을 의미하는 가치개념으로, 공통점은 모두가 의(義)를 한편으로는 외재하는 도덕법칙으로 간주하였고 다른 한편으로는 내재하는 도덕감정으로 이해하였다면, 차이점은 공자가 도덕목표로서의 의(義)의 외재성과 후천성을 중시한 반면에 맹자는 전체적으로는 의(義)의 외재성을 인정하면서도 부분적으로는 도덕본성으로서의 의(義)의 내재성과 선천성도 주장하였는데, 이러한 의(義)는 주관적 도덕감정 및 객관적 도덕법칙의 총칭이라고 할 수 있다. 그리고 리(利)는 주로 '이득', '이윤', '영리' 등을 의미하는 사실개념으로, 공통점은 모두가 사익을 반대하고 공익을 강조하였다면, 차이점은 공자가 '이익을 보면 의(義)를 생각해야 한다'고 한 것처럼 利를 일정 정도 긍정시한 반면에 맹자는 '의(義)를 위해서라면 목숨까지 버려야한다'고 한 것처럼 리(利)를 상당정도 부정시하여 의(義)를 위한 리(利)로 인식하였는데, 이것은 곧 의(義)에 대한 리(利)의 종속성과 리(利)에 대한 의(義)의 절대성을 의미한다고 할 수 있다. 그들에게 있어서 의(義)에는 내재성과 외재성, 주관성과 객관성, 구체성과 일반성, 특수성과 보편성 등의 특징들이, 그리고 리(利)에는 개별성과 특수성, 공익성과 사익성 등의 특징들이 혼재되어 있다. 이러한 특징들은 이론적인 불합리나 논리적인 모순 등의 단점과 사상의 다양성이나 개념의 다의성 등의 장점을 동시에 내포하고 있다. 하지만 단점은 피하고 장점은 되살린다면, 동서양이 하나가 되어가고 있는 오늘날에 새롭게 요구되는 세계윤리를 구상하는데 있어서 참고할만한 요소가 있을 것이다. 현대사회에서의 의리(義利) 문제는 도덕과 경제, 개인이익과 사회전체이익, 도덕이상과 물질이익 등의 문제로 나뉠 수 있는데, 이러한 현대의 의리(義利) 문제를 전통의 의리(義利) 문제와 결부시키면, 의리(義利)의 선후(先後) 문제로 양분할 수 있다. 의리(義利) 문제에 대한 공자와 맹자의 여러 인식 중에서, '선의후리(先義後利)'의 사상은 자신만의 이익추구와 욕구만족을 최고의 가치로 여기는 오늘날, 우리 모두에게 필요할 '인간주의'를 표방하는 새로운 윤리이론을 창안하는데 있어서 유용할만한 사상이라고 할 수 있다. 건전한 의리(義利)의 관계는 '선의후리'의 정신에 입각하여 의(義)의 내재성을 바탕으로 한 외재성의 추구와 리(利)의 공익성을 전제로 한 사익성의 실현이라는 상보적인 관계를 통해서만 가능할 것이다.

한국 동남부 마이오세 분지 화산암과 기반암의 피션트랙 연대 재검토와 연대층서 고찰 (Revised Fission-track Ages and Chronostratigraphies of the Miocene Basin-fill Volcanics and Basements, SE Korea)

  • 신성천
    • 암석학회지
    • /
    • 제22권2호
    • /
    • pp.83-115
    • /
    • 2013
  • 피션트랙(fission-track: FT) 연대측정 초기단계의 부적합한 연대보정법에 기인한 오류 원인을 정밀진단하고, 중복시료에 의한 재실험과 제타보정법에 의해 최초 보고된 피션트랙(FT) 연대를 재정의한다. 재검토된 FT 저콘연대는 기반암인 유천층군 유문암질-데사이트질응회암의 생성연대를 후기 백악기부터 고제3기 초($78{\pm}4$ Ma부터 $65{\pm}2$ Ma)로 재정의하며, 곡강동유문암질응회암을 전기 에오세($52.1{\pm}2.3$ Ma) 산물로 정의한다. 전기 마이오세 화산암의 경우, 효동리화산암류 상부 데사이트질응회암($21.6{\pm}1.4$ Ma)과 범곡리화산암류 최상부 데사이트 용암($21.3{\pm}2.0$ Ma)의 FT 저콘연대는 각각 어일분지 남부와 와읍분지 중앙부의 상부 범곡리층군의 연대층서를, 그리고 금오리데사이트질응회암($19.8{\pm}1.6$ Ma)의 FT 저콘연대는 장기분지 내 후기 데사이트질 화산활동 시기를 정의한다. 데사이트질암의 FT 저콘연대와 현무암질-안산암질암의 기존 연대자료(대부분 K-Ar 전암, 일부 Ar-Ar)를 기반으로 하여, 한국 동남부의 마이오세 분지의 화산암과 기반암의 층서대비에 길잡이가 될 수 있는 참고연대를 설정 제안한다. 관계화산암의 연대에 기반하여 분지충전 퇴적지층의 퇴적시기도 추정한다. 제안된 참고연대는 마이오세 분지의 복잡한 분지구조와 비교적 짧은 연대범위에도 불구하고 지질층서에 잘 부합된다. 범곡리층군은 어일-와읍분지에서 장기층군보다 하위인 것이 확실하나, 장기분지의 전기 장기층군과 상당부분 중첩 병립되므로, 두 층군을 획일적으로 선후관계로 정의할 수는 없다. 장기분지에서 장기층군 하나로 묶여있는 일련의 지층군은 약 20 Ma를 기준으로 전기(23-20 Ma)의 안산암질-데사이트질암과 후기(20-18 Ma)의 현무암질암으로 뚜렷하게 구분된다.