• 한국통신학회:학술대회논문집
• /
• 한국통신학회 1987년도 춘계학술발표회 논문집
• /
• pp.98-102
• /
• 1987

본 논문에서는 유한 축적용량과 단일 도기 서버를 갖는 패킷 스위칭 노드로서 처리량이 향상될 수 있도록 하는 버퍼 운용방법으로 패킷 교체 수용 큐잉 시스템을 제시하였다. 시스템의 해석은 J.F CMANG 과 R.F CHAMG 이 제안한 시간 미소 단위 근사법을 이용하였다. 위의 시스템과 기존적인 패킷 수용 방법으로서 패킷이 시스템에 도착하는 순서에 따라 수용되어 처리 되는 J.F CHANG 과 R.F CHANG 이 해석한 큐잉 시스템에 대한 성능을 처리량과 시험옥텟의 Rjocking 확률로 비교한 결과 패킷 교체 수용 큐잉시스템의 성능이 더 향상되었음을 보였으며, 이 해석적 결과로 컴퓨터 시뮬레이션으로 검증하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (B)
• /
• pp.355-357
• /
• 2002

정보 흐름 보안성은 프로그램 보안성 검증 문제의 하나로서 주어진 프로그램이 각 변수들에 미리 정해진 보안수준이 허용하는 범위 내에서만 정보가 교환되는지를 검증하는 것이다. 프로그램 정적 분석을 위한 여러 가지 방법들 중에서 요약 해석법은 프로그램 분석의 기조를 마련할 뿐 아니라 저장기반 데이터흐름 분석 문제를 간략하게 해주는 장점을 가지고 있다. 본 논문에서는 요약해석을 이용하여 정보흐름 보안성을 검증하는 방법을 설명하고 이를 이용하여 프로그램 개발 시에 유용한 디버깅 정보를 제공하는 방법을 제시한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(D)
• /
• pp.274-276
• /
• 2012

존재하는 자료에 대한 물리적인 변형없이 있는 그대로의 형태를 유지하면서 해당 정보를 기반으로 원하고자 하는 전자 정보를 취득하도록 한다. 본 논문에서는 자료의 물리적인 변형없이 데이타 취득을 위해 이미지 인식 기술을 제안한다. 이미지 인식 기술을 위한 도구로 카메라폰을 이용하고 이를 통해 물리적 데이타에 대한 정보를 취득하고 특성 관리 데이타베이스를 이용하여 획득한 이미지의 값을 해석한다. 이렇게 해석된 정보를 기반으로 웹 브라우저를 통해 인터넷에 접근하여 해석된 값과 연관된 다른 정보를 획득할 수 있다.

• 전산구조공학
• /
• 제8권2호
• /
• pp.141-145
• /
• 1995

이 논문은, 선형점탄성체가 과도온도상태에 있을때의 거동을 시간영역 경계요소법에 의해 해석하고 있다. 점탄성체에 대해서 '열유동단순'거동을 가정하였다. 경계요소 공식화과정을 설명한 후, 예제문제에 대한 수치해석 결과를 보여주었다.

• 한국표면공학회:학술대회논문집
• /
• 한국표면공학회 2012년도 추계총회 및 학술대회 논문집
• /
• pp.74-74
• /
• 2012

습식도금 전산해석에서 도금두께의 계산에는 전류밀도, 과전압, 도금효율 값의 영향을 받는다. 현재 상용되고 있는 도금 전산해석 시뮬레이션의 경우 이러한 도금용액의 특성값이 들어가나 유동(교반)에 따른 음극표면에서의 확산층 두께, 과전압변화를 적용하지 않고 있다. 따라서 본 연구에서는 실험을 통하여 도금용액(구리, 크롬, 아연)의 유동에 따른 데이터베이스를 확보하고 전산해석 시뮬레이션에 적용하여 계산하고 유동에 따른 도금두께 분포를 확인하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
• /
• pp.505-507
• /
• 2001

