• Korean Journal of Mathematics
• /
• 제20권1호
• /
• pp.137-159
• /
• 2012

영뉵 또는 영부족(盈不足)은 그 글자의 의미에서 보듯이 넘치는 것과 부족한 것에 관계된 '과부족'문제를 나타낼 때 사용되는 유용한 개념으로, 영부족술(盈不足術)은 과부족문제를 푸는 일종의 산법이다. 본 논문은 먼저 지금까지 영부족에 관하여 소개된 최근의 모든 논문을 분석하고, <구장산술 九章算術> 권칠(卷七) "영부족" 장의 대표문제를 통하여 영부족술의 내용과 산법으로써의 의미를 쉽게 이해할 수 있도록 새롭게 서술하였다. 그리고 서양에서 이중가정법(rule of double false position)으로 알려진 영부족에 관한 최근의 동서양 연구결과를 분석하여, 영부족술과 Cramer's Rule과의 관계 및 <산학보감 算學寶鑑>에 소개된 진화된 영부족술의 특징에 대하여 논하였다. 더 나아가 영부족술의 기원과 중국의 영부족술이 아랍을 거쳐 유럽으로 전파된 배경을 구체적으로 밝혔다.

• 한국수학사학회지
• /
• 제18권1호
• /
• pp.33-48
• /
• 2005

가정법은 중세 서양에서 상용된 대수 방정식의 산술적 해법이며, 보통 그 근원을 중국 수학의 영부족술이라 말한다. 이와 관련하여 중국 및 조선의 산학서와 이집트, 아랍, 인도 및 서양의 수학 교재를 고찰함으로써 수학사에 있어 그 역사적 자취를 추적하고 두 가지 사실을 확인한다. 첫째, 중국의 영부족술은 일차연립방정식의 해법인 방정술과는 구별되어 일차방정식으로 해석되는 특정 수량 관계를 다루기 위한 계산 알고리즘이며, 둘째, 동양의 영부족술과 서양의 가정법의 명확한 관계는 전자에서의 가정을 포함하는 응용 부분이 후자에서의 이중 가정법과 상응한다는 것이다. 나아가 가정법의 수학적 가치를 수학 교육적 가치로 환원하기 위한 제안을 포함한다.

• 가정과삶의질연구
• /
• 제12권1호
• /
• pp.145-160
• /
• 1994

이 논문의 목적은 남편의 장시간노동이 사회적 문제로 부각되는 실정에서 남편이 직업노동과 관련해서 소비하는 시간이 어느정도나 되며 이것이 다른 생활시간배분에 어떤 영향을 주고 또 가정생활시간에 어떤 영향을 주는지를 분석해보는 것이다. 연구결과는 요약 하면 다음과 같다 1) 남편의 총직업노동시간의 실태를 보면 평일 11시간 43분 토요일이 8시 간 21분 일요일이 1시간 13분으로 나타났다 평일 직업노동시간을 5집단으로 나누어 다른 생 활시간에 미치는 영향을 살펴본 결과 전반적으로 직업노동시간이 긴 집단이 짧은 집단에 비 해서 다른 모든 생활시간- 생리적, 가사적, 사회문화적 시간-에 소비하는 시간이짧은 것으 로 나타났다 . 2) 남편의 장시간노동으로 인한 가정생활문제에 대한 지각에 있어서는 남편 은 주로 자신의 피로회복문제나 스포츠.여가시간 부족문제 생활의 여유가 없다는 문제 가 족단란시간 부족문제 자녀와의 접촉시간 부족문제 등을 심각하다고 지각하고 있었고 부인은 남편의 건강염려 남편의 자녀접촉시간 부족 가족단란시간 부족 남편과 취미 스포츠를 할 시 간 부족 부부간 대화시간 부족등이 문제가 된다고 지각하였다 3)남편의 장시간노동으로 인 한 가정생활문제에 대한 지각은 남편의 경우에는 연령 부인의 취업여부 막내자녀연령, 직업 노동시간, 직업노동시간에 대한 태도에 따라서 부인의 경우에는 연령, 부인의 취업여부, 막 내자녀연령, 남편의 직업노동시간에 대한 태도, 성역할태도 따라서 차이가 나타났다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2010년도 한국컴퓨터종합학술대회논문집 Vol.37 No.1(B)
• /
• pp.363-367
• /
• 2010

