• Korean Journal of Logic
• /
• v.6 no.2
• /
• pp.69-81
• /
• 2003

이 논문에서 우리는 (축약 원리가 없는) 연관 체계 EW은 이웃 체계들을 다룬다. 구체적으로 우리는 확장 원리를 포함하지만 축약 원리를 포함하지 않는 E (Ee-W) 체계, 특수 주장 specialized assertion(sa) 원리를 포함하지 않는 Ee-W (Ee-Wsa) 체계, 자기 배분 self-distribution(sd) 원리를 포함하지 않는 Ee-W (Ee-Wsd) 체계, 그리고 체인chain(c) 원리와 축약 원리를 포함하는 Ee 체계들의 확장 Eec-Wsa, Eec-Wsd, Eec-W, Eec를 다룬다. 우리는 루트리 마이어 의미론을 사용해서 이 체계들을 위한 완전성을 보인다.

• Korean Journal of Logic
• /
• v.18 no.3
• /
• pp.437-456
• /
• 2015

This paper deals with Routley-Meyer semantics for two versions of R of Relevance. For this, first, we introduce two systems $R^t$, $R^T$ and their corresponding algebraic semantics. We next consider Routley-Meyer semantics for these systems.

• Korean Journal of Logic
• /
• v.21 no.3
• /
• pp.353-371
• /
• 2018

This paper deals with Routley-Meyer-style semantics, which will be called algebraic Routley-Meyer-style semantics, for the fuzzy logic system MTL. First, we recall the monoidal t-norm logic MTL and its algebraic semantics. We next introduce algebraic Routley-Meyer-style semantics for it, and also connect this semantics with algebraic semantics.

• Korean Journal of Logic
• /
• v.7 no.2
• /
• pp.105-120
• /
• 2004

In this paper, we provide Routley-Meyer semantics for the many-valued logics ${\L}C$ and LC, and give completeness for each of them. This result shows the following two: 1) Routley-Meyer semantics is very powerful in the sense that it can be used as the semantics for several sorts of logics, i.e., many-valued logic, not merely relevance logic and substructural logic. Note that each implication of ${\L}C$ and LC does not (partially) result in "paradoxes of material implication" 2) This implies that Routley-Meyer semantics can be also used not merely for relevance systems but also for other logical systems such as ${\L}C$ and LC, each of which has its own implication by which we can overcome (partially) the problem of "paradoxes of material implication".

• Proceedings of the Korea Information Processing Society Conference
• /
• 2014.04a
• /
• pp.412-415
• /
• 2014

시스템을 공격하는 악성코드 기술과 그 방어 기술이 발전하면서, 최근의 많은 악성코드들이 운영체제를 직접 변조하는 커널 루트킷을 포함하고 있다. 이에 따라 커널 루트킷에 대한 여러 대응책들이 나오고 있으며, 최근의 많은 연구들이 루트킷 탐지능력 향상을 위해 운영체제 커널에 코드를 삽입하고 있다. 이 논문에서는 앞으로 루트킷 탐지를 위해 커널에 대한 코드 삽입 기술이 지속적으로 사용될 것으로 보고, 이와 같은 코드 삽입이 운영체제 커널이나 전체 시스템의 성능에 어떠한 영향을 주는지를 알아보았다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10d
• /
• pp.370-374
• /
• 2006

