• Journal of the KSME
• /
• v.26 no.2
• /
• pp.96-101
• /
• 1986

유한요소해석과 관련하여 그 분야와 과정을 소개하고 각각에 대하여 현재 연구의 중점방향과 예상되는 장래 집중연구 과제등을 기술하였다. 특히 공통적 기하학적 자료베이스에서부터 해 법자체와 나아가서 이들 결과의 설계응용의 자동화 또는 전문가 시스템화의 종합적인 방향이 장래 전문적인 제품설계의 방향으로 될 것을 주장하였다. 구분적인 연구는 사용자 편의의전. 후처리 프로그램, 대변형 비선형문제, 비선형 재료문제, 비선형 동적문제, 유한요소 모델링 기법, 설계와의 연계등에서 큰 진전이 있을 것으로 보고 이를 중심으로 기술하였다.

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

본 논문은 유무선 환경에서 ATM 멀티캐스트 서비스를 제공하기위한 방안으로서{{{{ { SM}^{2 }A }}}} 를 제안한다. 기존의ATM 멀티캐스트 서비스는 ATM자체의 제약으로 멀티캐스트 서비스가 제한적이며 비효율적이다. 한편, ATM의 중용한 응용으로서 인터넷서비스를 심각하게 고려해야하는데 {{{{ { SM}^{2 }A }}}}는 특히 인터넷 서비스를 제공하는데 적합한 구조를 갖도록 설계되었다.{{{{ { SM}^{2 }A }}}}는 기본적으로 양방향성 공유트리방식인 CBT(Core Based Tree)구조를 갖되 각 지역망 (Regional Network)에서 자체적인 코어스위치( Core Switch)를 보유함으로써 결과적으로 다중 코어 구조를 갖는다. 각 지역망을 잇기 위하여 PNNI 프로토콜을 이용하며 PGL(Peer Group Leader)에 가상 루트(Virtual Root) 및 가상 리프(Virtual Leaf)의 개념을 새로 도입한다. 멀티캐스트 통신의 경우 가장 문제되는 것이 셀끼워넣기(Interleaving)문제인데.{{{{ { SM}^{2 }A }}}}에서는 ITU-T표준 ATC(ATM Transfer Capability)인 ABT/IT(ATM Block Transfer/Immediate Transmission)

• 한국정보교육학회:학술대회논문집
• /
• 2010.01a
• /
• pp.31-35
• /
• 2010

현대 지식정보화 사회에서 학생들의 자기 주도적 학습능력을 중시하는 시대적 요구에 따라 본 연구에서는 스크래치 프로그래밍 교육을 통하여 학생들의 자기 주도적 학습능력에 가장 많은 영향을 미치는 상위인지능력을 향상시키기 위한 방안을 제시하고자 한다. 기존의 여러 교육용 프로그래밍 교육은 그 자체의 기능을 익히는데 너무 많은 시간과 노력이 소요되어 정작 프로그래밍 교육을 통해 얻고자 하는 것을 얻기에는 부족함이 많이 있었다. 하지만 최근 개발된 교육용 프로그램 스크래치는 기존에 교육용 프로그램이 갖고 있던 여러 가지 단점을 보완하고 보다 쉬운 프로그래밍 교육을 통해 논리력이나 문제해결력 같은 고인지 사고능력을 길러줄 수 있다. 자신의 인지상태를 탐색하고 학습 혹은 문제 해결 과정에 필요한 인지적 자원을 분석하며 능동적으로 조정하는 인지적 상호작용의 총합인 상위인지능력의 향상에 중점을 둔 스크래치 프로그래밍 교육을 통해 학생들의 상위인지능력을 향상시킬 수 있을 것으로 기대된다.

• Annual Conference on Human and Language Technology
• /
• 1997.10a
• /
• pp.211-218
• /
• 1997

웹검색엔진은 색인되는 웹문서가 많아질수록 시스템 확장성(scalability)이라든지, 데이터베이스 유지 관리의 용이성, 데이터의 안전성 문제, 등의 많은 문제가 웹검색엔진에 부담으로 주어지게 된다. 반면에 인트라넷(intranet)용 검색엔진의 경우는 확장성보다는 검색엔진 자체의 개발의 용이성이 더욱 중요하다. Oracle $ConText^{TM}$는 오라클 사(社의) RDBMS인 $Oracle7^{TM}$의 정보검색 확장 옵션으로 텍스트를 Oracle7의 기본 데이터 타입으로 사용될 수 있게 한다. Oracle7+ConText는 대용량의 문서 베이스와 개발의 용이성을 동시에 보장할 수 있는 매우 훌륭한 웹검색엔진 개발 도구이다. 우리는 이를 검증하기 위하여 Oracle7+ConText에 기반한 WEBSECT(Web Search Engine With ConText)라는 웹검색엔진을 개발하였다. 본 논문은 WEBSECT의 개발과 시험 운영을 통해 데이터베이스에 기반한 웹검색엔진의 우수한 확장성과 텍스트 애플리케이션 개발의 용이성 등을 소개한다.

• Computational Structural Engineering
• /
• v.3 no.3
• /
• pp.53-54
• /
• 1990