임베디드 시스템 가상화는 PDA, 스마트 폰과 같은 장비에서 다양한 운영체제 및 응용프로그램이 동작하도록 컴퓨팅 자원에 대한 추상화를 제공한다. 반면 한정된 자원을 여러 가상 머신이 분할하여 사용함으로써 자원량의 제한이 더욱 심화된다. 특히, 메모리의 부족은 프로세스 실행에 반드시 필요한 자원으로 반드시 해결되어야 하는 문제이다. 본 논문은 메모리의 부족을 해결하기 위해 불필요한 메모리 공간에 대한 압축을 제안한다. 이는 가상화로 인한 메모리 분할과 프로세스의 메모리 상주 등의 이유로 인한임베디드 시스템 가상화 환경에서의 메모리 부족을 해결할 수 있다. 본 논문은 이 메모리 압축 기법을 기술하고, 실제 가상화된 임베디드 시스템에서 경험한 메모리 부족 문제를 보인다. 이를 통해 메모리 절약 기법의 당위성을 증명하고, 향후 가상 머신 모니터에서의 메모리 압축 기법의 구현과 성능 평가의 기초를 다진다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2024년도 춘계학술발표대회
• /
• pp.245-247
• /
• 2024

프로그램의 버그는 해커에 의해 악용될 수 있기 때문에, 이를 사전에 발견하는 것이 매우 중요하다. 최근에는 프로그램의 취약점을 자동으로 찾기 위해 하이브리드 퍼징 기술이 연구되고 있다. 우리는 기존 하이브리드 퍼저들의 한계점인 부족한 확장성을 해결하고자, 스냅샷 기반 하이브리드 퍼저인 H-Fuzz 를 제안한다. H-Fuzz 는 스냅샷 기반 퍼징을 도입하여 하이브리드 퍼징의 확장성 부족 문제를 해결하였다. 그리고 기존 커버리지 기반 퍼저에 비해 H-Fuzz 가 버그를 발견하는데 효과적임을 실험을 통해 확인하였다.

• 대학교육
• /
• 통권79호
• /
• pp.68-77
• /
• 1996

불행하게도 우리 대학의 경우, 자원의 사용에 대한 정보의 공시가 적정수준으로 이루어진 적이 없다. 정보의 공시란 다수의 의사결정자들이 합리적 판단을 할 수 있도록 하는 기능을 수행하기 때문에 사회적으로 가치를 갖는 것이다. 여기에서 우리는 재정 개혁을 위한 출발점으로 재무정보의 신뢰성 있는 공시를 제안한다. 최고의 지성집단인 대학이 자원 사용에 대한 보고책임을 게을리 하면서 부족한 자원을 공급해달라고 사회에 요청하는 것은 어불성설이다. 겸허한 자세로 정직.성실한 보고를 한 후 부족 자원 공급을 요청하는 것이 순리다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
• /
• pp.632-634
• /
• 2000

최근에 일어나는 해킹 사고의 대부분은 스캐닝 도구를 사용하여 일차적으로 공격하고자 하는 시스템의 취약점 정보를 수집한 다음, 이를 바탕으로 시스템에 대해 공격을 시도하고 있다. 하지만, 대부분의 네트워크 시스템 관리자들은 자신의 시스템의 취약점에 대한 정보 부족과 기술 부족으로 인하여 무방비 상태로 관리하고 있는 실정이다. 그리고 대부분은 스캐닝 도구들은 처음에는 시스템 보안취약점 진단 목적으로 개발되었으나, 해커들에 의해 악용되고 있다. 따라서, 본 논문에서는 보안에 미숙한 관리자도 시스템의 취약점을 쉽게 발견하고 이를 바탕으로 하여 취약점을 보완할 수 있도록 웹 기반에서 시스템 보안 취약점을 진단하는 시스템을 제안하고자 한다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2010년도 학술발표회
• /
• pp.1466-1470
• /
• 2010

