• 재무관리논총
• /
• 제2권1호
• /
• pp.145-158
• /
• 1995

According to recent empirical studies, there is a systematic pattern in temporal behaviors of asset returns, and that systematic pattern is related to the business cycle. I propose a model which captures this evidence. This is done by considering a state dependent preference structure where state dependency is related to the business cycle. In this setting, the three main puzzles(i.e., the volatility puzzle, the equity premium puzzle, mean reversion) are understood as interrelated behaviors.

• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 2007년도 춘계학술발표논문집
• /
• pp.199-202
• /
• 2007

논문에서는 첫째, 기존의 단순 One-path XOR 방법보다 안전한 M ${\ast}$ N Puzzle 기법을 이용한 Key 전송방법을 제안한다. 둘째, 생성된 Puzzle은 서버에 저장하지 않으므로 기존의 시스템보다 보안성이 높은 방법을 제안한다. 셋째, 클라이언트에서 복호화 할 때 OTP와 함께 Puzzle을 복호화 하는 클라이언트 복호화 시스템을 제안한다. 넷째, M ${\ast}$ N Puzzle 기법과 OTP를 조합으로 보다 안전한 키 전송을 제안한다.

• 영재교육연구
• /
• 제27권1호
• /
• pp.37-57
• /
• 2017

스핑크스 퍼즐은 기존 칠교판에 비하여 수학적 도형을 다양하게 만들 수 있다는 점에서 영재교육의 소재로 활용되어 왔다. 본 연구에서는 스핑크스 퍼즐의 모든 조각을 사용하여 만들 수 있는 볼록다각형의 개수를 프로그램 탐구 과제로 삼는다. 이는 이전 연구에서 여러 차례 탐구 주제로 다루어져 왔으나, 현재 그 명확한 이유를 설명하지 못하고 있다. 이 논문에서는 초등영재 수준에서 증명이 가능한 최소넓이를 이용한 방법과 단위넓이를 이용한 방법을 새롭게 제안한다. 그리고 초등수학영재가 새로운 증명 방법으로 탐구 주제를 실제 정당화할 수 있는지 확인한다. 따라서 총 4차시 수업 프로그램을 구성하고 적용하였다. G교육지원청 영재교육원 6학년반 소속 학생 3명을 대상으로 수업 프로그램을 적용한 결과, 스핑크스 퍼즐로 만들 수 있는 볼록다각형이 27개임을 정당화하는 것은 가능함을 보였다.

• 로봇학회논문지
• /
• 제19권3호
• /
• pp.281-286
• /
• 2024

This paper describes the solution method of Team AIRLAB used to participate in the League of Robot Runners Competition which tackles the problem of Lifelong Multi-agent Pathfinding (MAPF). In lifelong MAPF, multiple agents are tasked to navigate to their respective goal locations where new goals are consecutively revealed once they reach initial goals. The agents need to avoid collisions and deadlock situations while they navigate to perform tasks. Our method consists of (i) Puzzle Heuristics, (ii) MAPF-LNS2, and (iii) RHCR. The Puzzle Heuristics is our own algorithm that generates a compact heuristic table contributing to reduce memory consumption and computation time. MAPF-LNS2 and RHCR are state-of-the-art algorithms for MAPF. By combining these three algorithms, our method can improve the efficiency of paths for all agents significantly.

• 인문언어
• /
• 제2권2호
• /
• pp.301-319
• /
• 2002

