• Title/Summary/Keyword: 존재 증명

Search Result 529, Processing Time 0.031 seconds

Personalized Contextual Advertising Scheme using Logs of Web Page Visited (방문 웹 페이지 로그를 이용한 개인화된 문맥광고 기법)

  • Shim, Kyu-Sun;Lee, Myong-Soo;Choi, Jae-ho;Lee, SangKeun
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2009.11a
    • /
    • pp.743-744
    • /
    • 2009
  • 사용자가 방문한 웹 사이트와 연관된 광고를 웹 페이지에 실어주는 문맥광고 관련 연구가 광고 효율성 측면에서 최근 주목을 받고 있다. 이러한 문맥광고 관련 연구의 핵심은 웹 페이지와 웹 광고간의 연관성을 높여주는데 있는데, 연관성 향상 방안으로 최근 사용자 의도 분석을 통한 연관성 향상 기법이 많이 연구되고 있다. 그러나 기존 연구에서는 사용자가 로그인을 해야 하거나, 로그 정보를 일정기간이상 수집해야만 사용자 의도 분석이 가능 하다는 문제점이 존재 한다. 본 논문에서는 로그인이나 많은 양의 로그정보 수집 없이 한 세션 내에서 방문한 웹 페이지 로그만을 이용하여 개인화된 문맥 광고를 제공하는 문맥광고 기법을 제안한다. 실험 결과에서는 제안하는 기법이 기존의 광고 기법에 비해 사용자가 판단하는 웹 페이지와 웹 광고의 연관성 (precison) 이 기존의 기법에 비해 높아짐을 증명한다.

Sport Situational Analysis Using Artificial Intelligence : Focused on Football Expected Goal (인공지능을 이용한 스포츠 상황 분석 서비스 : 축구의 기대 득점을 중심으로)

  • Kim, Jin Sob;Kim, Min Jun;Lee, Kwanhyeong;Yoon, Yongsoo;Moon, Jaehyun
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2020.11a
    • /
    • pp.826-829
    • /
    • 2020
  • 스포츠팀 운영에 있어서 경기 중 상황에 대한 통계와 분석을 통해 좋은 성과를 내는 것은 스포츠 야구 종목의 Sabermetrics를 통해 이미 증명된 바가 있다. 한편, 축구에서는 최근 들어 선수의 역량을 평가하기 위하여 객관적인 시각에서 슈터(Shooter)에게 주어진 기회, 즉 슈팅 상황을 바라보는 기대 득점(Expected Goal; 이하 xG)이라는 지표가 등장하였으나, 객관성이라는 평가 의도와 다르게 경기 내 각각의 슈팅 상황을 정의하는 것에 있어 축구 분석관들의 주관성에 의존하는 한계성을 지녔다. 본 논문은 xG를 산출하는 방식에 있어서 기존의 주관성을 배제하고 인공지능을 통해 상황을 정의하여 객관적인 평가지표를 지향하며 유의미한 통계적 수치를 지닌 xG를 도출함으로써 결과 위주의 분석만이 존재하던 축구 종목에 있어서 경기 중 상황에 대한 객관적인 판단 및 정의에 대한 방향성을 제시한다. 또한, 본 논문에서의 인공지능은 국내 K리그 슈팅 데이터를 통해 학습되어 K리그 내 전략적인 상황들에 대한 특화된 xG를 도출하며, 이를 웹을 통해 K리그 내 선수 개개인에 대해서 시계열, 상대 팀, 슈팅 위치별 그래프로 시각화하여 제공하는 시스템을 구축함으로써 K리그를 기준으로 선수에 대한 평가 및 경기 운영에 기여할 수 있는 기대 득점 분석 서비스를 제공한다.

