• Title/Summary/Keyword: 신동일

Search Result 956, Processing Time 0.035 seconds

수 미결정성, 동일성 기준 그리고 종

  • Gwon, Byeong-Jin
    • Korean Journal of Logic
    • /
    • v.7 no.1
    • /
    • pp.101-117
    • /
    • 2004
  • 베나세라프는, 프레게의 플라톤주의를 비판하기 위하여 서로 다른 집합 순서열들이 수 순서열로 간주될 수 있다는 수 미결정성 논제를 주장한다. 이에 대하여 신프레게주의자인 헤일은 수 미결정성 논제를 정면으로 부정하는 논증을 제시하였다. 본 논문에서 필자는 헤일의 논증에서 핵심적인 역할을 하는 형이상학적 원리가 수용되기 어려운 것임을 보이고자 한다.

  • PDF

A Study on the Change and Improvement of Smart Grid Policy after the Great East Japan Earthquake (동일본대지진 이후 일본 스마트그리드 정책의 변천과 개선방안 연구)

  • Lee, Jum-Soon
    • Journal of Digital Convergence
    • /
    • v.15 no.7
    • /
    • pp.41-53
    • /
    • 2017
  • This study focuses on the current state of Smart Grid policy in Japan and its problems while the interest in Smart Grid has been increasing since the March 2011 earthquake in East Japan. As a result of the analysis, Japan introduced the fixed price buying system of new and renewable energy in response to the power supply and demand problem caused by the 2011 earthquake in East Japan, and established a decentralized green electricity trading market in which electricity generated from new and renewable energy is traded Smart Grid-related projects were implemented as a solution to solve energy crisis and environmental problems at the same time. As a result, we achieved visible results such as suppressing peak power, reducing CO2 emissions, and securing stable supply and demand of energy using renewable energy sources. On the other hand, the improvement of current Smart Grid policy operation in Japan and the introduction of stabilization system of power system, promotion of international standards of domestic technology related to smart grid, and support for strengthening security of smart grid.

Characterization of thermal conduction for gas hydrate bearing in-situ sediments (울릉분지 현장 시료와 F110표준사를 이용한 GH함유토의 열전달 양상 분석)

  • Kim, Young Jin;Yun, T.S.
    • 한국신재생에너지학회:학술대회논문집
    • /
    • 2011.05a
    • /
    • pp.148.1-148.1
    • /
    • 2011
  • 본 연구에서는 가스 하이드레이트의 미래 상업생산을 위한 연구활동으로 동해 울릉분지 현장시료를 채취하여 가스 하이드레이트 함유토의 열전도 현상에 관한 연구를 실시하였다. 두 종류의 현장시료를 이용하여 메탄 하이드레이트를 생성하여 공극비 및 포화도에 따라 조건을 달리하여 실험을 수행하였다. 열전도도 측정을 위하여 Transient Plane Source (TPS) 기법을 이용하였다. 현장시료의 사용에 앞서 예비실험으로써 F110표준사를 사용, 비교 분석 자료로써 활용하였다. 하이드레이트 생성 확률을 높이는 기법으로써 불포화시료를 동결, 해동 후 가스를 주입하였으며 동결된 불포화 시료의 열전달양상의 변화를 함께 고찰하였다. 실험결과, 하이드레이트의 포화도가 증가함에 따라 함유토의 열전도도의 증가함을 알 수 있어다. 거의 동일한 물과 GH의 열전도도에도 불구하고 하이드레이트 결정화 작용으로 동일한 포화도의 불포화 시료와 비교하여 약간의 상승을 보였다. 또한 공극비 및 흙을 구성하는 미네랄의 성분에 따라 열전도도의 발현 양상이 상이함을 관찰하였다. 이에 차후 하이드레이트 생산을 위한 현장 측정 및 전산 모사시 이에 관한 고려가 필요할 것으로 사료된다.

  • PDF

An Design and Implementation of WAP(Wireless Application Protocol) Emulator Supporting WMLScript (WMLScript를 지원하는 WAP Emulator의 설계 및 구현)

  • Kim, Min-Soo;Kim, Sung-Chan;Jang, Ji-San;Noh, Kang-Rae;Shin, Dong-Kyoo;Shin, Dong-Il
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2001.04b
    • /
    • pp.1153-1156
    • /
    • 2001
  • 지난해부터 무선 인터넷 관련 시장의 급속한 확산으로 인해 사용자들의 다양한 요구에 부응하기 위한 무선 컨텐츠가 요청되고 있다. 그로 인해 개발자가 실제와 같은 상황에서 WML과 WML Script 컨텐츠를 편리하게 테스팅 할 수 있는 환경이 필요하게 되었다. 본 논문에서는 CP(Content Provider)들이 작성된 WML(Wireless Markup Language) 컨텐츠(Content)를 쉽고 편리하게 브라우징하면서 테스팅 하기 위하여 필수적으로 요청되는 WAP(Wireless Application Protocol) Emulator의 설계와 구현에 대하여 기술한다. 본 논문에서는 서술된 WAP Emulator는 WAP 핸드폰에 탑재되는 것과 동일한 기능을 보유하는 WAP 스택 및 WMLScript 가상머신을 지원하여 실제 핸드폰과 거의 유사한 기능을 제공한다.

  • PDF