In a recent paper, I have proposed an analysis concerning propositions and 'that'-clauses as a solution to Kripke's puzzle and other similar puzzles, which I now call 'the Indefinite Description Analysis of Belief Ascription Sentences.' I have listed some of the major advantages of this analysis besides its merit as a solution to the puzzles: it is amenable to the direct-reference theory of proper names; it does not nevertheless need to introduce Russellian (singular) propositions or any other new entities. David Lewis has constructed an interesting argument to refute this analysis. His argument seems to show that my analysis has an unwelcome consequence: if someone believes any proposition, then he or she should, ipso facto, believe any necessary (mathematical or logical) proposition (such as the proposition that 1 succeeds 0). In this paper, I argue that Lewis's argument does not pose a real threat to my analysis. All his argument shows is that we should not accept the assumption called 'the equivalence thesis': if two sentences are equivalent, then they express the same proposition. I argue that this thesis is already in trouble for independent reasons. Especially, I argue that if we accept the equivalence thesis then, even without my analysis, we can derive a sentence like 'Fred believes that 1 succeeds 0 and snow is white' from a sentence like 'Fred believes that snow is white.' The consequence mentioned above is not worse than this consequence.

• 한국게임학회 논문지
• /
• 제8권4호
• /
• pp.17-27
• /
• 2008

본 연구는 비디오 게임 구조와 플레이어 의식의 순환적 시스템에 대한 밀도 있는 관찰과 분석을 위해 '어드벤처 게임(Adventure Game)'장르로 분석대상을 제한하였다. 어드벤처 게임 고유의 특징적 단위구조인 '퍼즐 시스템'을 분석하였고, 그 경험이 플레이어의 의식에 '완결 욕구'를 발생시켜 몰입과 참여도에 작용하는 메커니즘 연구에 중점을 두었다. 연구과정은 문헌연구와 직접 플레이 등을 통해 어드벤처게임과 그 구성 요소들의 본질적 특성 및 비디오 게임 플레이의 몰입 특성을 살펴보았으며, 어드벤처게임에서의 퍼즐 시스템을 정의하고, 이 시스템 내에서 퍼즐요소와 내러티브 요소가 유기적으로 작용하는 구조 및 플레이 과정을 분석하여 '퍼즐 시스템'과 '완결 욕구'에 대한 가설들을 수립하였다. 가설을 확인하기 위하여 극적인 컷 씬이 포함된 게임과 컷 씬이 제외된 게임단위를 제작하고 실험을 실시하여 차이를 조사하였으며, 게임 난이도의 수준차이와 실패지점의 위치 변화를 유도하여 게임의 해결여부, 실패지점에 따른 플레이어의 완결 욕구와 참여도 변화를 파악하였다.

• Biomaterials and Biomechanics in Bioengineering
• /
• 제4권1호
• /
• pp.9-20
• /
• 2019

Living beings are formed of advanced biological and mechanical systems which exist for millions of years. It is known that various animals and insects right from small ants to huge whales have different weight carrying capacities, which is generally expressed as a ratio of their own bodyweights i.e., Strength to Bodyweight Ratio (SBR). The puzzle is that when a rhinoceros beetle (scientific name: Dynastinae) can carry 850 times its own bodyweight, why a man cannot accomplish the same feat. There are intrinsic biological and mechanical reasons related to their capacities, as per biomechanics. Yet, there are underlining principles of engineering and structural mechanics which tend to solve this puzzle. The paper attempts to give a plausible answer for this puzzle through structural mechanics and experimental modeling techniques. It is based on the fact that smaller an animal or creature, it has larger value of weight lifting by self-weight ratio. The simple example of steel prism model discussed in this paper, show that smaller the physical model size, larger is its SBR value. To normalize this, the basic length of the model need to be considered and when multiplied with SBR, a constant is arrived. Hence, the aim of the research presented is to derive this constant on a pan-living being spectrum through size/scaling effect.

• Journal of Nutrition and Health
• /
• 제42권1호
• /
• pp.78-96
• /
• 2009