Exact solver of Saint-Venant system with discontinuous geometry (불연속 지형조건에 대한 Saint-Venant 방정식의 정해법)

  • Jung, Jaeyoung;Hwang, Jin Hwan
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2021.06a
    • /
    • pp.256-256
    • /
    • 2021
  • Saint-Venant 방정식은 수평규모가 수심규모보다 큰 천수흐름을 기술하는 수리동역학 모형으로 지난 수십년간 공학적 분야에서 널리 이용되어 왔다. 최근에도 기후변화에 따른 도시 홍수의 위기 증대로 홍수위기관리의 관심이 높아짐에 따라 홍수파(flood wave), 도시침수(urban inundation), 돌발홍수(flash flood) 등의 신속한 예측을 위한 Saint-Venant 방정식의 연구가 활발히 진행되고 있다. 그러나 도시와 같은 인공구조물이 즐비한 상황에서 천수흐름을 해석하는 고전적인 수치해법들은 다양한 불연속 지형들의 존재로 인하여 불안정하며 지배방정식의 정해로 수치해가 잘 수렴하지 않는 문제가 있다. 지난 수년간 이를 해결하기 위해 불연속한 지형을 안정적으로 해결할 수 있는 수치기법의 연구가 진행되어 왔으나, 정해로의 수렴성, 정확성에 관하여 연구가 부족한 실정이다. 본 연구는 수치해법의 주요 구조를 구성하는 Saint-Venant 방정식의 불연속한 지형조건에 대한 리만 문제의 정해를 연구하였다. 쌍곡선형 시스템의 특징을 고려하여 요소파들(elementary waves)의 공식을 유도하였는데, 질량과 에너지의 보존법칙에 위배되지 않으며 운동량이송부의 비선형성과 지형의 불연속에 의한 비엄격성을 고려할 수 있는 조건을 제시하였다. 또한, 유도된 요소파들을 바탕으로 L-M & R-M 커브이론(Han et al. 2014)을 사용할 수 있는 조건과 당위성을 증명하였고, 이를 바탕으로 Saint-Venant 방정식의 정해법을 구성하였다. 리만문제의 다양한 초기조건들을 바탕으로 모든 경우의 정해 구조를 조사하였고, 이를 통해 불연속 지형에 대한 Saint-Venant 지배방정식의 정해가 다수해를 갖을 수 있음을 보였으며, 이를 근사할 수 있는 수치기법의 전략을 소개하였다.

  • PDF

The Sorption Properties of Cs on the Surface of Artificially Weathered Illite (인위적으로 풍화시킨 일라이트 표면의 Cs 흡착 특성)

  • Kim Yeongkyoo;Lee Eun Jung
    • Journal of the Mineralogical Society of Korea
    • /
    • v.17 no.3
    • /
    • pp.235-243
    • /
    • 2004
  • Illite has been known to adsorb Cs preferentially to other alkali cations, especially at lower Cs concentration due to the frayed edge site. This frayed edge site was only verified by isotherm experiments, but not by other analytical methods. To investigate the Cs sorption properties on the surface of illite, artificially weathered illite with increasing frayed edge sites was reacted with Cs at different solution concentrations. The illite was weathered f3r 1 hour, 2 days, 14 days in 0.001 M HCl solution. With increasing reaction time, increasing amount of K in solution was observed, indicating formation of frayed edges by weathering, which was also verified by XRD, SEM, and TEM analysis. Original and weathered illites were converted to the homoionic Na form and reacted with $10^{-3}$ / ~ $10^{-7}$ M CsCl solutions for 24 hour. The aspect of Cs sorption was clearly distinguished around $10^{-5}$ M Cs concentration. The relative Cs amount sorbed on illite at low concentration (<10$^{-5}$ M) was higher than high concentration and increased with decreasing Cs concentration. In general, the amount of sorbed Cs increases with increasing weathering time and this trend is more noticeable at lower concentration while not much differentiated with weathering time at high concentration. These results indicate that the selective Cs sorption site exists in illite at low concentration, known as frayed edge site, and the number of those sites increases with weathering time.

A Preprocessor for Detecting Potential Races in Shared Memory Parallel Programs with Internal Nondeterminism (내부적 비결정성을 가진 공유 메모리 병렬 프로그램에서 잠재적 경합탐지를 위한 전처리기)

  • Kim, Young-Joo;Jung, Min-Sub;Jun, Yong-Kee
    • The KIPS Transactions:PartA
    • /
    • v.17A no.1
    • /
    • pp.9-18
    • /
    • 2010
  • Races that occur in shared-memory parallel programs such as OpenMP programs must be detected for debugging because of causing unintended non-deterministic results. Previous works which verify the existence of these races on-the-fly are limited to the programs without internal non-determinism. But in the programs with internal non-determinism, such works need at least N! execution instances for each critical section to verify the existence of races, where N is the degree of maximum parallelism. This paper presents a preprocessor that statically analyzes the locations of non-deterministic accesses using program slicing and can detect apparent races as well as potential races through single execution using the analyzed information. The suggested tool can deterministically monitor non-deterministic accesses to occur in OpenMP programs so that this tool can verify the existence of races even if it is used any race detection protocol which can apply to programs with critical section. To prove empirically this tool, we have experimented using a set of benchmark programs such as synthetic programs that involve non-deterministic accesses, OpenMP Microbenchmark, NAS Parallel Benchmark, and OpenMP application programs.

