• 한국정보처리학회논문지
• /
• 제5권8호
• /
• pp.2041-2049
• /
• 1998

소프트웨어의 품질을 향상시키며, 기존코드의 결함식별을 용이하게 하는 방법으로 프로그램의 후상태 종속성 분석을 통한 프로그램 ？살 및 유지보수지원 기법을 제안한다. 결함을 식별하고 분석하기에 이해도가 중요시 되는 교정유지보수를 위해서, 기존 코드의 분석 및 세그먼트화를 후상태 종속성모형(PSDG)을 이용하여 정적분할과 동적분할 및 의미분할의 장점을 살린 코드분할로 수행한다. 분할의 원리는 기존코드의 상태 종속성을 추적하여 그래프로 모형화한 후, 조각화(Clustering)와 강조분할(Highlighting)을 통해서 프로그램을 분할한다. PSDG 모형화의 결과로 비효율적인 프로그램 결함코드(Deadcode)의 식별 및 제거가 가능하며, 관련 프로그램 문장들을 일반화할 수 있고, 상태전이도 모형과의 확장연계로 분석 및 설계의 문서로 이용될 수 있다.

• 인터넷정보학회논문지
• /
• 제10권2호
• /
• pp.75-84
• /
• 2009

프로그램의 생산성을 향상시키기 위해 프로그램 개발 단계에서 소요되는 비용을 최소화하려는 연구가 다양하게 진행되고 있다. 점진 평가는 프로그램을 수정할 경우, 전체 프로그램을 다시 평가하는 대신 수정한 부분과 그 부분에 영향 받는 부분만을 다시 평가하는 방법이다. 점진 평가 방법은 전체 프로그램을 다시 평가하지 않기 때문에, 프로그램 개발 환경의 실행 효율성 측면에서 고려해 볼 때 매우 중요하다. 본 논문에서는 명령형 언어를 위해 제시된 종속 차트(dependency chart)를 확장하여 객체 지향언어인 자바 같은 언어에서 점진 평가를 수행할 수 있도록 확장된 종속 차트를 제시한다. 객체 지향언어에서 점진 평가를 수행하는 알고리즘을 제시하고 그 알고리즘의 정확성을 증명하고 실험을 통해 점진 평가의 효율성을 분석한다.

• 전자공학회논문지
• /
• 제52권4호
• /
• pp.49-55
• /
• 2015

기존의 BSIM4 모델과 다이오드를 사용한 BSIM4 Macro 모델의 바이어스 종속 게이트-드레인 오버렙 캐패시턴스 $C_{gdo}$ 시뮬레이션의 부정확성에 대하여 자세히 분석하였다. 이러한 Macro 모델은 기존의 BSIM4 모델보다 더 정확하지만 선형영역에서 사용될 수 없음을 발견하였다. 기존 모델들의 부정확성을 제거하기 위해서 물리적인 바이어스 종속 $C_{gdo}$ 모델 방정식을 사용한 새로운 BSIM4 Macro 모델을 제안하였고 전체 바이어스 영역에서 유효함을 입증하였다.

• 한국환경과학회:학술대회논문집
• /
• 한국환경과학회 2008년도 추계학술발표회 발표논문집
• /
• pp.428-432
• /
• 2008

대수층의 저유량이 풍부한 강변여과수 개발 예정지역의 충적충(지표면하 25$\sim$35 m 구간)에서 수리전도도와 증분산지수의 규모종속효과를 규명하기 위해 양수시험과 수렴흐름 추적자시험이 수행되었다. 양수시험과 추적자시험의 규모는 2 m 와 5 m 이었으며 양수시험은 5개 공, 추적자시험은 3개 공을 이용하여 수행되었다. 양수시험은 일정한 양수율(2,500 m$^3$/day)로 수행되었으며, 양수 시작 후 경과시간에 따른 수위변화 자료를 AQTESOLV 3.5 프로그램에 입력하여 해석하였다. 시험대수층의 수리전도도는 양수정에서 1.745$\times$10$^{-3}$ m/sec, 양수정에서 이격거리가 2 m 구간에서는 2.161$\times$10$^{-3}$ m/sec와 2.270$\times$10$^{-3}$ m/sec 이었으며, 이격거리가 5 m 구간에서는 2.452$\times$10$^{-3}$ m/sec와 2.591$\times$10$^{-3}$ m/sec로 산정되었다. 그리고, 양수정에서 회복시험 시 Theis(Recovery) 방법에 의해 해석된 수리전도도는 1.603$\times$10$^{-3}$ m/sec이었다. 양수정에서 관측정의 이격거리(d)에 따른 수리전도도(K) 증가함수는 log K = 0.0693logd-2.071와 log K = 0.08171og d-2.655로 추정되었으며, 결정계수는 각각 0.965와 0.979로서 매우 높게 나타났다. 따라서 양수정에서의 이격거리가 멀수록 수리전도도가 증가하는 규모종속을 확인하였으며, 또한 시험대수층의 수리전도도가 방사상으로 유사하게 분포하고 있음을 알 수 있었다. 수렴흐름 추적자시험의 양수율은 2,500 m$^3$/day 이었으며, 2개의 주입정에 염소이온 5 kg을 순간 주입하였다. 염소이온의 농도이력곡선을 작성하여 초기도달시간과 최고농도의 차이를 분석하였으며, 누적질량회수곡선을 통해 양수 후 경과시간에 따른 염소이온의 질량회수율을 분석하였다. 그리고, 염소이온농도 대 누적질량회수율의 이력그래프를 작성하여 누적질량회수율에 따른 염소이온농도의 증가와 감소 변화를 분석하였다. 또한, 염소이온농도의 증가/감소 구간에 대한 선형회귀분석을 수행하여 농도 증가율과 감소율의 변화를 파악하였다. 양수정에서 관측된 경과시간별 염소이온농도 자료를 CATTI 코드의 "Converging Radial Flow With Instantaneous Injection" 해석법에 적용하여 종분산지수를 추정하였다. 양수정에서 이격거리가 2 m인 경우의 종분산지수는 0.4152 m, 이격거리가 5 m인 경우의 종분산지수는 3.2665 m 이었다. 따라서 양수정에서 이격거리가 멀수록 종분산지수가 증가하는 규모종속효과를 확인하였으며, 또한 이격거리에 대한 종분산지수의 비는 각각 0.21과 0.65 정도로서 증가하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권5호
• /
• pp.394-402
• /
• 2010

