• The KIPS Transactions:PartD
• /
• v.14D no.6
• /
• pp.641-648
• /
• 2007

To develop a dynamic system project in which the requirement changes frequently, it's impossible to finish the development within a fixed-cost due to additional budget occurring in need of requirement creep. To manage the successive project within a fixed-cost, it's better to manage the ratio of necessarily changed size of project and necessary optional requirement. According to Bhagwat, it is occurred in the construction phase. Also, he stated that the software development cost, construction phase cost and requirement cost are equal and it was wrong explanation in the ratio of requirement creep and optional requirement. This paper assumes the requirement creep to be happening in the phase of elaboration and construction. In addition, some differences were supposed to happen between software development cost, construction phase cost, and requirement creep cost. As a result, the reality was preferred rather than the ratio of optional requirement and the ratio of requirement creep.

• Nuclear industry
• /
• v.36 no.11
• /
• pp.29-44
• /
• 2016

1980~1990년대 OPR1000 기술 자립을 추진할 때도 그랬지만 한국은 원자력 기술 자립에 대한 도전이 선진국에 비해 늦었지만 과학기술자의 열정과 정부의 적극적인 지원으로 오늘날 원자력 선진국이 될 수 있었고, 원자력산업을 해외 수출 산업으로서 다양한 노력을 시도하고 있다. 특히 국내 가동 중인 원전은 외국과 차별되게 1기당 고장 정지율이 0.1건으로 외국 평균의 5.5건과 크게 대별된다. 또한 운전 신뢰성을 나타내는 발전소 가동률도 10% 이상 차로 월등히 높다. 한마디로 한국은 가장 원전의 기술 개발과 운영을 잘하고 있는 원전 선진국임을 자타가 인정하고 있다. 그러나 현재의 기술 수준에 머물면 미래 원전 기술에서는 다른 선진국 내지 중국, 인도 등 신흥국에 그 자리를 양보할 수밖에 없을 것이다. 미래 원자력이란 시대적 요건인 고유 안전성과 지속 가능성을 확보하고 경제성과 함께 핵확산 저항성이 전제되는 원자력 신기술로서 세계와의 경쟁 대상이다. 여기에 핵연료 자원의 유한성에 지속 가능성을 확보하기 위해서 우라늄 효율을 극대화하는 제4세대의 고속로 개발까지 우리나라는 선도적 위치로 가야 한다. 이 기술 개발 역시 출발은 늦었지만 적극적인 개발을 추진하고 있어 소듐고속로의 시현 원자로인 PGSFR을 2028년까지 완성하는 목표를 달성하면, 이를 근간으로 세계 선진국의 경쟁 대열에 나설 수 있다. 정부의 적극적인 지원이 선도적 위치에 갈 수 있는 지름길이다. 고속로 기술 개발과 관련하여 사용후핵연료(SF)의 국가 정책이 아직 확정되지 않아 재활용주기를 전제하고 있는 고속로 개발에 어려움을 주고 있다. 따라서 SF 부지를 2028년까지 확정하는 일정과 함께 국가 SF 정책이 조속히 확정되어야 한다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2018.07a
• /
• pp.297-298
• /
• 2018

본 논문에서는 모듈형 NVIDIA Jetson TX2 임베디드 제품에서 채굴을 통해 블록체인의 적합성 여부를 보인다. 범용성과 적합성의 평가기준은 TPS (Transactions Per Second), 블록생성시간(Block Generation Time)과 확정시간(Confirmation Time)이다. 채굴 준비 시 TX2 임베디드 제품의 특성상 하드웨어 드라이버를 자립적으로 설치 할 수 없기 때문에 HOST PC와 함께 사용하였다. HOST PC는 TX2 제품과 호환성이 높은 OS인 Ubuntu 14.04를 사용했으며, 하드웨어 드라이버 설치를 위해 NVIDIA 공식 TX2 제품 소프트웨어 중 JetPack 3.1 Release Version 을 사용하였다. 코인은 이더리움(Ethereum), 라이트코인(Litecoin)과 제트캐쉬(Zcash) 총 3종 코인으로, 채굴 시 나온 결과물로 TX2 제품에서 블록체인의 적합성 여부를 보였다.

• Journal for History of Mathematics
• /
• v.18 no.1
• /
• pp.93-102
• /
• 2005

In this paper, we introduce the history of dynamical systems and the notion of the H-shadowing property. And we study some relationships between the H-shadowing property and other dynamical properties such as expansivity and topological stability.

• Digital Contents
• /
• no.10 s.101
• /
• pp.50-57
• /
• 2001

2002년도에는 국민의 삶의 질 향상과 지역 균형 발전을 각 정부 부처의 정보화 추진이 이루어 질 것으로 전망되고 있다. 또한 정부의 생산성 향상과 산업경제가 발전하는 데에도 큰 몫을 할 것으로 보여지고 있다. 이는 지난 9월 19일 정부가 이한동 국무총리 주재로 제 16차 정보화 추진 위원회를 개최하여 심의, 확정한 내년도에 각 부처가 추진해 나갈 23개 분야별 2003년도 정보화촉진시행계획에 따른 것이다. 이날 확정된 2002년도 분야별 정보화 촉진 시행계획에 따르면 2002년 정부가 추진할 정보화사업은 총 24,156억원(국비 16,867억원, 지방비 6,782억원, 민자 508억원)으로 집계되었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10a
• /
• pp.580-582
• /
• 1998

