• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권3호
• /
• pp.149-161
• /
• 2008

프로그래머블 로직 컨트롤러(PLC: Programmable Logic Controller)가 안전성이 중요한 실시간 시스템 구현에 많이 사용되면서, PLC 프로그램에 대한 테스팅의 중요성이 날로 높아지고 있다. 본 논문에서는 PLC 프로그래밍 언어 중 하나인 함수 블록 다이어그램(FBD: Function Block Diagram)에 대한 구조적 테스팅 방안을 제안한다. FBD를 테스트하기 위해 먼저 타이머 함수 블록을 비롯한 각 함수 및 함수 블록에 대한 흐름그래프 템플릿을 정의하고, 템플릿을 기반으로 한 변환 알고리즘을 제안하며, 알고리즘을 따라 FBD로부터 변환된 흐름그래프에 기존의 제어 흐름 테스팅 커버리지와 데이타 흐름 테스팅 커버리지를 적용한다. 기존 FBD 테스팅은 테스트 케이스 생성시 FBD 내부 구조를 고려하지 않으며, FBD 프로그램으로부터 특정 중간단계 모델을 생성해 낼 수 있는 경우에만 적용될 수 있는 단점을 가진 반면, 본 논문에 제안된 방법은 FBD 내부 구조를 고려한 체계적 테스트 케이스 생성이 가능하며, 중간단계 모델의 형식에 관계없이 어떤 FBD에도 적용될 수 있다는 장점을 가진다. 특히 제안된 기법은 여러 실행주기에 걸쳐 테스트 되어야 하는 타이머 함수 블록을 포함한 FBD에 대한 철저한 테스팅을 가능하게 한다. 제안된 기법을 현재 원전계측제어시스템 개발사업단에서 개발 중인 디지털 원자로 보호계통 비교논리 프로세서 트립 논리에 적용하여 그 효과를 확인하였다.

• 한국농업기계학회:학술대회논문집
• /
• 한국농업기계학회 2017년도 춘계공동학술대회
• /
• pp.20-20
• /
• 2017

궤도형 차량의 이동구조는 에너지 소비 측면에서 단점이 있지만 접지압의 감소로 인한 평지 및 야지험지에서도 원활한 주행이 가능한 장점으로 인해 농업분야의 플랫폼에서 많이 사용된다. 곡식을 베는 일과 탈곡하는 일을 한 번에 하는 콤바인도 이러한 무한궤도형 이동구조를 사용한다. 또한 궤도형 차량의 방향전환 및 주행속도 변환은 좌 우 궤도의 회전 속도를 다르게 하여 동시에 제어하기 때문에 정교한 주행 성능을 위해서는 궤도형 차량의 기구학 모델을 고려한 경로 계획이 필요하다. 본 연구에서는 직교형 포장에서 Round harvesting 기법 기반으로 궤도형 차량의 기구학 모델 및 포장정보를 고려한 자율주행 콤바인 경로계획 알고리즘을 개발하고자 하였다. 이를 위해 Labview 기반의 궤도형 차량 시뮬레이션을 구축하여 실제 포장정보를 이용해 생성 된 경로의 적용 가능성을 구명하고자 하였다. 자율주행 콤바인 경로 계획은 콤바인의 길이, 너비, 회전 시 좌 우 궤도의 속도 비, 직진 속도와 회전 속도 비, 회전 각도, 포장의 외부 경계선, 작업 겹침 량, 회경 횟수를 이용하여 좌현 새머리 선회를 포함한 내부 왕복작업 경로를 생성하며 외부 회경 횟수는 2~3회를 가정하였다. 자율주행 시뮬레이션은 차체와 궤도 자체의 미끄러짐과 작동기 지연시간을 단순화 한 궤도형 기구학 모델형태로 구성하였다. 추종 알고리즘은 선견 거리법을 사용하였으며, 측면 변이값과 방향 오차의 선형조합을 이용하여 조향변수를 정의하고 퍼지로직기반으로 좌 우 궤도 속도를 7 단계화하여 조향장치를 모델링하였다. 실험결과 개발 된 경로생성 알고리즘은 실제 취득 된 포장 외부 경계 GPS 위 경도를 이용해 자동으로 생성이 가능하며 간략화 된 콤바인 시뮬레이션에서 직진주행 RMS 위치 오차는 0.05 m, 선회구간에서 직진 구간 진입 시 RMS 위치 오차는 0.11 m, 직진 구간 RMSE 방향 오차는 3.2 deg로 콤바인 예취부 간격인 30 cm보다 작은 위치 오차를 보이며 생성된 경로 전체 추종이 가능함을 나타내었다.

• 한국시뮬레이션학회논문지
• /
• 제16권4호
• /
• pp.77-86
• /
• 2007