자바스크립트는 현재 웹 사이트, 웹 어플리케이션에서 가장 많이 사용되는 스크립트 언어 중 하나이다. 자바스크립트로 작성된 프로그램은 원본 프로그램 형태로 클라이언트에게 전송되므로 무단 복제, 도용에 쉽게 노출된다. 때문에 자바스크립트 프로그램의 도용을 탐지하기 위한 연구가 필요하다. 현재 일반적으로 프로그램 표절 탐지를 위해 사용되는 자동화 도구들의 경우 고수준의 표절 기법에 적절히 대응하지 못한다. 반면에 프로그램 종속성 그래프에 기반을 둔 기존 연구들의 경우 자바스크립트의 동적인 특징을 적절히 반영하지 못한다. 또한 지나친 일반화로 인해 일부 틀린 판정(false positive)을 보이며 대상 프로그램의 크기가 클 경우 탐지 속도에 문제를 보이고 있다. 본 논문에서는 자바스크립트에 특화된 프로그램 종속성 그래프(이하 JS PDG)와 이를 사용한 도용 탐지 기법을 제안하여 이러한 문제를 해결하고자 한다. 본 논문에서 제안하는 JS PDG는 세분화된 노드 타입을 가지고 있어 기존 PDG와 비교해 보다 정확한 그래프 간 비교를 할 수 있도록 하며 포함하고 있는 노드 타입에 따라 정의되는 JS PDG의 타입은 탐색 범위를 분할을 가능하게 해 전체 도용 탐지 속도가 개선 될 수 있도록 한다. 실험 결과 기존 PDG에서 나타나는 틀린 판정을 확인할 수 있었으며 PDG간 비교 횟수가 줄어들어 도용 탐지 속도가 개선됨을 확인할 수 있었다.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2015년도 춘계학술대회
• /
• pp.191-193
• /
• 2015

최근 경제발전과 정보통신기술의 발달에 따라 전자상거래 시장이 지속적으로 성장하고 있다. 메타분석은 여러 실증연구의 정량적인 결과를 통합과 분석을 통해 전체 결과를 조망할 기회를 제공하는 통계적 통합 방법이다. 전자상거래 연구에서 인지된 위험과 종속변수 간의 관계에 관한 연구들을 문헌연구와 메타분석을 실시하였다. 본 연구는 2000년부터 2014년까지 우리나라 학술지에 게재된 연구 중 인지된 위험과 종속변수의 인과관계가 설정된 총 25편의 연구논문을 대상으로 하였다. 메타분석의 결과 인지된 위험과 종속변수 간 경로의 효과 크기는 -0.251로 나타났다. 분석결과를 바탕으로 이론적 실무적 시사점을 제시하고 선행연구와 비교분석을 통해 차이점을 논의하였다.

• 전자공학회논문지
• /
• 제53권12호
• /
• pp.15-19
• /
• 2016

