• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06b
• /
• pp.38-43
• /
• 2008

특성 모델(Feature Model)은 소프트웨어 제품 라인 개발 시 도메인 공학 단계에서 제품들 사이의 공통점과 차이점을 모델링하는데 널리 사용된다. 특성 구성(Feature Configuration)은 특성 모델로부터 특정 제품에 포함될 특성들을 선택한 결과이다. 특성 구성은, 특성 모델에 표현되어 있는 여러 가지 제한 조건을 만족해야 한다. 본 논문에서는 특성 모델 작성 기능과 특성 구성 정의 기능을 지원하고 특성 구성의 검증 기능을 지식 기반 시스템인 JESS를 활용하여 구현한 특성 모델링 도구를 제안한다. 본 도구는 자바 언어와의 결합성이 좋은 JESS 시스템을 이용하여 확장성이 좋으며 특성 구성에서의 오류 원인을 명확히 알려주는 장점을 가진다.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.13 no.12
• /
• pp.5704-5708
• /
• 2012

In this paper, the algorithm to determine the optimal condition of traverse grinding is proposed by using differential evolution algorithm(DEA). The cost function to determine the optimal grinding condition is designed with considering process cost, production rate, surface roughness. Also, the constraint conditions for grinding such as thermal damage effect, machine tool stiffness, wear parameter of grinding wheel, surface roughness are considered. The algorithm is implemented with LabView software which is widely used at the industrial field. The performance of proposed algorithm is verified by comparing with the result of genetic algorithm(GA) through computer simulation.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06d
• /
• pp.381-383
• /
• 2012

식물재배용 인공광 최적 배치에 따른 균일한 조도 분포는 고품질의 식물 생산을 가능하게 한다. 그러나 기존에 상용화된 식물재배시스템의 경우, 인공광 배치에 따른 조도 분포 시뮬레이션 등의 전처리 과정이 생략된 채 제작되어 생산 품질의 편차를 초래하는 문제점을 가지고 있다. 이에 본 논문은 식물재배단의 광 균일도 향상을 위해 조명 설계 소프트웨어인 Relux를 이용하여 LED 조명장치의 높이, 간격 등의 배치를 달리함에 따라 변화하는 각 재배단의 조도 분포 및 균일도, 그리고 전체 에너지 소비량 등을 사전에 시뮬레이션 함으로써 대상 식물재배에 적합한 조명장치의 최적 위치를 파악하고자 한다. 또한, 포터블 조도측정기를 이용하여 재배단의 각 식물의 위치를 기준으로 실 측정한 결과 데이터와 비교 분석 과정을 거쳐 본 시뮬레이션 결과의 신뢰도를 입증하고자 한다.

• Proceedings of the Korea Contents Association Conference
• /
• 2007.11a
• /
• pp.607-610
• /
• 2007

시스템 개발방법론은 소프트웨어 생성을 위한 개발 단계를 정의하고, 활동, 산출물, 검증 절차, 각 단계의 완결 조건을 명시하는 체계적인 방법으로 정의할 수 있다. 정보시스템의 대형화, 복잡화, 분산화 추세에 따라서 표준화된 개발방법론에 대한 관심이 국내에서도 급속히 증가하고 있다. 정보기술의 발전에 따른 신기술의 계속적인 수용과 사용자 요구사항의 변화의 수용, 시스템 개발의 생산성과 품질의 보증을 위해서는 개발방법론과 개발도구의 활용이 필수적이다. 최근 많은 관심을 보이고 있는 마르미(Magic and Robust Methodology Integrated)와 RUP(Rational Unified Process)을 비교 분석하고자 한다.

• Journal of KIISE:Software and Applications
• /
• v.37 no.1
• /
• pp.54-59
• /
• 2010

Special-purpose microcontrollers PLCs have been widely used in the area of industrial automation. For the research of analysis and verification for PLC programs, first of all we have to specify formal sematics of PLC programming languages. This paper defines formally the operational semantics of LD language. After we transform the graphical language LD into its textual representation Symbolic LD, we give semantics of Symbolic LD since LD language is a graphical language. This paper defines the natural sematics of Symbolic LD and formalizes it in Coq proof assistant.

• Journal of Intelligence and Information Systems
• /
• v.3 no.1
• /
• pp.111-142
• /
• 1997

