• Digital Contents
• /
• no.5 s.144
• /
• pp.40-42
• /
• 2005

데스크톱 검색이란 데스크톱 PC나 노트북 PC 안에 저장된 정보를 체계적으로 찾아볼 수 있게 도와주는 것이다. 이와 관련해 후·구글·MS 등 전세계 검색업계를 주름잡는 선두주자들이 데스크톱 검색 프로그램을 내놓고 서비스 준비를 마친 상태다. 유수의 검색업체들이 데스크톱 검색에 주목하는 것은 검색의 개인화 시대에 맞춰 인터넷 연계 검색이 가능하기 때문에 차세대 검색시장 전체를 주도할 수 있는 가능성이 높기 때문으로 풀이된다. 이는 오버추어 등의 검색광고 업체에게도 검색광고 서비스 영역을 넓혀주는 계기가 되어 영향을 미칠 것으로 보인다. 웹에서 데스크톱 PC로의 이동하며 제2라운드에 진입, 선풍이 불 조짐을 보이는 데스크톱 검색 시장을 진단해본다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.214-216
• /
• 2003

전세계적으로 Post PC 시장이 점점 확대되고 있다. 이 시장의 핵심 기술은 임베디드 리눅스로 우리 생활에서 쓰이는 각종 전자기기, 정보가전, 제어장치 등에 적용되고 있다. 최근에는 멀티미디어 처리와 같은 점차 복잡한 기능이 요구되면서 임베디드 운영체제를 사용하기 시작하였고, 이러한 운영체제로 리눅스가 주목받게 되었다. 이는 가격경쟁력뿐 아니라 각 H/W 에 따라 운영체제와 응용프로그램을 다양하게 변화시킬 수 있다. 본 논문에서는 안정적이고, 다양한 서비스를 제공해주며, 공개되어있는 리눅스를 이용해 임베디드 시스템을 구현한 내용에 대해 기술한다.

• Journal of Elementary Mathematics Education in Korea
• /
• v.19 no.4
• /
• pp.609-624
• /
• 2015

It is well-known that every learner has his/her own learning style and the learning style has a great effect on his/her learning characteristics, processes and achievements. This study aims to induce some implications for designing the gifted mathematics programs which go with gifted students' learning styles. To do this, we applied the gifted mathematics program of nine lessons to 52 third grade gifted students and examined the characteristics of the programs according Kolb's learning style. To investigate the effect of the program, the pretest and posttest for applying the programs were taken and the results of two tests were analysed by t-test. As a result, the students of diverging style increased and the ones of converging style decreased, while there is little change in the accommodating style and the assimilating style. It was also shown that the average of the concrete experience(CE) of the subjects has increased significantly. This study also contains some pedagogical implications based on discussing about the results of analysis.

• Korean Journal of Environment and Ecology
• /
• v.37 no.6
• /
• pp.464-472
• /
• 2023

Middle-aged women experience a lot of physical and mental stress during their developmental cycle. This stress reduces the quality of life because it leads to chronic pain and disease. Forest therapy is attracting attention as an alternative to this. Forest therapy refers to improving human health through the therapeutic elements of forests. Accordingly, this study was conducted to determine whether a sensory insight-based forest therapy program was effective in reducing stress in middle-aged women. For this purpose, middle-aged women who wanted to participate in the forest therapy program were recruited, 20 each were randomly assigned to an experimental group and a control group, and pre- and post-tests were conducted. The forest therapy program consisted of 8 sessions of 6 hours based on sense and insight. The forest therapy program was held at Saryeoni Forest in Jeju, and the measurement tools were compared by measuring perceived stress, leisure satisfaction, and stress index through pulse wave testing. The results of the study showed that the forest therapy program lowered stress and improved leisure satisfaction.

• Proceedings of the Korean Vacuum Society Conference
• /
• 2016.02a
• /
• pp.328.1-328.1
• /
• 2016