매우 큰 사이즈를 가진 multi-finger RF MOSFET의 $S_{11}$-parameter에서 스미스차트의 저항 circle 라인을 벗어나는 kink 현상의 게이트 바이어스 종속 특성이 관찰되었다. 이러한 바이어스 종속성은 $S_{11}$-parameter의 크기와 위상, 입력저항, 입력 커패시턴스의 주파수 응답곡선을 측정하여 최초로 분석되었다. 그 결과 입력 커패시턴스의 크기와 입력저항의 dominant pole과 zero 주파수에 의해 $V_{gs}$ 종속 kink 현상이 크게 변하는 것을 알 수 있다. $V_{gs}=0V$일 때 매우 적은 $S_{11}$-parameter 위상차와 입력저항의 높은 pole 주파수에 의해 고주파영역에서 kink 현상이 나타난다. 하지만 $V_{gs}$가 높아지면 $S_{11}$-parameter 위상차가 크게 증가하고 pole 주파수가 낮아져 저주파영역에서 kink 현상이 발생하게 된다.

• 실천공학교육논문지
• /
• 제6권1호
• /
• pp.1-7
• /
• 2014

이 연구는 귀납법적 확증(confirmation)을 위해서 실행하는 실험이 확률론적 추론임을 밝히고 이의 단점을 보완하기 위해서 적용된 확률적 확인론에 따라서 수행하는 실험에서 통제하는 절차와 방법을 다루었다. 이 통제란 알려진 조건과 상황들을 인위적으로 조작하되 가설에서 명시된 특정조건(즉 독립변수) 이외의 조건(기타 변수)이 작용하여 현상이 발생(종속변수)될 가능성을 막는 것이다. 특정조건에 의하여 현상이 발생할 가능성을 극대화 시키고 기타 조건에 의하여 현상이 발생할 가능성을 최소화시키는 것이다. 그렇게 함으로써 특정 선행사건(독립변수)과 후행사건(종속변수) 사이의 진정한 인과관계성(the causal relationship)을 객관적으로 정확하게 추론하도록 보장하는 방법이 통제인 것이다. 이 연구에서는 변수통제에 대해 좀 더 구체적으로 다루기 위해 대표적인 헬스기구인 Elliptical Trainer (ET)와 Tread Mill (TM)를 이용한 실험에서 변수통제를 가하여 운동속도(독립변수)에 따른 에너지 소비량 변화(종속변수)와 운동속도(독립변수)에 따른 호흡교환율(RER)과 심장 박동율(HR)의 변화(종속변수)를 얻었다. 마지막으로 이 통제를 통해 얻어진 실험결과들을 그래프로 그려 그 결과에 따라 연구의 결론이 다루어졌다.

• 한국지능시스템학회논문지
• /
• 제19권3호
• /
• pp.337-342
• /
• 2009

본 논문은 비선형 시스템의 퍼지 모델을 적용한 시간 지연 간격에 종속적인 안정도 분석 및 제어기 설계에 대해서 논의한다. 먼저, 시간 지연을 포함하는 비선형 시스템을 T-S 퍼지 시스템으로 모델링한다. 시간 지연을 포함하는 전체 페루프 비선형 시스템은 다중 시간 지연을 갖는 T-S 퍼지 시스템이 된다. 전체 폐루프 퍼지 시스템의 안정도를 분석하고, 안정화 시키는 퍼지 제어기 설계를 위한 필요충분 조건을 유도한다. 유도된 안정도 및 제어기 설계 조건이 시간 지연 간격에 종속적임을 확인하다. 기존의 시간 지연에 종속적인 안정도 및 제어기 설계 조건 보다 넓은 범위를 나타냄을 확인한다. 제안된 필요충분 조건을 선형 행렬 부등식의 형태로 나타내고, 기존의 다양한 프로그래밍 기법을 이용하여 제어기 이득값을 구한다. 예제를 통하여 제안된 이론의 타당성을 확인한다.

• 한국문헌정보학회지
• /
• 제48권3호
• /
• pp.281-301
• /
• 2014

본 연구는 민원을 청원과 불만표현의 두 가지 성격을 지닌 행위로 이해하고, 공공도서관에서 민원의 성격을 파악하고 그 요인을 도출하는 것을 목적으로 한다. 이를 위해 이용자와의 도서관 민원에 대한 심층면담과 선행연구를 바탕으로 설문지를 개발하여, 3개 공공도서관의 이용자를 대상으로 설문조사를 실시하고, 수거된 설문지 154부를 바탕으로 요인분석, 정준상관분석 및 회귀분석을 이용하여 통계분석을 실시하였다. 분석결과, 도서관 민원은 건의/청원과 불평행위로 구분하여 이해할 수 있었으며, 이러한 각각의 종속요인에 영향을 미치는 독립요인으로 사서전문성, 서비스편의성, 사서와의 교류 등 6개 요인을 도출하였다. 또한 각각의 종속요인에 대한 개별 독립요인의 영향을 분석함으로써 건의/청원 및 불평행위의 성격은 물론, 민원에 대한 기능적 접근뿐 아니라 구조관계적 접근의 중요성을 파악하였다. 이러한 분석 및 토의를 토대로 종속변수로서의 민원뿐 아니라 도서관 성과에 영향을 미치는 독립변수로서의 민원 및 도서관의 대처에 대한 연구의 필요성을 제시하였다.