• Annual Conference on Human and Language Technology
• /
• 1994.11a
• /
• pp.51-56
• /
• 1994

우리는 쉽고 누구나 사용할 수 있는 증명 방식으로 "어떠한 경우에나 참이기 때문에 모든 경우에 참"이라는 방식을 쓴다. 그러나 증명이 한정될 수밖에 없었다는 것을 인정할 수밖에 없어서, 이러한 오래 사용하여 오던 방법을 얼마만큼 사용할 수 있는지를 연구할 수 밖에 없다. 이 증명 법칙 ${\Omega}$은 유한 모형에서는 그대로 사용할 수 있기 때문에, 다른 일반적인 모형에 어떻게 확대 적용할 수 있느냐는 문제가 남는다. A. Ignjatovic은 ${\Omega}$법칙이 한정된 추론 속의 더 일반적인 확대가 가능함을 말하고 있다. 이 글에서는 이 ${\Omega}$법칙의 실제적인 유용성을 말하여 본다.

• RED RIBBON
• /
• s.39
• /
• pp.40-41
• /
• 2001

`성'에 대해서 바로 알면 자기 몸에 대한 소중함을 알아 자존감을 갖고, 잘못된 성으로 인해 가져올 수 있는 여러 가지 문제점들을 생각해 봄으로써 세상을 살아가는데 옳은 것과 그른 것을 가려낼 수 있는 능력이 생기게 된다. 성적 행위는 일순간에 끝날 수도 있지만 그 결과는 삶 전반에 영향을 미칠 수 있다는 것을 인식할 필요가 있다. 특히 성적인 관계가 말초적이고 감각적인 쾌락만을 추구하는 상품이 아니라 상대방과 사랑과 친밀감을 나누는 대화의 장으로서 인식할 수 있는 성교육이 실시되어야 한다고 본다. 더불어 자신과 상대방의 성적인 건강을 고려하면서 만남을 만들어 갈 수 있는 안전한 성에 대한 정확한 이해를 줄 수 있는 열린 성교육이 필요하다고 본다.

• Landscaping Tree
• /
• s.105
• /
• pp.15-17
• /
• 2008

7월이면 도심의 벽 울타리를 따라 화려하게 꽃으로 장식하며 우리의 마음을 한결 가볍게 해주는 능소화는 중국 원산으로 낙엽활엽의 덩굴성 식물로 주로 중부 이남 지역에서 사찰의 관상용으로 식재하였으나 요즘은 전국 어디서나 쉽게 볼 수 있고, 사람들에게 많은 사랑을 받고 있는 식물이다. 특히 도심의 고건축물이나 휴식공간에 식재하면 나팔 모양의 꽃과 색상이 화려하면서 점잖고 기품이 있어 동양적인 아름다움을 함께 누릴 수 있는 나무이다. 또한 공해에도 비교적 강하기 때문에 도심의 정원수나, 조경수로 보급 가능하다. 해풍과 염기에 강하며 해안지역에서도 잘자라며 비옥한 사질양토에서 생장이 좋다. 이런 능소화를 가해하는 해충으로 뒷노랑얼국나방과 미국흰불나방 등이 피해를 주고 있어 이들에 대한 생태 및 방제법을 간략하게 소개하고자 한다.

• Annual Conference of KIPS
• /
• 2003.11b
• /
• pp.1085-1088
• /
• 2003

동기식 전송망에서는 다양한 동기클럭 성능과 상태가 나타날 수 있고, 이는 전송성능에 영향을 줄 수 있기 때문에 전송망 설계에 필요한 최대노드수의 변화가 생길 수 있다. 이에 따라 전송망에서 다양한 클럭성능과 상태를 적용할 수 있는 시뮬레이터가 요구된다. 따라서 본 논문에서는 전송망 동기클럭 시뮬레이터를 살펴보고, 또한 이를 이용하여 NE 노드에 따른 동기클럭 특성과 최대 노드수 결과를 얻었다. 본 연구 결과를 통해 볼 때 NE 노드의 성능보다 동기원의 성능이 최대 노드수에 미치는 영향이 크다는 것은 알 수 있었다.

• Digital Contents
• /
• no.5 s.156
• /
• pp.52-57
• /
• 2006

게임서사 안에서 플레이어들은 진정한 영웅을 꿈꾼다. 수십 만명의 동시접속자들이 종횡무진 행동하는 게임 월드에서 조연을 꿈꾸면서, 수십, 수천시간씩 플레이하는 단 한 사람도 없다. 선형적인 소설이나 영화에서 여러명의 주인공을 두고 각각의 주인공이 주도하는 서사를 멀티플롯(Multi-plot)으로 풀어 낼 수는 있을지 몰라도 각각의 에피소드들은 차례대로 주어질 수밖에 없으며, 주인공과 플롯의 수도 미디어의 특성상 제한적일 수 밖에 없다. 게임의 서사를 기존의 소설이나 영화를 통해 구현할 수 있는 멀티플롯과 구분해 '다변수적'이라고 표현하는 이유가 바로 여기에 있다.

• Proceedings of the Safety Management and Science Conference
• /
• 2004.05a
• /
• pp.53-60
• /
• 2004

RFID(Radio Frequency Identification)는 재고의 위치를 쉽게 파악할 수 있고, 적재하는 위치나 장소가 바뀌는 경우에 재고의 현황을 알 수 있다. 많은 정보를 태그에 보관할 수 있어 제품관리가 용이하다. 제품의 이력상태를 바로 알 수 있으며, 열이나 물 등의 이유로 인하여 바코드를 사용할 수 없는 곳이나 공정에서도 사용할 수 있다. RFID는 바코드 시스템의 장점을 포함하고 있고 제품개체에 대한 실시간 파악이 가능하다. 이러한 장점으로 인하여 RFID는 유통 및 생산시스템 사용이 크게 확대될 것이다. RFID를 이용하면 Just In Time 생산을 보다 효율적으로 운영할 수 있다. 본 연구에서는 RFID를 이용하여 간판생산방식의 도입에 적용하는 데 있다.

• Digital Contents
• /
• no.11 s.126
• /
• pp.44-48
• /
• 2003

스트리밍.음악을 물처럼 흘려보내는 기술이다.서버에 단 한번만 복제를 해 심어 놓으면 이를 원하는 사람들에게 무한정 공급할 수 있다. 듣고 싶은 노래가 굳이 내 컴퓨터 안에, 혹은 내 MP3 플레이어나 MD 안에 없어도 음악을 들을 수 있는 기술이다. 원하는 노래를 갖고 있지 않아도 인터넷에 접속만 할 수 있으면 내 것처럼 들을 수 있으니 가히 음악 소비의 혁명이라 하지 않을 수 없다.인터넷에 존재하는 수많은 커뮤니티들은 자신이 좋아하는 곡을 임베드 태그를 활용해 다른 회원들도 즐길 수 있도록 하고 있다. 반드시 CD나 테잎을 소유해야만 즐길수 있었던 음악 소비 형태가 스트리밍 서비스 덕분으로 음악 감상의 형식이 크게 바뀌고 있다.

• Proceedings of the EASDL Conference
• /
• 2003.04a
• /
• pp.88-88
• /
• 2003

김치의 조직감 및 품질 개선을 위하여 천연 해저 암반수를 사용한 김치를 제조하였으며 2$0^{\circ}C$에서 발효, 숙성시키면서 시료로 사용하였다. 젖산균과 총균수는 일반수로 담근 김치와 유의적인 차이를 나타내지 않았으며 vitamin C 역시 유의적인 차이가 없었다. 천연 해저 암반수의 쓴맛을 낮추기 위해 여러 종류의 젓갈을 첨가하였고 관능평가 결과 까나리액젓을 첨가한 김치에서 우수하게 나타났다. 또한 김치 발효 중 texture 변화 측정을 위해 김치 내 무기질 함량을 조사하였고 texture analyser를 사용하여 hardness를 측정하였는데, 천연 해저 암반수로 담근 김치가 일반수로 담근 김치보다 hardness가 더 높게 측정되었다.(중략)

• Proceedings of the Membrane Society of Korea Conference
• /
• 1992.10a
• /
• pp.74-75
• /
• 1992

침출수를 처리하는 방법은 여러가지가 있으나 주로 생물학적 처리방법과 물리화학적 처리 방법으로 구분할수 있다. 특히 침출수는 매립물의 종류에 따라 침출수 수질이 상당히 차이가 나는데 도시쓰레기 매립에 의한 일반폐기물 침출수는 그 처리 및 관리가 용이하나 특정 폐기물 침출수는 염의 농도가 높고 중금속을 다량 함유하고 있어 1차 처리후에도 방류가 곤란하다. 이 경우는 특정 폐기물 매립지인 H매립장의 침출수에 대하여 Pilot Test를 통한 적정 Process 경제성을 검토한 것이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.400-402
• /
• 1999

그래프 분할을 사용한 레지스터 할당과 Chaitin의 레지스터 할당 방법의 성능을 비교하였다. 실험 데이터로 Appel이 제시한 간섭 그래프를 사용하였고, 각 알고리즘에서 요구되는 최소 레지스터 수를 비교하였다. 그 결과 그래프 분할을 사용한 방법에서 더 적은 수의 레지스터가 요구되었다. 가용 레지스터가 제한되어 있는 경우, 레지스터 요구 수가 감소되면 삽입되는 대피 코드의 수도 감소된다. 대피 코드의 발생이 줄어들면 메모리를 참조하는 인스트럭션의 수가 감소하여 실행시간을 단축시킬 수 있다. 따라서 컴파일러의 최적화 단계에서 그래프 분할 방법을 사용한 레지스터 할당으로 성능 향상을 기대할 수 있다.