본 연구는 D관공서 M 식당의 메뉴관리 및 식재료의 효율적 관리에 필요한 기초자료를 제공하고, 나아가 관공소급식소의 메뉴분석방법을 기초로 한 급식관리 필요성을 제시하고자 1982년 Kasavana와 Smith가 개발한 Menu Engineering 기법을 활용하여 2007년 1월부터 12월까지 1년간의 식단을 계절별, 년간 그리고 메뉴군별로 분석을 실시하여 다음과 같은 결과를 얻었다. 1) D 관공서는 토요일 휴무기관으로서 2007년도 급식 일수는 248일이었으며, 총 35,193명이 이용하여 1일 평균 이용 인원은 141명으로 나타나 주 고객층의 식당 이용률은 64.0%이었다. 2) M 식당의 주 고객은 총 220명으로 남자 183명 (83.2%), 여자는 37명 (16.8%)이었으며, 남자의 평균연령은 $44.1\;{\pm}\;6.3$세, 여자는 $32.7\;{\pm}\;6.4$세로 나타나 여자 보다 남자의 평균연령이 유의하게 높았다 (p < .0001). 3) 직급별 조사에서는 판사 (124명)가 56.4%, 일반직 (96명)이 43.6%로 나타났으며, 주 고객층의 과반수이상 (51.8%)이 남자 판사이었다. 4) 봄철 ($3{\sim}5$월)에는 갈비탕 외 81가지의 메뉴가 제공 되었으며, 공헌마진과 인기도가 높은 STAR로 판정된 메뉴는 김치볶음밥, 갈비탕, 대구매운탕, 동태매운탕 등 23가지 (28.0%)이었다. 공헌마진은 낮으나 인기도가 높은 PLOWHORSE로 판정된 메뉴는 봄나물비빔밥, 김치찌개, 삼계탕, 선지해장탕 등 26가지 (31.7%)이었고, 공헌마진률은 높으나 인기도가 낮은 PUZZLE로 판정된 메뉴로는 꽃게탕, 낙지연포탕, 돈까스 등 15가지 (18.3%) 이었다. DOG로 판정된 메뉴는 고등어구이, 단호박 영양밥, 마파두부덮밥 등 18가지 (22.0%)로 조사되었다. 5) 여름철 ($6{\sim}8$월)에는 총 74가지 메뉴가 제공되었으며 STAR로 판정된 메뉴는 날치알밥, 콩나물국밥, 동태매운탕 등 20가지 (27.0%), PLOWHORSE 메뉴는 김쌈밥, 마파두부덮밥, 산채비빔밥 등 28가지 (37.8%), PUZZLE 메뉴는 냉모밀국수, 돈까스, 된장찌개 등 8가지 (10.8%), DOG 메뉴는 고등어자반구이, 꽁치소금구이 등 18가지 (24.3%)로 나타났다. 6) 가을철 ($9{\sim}11$월)에는 총 75가지의 메뉴가 제공되었으며, STAR 메뉴는 김치콩나물국밥, 동태매운탕, 만두전골, 버섯전골, 어묵백반, 우거지갈비탕, 추어탕 등 23가지 (30.7%), PLOWHORSE 메뉴는 김쌈밥, 마파두부덮밥, 잡채덮밥 및 카레라이스, 김치찌개, 된장찌개, 선지해장국, 순두부찌개, 얼갈이해장국, 육개장 등 24가지 (32.0%), PUZZLE 13가지 (17.3%), DOG 15가지 (20.0%)로 나타났다. 7) 겨울철에는 총 74가지의 메뉴가 제공되었으며 STAR메뉴 김치볶음밥, 날치알밥, 갈비탕, 굴해장국, 청국장찌개, 추어탕 등 25가지 (33.8%), PLOWHORSE 메뉴는 김쌈밥, 낙지비빔밥, 마파두부덮밥, 떡만두국, 얼갈이해장국, 육개장, 불고기정식 등 21가지 (28.4%), PUZZLE 메뉴는 갈치구이, 고등어구이, 닭매운찜 등 14가지 (18.9%), DOG 메뉴는 간장닭찜, 고등어자반구이 등 14가지 (18.9%)로 조사되었다. 8) 사계절 STAR 메뉴는 김치볶음밥 등 8가지로 전체 메뉴 중 6.2%에 불과해 사계절 DOG 메뉴 14가지 10.9% 보다 낮은 비율이었다. PLOWHORSE 메뉴 (김쌈밥 등 14가지) 10.9%, PUZZLE 메뉴 (새우볶음밥/자장소스 등 17가지) 13.2%으로 나타났다. 9) 년간 제공된 128가지의 주메뉴를 메뉴군별로 분류한 결과 밥류 29가지 (22.6%), 국/탕류 27가지 (21.1%), 면류 18가지 (14.1%), 찌개/전골류 13가지 (10.2%), 조림/찜류 12가지 (9.3%), 구이류와 양식류 각각 8가지 (6.3%), 양식 8가지 (6.25%), 볶음류 7가지 (5.5%), 중국음식 4가지 (3.1%) 및 기타 (1.5%)로 조사되었다. 10) 년간 STAR 메뉴의 비율은 양식 (75.0%), 국/탕류 (48.1%), 찌개/전골류 (23.1%), 밥류 (17.2%) 순이었으며, 구이류와 조림/찜류에는 STAR 메뉴가 없었다. PLOWHORSE 메뉴는 구이류 (75.0%), PLOWHORSE 메뉴는 '구이류 (75.0%)', '국/탕류 (29.6%)', '밥류 (27.6%)', '조림/찜류 (27.3%)' 순이었으며, 찌개/전골류에서는 PUZZLE이나 DOG 메뉴가 없었다. PUZZLE 메뉴는 조림/찜류와 면류 (각각 33.3%), 밥류 (31.0%) 순이었고, DOG 메뉴는 중국음식 (75.0%)과 면류 (55.6%)에서 많았다. 11) 주메뉴 128가지에 대하여 STAR, PLOWHORSE, PUZZLE, DOG 메뉴에 대한 비율은 각각 23.4%, 30.5%, 23.4%, 22.7%로 나타나 공헌마진과 인기도 모두 낮은 DOG 메뉴가 29가지 (22.7%)나 되었다. 본 연구는 단체급식소에서의 과학적인 메뉴분석 기법을 적용한 정기적인 메뉴분석에 기초자료를 제공하며, 계절별 및 중 장기적인 메뉴분석결과를 기초로 하는 메뉴관리가 이루어져야 함을 제안하고자 한다. 향후에는 배식 후 잔반량 조사와 피급식자의 주관적인 평가도 메뉴분석방법에 반영된 연구가 이루어져야할 것으로 사료된다.

