• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (2)
• /
• pp.115-117
• /
• 2002

객체지향 프로그램 슬라이싱을 위한 Loren D Larsen and Marry Jean Harrold가 제안하는 방법은 절차적 프로그램 슬라이싱을 위한 시스템 종속성 그래프 표현방법에 객체지향 패러다임을 표현할 수 있도록 확장하며 2단계 마킹 알고리즘을 적용하여 슬라이스를 계산한다. 시스템 종속성 그래프를 이용한 슬라이싱 방법은 클래스 멤버 변수와 전역변수 및 인스턴스 변수에 대하여 각 메소드 호출 및 진입정점에 actual_in, actual_out, formal_in, formal_out 정점들이 추가되어 복잡도가 증가한다. 본 논문에서는 이들 변수를 클래스 정점의 멤버간선으로 연결하여 각 메소드의 문장에서 사용하면 진출간선 정의하면 진입간선으로 연결하여 정점과 간선들의 개수를 최소화할 수 있도록 시스템 종속성 그래프를 개선하였다. 제안하는 시스템 종속성 그래프는 그래프 복잡도의 최소화와 2단계 알고리즘에 의한 정확한 슬라이스 계산이 장점이다. C++ 예제 프로그램을 적용하여 그래프 복잡도의 감소와 정확한 슬라이스 계산을 기존의 방법과 비교하여 개선됨을 확인하였다.

• 감성과학
• /
• 제21권4호
• /
• pp.25-36
• /
• 2018

오늘날 오프라인뿐만 아니라 온라인에서도 집단을 형성하고 집단 활동이 활발히 이루어지고 있다. 오프라인 집단의 경우 인지부조화 이론에 따라 초기 가입절차가 집단에 대한 태도에 어떤 영향을 미치는지에 관한 연구들이 진행되어온 반면, 아직 온라인 집단에 관해 가입절차가 집단에 대한 태도에 미치는 영향은 연구된 바가 미비하다. 따라서 본 연구는 온라인 집단으로 대표되는 온라인 커뮤니티를 대상으로 가입절차로 인해 유발되는 인지부조화가 온라인 커뮤니티에 대한 태도에 어떤 차이를 유발하는지 살펴보았다. 더 나아가 기존 회원과의 지각된 유사성이 큰지 작은지 정도에 따라 인지부조화로 인해 유발되는 태도 변화가 어떻게 달라질 수 있는지 알아보았다. 가입절차는 가입절차 없음, 간단한 가입절차, 복잡한 가입절차의 세 수준으로 나뉘었으며, 지각된 유사성은 참가자의 현재 BMI와 목표 BMI간의 차이로 측정하였다. 또한 지각된 정보 원천의 신뢰성, 지각된 정보의 질, 만족도, 정보 유용성, 지속 사용 의향을 종속변인으로 태도의 차이를 살펴보았다. 연구 결과, 기존 집단에 관한 인지부조화 이론과는 반대로 지각된 정보 원천의 신뢰성, 지각된 정보의 질, 만족도에 관해서는 가입절차 조건에 따른 차이가 없었으며, 정보 유용성과 지속 사용 의향의 경우는 가입절차가 가장 복잡할 때 가장 부정적인 태도를 보였다. 또한 지각된 유사성이 높을수록 더 긍정적인 태도를 보였다. 흥미로운 점은 지각된 유사성에 따라 가입절차로 유발된 인지부조화의 영향이 달랐다는 것인데, 지각된 유사성이 높은 집단에서는 가입절차가 있을 때 더 긍정적인 태도를 보인 반면, 지각된 유사성이 낮은 집단은 가입절차가 아예 없을 때 더 긍정적인 태도를 보이는 경향이 나타났다. 본 연구의 결과를 바탕으로 이후 온라인 커뮤니티의 특성에 따라 보다 알맞은 회원가입 절차를 디자인 할 수 있을 것이다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2011년도 제42회 하계학술대회
• /
• pp.620-621
• /
• 2011