웹 서비스는 비즈니스 분야의 경계를 가로지르는 매우 동적이고 다면적인 분산 어플리케이션 생성의 가능성을 제공하며, 차세대 기업의 다양한 비즈니스 계획에서 중요한 요소로 고려된다. 웹 서비스 오케스트레이션은 새로운 부가가치의 서비스를 생성하기 위해 이미 존재하는 웹 서비스와의 합성을 연구한다. 복합적인 웹 서비스는 중앙 집중형이나 P2P 오케스트레이션 모델에서 실행될 수 있다. 중앙 집중형 오케스트레이션 모델에 비하여, P2P기반 오케스트레이션 모델은 전체 서비스를 위해 더 나은 확장성, 신뢰성, 성능을 제공한다. 그러나 최근 P2P 오케스트레이션 솔루션은 복잡한 워크플로우 패턴을 지원하기에는 한계를 가진다. 그러므로 복잡한 워크플로우 패턴을 가지는 정교한 비즈니스 워크플로우에서는 효과적으로 다루어질 수 없는 한계가 있게 된다. 본 논문에서는, P2P 오케스트레이션 방법을 이용하여 복잡한 서비스 수행을 가능하게 하여 복잡한 워크플로우 패턴을 다루는 WORKGLOW 시스템을 제안한다. 중앙 집중형 오케스트레이션 시스템과 비교하여, WORKGLOW 시스템은 비즈니스 로직에 이점을 가져다 주고, 약간의 오버헤드만을 감안하며, 향상된 성능과 더 높은 유연성을 제공한다.

• 대한전자공학회논문지TC
• /
• 제39권4호
• /
• pp.173-179
• /
• 2002

본 논문은 DFE (Decision Feedback Equalizer)구조와 CMA (Constant Modulus Algorithm), 그리고 LMS (Least Mean Square) 알고리즘을 이용한 등화기에 대하여 기술한다. DFE 구조는 기존의 transversal 구조의 등화기에 비하여 빠른 채널 적응 속도와 낮은 BER (Bit Error Rate) 값을 가지며 ISI(Intersymbol Interference)가 심한 환경에서도 좋은 성능을 나타낸다. 본 등화기는 16/64 QAM(Quadrature Amplitude Modulation) 변복조 방식에 적용할 수 있으며, 고속으로 동작할 수 있도록 고속의 곱셈기와 많은 수의 CSA (Carry Save Adder)를 사용하였다. COSSAP/sup TM/ 캐드 툴을 사용하여 부동 소수점 모델과 고정 소수점 모델을 개발하였으며, VHDL 모델을 개발하였다. 시뮬레이션 결과에 따라 feedback 부분과 feedforward 부분에 각각 12개와 8개의 탭을 사용하였으며, 다중 경로 페이딩 채널에서 BER이 10-6일 때를 기준으로 보면 등화기를 사용하지 않은 채널의 BER 보다 SNR(Signal to Noise Ratio)이 4dB 정도 향상되었다. SYNOPSYS/sup TM/ 캐드 툴과 삼성의 0.5 ㎛ standard cell library (STD80) 를 이용하여 로직 합성을 수행하였으며, 전체 게이트 카운트는 약 13만개를 보였다.

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

본 논문에서는 화재 불꽃의 시각적 특징들을 확률적인 멤버십 함수로 모델링하고 이를 퍼지 유한상태 오토마타에 적용한 새로운 화재 불꽃 감지 알고리즘을 제안한다. 먼저 입력된 영상에서 배경모델을 이용하여 움직임 영역을 추출하고 불꽃 색상 모델을 적용하여 최종 화재 후보 영역을 결정한다. 불꽃영역은 일반적으로 연속적이며 불규칙한 패턴을 가지고 있으므로 명도와 웨이블릿 에너지의 왜도 값과 모션의 상승 방향성을 이용하여 확률모델을 생성하고 이를 퍼지 유한상태 오토마타에 적용한다. 퍼지 유한상태 오토마타는 오토마타의 성능과 퍼지 로직이 결합된 형태로 컴퓨터 시스템에서 불확실한 문제뿐 아니라 연속적인 공간에서 발생하는 문제를 처리하는 시스템적인 접근법을 제공한다. 제안된 알고리즘은 다양한 화재 영상에서 성공적으로 불꽃을 감지하였고 다른 알고리즘에 비해 더 좋은 성능을 보여주고 있다.

• 한국건설관리학회논문집
• /
• 제6권4호
• /
• pp.164-171
• /
• 2005

최근 생애주기비용 분석의 중요성이 대두됨에 따라 공동주택 리모델링 사업에서의 생애주기비용 분석을 위한 이론적 모델, 표준지침 및 소프트웨어 등이 개발되어지고 있다. 그러나 현재까지도 실질적인 안전진단에 대한 과거 보수이력데이터의 부재로 인한 LCC분석 결과에 대한 신뢰수준이 여전히 미흡하다. 본 연구에서는 사례 공동주택의 신뢰성에 기초한 LCC분석을 통해 리모델링 전략을 평가하고, 장래 요구되는 리모델링 조치수준의 비교 $\cdot$ 분석을 통해 적정 경제성지수를 제시함과 동시에 최근 연구가 활발히 진행 중인 공동주택 리모델링에 대한 실적 LCC 기초자료를 얻고자 하였다. 본 연구에서 제안된 퍼지로직에 기초한 안전성평가와 LCC분석모델은 공동주택 리모델링사업에서의 가치 지향적 설계대안 선정, 경제성평가 및 합리적인 예산의 분배 등에 크게 기여할 것으로 기대된다.