본 논문에서는 ACL(Agent Communication Language)를 기반으로 한 에이전트 프레임워크 Mollet을 제안하고 코드와 데이터의 이동성을 중점을 두어 이를 OS 버그 패치 시스템에 적용하여 본다. Mollet의 메시지 전송과 에이전트 이동은 FIPA에서 표준안으로 정의한 ACL을 사용함으로 다른 에이전트와의 효율성을 높이고 있으며 전송 과정에서 노출을 막기 위하여 암호화 기법을 이용한다. 이동성, 협상, 보안, 인증, 등록 등의 에이전트가 가지는 공통적인 속성과 각 에이전트만이 가지는 속성을 모듈화함으로서 확정성을 높을 수 있으며 JDBC 사용으로 데이터베이스와의 투명성을 제공하고 있다. 또, Mollet은 하나의 호스트가 서버와 클라이언트의 속성을 동시에 가질 수 있다. Mollet을 OS 버그 패치 시스템에 적용하여 사용자의 공식 패치 서버 검색을 자동화하고 신속하고 간편한 패치를 제공함으로 시스템의 보안과 신뢰도를 유지할 수 있고 시스템 관리자의 부담과 관리 비용을 줄인다.

• Journal of the Korean Society for Library and Information Science
• /
• v.37 no.3
• /
• pp.57-77
• /
• 2003

The objective of the study is to develop the identification code of the Korean sci-tech journals for KSCI. To achieve the purpose, the study has researched and analyzed a variety of the major international and national serials or information objects identification code systems. And then, KOJIC(KOrean Journal Identification Code) has been developed. KOJIC is unique, unambiguous identifiers for titles of Korean journals in all subject areas. The concepts of KOJIC are simplicity, mnemonics, internationalization, and extensibility of its use. KOJIC is a six-character and alphanumeric code and has one check character.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10b
• /
• pp.289-291
• /
• 1999

기존의 다중 사용자 지원 3차원 공간 정보에서의 가상 공간 관리 방식의 특징은 각 참여자에서 발생하는 이벤트를 중앙 서버에 전달해서 반영된 내용을 다시 각각의 참여자에게 전달하는 방식을 사용한다. 이러한 경우 가상 환경에 대한 상태 정보를 중앙 서버에서 관리하므로 및 일관성 유지가 용이하다는 장점이 있으나 네트워크에 과중한 부담을 주며, 확정성이 부족하다는 단점이 있다. 이 논문에서는 3차원 가상 환경에서 발생하는 이벤트의 형태를 아바타의 이동 이벤트와 그 밖의 이벤트로 구분하고, 가장 빈번히 발생하고 신뢰성이 비교적 적게 요구되는 아바타의 이동에 대한 이벤트 전달은 모빌에이전트간의 통신으로 전달함으로써 중앙서버의 부담을 줄여주며, 일관성을 효과적으로 유지할 수 있는 모빌 에이전트 기반 가상 공간 관리자를 설계하였다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2010.05a
• /
• pp.1410-1414
• /
• 2010

최근 들어 가뭄과 국지성 호우 등의 기상이변이 지속적으로 발생하고 있으며, 이는 국민 삶의 발전과 향상에 밀접한 관계가 있는 것으로 전세계적으로 이에 대한 관심이 증가하고 있는 추세이다. 특히 댐의 효율적 관리와 안정적인 운영은 홍수피해 방지, 안정적인 용수공급과 같은 국민 생활과 밀접한 관계를 가지고 있어 수자원의 효율적인 운영과 이용은 장기적인 관점을 통하여 수립해야 한다. 이와 같이 댐 유입량의 예측은 유출모형의 목적 중 중요한 부분으로 확정론적 모형이 시 혹은 일유량과 같은 매우 짧은 시간의 유출을 예측하는데 주로 사용되지만 이는 매개변수의 추정이 불가능하거나 실제유역에서의 측정이 불가능 할 경우에는 모형적용에 한계가 있다. 이에 반해 추계학적 모형에 의한 유출예측은 장기간의 유출을 과거자료의 통계학적 특성변수를 매개변수로 하여 예측하는 방법으로 모형의 적용에 필요한 매개변수가 적어 그 적용성이 간편한 장점이 있다. 본 연구에서는 계절형 ARIMA모형을 적용하여 과거자료의 적용범위, 매개변수의 산정, 적합성 판정에 대하여 판단하고, 이 모형이 월유입량의 예측에 적합한지를 검토하였다.

• Korean Journal of Logic
• /
• v.16 no.3
• /
• pp.407-436
• /
• 2013

I examine the notion of truth in the intuitionistic type theory and provide a better explanation of the objective intuitionistic conception of mathematical truth than that of Dag Prawitz. After a brief explanation of the distinction among proposition, type and judgement in comparison with Frege's theory of judgement, I examine the judgements of the form 'A true' in the intuitionistic type theory and explain how the determinacy of the existence of proofs can be understood intuitionistically. I also examine how the existential judgements of the form 'Pf(A) exists' should be understood. In particular, I diagnose the reason why such existential judgements do not have propositional contents. I criticize an understanding of the existential judgements as elliptical judgements. I argue that, at least in two respects, the notion of truth explained in this paper is a more advanced version of the objective intuitionistic conception of mathematical truth than that provided by Prawitz. I briefly consider a subjectivist's objection to the conception of truth explained in this paper and provide an answer to it.