A research on improving correctness of cardiac disorder data by using the Decision Tree Classifier (Decision Tree 분류기를 사용한 심전도 데이터 정확도 향상에 관한 연구)

  • Lee, Hyun-Ju;Shin, Dong-Il;Shin, Dong-Kyoo
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2012.06b
    • /
    • pp.507-509
    • /
    • 2012
  • 심전도 질환 데이터는 일반적으로 분류기를 사용한 실험이 많다. 심전도 신호는 QRS-Complex와 R-R interval을 추출하는 경우가 많은데 본 실험에서는 R-R interval을 추출하여 실험하였다. 심전도 데이터의 분류 실험은 일반적으로 SVM(Support Vector Machine)과 MLP(Multilayer Perceptron)으로 실험되지만 본 실험은 Decision Tree를 사용하여 정확도 향상을 추구하였다. 그리고 정확도 비교 분석을 위해 SVM과 MLP 분류기 실험을 같이 수행하였고, 동일한 데이터와 간격으로 실험한 타 논문의 결과와 비교해 보았다. Decision Tree를 다른 분류기와 타 논문의 결과와 비교해 보니 정확도 부분에서는 Decision Tree가 가장 우수하였다.

The Performance Analysis of Caching in a WAP Proxy (WAP 프록시 서버의 캐싱 성능 분석)

  • 노강래;이종열;장지산;신동규;신동일
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2001.10c
    • /
    • pp.280-282
    • /
    • 2001
  • 무선 어플리케이션 서비스 시스템 구축시 가장 중요한 역할을 담당하는 장비는 WAP(Wireless Application Protocol) 프록시 서버이다 WAP 프록시 서버는 WAP 프로토콜과 인터넷 TCP/IP 프로토콜을 중간에서 변환해 주는 역할을 한다. 따라서, 무선 단말기로부터 요청은 WAP 프록시 서버를 통해 유선망의 서버로 보내지게 되고, 서버로부터 보내진 무선 콘텐츠는 다시 WAP 프록시 서버를 통해 무선 단말기로 전해진다. 이때, 무선 컨텐츠가 WAP 프록시 서버에 캐싱된다면, 동일한 무선 콘텐츠 요청시, 유선망을 거치지 않고도 WAP 프록시 서버에서 무선 컨텐츠를 서비스 할 수 있을 것이다. 본 논문에서는 WAP 프록시 서버에 캐싱 기능을 추가하여, 그 성능을 분석하였다. 성능 측정을 위해 C와 서블릿으로 측정 모듈을 작성 했으며, 웹 브라우저를 통해 실시간으로 측정 결과를 확인 가능하도록 하였다.

  • PDF

Implementation and Performance Evaluation for a Wire/Wireless Game Server (유무선 동시지원 게임 서버의 구현 및 성능분석)

  • 김용빈;신동규;신동일
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2003.10c
    • /
    • pp.694-696
    • /
    • 2003
  • 최근 온라인 게임은 많은 호황을 누리고 있다. 현재는 PC 기반의 온라인 게임이 주류를 이루고 있지만 무선 단말기를 통하여 온라인 게임을 즐기는 사람들이 급증하는 추세이다. 기존의 온라인 게임서버의 구조를 살펴보면 각각의 게임의 환경에 맞게 서버를 설계하여 많은 시간과 자원의 낭비를 초래하게 된다. 유사한 Network Game을 지원하기 위해 헤더 영역과 Data영역을 분리 시켜 보다 유사한 게임들은 동일한 게임서버를 통하여 지원을 가능하게 하여 효율적인 게임서버를 운영할 수 있을 것 이다. 따라서 본 논문에서는 유선과 무선상에서의 Network delay를 고려한 유뮤선 네트워크를 동시에 지원하는 Game Server및 미들웨어를 구현하고 구현된 Game Server의 성능분석을 통해 본 논문에서 제안한 게임서버의 분산처리 성능을 평가하였다.

  • PDF

A Study on Customer rating using RFM and K-Means (RFM 기법과 K-Means 알고리즘을 이용한 고객 분류)

  • Ji, Hyunjung;Shin, Gyeongil;Shin, Dongil;Shin, Dongkyoo
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2017.11a
    • /
    • pp.803-806
    • /
    • 2017
  • 고객의 행동을 분석하기 위한 RFM(Recency, Frequency, Monetary)은 마케팅 분양에서 널리 쓰이고 있는 시작분석기법이다. 최근 축적되는 데이터가 많아지면서 이를 활용하기 위해 기계학습에 대한 관심이 증가하였다. 따라서 RFM 기법과 다양한 알고리즘을 결합하여 데이터를 분석하고자 하는 시도가 이루어지고 있다. 본 논문에서는 RFM 기법과 대표적인 클러스터링 알고리즘인 k-means를 통하여 고객을 등급화 하는 방법에 대해 실험하였다. 기존의 실험에서는 k값을 8 혹은 9로 지정하는 사례가 많았다. 그러나 본 실험에서는 내부평가방법을 통해 데이터 셋에 대한 최적의 k값을 구해보았고, 실험 결과 사용한 4개의 데이터 셋에서 3이라는 동일한 결과가 나왔다.