Quantitative Analyses of Cells using Photoshop after the H&E Staining of the Synovia of Osteoarthritis and Rheumatoid Arthritis Patients (H&E 염색 이미지의 포토샵 분석을 이용한 골관절염과 류마티스 관절염 활막 세포의 정량 분석)

  • Park, Jin-Ah;Kim, Keun-Cheol
    • Journal of Life Science
    • /
    • v.22 no.8
    • /
    • pp.1034-1040
    • /
    • 2012
  • Synovium is the soft tissue that lines the non-cartilaginous surfaces within joints. It has been reported that synovial cells are activated during the pathogenesis of rheumatoid arthritis. In this study, we quantitate and compare the cellular composition of synovia derived from individuals with non-inflammatory osteoarthritis (OA) and those with inflammatory rheumatoid arthritis (RA). Synovia from OA (n=8) and RA (n=5) patients were used for hematoxylin and eosin (H&E) staining. A light microscopic examination has shown that RA synovia were morphologically thickened and hypertrophied as compared to OA synovia. We also performed an immunohistochemistry (IHC) analysis to classify cell types in the synovia using CD68, CD90, or PGP9.5 markers. As a result, we obtained quantitative data regarding the cell populations, which are macrophages in the lining layer and FLSs in the subintimal layer of the synovium. Further Photoshop analyses of the H&E images could allow the counting of the number and layer of the cells in the synovium. The number and layers of the macrophage cells were increased in the lining layer of the RA synovia as compared to the OA synovia. FLS cells also were increased in the subintimal layer of RA synovia. Therefore, quantification of the H&E stained images via Photoshop is a possible analysis protocol for synovium study. This quantitation also supports the idea that the increases in cell number and cell activation are important processes for RA pathogenesis.

Characteristics of Amylose-Lipid and Cyclodextrin-Lipid Complexes (Amylose와 Cyclodextrin 및 Lipid의 Complex 형성 특성)

  • Rho, Hoe-Jin;Park, Chun-Soek;Kweon, Mee-Ra;Moon, Tae-Wha;Park, Kwan-Hwa
    • Korean Journal of Food Science and Technology
    • /
    • v.26 no.2
    • /
    • pp.117-122
    • /
    • 1994
  • The characteristics of amylose-lipid complex(AL-complex) and cyclodextirn-lipid complex(CL-complex) were investigated by using Differential Scanning Calorimetry(DSC). The enzymatic hydrolysis of amylose which was liberated from AL-complex by the addtion of ${\beta}-cyclodextrin({\beta}-CD)$was also studied. The melting temperatures of AL-complex in corn, wheat, and rice starch were above $100^{\circ}C$ and there were no differences among them. In the presence of lysolecithin, the melting enthalpy and temperature of AL-complex were increased and lysolecithin was very effective in the formation of AL-complex. When ${\beta}-CD$ was added to AL-complex, the endothermic peak of AL-complex at $100^{\circ}C$ decreased and that of CL-complex at $70^{\circ}C$ appeared. These results indicated that the amylose was released from AL-complex by substituting ${\beta}-CD$ for amylose, then by forming CL-complex. As the added amount of ${\beta}-CD$ increased, the peak of AL-complex decreased whereas that of CL-complex increased. Enzymatic hydrolysis rate of AL-complex increased in the presence of ${\beta}-CD$, suggesting that amylose was dissociated from AL-complex and hydrolyzed by amylase.

  • PDF

Expression of Luteinizing Hormone (LH) Subunit Genes in the Rat Ovary (흰쥐 난소에서의 Luteinizing Hormone (LH) Subunit 유전자 발현)

  • Lee, Sung-Ho
    • Clinical and Experimental Reproductive Medicine
    • /
    • v.25 no.2
    • /
    • pp.199-205
    • /
    • 1998
  • The present study was performed to analyze the expression of LH genes in the rat ovary. Expression of LH subunit genes in the rat ovary was demonstrated by amplification of ovarian RNA by RT-PCR. The ovarian $LH_\beta$ transcripts contained at least two parts of the published cDNA structure, the pituitary exons 1, 2 and 3 and the part of testicular ex on 1 in the major trancripts form in rat testis. Using RIA, significant amount of LH-like molecules were detected in crude ovarian extracts, and the competition curves with increasing amount of tissue extracts were parallel with those of standard peptide, indicating that the ovarian immunoreactive LH-like material is similar to authentic pituitary LH molecule. The administration of PMSG to immature rats resulted in a sharp decrease of the ovarian LH contents after 24 h post-injection. In conclusion, these findings demonstrate that genes for LH subunits are expressed in the rat ovary, and suggest that LH can playa central role in regulation of female reproduction with both endocrine (by pituitary LH) and auto- and/or para-crine (by ovarian LH) manner.

  • PDF

