• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.520-522
• /
• 2004

분산 감시 제어 시스템은 산업분야에서 중요한 부분이다. 그러나 일반적인 분산 감시 제어 시스템의 응용 소프트웨어간이나 감시 장비간의 또는 응용 소프트웨어와 감시 장비간의 통신이 필요하다. 이러한 문제점은 통신의 과부하로 이어질 수 있다. 본 논문에서는 이러한 문제점을 해결하고 대규모 분산 감시 제어 시스템에서 사용할 수 있는 개발 환경을 제안한다. 이 시스템은 분산 시스템에서 정보를 동기화 하여 분산 환경하의 모든 응용 소프트웨어나 감시 장비가 공유 할 수 있도록 하는 정보 동기화 기술로 이루어져 있다 이 기술은 공유메모리를 사용하여 프로그램 코드와 데이터 구조를 분리하여 데이터 구조 및 데이터 값을 공유할 수 있게 하는 SDSL(Shared Data Structure Library)기법을 사용한다. 그리고 적시성을 보장해 주는 미들웨어인 TMO(Time-triggered Message-triggered Object)를 이용하여 실시간 성을 보장해 주는 한편 통신을 가능하게 해줌으로써 분산 시스템에서도 적용할 수 있다. 본 논문에서 제안하는 개발 환경은 데이터 구조를 동적으로 변화시켜주면서 대규모 분산 감시 제어 시스템에서 응용 프로그램을 보다 편하게 구현하고자 하는 산업 분야에 적용할 수 있다.

• Korean Journal of Logic
• /
• v.6 no.2
• /
• pp.135-158
• /
• 2003

베이즈주의는 믿음의 정도라는 확률의 의미해석과 수학적 확률론에 의한 계산체계를 기초로 하여 가설과 증거간의 입증(confirmation) 관계를 명료하게 분석한다. 베이즈주의는 증거 E가 가설 H를 입증한다는 것을 PR(HIE&K)-PR(HIK)>0으로 정의한다. 그러나 이러한 분석이 과연 과학자들의 입증개념을 올바로 반영하고 있는가 하는 비판이 오래된 증거(old evidence)의 문제로부터 제기되었다 오래된 증거는 이미 알려진 정보이기 때문에 완전한 확률 값 1을 부여받는다. 이 때 오래된 증거가 가설을 입증할 수 있는가 하는 질문은 베이즈주의자와 실제 과학자 사이에 서로 다른 답변을 도출한다. 먼저 베이즈주의에 따르면 오래된 증거가 가설을 입증할 수 없다. 그것은 PR(EIK)=1일 때 PR(HIK)=PR(HIE&K)의 결과가 도출되기 때문이다. 하지만 과학사의 여러 예들로부터 제시되는 실제 과학자들의 입증개념에 따르면 오래된 증거가 가설을 입증하고 있다. 필자는 이와 같은 입증개념의 이질성 문제가 다만 어떤 증거가 입증 가능한 것인지를 구분해야 하는 질적인(qualitative) 문제일 뿐만 아니라 증거가 가설을 어느 정도 입증하는지 하는 입증도를 정확하게 측정해야 하는 양적인(quantitative) 문제라는 점을 밝힌다. 특히 필자는 양적인 문제를 해결하면 질적인 문제가 자연히 해결된다는 점을 밝히고, 반 프라센이나 가버가 제안한 전략이 모두 질적인 문제만을 다루기 때문에 부분적인 해결책에 지나지 않는다는 점을 밝힘으로써 오래된 증거의 문제의 본질은 양적인 문제에 있다는 점을 주장한다.

• 주택과사람들
• /
• s.215
• /
• pp.32-32
• /
• 2008

지난 3월에는 한반도 대운하 건설 사업 추진을 둘러싼 논쟁이 끊이지 않았다. 이 과정에서 경부 운하와 경인 운하가 만나는 일산 신도시를 대운하 사업의 물류 거점 도시로 육성하는 방안이 추진되고 있어 관심이 집중되었다. 지난 한 달 동안 화제를 모은 부동산 시장의 주요 이슈를 살펴보았다.