정보 시스템 대한 유지 보수 문제는 소프트웨어 유지 보수 분야에서 지속적으로 존재하는 문제 중의 하나이며, 특히 이러한 정보 시스템들이 아주 오래 전에 COBOL이나 계측형 데이터베이스와 같은 기술을 바탕으로 개발되었음에도 불구하고 대부분의 조직에서 중요한 역할을 담당하고 있는 것이 현실이다. 따라서 이들 정보 시스템에 대한 효율적이고, 신속한 유지 보수는 조직에 있어 매우 중요한 업무임에도 불구하고, 대부분의 조직에서 이를 제대로 수행하고 있지 못하다. 체계적이고 효과적인 정보 시스템에 대한 유지 보수업무 수행을 위해 본 연구에서는 과거 유지 보수 사례를 이용하여 사례 지식을 축적할 수 있는 유지보수 사례의표현 방법 및 유사성 평가 방법과 이를 바탕으로 새로운 유지보수 요구에 적합한 과거 사례와 유지보수 대상 코드를 제안해 주는 사례 기반 유지 보수 대상 인식 방법론을 제시하였다. 이들 제안된 방법들의 타당성과 성과는 한국전력의 실제 정보 시스템을 대상으로 검증되었으며, 현장 업무에 적용되고 있다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2007.06a
• /
• pp.584-587
• /
• 2007

PCS를 비롯하여 WLAN, DMB, W-CDMA, UWB 등의 무선통신 서비스가 증가함에 따라 안테나 동작 대역폭의 광대역화가 더욱 요구된다. 1/4 파장 선형 모노폴 안테나는 구조가 간단하고 전방향성을 갖는 복사특성으로 인하여 가장 널리 사용되는 안테나 중의 하나이다. 모노폴 안테나의 광대역화를 위해서 일반적으로 원통의 직경을 증가시키는 방법을 사용하지만, 평면 모노폴에 적용된 스텝 기법을 적용하여 광대역 특성을 얻을 수 있다. 그러나 스텝 모노폴 자체는 광대역 특성을 나타내지 않으며, 접지면에서도 일정 형태의 스텝 돌출부위가 필요하게 된다. 본 논문에서는 그라운드면의 볼록 계단 구조가 모노폴 안테나의 대역 특성에 미치는 영향을 분석하여 최적의 안테나 급전구조를 도출하고자 한다. 결과의 검증을 위해서 소프트웨어 시물레이션 및 측정결과를 제시한다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2012.05a
• /
• pp.99-101
• /
• 2012

산업현장에서 최종 생산품의 신뢰성 검증단계에 사용되는 PC기반 테스트 장비들은 생산제품의 특성에 따라 인위적인 과전압 인가, 고/저온 테스트, 잦은 강제 셧다운 등 많은 스트레스로 인해 잦은 고장과 오동작을 일으킨다. 테스트 장비의 고장은 생산성 저하와 직결됨으로 신속한 고장원인의 파악을 위한 진단 시스템이 요구된다. 본 논문에서는 테스트 장비의 하드웨어 상태를 효율적으로 진단할 수 있는 하드웨어와 지식정보기반 진단결과의 분석을 통한 오류원인 및 불량파트의 범위를 줄여줄 수 있는 분석 소프트웨어를 제안한다.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• v.2
• /
• pp.39-44
• /
• 2006

현재 조선산업은 선박의 대형화 추세에 맞추어 선체블록 규모가 대형화되고 있다. 따라서 대형 선체블록제작을 위한 블록전문업체가 증가하고 있으며, 그에 따른 블록조립 및 정도계측기술 개발이 절실히 요구되고 있다. 이에 본 연구에서는 그간 수행해온 블록계측과 관련된 각종 데이터베이스를 구축하고, 시스템 기능구현에 핵심 기술인 소프트웨어 개발 기법, 정보 가시화 기법을 제시하고 이를 이용한 인터페이스를 개발하여 본 시스템의 구성요소를 유기적으로 연결하여 사용하는 과정을 시연함으로써 블록조립 정도평가 시스템의 유용성과 기능을 검증하였다.

• Proceedings of the KIEE Conference
• /
• 2005.11b
• /
• pp.6-8
• /
• 2005

본 논문은 펄스 삽입 보조 회로를 갖고 있는 12-펄스 브리지 4대를 사용한 36-펄스 back-to-back 전압원 컨버터를 제안한다. 제안된 back-to-back 전압원 컨버터는 교류 연계점에서 유효전력과 무효전력의 독립적인 제어가 가능하다. 펄스 수를 증가하는 원리는 이론적 접근을 사용하여 분석되었다. 제안된 시스템의 동작 타당성은 PSCAD/EMTDC 소프트웨어의 시뮬레이션을 통해 검증되었다. 제안된 back-to-back 전압원 컨버터는 HVDC와 FACTS 장치로 널리 사용될 수 있다.