Parabiosis and Blood Exchange Techniques in Aging Research (개체병렬결합(parabiosis)실험모델과 혈액교환을 이용한 노화(aging)연구 분석)

  • Kyung Tae Chung
    • Journal of Life Science
    • /
    • v.33 no.2
    • /
    • pp.208-215
    • /
    • 2023
  • In recent decades, the field of aging research has progressed from the genetic and cellular levels to in vivo models of blood exchange. Since genes capable of extending the lifespan in C. elegance have been reported, various potential target molecules have been discovered through genomics, proteomics, metabolomics, and transcriptomics. Accordingly, research on the interactions between target molecules has also been increasing. The parabiosis method, in which two experimental animals are surgically combined, was introduced, and a factor that could reverse the aging phenomenon was discovered using this method. The parabiosis method is used to find more accurate and effective aging-reversal factors that could exist in young blood. As more new evidence has been revealed, the parabiosis method has established a new paradigm for aging research. Moreover, a device capable of exchanging blood elaborately in laboratory animals was published in 2022 and presented new results necessary for aging reversal. Since GDF11, was reported, many other anti-aging candidates that are soluble factors in blood, such as β2m, TIMP2, VCAM1, Gpld1, and clusterin, have been discovered. In addition, mcicroglia cells and neuroinflammation have been directly proven to be aging factors. These latest research results were obtained by parabiosis, the newly designed device for plasmapheresis, and injecting young blood or conditioned blood methods. In this review, we discuss the latest research results using the device and young blood administration in old mice.

The study of narrative of cartoon Focusing on prerequisites for narrative in the Theory of 『Story and Discourse』 by S. Chatman (카툰의 서사 연구 (S.채트먼의 『이야기와 담론』 이론의 서사의 전제조건을 중심으로))

  • Ahn, So Ra;Lee, Won Soek
    • Cartoon and Animation Studies
    • /
    • s.33
    • /
    • pp.223-246
    • /
    • 2013
  • Even though cartoons and narration comics were born from different origin, they have been called by names such as 'cartoons' or 'comics'. The reason can be found in the similarity of cartoons and narration comics. The similarity of cartoons and narration comics is the genre consisting of writing and drawing. Writing can be the format of expression and it can represent the story. Such story is present as a component of 'narration'. Sub genre of comics includes cartoons and narration comics. It includes animation in a broad range. In cases of narration comics and animation, it is thought that narration is present with continuity of time. However, in case of cartoon, because one or two cuts without continuity of writing are frequently expressed, it is being asked whether narration is present. It is easy to be reminded of epic or chanson de geste whenever you hear 'narration'. Since it deals with a biography of the character, we think the concept of 'narration' with temporality. However, narration provides a certain event in a broad range. Thus, cartoons presenting one event with the image may have the existence of narration, because description of multiple scenes of narrative comics can be implicitly represented in cartoons. As such implications leave a space, the empty space can be filled by active reasoning of recipients. However, nevertheless, it is very difficult to find studies as well as mentions of narration in cartoons. Thus, in this paper, we investigate the concept and structure of narration and demonstrate the presence of narration in cartoons. First of all, we looked at the narration theory in literature before studying narration in cartoons. The reason is that we thought the approach to the literary theory was required in order to investigate the basic elements, since cartoons are a collection of writing and drawing. We were focused on the prerequisites of narration presented in "story and discourse" of s. Chatman. If the prerequisites of narration are present, we can assume that the narration is present. The prerequisites are 'narration reasoning', 'screening', 'consistency', 'process statements' and 'stasis statement'. As s. Chatman described them as prerequisites of narration, he analyzed the narration structures of films and novels. In addition, we revealed that the narrations were present in cartoons as we identified how prerequisites of narration presented by Chatman were presented and expressed through "vocabulary of comics", "Timeframe" and "life in the line" described in "understanding comics" by Scott McCloud.