• 제목/요약/키워드: 신동일

검색결과 955건 처리시간 0.038초

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

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

  • PDF

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

  • 이점순
    • 디지털융복합연구
    • /
    • 제15권7호
    • /
    • pp.41-53
    • /
    • 2017
  • 본 연구에서는 2011년 3월 발생한 동일본대지진 이후 스마트그리드에 대한 관심이 높아지고 있는 가운데 일본의 스마트그리드 정책 추진현황 및 문제점에 초점을 맞춰 살펴보았다. 분석 결과, 일본에서는 2011년 동일본대지진으로 인한 전력수급 문제를 계기로 신재생에너지의 고정가격매수제도가 도입되고, 나아가 신재생에너지로 생산된 전력을 거래하는 분산형 그린 전력매매 시장을 설립하는 등 에너지 위기와 환경문제를 동시 해결하는 하나의 솔루션으로서 스마트그리드 관련 프로젝트가 본격적으로 실행되었다. 그 결과 피크전력 억제 및 CO2 삭감효과, 신재생에너지원을 이용한 에너지 수급의 안정적 확보 등 가시적인 성과를 거두었다. 한편, 현행 일본의 스마트그리드 정책 운영상의 개선과제로는 전력계통 안정화 장치의 도입(송배전망의 광역적 운용이나 대형 축전지 도입 등), 스마트그리드 관련 자국기술의 국제표준, 추진 스마트 그리드의 보안성 강화 지원 등을 제시하였다.

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

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

  • PDF

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

  • 김민수;김성찬;장지산;노강래;신동규;신동일
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2001년도 춘계학술발표논문집 (하)
    • /
    • 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

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

  • 이현주;신동일;신동규
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(B)
    • /
    • 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가 가장 우수하였다.

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

  • 노강래;이종열;장지산;신동규;신동일
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (3)
    • /
    • 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)

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

  • PDF

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

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