Ad-hoc 환경의 응용은 재난구조나 회의실 또는 강의실에서의 정보 교환과 같은 그룹 통에서 이용된다. Ad-hoc 환경은 무선 채널을 이용하므로 상대적인 낮은 대역폭과 높은 오류 발생률을 가지게 된다. 따라서 Ad-hoc 네트워크에서는 신뢰적인 전송이 요구된다. 이동 노드는 상대적으로 낮은 성능과 에너지의 제한으로 인해 유선 환경과 같은 신뢰적인 전송 기법을 Ad-hoc 환경에 적용하기에는 문제가 발생한다. Ad-hoc 환경의 무선 채널이 가지는 보안적인 취약성과 높은 에러율을 극복하는 신뢰적인 그룹 키 전송을 위한 재전송 기법을 제안한다. 신뢰적인 트리 형성하기 위해 n차 트리 구조를 이용한다. 손실 감지를 위한 ACK 메시지를 이용하고 손실 복구를 위한 재전송 기법에 대해 연구를 한다. 제안한 신뢰적인 그룹 키 전송을 위한 재전송 기법은 트리의 깊이의 차수가 루트 관리 노드, 서브 관리 노드와 로컬 멤버 노드로 구성되기 때문에 손실 감지와 손실 복구에 대한 연산의 오버헤드가 적다. 루트 관리 노드는 멤버 노드로부터 받은 개인키 정보를 이용하여 그룹 키를 생성하고 그룹 키 부분 정보를 서브 관리 노드에게 전송하고 서브 관리 노드에 대한 신뢰성을 책임진다. 서브 관리 노드는 루트 관리 노드로부터 받은 그룹 키 부분 정보를 로컬 멤버 노드에게 전송하고 로컬 멤버 노드에 대한 신뢰성을 책임진다. 루트 관리 노드와 서브 관리 노드를 관리 노드라 한다. 관리 노드가 신뢰적인 전송을 위해 관리하는 멤버 노드는 전체 그룹에 독립적으로 유지 가능하므로 확장성 및 효율성이 좋다. 관리 노드는 동적인 그룹에 따른 타이머를 설정함으로써 손실 감지에 대한 시간을 줄임으로써 효율적인 손실 감지 및 손실 복구를 한다. 임계값 설정으로 인한 중복 수신에 대한 오버헤드를 줄일 수 있다.신뢰성을 향상 시킬 수 있는 Load Balancing System을 제안한다.할 때 가장 효과적인 라우팅 프로토콜이라고 할 수 있다.iRNA 상의 의존관계를 분석할 수 있었다.수안보 등 지역에서 나타난다 이러한 이상대 주변에는 대개 온천이 발달되어 있었거나 새로 개발되어 있는 곳이다. 온천에 이용하고 있는 시추공의 자료는 배제하였으나 온천이응으로 직접적으로 영향을 받지 않은 시추공의 자료는 사용하였다 이러한 온천 주변 지역이라 하더라도 실제는 온천의 pumping 으로 인한 대류현상으로 주변 일대의 온도를 올려놓았기 때문에 비교적 높은 지열류량 값을 보인다. 한편 한반도 남동부 일대는 이번 추가된 자료에 의해 새로운 지열류량 분포 변화가 나타났다 강원 북부 오색온천지역 부근에서 높은 지열류량 분포를 보이며 또한 우리나라 대단층 중의 하나인 양산단층과 같은 방향으로 발달한 밀양단층, 모량단층, 동래단층 등 주변부로 NNE-SSW 방향의 지열류량 이상대가 발달한다. 이것으로 볼 때 지열류량은 지질구조와 무관하지 않음을 파악할 수 있다. 특히 이러한 단층대 주변은 지열수의 순환이 깊은 심도까지 가능하므로 이러한 대류현상으로 지표부근까지 높은 지온 전달이 되어 나타나는 것으로 판단된다.의 안정된 방사성표지효율을 보였다. $^{99m}Tc$-transferrin을 이용한 감염영상을 성공적으로 얻을 수 있었으며, $^{67}Ga$-citrate 영상과 비교하여 더 빠른 시간 안에 우수한 영상을 얻을 수 있었다. 그러므로 $^{99m}Tc$-transierrin이 감염 병소의 영상진단에 사용될 수 있을 것으로 기대된다.리를 정량화 하였다. 특히 선조체에서의 도파민 유리에 의한 수용체 결합능의 감소는 흡연에 의한 혈중 니코틴의 축

• Cartoon and Animation Studies
• /
• s.48
• /
• pp.23-44
• /
• 2017

This study explored aspect and intermedial characteristics at the beginning of the abstract animation and the semiotic meaning of abstract animation. Abstract animation was formed by arbangaridist, and there was an abstract painting on its foundations. The abstract painting belong to 'symbol sign' and do not represent specific objects. The abstract animation loses its object and we knew that the abstract animation itself to be object. Abstract animation is a category of ' media combination ' that combines abstract painting and music with intermediality. Abstract animation began based on abstract paintings, but was combined with music and time, and evolved into new media. The abstract animation was started by avant-gardists such as Walter Ruttman, Viking Eggeling and Hans Richter. They set aside their own time of abstract animation based on music. Oskar Fischinger was influenced by Walter Ruttman who completed abstract animation and went to America to continue his work. After Oskar Fischinger, John Whitney continued his genealogy using computer graphics. The abstract animation was faithful to the underlying meaning of the medium in the absence of the object for representation.

• Journal of the Korean Geographical Society
• /
• v.49 no.5
• /
• pp.705-715
• /
• 2014