본 논문에서는 그람-슈미트 방법 및 독립 성분 해석(Independent Component Analysis, ICA)기법을 이용한 영상분리방법을 제안한다. 이 제안된 방법은 전처리 없이 ICA나 주성분 해석(Principal Component Analysis, PCA)을 이용한 것에 비해 개선된 영상을 보여준다. 이는 원래의 ICA 모델에 대하여 동일한 조건으로 일반화하여 그람-슈미트의 독립된 성분들이 ICA 모델에 충분히 동일하다는 것을 보여준다.

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

본 논문에서는 유전자 프로그래밍을 이용하여 판단 기준을 탐색할 수 있는 자율 이동로봇의 센서 해석회로를 진화 하드웨어상에 구현하였다. 자율 이동 로봇은 센서 정보를 통하여 환경 정보를 인지하고 자율성을 유지한다. 그러나 기존의 센서 체계는 첫째, 잡음의 영향을 심하게 받으며, 둘째 같은 환경에 대하여 동일한 종류의 센서라 할지라도 심한 편차가 존재하는 관측값을 출력한다는 문제점을 갖는다. 따라서 센서의 특성에 대한 고려없이 판단기준을 결정하면 로봇의 정확한 환경인지를 보장할 수 없게 된다. 본 논문에서는 센서 입력값 해석 기준을 센서 특성에 맞추어 적응적으로 변화시키는 센서를 구현하여 입력 해석과정에서의 정확도를 향상하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (C)
• /
• pp.626-628
• /
• 2003

인터넷에 접속하여 웹 컨텐츠를 이용할 수 있는 장치의 종류가 다양해짐에 따라 장치 독립적으로 웹 컨텐츠를 제공할 수 있는 기술의 필요성이 커지고 있다. 장치 독립적으로 웹 컨텐츠를 제공하기 위해서는 동적으로 전송 환경을 인지한 후 인지된 전송 환경에 적합한 형태로 컨텐츠를 조합 및 변환할 수 있어야 한다. 본 논문은 전송 환경을 인지하기 위해 필요한 전송 환경 해석 기능을 효과적으로 수행할 수 있는 규칙 기반 전송 환경 해석 기법을 설명한다. 본 기법을 활용하면 유연하고 동적인 변환 시스템 구축이 가능하므로 변환 기능의 손쉬운 변형 및 확장, 새로운 전송 환경에 대한 적응성 향상 등의 장점을 취할 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
• /
• pp.343-345
• /
• 2001

요약해석(abstract interpretation)이란 래티스(lattice)로 표현되는 요약된 공간에서 프로그램을 수행함으로써 프로그램의 성질을 분석하는 방법이다. 요약해석에서 프로그램의 분석 결과는, 정보가 없는 상태에서 시작하여 더 이상 정보의 증가가 없을 때까지 프로그램을 반복해서 수행함으로써 얻어지는 고정점(fixpoint)에 의하여 표현된다. 본 연구에서는 이러한 고정정 계산의 속도를 높이기 위하여 이전 반복의 계산 결과를 최대한 이용하는 방법을 제시한다. 그리고 제시된 방법을 상수 및 이명 분석의 구현에 적응하여 실제로 분석 속도가 증가함을 보였다.

• 한국항공우주학회지
• /
• 제40권1호
• /
• pp.1-11
• /
• 2012

자동회전하는 로터의 성능 해석이 수행되었다. 과도모사법에 의해 주어진 속도와 샤프트각, 그리고 콜렉티브 피치 조건에서 정상 자동회전 상태를 판정한 후 정상 자동회전에 대한 추력계수와 양, 항력계수를 계산하는 방법을 연구하였다. BET 기반으로 적분된 순간추력으로부터 평균추력을 구하는 방법을 고찰하였다. 해석 기법을 풍동 실험된 로터에 적용하여 모델 로터를 해석한 후 실험 결과와 비교하였다. 해석에는 레이놀즈수 및 레이놀즈수-마하수의 함수로 Navier-Stokes 해석된 두 종류의 2차원 에어포일 공력 데이터를 사용하였고, 그 차이는 정량적으로 비교 분석되었다.