• 한국항해항만학회지
• /
• 제28권3호
• /
• pp.227-232
• /
• 2004

차량동역학제어시스템은 복잡하고 비선형이므로 잠금방지 제동시스템 및 자동주행시스템 개발에 어려움이 있다. 차량절대속도를 추정하기 위해 퍼지 로직 기법이 최근 적용되어 정상적인 조건에서 만족할 만한 결과를 얻고 있다. 그러나 급격한 제동시 추정오차가 크게 발생되었다. 본 논문에서는 휠 속도 센서를 이용하여 무인 컨테이너 운송차량의 절대속도를 추정하기 위해, 뉴럴 네트워크 모델의 방사대칭 기저함수와 주성분 분석법을 적용하여 10개의 추정 알고리즘중 오차를 4％ 이내로 추정할 수 있는 알고리즘을 제시하였다.

• 한국산학기술학회논문지
• /
• 제14권4호
• /
• pp.1555-1560
• /
• 2013

칼럼 타입의 전동조향장치(MDPS) 시스템은 차량 안전성과 연료 효율 향상을 보장하기에 승용차에 보편적으로 장착하고 있다. 시스템 해석과 제어기 개발을 위해서는 보통 Mechanical Simulation사에서 제작한 CarSim 프로그램과 매트랩 시뮬링크의 두 프로그램을 이용하여 제어 알고리즘과 차량 모델이 결합되어 하나의 시스템처럼 동시에 동작하도록 시뮬레이션을 수행한다. 매트랩 시뮬링크의 MDPS 제어 시스템과 완전 차량 모델의 동시시뮬레이션 기술개발에 대한 구체적이 방법이 소개된 적이 없기에 본 연구에서 상세히 소개하기로 한다. 본 연구에서는 사인 파형의 조향핸들입력을 이용한 시뮬레이션 결과가 보여 지고 실험결과와 잘 비교되었다. 이러한 동시시뮬레이션 기술은 차량의 핸들링 성능 평가나 CMDPS 평가 수행 및 로직 튜닝을 위해 효과적으로 사용될 수 있다.

• 한국항공우주학회지
• /
• 제43권2호
• /
• pp.166-171
• /
• 2015

본 논문에서는 무인항공기 비행제어 소프트웨어 개발에 있어 개발위험 감소 및 개발기간 단축을 위해 최근 다양한 분야에서 사용중인 모델기반 개발기법을 이용하여 OFP를 설계하였다. 또한 Simulink 내부의 Model Advisor기능을 활용하여 DO-178C 지침항목에 대한 검사를 수행하였다. 설계된 Simulink 비행제어 로직을 자동코드생성 기법을 이용하여 32비트 DSP 기반의 비행제어 시스템에 적용하였으며, 비행시험에 앞서 X-Plane 시뮬레이터를 이용하여 HILS 환경을 구축하고 다양한 기상 환경속에서 모의 비행시험을 수행함으로써 그 성능을 검증하였다.

• 정보처리학회논문지D
• /
• 제9D권4호
• /
• pp.619-628
• /
• 2002

소프트웨어 부품화는 소프트웨어 개발에 있어서의 궁극적인 목표이다. 컴포넌트 기반의 개발은 이러한 재사용의 초점을 코드에 의한 수동적인 조작이나, 클래스 라이브러리보다 발전된 형태인 컴포넌트에 초점을 두고 있다. 컴포넌트 구축은 컴포넌트 모델에 적합한 새로운 소프트웨어 컴포넌트를 재개발 해야하는 비효율성으로 인해 추가적인 노력과 비용을 야기 시킨다. 최근 많이 사용되고 있는 자바 응용시스템의 경우 자바 언어 기반의 컴포넌트 모델이 존재하지만, 소규모의 재사용 단위나 제한된 GUI 컴포넌트 개발에만 머무르고 있어, 컴포넌트로의 기능을 충분히 발휘하지 못하거나 추가적인 비용, 노력이 필요하며 또한 특정 도메인 컴포넌트에서만 제한적이다는 단점이 있다. 따라서, 본 논문에서는 기존의 자바로 개발된 응용시스템을 기반 하여 자바의 컴포넌트 모델인 자바빈즈를 적용하기 위해, 컴포넌트를 확장 추출하고, 재사용단위로서 비즈니스 로직의 부분적인 수용을 통해 이 응용시스템에서의 자바빈즈로 변환하는 프로세스를 제시하고 알고리즘을 제안한다.