• 논리연구
• /
• 제7권1호
• /
• pp.67-83
• /
• 2004

The purpose of this paper is to defend Kripke's theory of truth from Simmons' objection. First after introducing various sorts of the liar paradox, briefly I explain Tarski's attempt to solve the puzzle. Then, I outline Kripke's solution by using the concept of 'fixed point'. Simmons offers an interesting objection against Kripke's solution. He uses a diagonal argument in his attack to Kripke's idea. I claim that Simmons seem to use 'exclusion negation' in refuting Kripke. I think, however, there is an alternative interpretation, which is 'choice negation'. With using choice negation, I maintain that Kripke's theory of ruth can be defended from Simmons' objection.

• 천문학회보
• /
• 제39권1호
• /
• pp.27-27
• /
• 2014

The past three decades have witnessed a renaissance in the field of extragalactic globular clusters (GCs). GC systems have now been investigated in galaxies ranging from dwarfs to giants and spanning all the morphological types. Detailed studies of GCs provide strong constraints on galaxy formation that can be obtained in the near-field. In this talk I will review some of the pivotal studies performed with the HST and large ground-based telescopes and state-of-the-art simulations. Also, I will attempt to introduce my new solution to a long-standing puzzle in this field----the origin of GC bimodality in color. I will show that the theory gives a simple, cohesive explanation for the key observations of extragalactic GCs. The implication of the results will be discussed in the context of formation of GC systems and their parent galaxies.