토양수분은 지표의 다양한 과정을 통제하는 중요한 수문학적 변수며 이에 신뢰할 수 있는 토양수분의 정보를 습득하는 것은 매우 중요하다. 그러나 정확한 토양수분의 실측자료는 그 설치비용과 인력부족으로 매우 빈약하여 이를 대체할 만한 정보를 획득하기 위한 연구 또한 부족하다. 요즘, 많은 수문모형의 개발로 토양 수분 또한 결과물로써 많이 이용된다. 그러나 모형에서 모의된 토양수분의 신뢰성을 판단할 때는 실측자료를 이용하는 것이 가장 이상적이나, 토양수분의 실측값이 부족하므로, 유역의 토양수분 실측자료 대신 모의된 토양수분을 적용할 필요가 있다. 이에 따라 본 연구에서는 우리나라 소양강댐 유역에 대하여 SWAT(Soil and Water Assessment Tool) 모형을 이용하여 실측 토양수분자료를 최대한 활용함으로써 토양수분을 모의하였다. 또한 모의된 토양수분을 Terra MODIS NDVI(Normalized Difference Vegetation Index)와 LST(Land Surface Temperature)과의 상관성을 계절별, 월별로 분석하여 그 관계식을 도출하고자 하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (1)
• /
• pp.148-150
• /
• 2002

21세기는 생물자원을 이용한 산업이 많은 분야의 발전을 이끌어 나간다고 해도 과언이 아닐 정도로 현재 많은 분야에서 생물자원의 보전과 활용에 대한 활발한 연구가 이루어지고 있다. 이러한 것은 생물자원부국이 앞으로의 선진 국가를 의미하는 것으로 자원이 부족한 국내 실정으로는 더욱더 많은 관심을 가지고 이를 해결해야만 하는 과제를 가지고 있다. 생물분야의 연구는 타 분야와는 다르게 지금까지 외면되어 왔기 때문에 정보화에 대한 마인드가 부족하여 대부분의 정보가 디지털화되어 운용되어지지 못하고 있으며, 운용되어지는 정보는 서로 표준화되지 못해서 정보의 재사용이나 공동활용이 부족한 실정이다. 정보로서의 가치를 가지기 위해서는 표준화되어 사용자가 원하는 정보로의 가공을 거쳐 Real-Time 접근이 가능해야만 한다. 본 논문에서는 생물자원이 가지고 있는 정보의 운용을 효율적으로 구축하기 위하여 국내 생물자원 네트워크 구성, 생물자원정보 통합 방법, 표준화를 위한 DTD작성과 데이터베이스 구축을 위한 컴포넌트를 이용한 입력시스템 구축, 미디에이터 기법을 이용한 분산통합, GRM(Global Road Map) 작성을 통한 효율적인 정보의 접근이 가능한 시스템 구축을 목적으로 한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2010년도 추계학술발표대회
• /
• pp.1599-1602
• /
• 2010

가상화 기법은 PDA, 스마트 폰과 같은 임베디드 시스템에서 다양한 운영체제와 응용 프로그램들을 제공할 수 있게 한다. 그러나 임베디드 시스템은 매우 제한된 컴퓨팅 자원을 갖고 있기 때문에 많은 수의 가상 머신을 동작하기 어렵다. 특히, 프로세스 동작에 필수적인 메모리 공간의 부족은 반드시 해결되어야 하는 문제이다. 데스크탑과 같은 시스템은 페이지 스왑을 통해 이를 해결하지만, 디스크가 없는 임베디드 시스템은 해결이 쉽지 않다. 본 논문은 메모리 공간 부족 문제를 해결하기 위해 불필요한 메모리 공간의 압축을 이용한 여유 공간의 추가 확보 기법을 제안한다. 페이지 압축을 통해 페이지 스왑하는 것과 유사한 효과를 얻을 수 있게 한다. 이는 가상화로 인한 메모리 분할과 불필요한 프로세스의 메모리 상주 등의 이유로 인한 임베디드 시스템 가상화 환경에서의 메모리 부족 문제를 해결할 수 있다. 본 논문은 기능 구현에 앞서 임베디드 시스템과 가상화 환경에 맞춘 메모리 압축 스왑 기법을 디자인한다.