Acculturation is caused with contact by two different cultures. This study investigates a cultural change of Gangwha society with Hagok confusianism influenced by implantation of methodism. At early periods methodism diffused rapidly and relocated toward marine routes. Lately hierarchical diffusion and contagious diffusion was typical, centering on the Gangwha Jungang Church. This successful acception was influenced with confusianism's acculturation. One of the reason why Gangwha people could accept the Christianity was reinterpretation and selective strategy by Hagok fraction that became one of confusinism, It seemed that several cultural elements of Hagok fraction was coincided with some elements of methodism. However, A methodist church transferred by clan's shrine, which family relationship was coerced, was split into it's members. This segregation other than social intergretation influenced establishment of a or more church per each village.

• MISULJARYO - National Museum of Korea Art Journal
• /
• v.99
• /
• pp.50-71
• /
• 2021

The Five-story Stone Pagoda from the Dongsa-ri Temple Site in Buyeo, dated to early Goyeo Dynasty, is valuable in that it is the southernmost example of the capital Kaesong pagoda style. This pagoda exhibits characteristics of the central Goryeo style featured in the pagodas built in and around the capital Kaesong, such as the diagonally curved section of the support for the cover stone above the upper stereobate. It also shares stylistic affinities with eleventh-century stone pagodas. The ansangmun (elephant eye patterns) in the lower stereobate of the Dongsa-ri Five-story Stone Pagoda resemble those in the pedestal of the Stone Seated Buddha (which was likely repaired in 1028 during the reign of King Hyeonjong), at the Jeongrimsa Temple site in Buyeo. It also reflects elements found in the flagpole supports from the Cheonheungsa Temple site in Cheonan. The sculpting techniques used in these patterns are also similar. Such congruencies suggest that the Dongsa-ri Five-story Stone Pagoda was built in the eleventh century. The Dongsa-ri Temple Site in Buyeo, located near the Geumgang River, served as a principal route for transporting grain-tax during the Goryeo Dynasty. It was also situated along the way to the Goryeo royal temple, Gaetaesa Temple. The geographical significance of the site and the extensive repairs undertaken at Jeongrimsa Temple during the reign of King Hyeonjong (r. 1009-1031) of the Goryeo Dynasty appear to have impacted the production of the Dongsa-ri Five-story Stone Pagoda. The Dongsa-ri Five-story Stone Pagoda also bears stylistic resemblances to the stone pagoda and flagpole supports found at neighboring Cheonheungsa Temple, which is presumed to be related to the establishment of Honggyeongsa (or Honggyeongwon) Temple in 1021 in Cheonan. This indicates the route of the transmission of the Kaesong pagoda style. The Five-story Stone Pagoda from the Dongsa-ri Temple Site pays testimony to the cultural accomplishments of eleventh-century stone artworks in Buyeo and adjacent regions. This pagoda embodies the majestic and assertive aesthetics that define of the Goryeo Dynasty, as do early Goryeo colossal Buddhist sculptures, including the Stone Standing Maitreya Bodhisattva at Daejosa Temple in Buyeo, the Stone Standing Buddha Triad at Gaetaesa Temple in Nonsan, and the Stone Standing Maitreya Bodhisattva at Gwanchoksa Temple in Nonsan. All of these bear similarities to the massive stone lantern and pagoda at Hyeonhwasa Temple in the capital Kaesong. The production of the light, sleek, sharp, and sophisticated Dongsa-ri Five-story Stone Pagoda is presumed to reflect the maturity of the cultural competence of the people in Dongsa-ri, Buyeo under the influence of Buddhist culture from the capital Kaesong during the eleventh century, a time marked by active cultural exchanges among regions.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.38 no.1
• /
• pp.37-44
• /
• 2014

For testing a two-wheeled vehicle's per-charge range, this study conducted road and chassis dynamometer driving tests. Three typical road routes within Daejeon Metropolitan City were selected for the road-driving test. In the case of CVS-40 mode driving tests using a chassis dynamometer, various road-loading conditions were set. In this study, two-wheeled electric vehicles' per charge range on the road was confirmed through testing, and the range and energy consumption efficiency depending on various chassis dynamometer road load settings were measured. Then, the results of the actual road driving tests were compared with those of the chassis dynamometer driving tests, and road load settings that yielded per-charge range testing results similar to those under actual road driving conditions in the chassis dynamometer experiments were studied.