높은 집적도를 가진 소자에 대한 요구가 커지면서 낸드 플래시 메모리에 대한 연구가 많이 이루어 지고 있다. 그러나 소자의 크기가 작아지면서 게이트 누설 전류, 셀간 간섭, 단 채널 효과 등과 같은 문제들이 발생한다. 이에 따라 제한된 공간에서의 coupling ratio값을 증가시켜야 하는 문제가 주목 받으면서 얇은 절연층에 대한 많은 연구가 진행되고 있다. 본 연구에서는 절연층 구조를 비대칭으로 사용한 낸드 플래시 메모리의 전기적 특성을 멀티 오리엔테이션 모델을 포함한 3차원 TCAD 시뮬레이션을 이용하여 계산하였다. 메모리 소자가 각 셀 간의 절연층을 가질 때 낮은 셀 간 간섭과 높은 coupling ratio 값을 가진다. 절연층 구조의 높이와 방향의 두께가 증가할수록 게이트 누설 전류의 값이 감소하였다. 또한 비대칭 절연층 구조의 플래시 메모리에서 플로팅 게이트의 on-current 레벨과 전위 값이 기존의 플래시 메모리에 비해 크게 나타나는 시뮬레이션 결과값을 관찰하였다. 비대칭 절연층 구조를 가지는 플래시 메모리는 게이트 누설 전류에 영향을 미치는 절연층 주위의 전기장의 값이 기존 구조에 비해 약 30 % 감소하였고 같은 프로그램 동작 전압에서 플로팅 게이트에 주입되는 전하의 양 또한 증가하였다. 이 연구 결과는 낸드 플래시 메모리 소자에서 게이트 누설 전류 문제를 감소시키고 프로그램 특성을 증진시키는데 도움이 된다.

• Journal of Internet Computing and Services
• /
• v.3 no.5
• /
• pp.19-29
• /
• 2002

With the progress of information-oriented society, many device with advanced technologies invented by many companies. However, the current firmware technologies have many problems to meet such high level of new Technologies, Recently it become necessary new manufactures of information-oriented society to require such embedded operating system as their system-level platform. Embedded linux, which could be on alternative proposal of existing high-cost embedded operating system, become available commercially by many companies Linux has many programs, But, embedded databases require very high cost. In this paper, we suggest ERT DE which has a small size and is suitable for embedded real-time technologies.

• Korean Journal of Logic
• /
• v.3
• /
• pp.95-113
• /
• 2000

타르스키는 최근 발표된 그의 유고에서 흥미 있는 논리상항의 정의를 제공하였다. 그의 정의는 그가 1927년이래 린덴바움과 함께 연구하였고, 1935년에 강연으로 발표하였던 메타 논리적 탐구의 결과들에 근거하는 것으로서, 1966년과 1973년의 강연들에서 제공하였던 '논리적 개념들'(logical notions)의 정의에 바탕을 둔 것이었다. 타르스키의 논리상항의 정의는 역사적으로는 클라인의 에어랑겐 프로그램(Erlangen Programme)의 논리학에 대한 적용이라 할 수 있는 것으로서, 마우트너의 유사한 시도와 함께 주목할 만한 가치가 있다. 또한 그의 정의는 논리상항을 논리적 형식의 개념에 의존하지 않고, 보다 중립적인 '모든 변환에 있어 불변적임'(invariance under all transformations)이라는 개념을 사용하고 있다는 점에서도 흥미있는 시도로서 여겨질 수 있다. 본 논문에서는 타르스키의 논리상항의 정의와 그 확장에 대하여 논의한 뒤, 몇 가지 비판적인 논점을 제공하고자 한다. 특히 타르스키의 정의가 과연 중립적이고 순환적이지 않은가 하는 문제에 대한 논의를 통하여 논리상항의 정의에 대한 새로운 관점을 확보하고자 한다.

• Magazine of the Korea Concrete Institute
• /
• v.1 no.1
• /
• pp.105-114
• /
• 1989