응력 변형율의 관계가 시간에 대한 미분의 형태로 나타나는 비선형 탄소성 혹은 점탄소성 재질을 갖는 구조물이나 지만의 거동 문제를 유한요소법 등의 방법을 이용하여 해결하려고 하는 경우 주어진 외력에 의한 새로운 응력이나 응력 강화 현상을 표현하는 여러 재료 상수값들을 구하기 위해서는 적분을 요하게 되며 일반적으로 수치해석적 방법에 의해 수행된다. 이러한 수치해석적 적분방법은 보다 정확한 결과를 얻기 위하여 알고리즘 자체의 정확성과 안정성이 요구된다. 정확성은 수치해석적 적분방법이 적용될 수 있는 step size에 관계없이 거의 동일한 결과치를 얻을 수 있느냐 하는 것을 말하고 안정성은 큰 step size에서도 수렴된 결과치를 얻을 수 있느냐 하는 것을 의미한다. 그 뿐만 아니라 비교적 복잡하고도 그 대상영역이 큰 문제를 해석하고자 할 때는 수렴속도 또한 빠른 해석방법이 바람직하게 된다. 따라서 본 기사에서는 여러가지 가능한 수치해석 적분 방법을 소개하고 그들의 장단점을 논하고자 한다.

• Journal of the Korean Society for information Management
• /
• v.16 no.1
• /
• pp.31-48
• /
• 1999

This study examined issues of copyright relating to digitization of bibliographic data, copyrighted works, factual data, and manpower's data that the library have. It analyzed issues of copyright relating to the use of digital works and linking. Also It investigated legal issues related information service for user in the library and digital transmission service on need of user out of the library. Finally. this paper proposed basic task for solving issues of copyright in the context of digital libraries.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.10d
• /
• pp.155-159
• /
• 2007

인터넷 및 네트워크의 사용이 일반화됨으로써 컴퓨터 시스템을 사용하지 않는 분야 및 사용자가 없을 정도이다. 컴퓨터 시스템을 사용함에 있어 순기능이 있는 반면 이에 대한 역기능 또한 급속하게 증가하고 있다. 역기능 중 가장 심각한 문제를 발생시킬 수 있는 부분이 웜 및 바이러스, 또한 악의적인 목적이 해킹 등이 있다. 이러한 문제를 해결하기 위해 각종 보안시스템 및 소프트웨어를 도입하여 사용하고 있지만 이에 앞서 일반적으로 사용하는 윈도우즈 시스템 자체에 포함되어 있는 각종 보안 설정을 통하여 근본적인 원인을 해결할 수 있다면 악의적인 목적에 의한 피해는 미연에 방지할 수 있을 것이다. 본 논문에서는 이러한 윈도우즈 시스템 자체에 있는 보안설정 기능을 자동으로 설정 및 제어할 수 있는 시스템을 제안하고자 한다.

• Proceedings of the KIEE Conference
• /
• 2008.07a
• /
• pp.247-248
• /
• 2008

신도시의 건설뿐만 아니라 기존 거대 도시에서의 전력 소모량을 계속적으로 증가하고 있는 추세이다. 한전계통에 적용되는 지중 송전용 케이블 대부분의 경우 동(Cu)도체를 사용하고 있으나, 현재 LME의 급격한 상승 때문에 국외에서는 지중 송전용 케이블의 도체를 동도체에서 알루미늄(AL) 도체로 대체하고 있다. 이에 알루미늄은 자체의 독특한 특성 때문에 동도체와 같은 방법(슬리브 압착)으로 접속할 경우 접속부에서 도체 과열과 같은 예기치 못한 문제로 접속 구간뿐만 아니라 인근 계통에도 큰 문제를 발생시킬 수 있다. 그리하여 본 논문에서는 초고압 지중송전용 케이블에 동도체 대신 적용되는 알루미늄 도체의 접속기술에 관한 연구를 진행하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.10a
• /
• pp.297-300
• /
• 2016

최근 빅데이터 산업이 발전하고 있는 상황에서 빅데이터 산업에 활용되는 개인정보의 보호에 관한 문제가 대두하고 있다. 빅데이터 산업에서 개인정보를 활용하기 위해서는 비식별화 조치를 해야 한다. 하지만 비식별화는 비식별화 평가 모델 자체의 취약성과 더불어 비식별화된 개인정보를 재식별화 하는 위험성도 존재한다. 본 논문은 적정성 평가 모델, 비식별화 조치 기술, 재식별에 관한 위험성을 연구하고 각 위험성에 대한 대응 방안을 통해 재식별화의 문제를 해결하여 빅데이터 산업에서 비식별화된 개인정보가 안전히 쓰일 수 있도록 해야 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.325-327
• /
• 2005

모델 체킹은 시스템이 올바르게 동작하는 지를 자동으로 검증해주는 기법이다. 지금까지 모델 체킹은 방법의 특성상 상태폭발문제 때문에 작은 규모의 상태공간을 갖는 하드웨어나 프로토콜 검증에 주로 사용되어져 왔다. 그러나 최근에는 상태폭발문제를 다루기 위한 연구와 술어추상화 등과 같은 추상화기술의 발달로, 다를 수 있는 상태공간의 크기가 증가하고 정리증명기의 성능이 향상됨에 따라 소프트웨어 자체의 논리적 오류를 검증하려는 움직임이 활발하다. 일반적으로 소프트웨어 검증을 위해 추상화-모델 체킹-추상화 개선의 3단계 프로세스를 사용하는데 주로 C프로그램에 대해서만 이루어져 왔다. 우리는 이 프로세스를 자바프로그램에 적용하고 자동으로 자바프로그램을 이진프로그램으로 변환하는 술어추상화 모듈을 개발하였다. 이 모듈은 우리가 개발한 자바 모델 체커의 front-end부분이다. 본 논문에서는 자바프로그램에 대한 주요 추상화 알고리즘을 보이고 특정 자바프로그램의 안전성과 궁극성을 검증한다.