• Title/Summary/Keyword: 부분적 선후관계

Search Result 8, Processing Time 0.024 seconds

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

  • Lee Ho-Joo;Kim Yeong-Dae
    • Journal of the Korea Institute of Military Science and Technology
    • /
    • v.7 no.3 s.18
    • /
    • 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 (요약 해석을 이용한 데스트 데이터 자동 생성 기법)

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

  • PDF

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

  • Kim, Hyeon-Soo;Chung, In-Sang;Bae, Hyun-Seop;Kwon, Yong-Rae;Lee, Dong-Gil
    • Journal of KIISE:Software and Applications
    • /
    • v.27 no.4
    • /
    • pp.370-383
    • /
    • 2000
  • This paper describes a new technique known as specification-based regression testing that is used for the revalidation of concurrent programs after changes are made to specifications. This type of regression testing requires sequencing constraint that specify precedence relations on the synchronization events. In order to extract sequencing constraint automatically, we use Message Sequence Charts(MSCs) that are considered partial and nondeterministic specifications. We show how to identify which sequencing constraint is affected by the modifications made to a specification rather than creating new sequencing constraint from scratch to reduce the cost of regression testing. We also describe how to determine that each affected sequencing constraint is satisfied by a program being tested.

  • PDF

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

  • Chung, Kwang-Yong
    • Korean Journal of Heritage: History & Science
    • /
    • v.45 no.3
    • /
    • pp.160-173
    • /
    • 2012
  • Roofing tile research conducted in Korea so far is mostly related to studies on roofing tile patterns excavation report on the roof tile klin site in the aspects of archeology architecture and history of art. There have been continuous studies on kiln ground and manufacture techniques of roofing tiles. However it is difficult to find roofing tiles research based on scientific experiments. The research on this paper performs physical and chemical experimental study to understand order, manufacturing techniques and other characteristics of Chosun Dynasty roofing tiles excavated in Dongdaemun stadium. As for physical experimental study water absorption, specific gravity, whole-rock Magnetic susceptibility rate and Differential Thermal Analysis are conducted. As for chemical experimental study, neutron activation analysis(NAA), microstructure observation, X-ray diffractometry(XRD) analysis are conducted. Result of neutron activation analysis and statistical analysis on piece of roof tile 22 samples clearly show that the roofing tile samples are from different time line and places. It also shows different composition when compare average value of rare earth resources per findspots. It means roofing tiles were manufactured from clay mineral from several places. Close inspection using XRD and polarization microscope reveals that main components of roofing tiles are quartz and felspar. Mica and Illite are found partially. XRD analysis shows mullite mineral composition which occurs when roofing tile is calcined around $1000^{\circ}C$. Differential thermal analysis shows gradual exothermic peak near $900^{\circ}C$. Based on these results, it is assumed that roofing tile is made at $900{\sim}1000^{\circ}C$. result of XRD analysis shows mullite were made near $1000^{\circ}C$. in Differential Thermal Analysis shows gradual exothermic peak near $900^{\circ}C$. this results shows that roof tiles were made near 900~1000 near $1000^{\circ}C$ mean value of whole-rock Magnetic susceptibility rate. When performed comparative analysis using whole-rock Magnetic susceptibility rate average value, findspots provided no certain classification to arrange. Nonetheless low whole-rock Magnetic susceptibility rate 0.2~0.78(${\times}103$ SI unit) is found when roofing tile patterns are Pasangmun, Taesangmun, Eosangmun, Kyukjamun, Heongsunmun. Overall absorptivity is 14~21%. It is similar to 14~18% of roofing tile from Chosun Dynasty. There is only 1.4~2.5g/cm3 of roof tile sample specific gravity. The analysis finds no difference in specific gravity by findspots.

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

  • Park, Changyun;Song, Yungoo;Chi, Se Jung;Kang, Il-Mo;Yi, Keewook;Chung, Donghoon
    • Journal of the Mineralogical Society of Korea
    • /
    • v.26 no.3
    • /
    • pp.161-174
    • /
    • 2013
  • The geology of the weondong deposit area consists mainly of Cambro-Ordovician and Carboniferous-Triassic formations, and intruded quartz porphyry and dyke. The skarn mineralized zone in the weondong deposit is the most prospective region for the useful W-mineral deposits. To determine the skarn-mineralization age, U-Pb SHRIMP and K-Ar age dating methods were employed. The U-Pb zircon ages of quartz porphyry intrusion (WD-A) and feldspar porphyry dyke (WD-B) are 79.37 Ma and 50.64 Ma. The K-Ar ages of coarse-grained crystalline phlogopite (WD-1), massive phlogopite (WDR-1), phlogopite coexisted with skarn minerals (WD-M), and vein type illite (WD-2) were determined as $49.1{\pm}1.1$ Ma, $49.2{\pm}1.2$ Ma, $49.9{\pm}3.6$ Ma, and $48.3{\pm}1.1$ Ma, respectively. And the ages of the high uranium zircon of hydrothermally altered quartz porphyry (WD-C) range from 59.7 to 38.7 Ma, which dependson zircon's textures affected by hydrothermal fluids. It is regarded as the effect of some hydrothermal events, which may precipitate and overgrow the high-U zircons, and happen the zircon's metamictization and dissolution-reprecipitation reactions. Based on the K-Ar age datings for the skarn minerals and field evidences, we suggest that the timing of W-skarn mineralization in weondong deposit may be about 50 Ma. However, for the accurate timing of skarn mineralization in this area, the additional researches about the sequence of superposition at the skarn minerals and geological relationship between skarn deposits and dyke should be needed in the future.

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

  • Kang Ji-Hoon;Kim Nam Hoon;Park Kye-Hun;Song Yong Sun;Ock Soo-Seok
    • The Journal of the Petrological Society of Korea
    • /
    • v.13 no.4
    • /
    • pp.179-190
    • /
    • 2004
  • Precambrian metamorphic rocks of Yeongyang-Uljin area, which is located in the eastern part of Sobaegsan Massif, Korea, are composed of Pyeonghae, Giseong, Wonnam Formations and Hada leuco granite gneisses. These show a zonal distribution of WNW-ESE trend, and are intruded by Mesozoic igneous rocks and are unconformably overlain by Mesozoic sedimentary rocks. This study clarifies the deformation history of Precambrian metamorphic rocks after the formation of gneissosity or schistosity on the basis of the geometric and kinematic features and the forming sequence of multi-deformed rock structures, and suggests that the geological structures of this area experienced at least four phases of deformation i.e. ductile shear deformation, one deformation before that, at least two deformations after that. (1) The first phase of deformation formed regional foliations and WNW-trending isoclinal folds with subhorizontal axes and steep axial planes dipping to the north. (2) The second phase of deformation occurred by dextral ductile shear deformation of top-to-the east movement, forming stretching lineations of E-W trend, S-C mylonitic structure foliations, and Z-shaped asymmetric folds. (3) The third phase deformation formed I-W trending open- or kink-type recumbent folds with subhorizontal axes and gently dipping axial planes. (4) The fourth phase deformation took place under compression of NNW-SSE direction, forming ENE-WSW trending symmetric open upright folds and asymmetric conjugate kink folds with subhorizontal axes, and conjugate faults thrusting to the both NNW and SSE with drag folds related to it. These four phases of deformation are closely connected with the orientation of regional foliation in the Yeongyang-Uljin area. 1st deformation produced regional foliation striking WNW and steeply dipping to the north, 2nd deformation locally change the strike of regional foliation into N-S direction, and 3rd and 4th deformations locally change dip-angle and dip-direction of regional foliation.

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

  • Bahk, Yeong-Jin
    • (The)Study of the Eastern Classic
    • /
    • no.68
    • /
    • pp.283-317
    • /
    • 2017
  • Issues over morality and profit usually address relations between moral principles and material gains. In the history of traditional Oriental philosophy, discussions about them were called "Yi-Li zhi bian." The ideas of Confucius and Mencius also contain various discussions about Yi-Li. Both Confucius and Mencius defined Yi as a value concept to represent "natural," "appropriate" or "just" and regarded Yi as an external moral principle on the one hand and an internal moral emotion on the other hand. They had, at the same time, differences, as well. While Confucius placed importance on the external and acquired nature of Yi as a goal of morality, Mencius argued for the internal and innate nature of Yi as the nature of morality partially while recognizing its externality overall. Such Yi is a general term for subjective moral emotions and objective moral principles. Li was a concept of fact to represent "gain," "profit" or "profit-making." Both of them were against private interest and emphasized public interest. As for their differences, Confucius was positive about Li to some degree by saying "One should think of Yi when making profit," whereas Mencius was almost negative about Li and perceived it to be for Yi by saying "One should give up even his own life for Yi." He meant Li's dependence on Yi and also Yi's absoluteness for Ri. Both of them found a mix of opposite features in Yi such as internality and externality, subjectivity and objectivity, specificity and generality, and uniqueness and universality and also in Li such as individuality and specialty and public and private interest. Those features have both disadvantages including theoretical irrationality and logical contradiction and advantages including ideological diversity and conceptual polysemy. If efforts are made to avoid their disadvantages and highlight their advantages, they will provide some elements to consult in the creation of new global ethics required today when East and West are becoming one. In the modern society, the Yi-Li issues can be divided into the issues of morality and economy, personal and social profit, and moral ideal and material gain. If these modern Yi-Li issues are combined with the traditional Yi-Li issues, two paths will emerge over the order of Yi-Li. Of the many perceptions of Yi-Li issues of Confucius and Mencius, the idea of "Yi First, Li Later" can be very useful for creating a new ethics theory to represent "humanism" that we all need today when everyone considers their own pursuit of profit and satisfaction of needs as the best values. Sound Yi-Li relations will be possible only through Yi's orientation toward externality based on internality and Li's pursuit of private interest on the premise of public interest according to the spirit of "Yi First, Li Later."

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

  • Shin, Seong-Cheon
    • The Journal of the Petrological Society of Korea
    • /
    • v.22 no.2
    • /
    • pp.83-115
    • /
    • 2013
  • Erroneous fission-track (FT) ages caused by an inappropriate calibration in the initial stage of FT dating were redefined by re-experiments and zeta calibration using duplicate samples. Revised FT zircon ages newly define the formation ages of Yucheon Group rhyolitic-dacitic tuffs as Late Cretaceous to Early Paleocene ($78{\pm}4$ Ma to $65{\pm}2$ Ma) and Gokgangdong rhyolitic tuff as Early Eocene ($52.1{\pm}2.3$ Ma). In case of the Early Miocene volcanics, FT zircon ages from a dacitic tuff of the upper Hyodongri Volcanics ($21.6{\pm}1.4$ Ma) and a dacitic lava of the uppermost Beomgokri Volcanics ($21.3{\pm}2.0$ Ma) define chronostratigraphies of the upper Beomgokri Group, respectively in the southern Eoil Basin and in the Waeup Basin. A FT zircon age ($19.8{\pm}1.6$ Ma) from the Geumori dacitic tuff defines the time of later dacitic eruption in the Janggi Basin. Based on FT zircon ages for dacitic rocks and previous age data (mostly K-Ar whole-rock, partly Ar-Ar) for basaltic-andesitic rocks, reference ages are recommended as guides for stratigraphic correlations of the Miocene volcanics and basements in SE Korea. The times of accumulation of basin-fill sediments are also deduced from ages of related volcanics. Recommended reference ages are well matched to the whole stratigraphic sequences despite complicated basin structures and a relative short time-span. The Beomgokri Group evidently predates the Janggi Group in the Eoil-Waeup basins, while it is placed at an overlapped time-level along with the earlier Janggi Group in the Janggi Basin. Therefore, the two groups cannot be uniformly defined in a sequential order. The Janggi Group of the Janggi Basin can be evidently subdivided by ca. 20 Ma-basis into two parts, i.e., the earlier (23-20 Ma) andesitic-dacitic and later (20-18 Ma) basaltic strata.