휨을 받는 철근콘크리트 부재 단면의 연화현상은 구조물의 파괴하중 해석시 중요한 인자로 작용한다. 일반적인 탄-소성 이론에 근거한 소성한계해석법을 사용할 경우 철골 구조물에는 적합하지만 철근콘크리트 구조물에는 최대하중 이후의 연화현상으로 인하여 이 이론은 부적합하게 된다. 따라서 본 논문의 주목적은 변위제어방법을 사용하여 철근콘크리트 구조물이 파괴될 때까지의 완전한 거동을 이끌어 내는 것이다. 프로그램을 사용한 계산결과를 보다 빠르고 경제적으로 이끌어 내기 위하여 단면의 성질인 모멘트-곡률, 축력-축\ulcorner향 변형률, 그리고 전단력 변형률 곡선 등을 여러개의 직선적으로 단순화한 모델식을 사용하여 해석한다. 또한 연화현상을 고려한 유한요소의 해석결과는 사용된 요소의 크기에 따라 결과가 매우 다르게 나타나기 때문에 이를 방지하기 위하여 파괴에너지 개념을 도입하여 모멘트-곡률 곡선을 보정하여 구조계산에 적용시킨다. 이와 같이 단면을 층으로 나누어 해석하지 않고 직접 단면의 성질을 나타내는 곡선들을 적용한 본 프로그램으로 보와 골조를 해석한 결과는 실제적인 실험결과와 비교하였을 경우 거의 일치하게 나타난다.

• Electronics and Telecommunications Trends
• /
• v.19 no.4 s.88
• /
• pp.35-44
• /
• 2004

방송의 디지털화에 따라 다매체, 다채널뿐만 아니라 기존의 단방향 방송 수신에서 방송통신망 연동을 통한 다양한 수신 단말의 수용 등 복잡한 형태로 방송환경이 빠르게 변하고 있다. 특히, 제한된 채널 선택만으로 방송 프로그램을 시청하는 수동적 시청에서 벗어나 원하는 시간에 원하는 프로그램을 시청하고자하는 사용자 요구 증대가 방송환경의 진화를 촉진하는 중요한 요소의 하나가 되고 있다. 본 고에서는 이렇게 복잡하게 진화되고 있는 새로운 방송환경에서 시청자가 좀 더 편리하고 효율적으로 원하는 방송 콘텐츠를 시청할 수 있도록 하는 새로운 방송 서비스로 주목 받고 있는 맞춤형방송(personalized TV ser-vices)에 대해서 다룬다. 맞춤형방송은 방송 스케줄에 제한 받지 않고 원하는 시간에, 다양한 단말에서, 시청자가 기호에 맞게 방송 콘텐츠를 소비할 수 있는 개인 맞춤형 서비스를 제공한다. 본 고에서는 이러한 맞춤형방송 서비스를 위한 민간 국제표준인 TV-Anytime Forum의 표준 기술과 표준화 동향을 분석 소개하고자 한다.

• Defense and Technology
• /
• no.7 s.137
• /
• pp.68-75
• /
• 1990

지난 수년간 외국의 병기와 군사장비에 대한 시험 및 평가를 포함한 미 국방부의 2가지 프로그램은 국방관계 잡지와 신문등 매스컴의 주목을 받아왔다. 어느 나라의 방산업체에 조달을 맡길 것인가의 문제, 조달을 수행할 나라들이 제출한 계획의 수치, 그리고 미군의 타개책등이 국방성 관계자들에 의해 검토되어 왔으며, 해외로부터 방위장비를 구입할때 미국 방산업체에 미치는 영향등에 대해 면밀한 조사와 평가가 이루어져 왔다. 미 국방부의 이러한 노력은 외국산 병기평가(FWE)계획과 나토 장비류 비교시험(NCT) 계획으로, 뚜렷이 나타나고 있다. 이글은 FWE와 NCT에 대한 미 국방부의 시각을 밝히고, 이 두 프로그램에서 미 국방부가 조달 후 후보업체를 지명하는 방법에 대해 서술된 것으로, 외국 방산업체들에게 좋은 자료가 될 것으로 사료된다.