최근 수년간의 송전이용요금 단가산정 결과를 살펴보면 지역간 요금신호 왜곡현상이 발생되고 연도별로 단가 변동폭이 크게 나타나고 있음을 확인할 수 있다. 또한 많은 양의 계통데이터 처리 및 복잡한 산정절차로 인해 단가산정에 많은 시간이 소요되는 등 효율성 측면에서도 개선이 요구되고 있다. 본 논문에서는 송전이용요금 산정방법 및 절차의 문제점과 원인을 고찰하고 효과적인 개선방안을 제시한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
• /
• pp.516-518
• /
• 2000

객체지향 프로그램의 효율성과 설계의 품질을 평가하기 위해서는 필수적으로 정량적 메커니즘을 사용해야 한다. 특히, 개발비용을 예측하기 위한 요구가 커질수록 소프트웨어 개발 생명주기의 초기에 측량해야 하는 필요성은 더욱 강해진다. 따라서, 분석단계 산출물에 대하여 이루어지는 측량은 나머지 개발 주기 단계에서 발견될 수 있는 결함에 대한 예측이나, 시스템의 개발에 소요될 노력과 비용을 예측하는데 사용될 수 있으므로 그 중요성이 더욱 강조되고 있다. 본 논문에서는 클래스 기반(class-driven)의 분석 모델링 절차에 따라 작성되는 모델을 사용하여, 클래스의 책임과 협력 관계에 대한 정보가 주어진 클래스에 대한 복잡도를 측량하기 위한 메트릭을 제안한다. 제안된 메트릭은 클래스들 사이의 상호작용으로 나타나는 협력의 복잡도와 인터페이스 복잡도를 포함하며, 개별 클래스의 복잡도를 사용하여 전테 시스템의 복잡도를 계산하도록 확장할 수 있다. 개발 생명주기의 가장 초기 단계인 분석단계에서 클래스를 어떻게 분할할 것인지에 대한 선택적 직면했을 때, 올바른 클래스 분할을 선택하도록 도와줌으로써, 나머지 개발 단계에서 개발에 요구되는 노력과 시간을 예측하고 관리하는데 사용될 수 있다.

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

기능 검사(function simulation)란 하드웨어 시스템의 설계시 모델의 기능, 성능, 표준 준수 여부, 그리고 다른 상위 수준 조건의 관점에서 그 설계를 분석하는 중요한 설계 흐름이다. 하지만 복잡한 기존의 기능 검사의 절차는 사용자의 요구에 의해 하드웨어 시스템이 점점 복잡해지고 정보산업의 발전에 따라 개발 주기가 점점 빨라지는 시장의 특성으로 인해 설계자에게 많은 시간적 경제적인 부담감을 준다. 본 논문에서는 설계자에게 가중되는 부담을 극복하고 보다 효율적인 하드웨어 시스템의 모델링 및 기능 검사를 위해 오토마타 동치성 검사를 통한 하드웨어 시스템의 논리적 정확성 확인 방법론을 제안한다.

• 한국추진공학회:학술대회논문집
• /
• 한국추진공학회 2006년도 제27회 추계학술대회논문집
• /
• pp.99-105
• /
• 2006

발사체는 수많은 서브시스템들로 구성된 복잡한 하나의 대형 시스템이다. 이런 시스템 하나하나를 개발하고, 통합해서 임무를 수행하는 데는 많은 경험과 통합기술이 필요하다. 이런 기술과 경험은 한순간에 얻어지는 것이 아니지만 선진 사례를 통해서 개발절차를 연구해보았다. 발사체 시스템의 크기에 따라서 업무의 성격과 복잡성은 달라질 수 있으나 체계화 된 업무 절차는 동일 할 것으로 판단된다. 여기에 소개한 발사체의 개발과정은 나사에서 수많은 발사체를 개발하면서 경험한 절차를 토대로 프로그램의 수명주기를 통해서 어느 정도 표준화된 것이다. 이 개발단계는 발사체의 수명주기를 통해서 10단계로 구성되었다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2021년도 제64차 하계학술대회논문집 29권2호
• /
• pp.107-108
• /
• 2021

