학지사 뉴논문

총 674건 검색

본문검색 결과만 보기

정확도순

최신순

등재순

발행기간

전체
최근 1년
최근 3년
직접입력

적용하기

본문검색

포함

제외

10개씩

621.

소프트웨어 감시 기법을 활용한 정적 실행시간 분석의 신뢰성 향상

김윤관, 김태완, 장천현, Kim. Yun-Kwan, Kim. Tae-Wan, Chang. Chun-Hyon 한국컴퓨터정보학회 韓國컴퓨터情報學會論文誌 9 Pages

한국컴퓨터정보학회 韓國컴퓨터情報學會論文誌 2010, Vol.15 No.4 37-45 (9 pages)

김윤관, 김태완, 장천현, Kim. Yun-Kwan, Kim. Tae-Wan, Chang. Chun-Hyon 저

이 논문은 한국과학기술정보연구원과 논문 연계를 통해 무료로 제공되는 원문입니다.
- 무료
시간적 정확성을 필요로 하는 시스템은 신뢰성을 위하여 실행시간에 관한 정확한 설계와 검증이 필요하다. 따라서 실행시간의 분석을 위한 개발 지원 도구가 필요하고 이를 위한 많은 연구가 진행되고 있다. 이러한 개발 지원 도구의 분석 방법은 정적 분석 방법과 측정 기반 분석 방법의 두 가지로 구분된다. 먼저 정적 분석은 짧은 시간에 분석이 가능하지만, 다양한 하드웨어의 존재로 인해 I/O 정보 예측이 어려워 분석 결과의 신뢰성이 떨어진다. 두 번째로 측정 기반 분석은 실제 결과에 근접한 분석이 가능하지만, 사용하기 어렵고...
622.

지오텍스타일 백으로 보강된 철도노반의 정적거동 분석

이동현, 신은철, Lee. Dong-Hyun, Shin. Eun-Chul 한국철도학회 한국철도학회 논문집 7 Pages

한국철도학회 한국철도학회 논문집 2006, Vol.9 No.2 180-186 (7 pages)

이동현, 신은철, Lee. Dong-Hyun, Shin. Eun-Chul 저

이 논문은 한국과학기술정보연구원과 논문 연계를 통해 무료로 제공되는 원문입니다.
- 무료
623.

벌크시멘트화차의 대차 하중시험과 진동성능시험 및 동특성 해석 연구

홍재성, 함영삼, 백영남 한국철도학회 한국철도학회 논문집 8 Pages

한국철도학회 한국철도학회 논문집 2003, Vol.6 No.3 186-193 (8 pages)

홍재성, 함영삼, 백영남 저

이 논문은 한국과학기술정보연구원과 논문 연계를 통해 무료로 제공되는 원문입니다.
- 무료
624.

평판형 주름판넬에 대한 등가 연속체 모델링기법

이상윤, 이우식 한국철도학회 한국철도학회 논문집 8 Pages

한국철도학회 한국철도학회 논문집 2000, Vol.3 No.2 43-50 (8 pages)

이상윤, 이우식 저

이 논문은 한국과학기술정보연구원과 논문 연계를 통해 무료로 제공되는 원문입니다.
- 무료
625.

반응수정계수와 주기의 영향에 대한 철골모멘트저항골조 건물의 내진성능평가

신지욱, 이기학, 이도형, Shin. Ji-Wook, Lee. Ki-Hak, Lee. Do-Hyung 한국지진공학회 한국지진공학회논문집 10 Pages

한국지진공학회 한국지진공학회논문집 2008, Vol.12 No.5 47-56 (10 pages)

신지욱, 이기학, 이도형, Shin. Ji-Wook, Lee. Ki-Hak, Lee. Do-Hyung 저