• Product Safety
• /
• s.209
• /
• pp.14-14
• /
• 2011

가구의 유해물질을 규제하는 현행 안전기준을 계속 시행하기로 하는 것을 골자로 하는 가구의 안전품질 표시기준을 지난 3월 28일에 개정고시 하였다.

• Life and Agrochemicals
• /
• s.254
• /
• pp.26-30
• /
• 2010

올해는 농약관리제도에 있어서 큰 변화를 가져온 해로 기억될 것이다. 부정적인 이미지를 벗고 식물보호제로 거듭나 생산자와 소비자에게 친근하게 다가갈 수 있도록 하여야 하며, 시험연구기관의 지정 및 관리 운영에서도 불필요한 규제를 풀고, 법적인 기반을 튼튼하게 함으로써 크게 발전하는 계기가 될 것이다.

• 가정의 벗
• /
• v.37 no.6 s.430
• /
• pp.20-21
• /
• 2004

아침에 일어났을 때 당신은 배우자에게 환한 미소와 함께 '잘 잤어?'하는 인사를 나눌수도 있고 무표정하게 '어휴, 또 당신이야?' 나눌 수도 있다. 과연 당신은 어느 쪽을 선택하고 있는가? 서로에게 가족이니깐 당연히 할 일을 하는 것이라 생각하기 쉬운데 가족만큼 소중한 사람은 없다.

• Food Industry
• /
• s.17
• /
• pp.50-53
• /
• 1973

최근의 식품공업계에서 볼 수 있는 현저한 특징의 하나는 포장기술의 진보발달을 들수 있다. 가공식품은 단지 만들기만 하면 팔였든 옛날 상태로부터 완전히 탈피하여 어떻게 하여 높은 품질의 제품을 만드느냐, 소비자의 입에 들어갈 때까지 그 품질을 어떻게하여 보전할 수 있을까, 또 어떻게 하여 잘 선전할 수 있을까 하는 시대가 되었다.

• 월간 기계설비
• /
• s.55
• /
• pp.29-31
• /
• 1995

대한주택공사는 세계화 및 지방화시대에 대비한 현장관리체제를 정착시키고 고품질의 주택보급을 위해 공사부실의 원인이 되는 불법하도급 등에 대한 제재를 더욱 강화하기로 하는 등을 주요내용으로 하는 $\ulcorner$95주공 공사관리방안$\lrcorner$을 마련했다.

• 월간낙농육우
• /
• v.26 no.8 s.292
• /
• pp.134-136
• /
• 2006

최근 무더운 날씨에 이어 태풍 및 집중호우로 인해 가축질병이 발생할 우려가 있어, 하절기 가축질병 예방이 무엇보다 중요한 시점입니다. 이에 회원농가들께서는 본 관리대책을 참조하시어 하절기 가축질병 예방에 안전을 기하기 바랍니다.

• Environmental and Resource Economics Review
• /
• v.12 no.4
• /
• pp.663-686
• /
• 2003

This study is aimed at analyzing the effectiveness of TAC policy using a bioeconomic model. A surplus-production model is used as a population dynamic model, from which the yellowedge grouper is estimated to be overfished. As a result, a 10-year rebuilding plan using the TAC policy is established. According to the result of model, under the well-enforced system, the target stock biomass is achieved during the rebuilding period. Especially, in order to accomplish the target stock biomass, the annual quota should be allocated much less than 342 tons that NMFS recommended. The NPV over a 25-year under the TAC policy Is predicted to be less than under the status quo. The economic gains under the variable-catch TAC policy is less than under the constant-catch TAC policy as the interest rate decreases, while the NPV under the constant-catch is greater than under the variable-catch TAC policy when the interest rate is high.