농업용 전기차는 일반 전기차에 비해 경량성 및 연료의 효율성이 매우 중요하다. 또한, 충돌에 대비한 재질의 강도적인 측면에서 다소 자유로움을 가진다. 본 연구에서는 레이저 가공, 절곡, 도장 등의 복잡한 절차를 통한 가공 공정을 대체하여 생산의 효율성을 극대화 할 수 있는 진공성형을 위한 전기차 전면부 3차원 설계 방법을 제안한다. 보닛 및 휀더의 3차원 설계 및 진공성형 금형 기술 개발을 통하여 제품의 안정성과 생산성 및 편의성을 향상시키는 것이 연구의 주요 목적이다. 주요 연구 절차는 CATIA를 이용한 설계 결과물을 바탕으로 ABAQUS를 이용한 구조해석을 통해 안정성을 확인하고 3D Scanner를 이용하여 시제품의 치수 확인을 통한 실효성을 검증한다. 본 연구의 결과물은 농업용 전기차 주 고객층인 고령자 및 여성 농업 종사자들에게 널리 사용될 수 있을 것으로 사료된다.

• 전기전자학회논문지
• /
• 제19권3호
• /
• pp.431-439
• /
• 2015

최근 무기체계에서 소프트웨어가 담당하는 기능이 많아지고, 복잡해지면서 소프트웨어의 품질의 중요성에 대해서 대두가 되고 있다. 소프트웨어의 품질요소는 기능성, 사용성, 유지보수성, 신뢰성이 있으며, 이중 최근 들어 중요시되는 항목이 신뢰성 분야이다. 신뢰성 시험은 분석을 통한 정적 시험과 수행을 통한 동적 시험방법이 있으며, 실수행을 통해 검증하는 동적시험은 정적시험에 비해 많은 기간이 필요하며 복잡성이 높아질 경우 더욱 증가되는 경향을 보인다. 본 논문에서는 다기능 레이더 소프트웨어 개발시 수행한 신뢰성시험 절차 및 결과를 기술하고 이를 통해 효과적으로 시험기간을 줄일 수 있는 신뢰성시험 방법을 제안한다.

• 주택과사람들
• /
• 통권200호
• /
• pp.26-27
• /
• 2007

분양원가를 산정해 산출하는 계산 방식과 비교.검토하는 과정에서 논란이 일고 있다. 복잡한 사업 절차상 발생하는 여러 가지 건설 관련 용어의 차이를 이해하고 구분해서 계산하기가 쉽지 않다. 시민단체와 건설사, 지자체들 간에 분양원가 분석 방식을 두고 갑론을박이 한창이다. 분양원가 공개 주장 이후 업계의 반응과 문제점 등을 살펴보았다.

• 응용통계연구
• /
• 제16권1호
• /
• pp.71-85
• /
• 2003

일정 시간간격으로 품질을 측정하는 공정관리절차의 경제적 설계에서는 그 특성의 규명이 측정시점의 이산성 (discreteness) 때문에 복잡하고 어렵다. 이 논문에서는 공정 탐색 절차를 Markov 연쇄(chain)로 표현하는 과정을 개발하였고, 공정분포가 공정주기 내에서 발생하는 잡음과 이상원인의 효과를 설명할 수 있는 ARIMA(0,1,1) 모형을 따를 때에 Markov 연쇄의 표현을 이용하여 공정탐색절차의 특성을 도출하였다. Markov 연쇄의 특성은 전이행렬에 따라 달라지며, 전이행렬은 관리절차와 공정분포에 의해 결정된다. 이 논문에서 도출된 Markov 연쇄의 표현은 많은 다른 형태의 관리절차나 공정분포에서도 그에 해당하는 전이행렬을 구하면 쉽게 적용될 수 있다.