이 논문은 한국과학기술정보연구원과 논문 연계를 통해 무료로 제공되는 원문입니다.
- 무료
본 연구는 높은 지진의 위험이 내재된 지역에 위치한 3층, 9층 그리고 20층 철골 모멘트저항골조에 대한 반응수정계수와 주기의 영향을 평가하기 위한 것이다. 각 구조물들은 IBC 2000과 KBC 2005에서 제시하고 있는 8의 반응수정계수로 설계되었고 건물에 기대되는 최소의 성능과 최대의 성능을 평가하기 위해서 상한범위와 하한범위의 설계가 고려되었다. 또한 반응수정계수에 대한 영향을 조사하기 위하여 4개의 다른 반응수정계수들이(9, 10, 11, 12) 각 구조물에 대하여 적용되었고 각 구조물의 고유주기 값 외의 4개의 다른 주기를...
626.

PS-Block 구조를 사용한 PS-Block Timing Model의 설계 및 구현

김윤관, 신원, 장천현, 김태완, Kim. Yun-Kwan, Shin. Won, Chang. Chun-Hyon, Kim. Tae-Wan 한국정보처리학회 정보처리학회논문지. The KIPS transactions. Part D. Part D 6 Pages

한국정보처리학회 정보처리학회논문지. The KIPS transactions. Part D. Part D 2006, No.0 399-404 (6 pages)

김윤관, 신원, 장천현, 김태완, Kim. Yun-Kwan, Shin. Won, Chang. Chun-Hyon, Kim. Tae-Wan 저

이 논문은 한국과학기술정보연구원과 논문 연계를 통해 무료로 제공되는 원문입니다.
- 무료
실시간 시스템은 소형 임베디드 시스템부터 대형 분산 시스템까지 다양한 시스템에서 사용되고 있다. 이러한 실시간 시스템은 시간적 정확성을 갖기 때문에 프로그램을 개발할 때 시간적 특성을 지키기 위한 노력이 필요하다. 실시간 시스템에 대한 연구 결과로서 제안된 TMO 모델은 실시간 개념에 따른 다양한 시간 처리 기능을 지원하고, 개발자가 정의한 응답시간을 보장한다. 따라서 개발자는 응답시간을 정의하고, 그 정확성을 확인하기 위한 기준점이 필요하다. 이를 위해 TMO 정적 분석 도구의 기반 구조로서 개선된 PS-Block을...
627.

정적분석을 이용한 자바 언어의 권한검사 시각화 시스템

김윤경, 창병모, Kim. Yun-Kyung, Chang. Byeong-Mo 한국정보처리학회 정보처리학회논문지. The KIPS transactions. Part A. Part A 6 Pages

한국정보처리학회 정보처리학회논문지. The KIPS transactions. Part A. Part A 2006, No.0 399-404 (6 pages)

김윤경, 창병모, Kim. Yun-Kyung, Chang. Byeong-Mo 저

이 논문은 한국과학기술정보연구원과 논문 연계를 통해 무료로 제공되는 원문입니다.
- 무료
Java 2에서 자원에 대한 접근 권한관리를 위하여 프로그래머는 프로그램 실행에 필요한 권한들을 정책파일(polic file)에 기술하고, 보안관 리자(Security Manager)를 설치하여 프로그램을 수행시킨다. 프로그램 실행 중에 자원에 대한 접근을 시도할 때마다. 보안관리자는 스택 인스펙션을 통해 접근 권한이 있는지 검사한다. 본 논문에서는 프로그래머가 안전한 보안정책을 세우는데 편의를 제공하고자 권한검사 관련 정보를 정적으로 분석하여 시각적으로 보여주는 시스템을 구현하였다. 권한김사 시각화 시스템은 정적 권한검사...
628.

고속 정적 분석 방법을 이용한 폴리모픽 웹 탐지

오진태, 김대원, 김익균, 장종수, 전용희, Oh. Jin-Tae, Kim. Dae-Won, Kim. Ik-Kyun, Jang. Jong-Soo, Jeon. Yong-Hee 한국정보보호학회 情報保護學會論文誌 11 Pages

한국정보보호학회 情報保護學會論文誌 2009, Vol.19 No.4 29-39 (11 pages)

오진태, 김대원, 김익균, 장종수, 전용희, Oh. Jin-Tae, Kim. Dae-Won, Kim. Ik-Kyun, Jang. Jong-Soo, Jeon. Yong-Hee 저

이 논문은 한국과학기술정보연구원과 논문 연계를 통해 무료로 제공되는 원문입니다.
- 무료
통신망을 통하여 자동적으로 확산되는 악성 프로그램인 웜에 대응하기 위하여, 웜 관련 패킷들을 분석하여 시그니처를 생성하여 웹을 탐지하는 방법들이 많이 사용되고 있다. 그러나 이런 시그니처-기반 탐지 기법을 회피하기 위하여, 변형된 폴리모픽 형태의 공격 코드 사용이 점차 증가하고 있다. 본 논문에서는 폴리모픽 공격 코드의 복호화 루틴을 탐지하기 위한 새로운 정적 분석 방법을 제안한다. 제안된 방법은 통신망 플로에서 폴리모픽 공격 코드에 함께 포함되어 암호화된 원본 코드를 복호화하는 역할을 수행하는 코드 루틴을...
629.

정적 실행 시간 분석을 위한 외부 요인 예측 방안

김윤관, 김태완, 신원, 장천현, Kim. Yun-Kwan, Kim. Tae-Wan, Shin. Won, Chang. Chun-Hyon 한국정보과학회 정보과학회논문지. Journal of KIISE. 컴퓨팅의 실제 및 레터 5 Pages

한국정보과학회 정보과학회논문지. Journal of KIISE. 컴퓨팅의 실제 및 레터 2011, Vol.17 No.3 200-204 (5 pages)

김윤관, 김태완, 신원, 장천현, Kim. Yun-Kwan, Kim. Tae-Wan, Shin. Won, Chang. Chun-Hyon 저

이 논문은 한국과학기술정보연구원과 논문 연계를 통해 무료로 제공되는 원문입니다.
- 무료
실시간 시스템은 시간적 신뢰성을 중요시하기 때문에 응답시간 검증의 기준점을 제공하기 위해 정적 실행시간 분석이 연구되었다. 정적 실행 시간 분석의 분석 대상에는 상수와 같이 코드에 존재하는 내부 요인과 사용자 입력과 같이 실행 시에 결정되는 외부 요인이 있다. 특히 외부 요인은 분석 과정에 나타날 수 있는 모든 경우의 수나 값의 고려가 필요하기 때문에 분석을 어렵게 한다. 따라서 본 논문에서는 외부 요인의 범위를 제한하고 예측을 위한 기준 범위를 제공하기 위해 요약 해석을 사용한 예측 기법과 이를 구현하기 위한...
630.

요약해석을 이용한 버퍼오버런 분석에서 루프 분석결과의 정교화

오학주, 이광근, Oh. Hak-Joo, Yi. Kwang-Keun 한국정보과학회 정보과학회논문지. Journal of KIISE. 컴퓨팅의 실제 및 레터 5 Pages

한국정보과학회 정보과학회논문지. Journal of KIISE. 컴퓨팅의 실제 및 레터 2008, Vol.14 No.1 111-115 (5 pages)

오학주, 이광근, Oh. Hak-Joo, Yi. Kwang-Keun 저

이 논문은 한국과학기술정보연구원과 논문 연계를 통해 무료로 제공되는 원문입니다.
- 무료
버퍼오버런 분석기가 루프안에서 발생시키는 허위경보를 간편하고도 효율적으로 줄이는 방법과 경험을 소개한다. 버퍼오버런 분석기는 루프와 배열을 많이 사용하는 프로그램을 분석할 때 많은 허위경보를 발생시킨다. 우리는 먼저 루프를 많이 사용하는 프로그램인 임베디드 프로그램과 암호화 관련 프로그램들에서 발생하는 허위경보를 조사하여 허위경보를 일으키는 루프의 패턴을 조사했다. 그 다음에 그 루프에 특화된 간단하고 효율적인 재분석기를 고안하였다. 우리가 제안하는 재분석기는 분석기가 분석을 끝낸 후 내 놓는...

한주간 이슈검색어