• 재무관리연구
• /
• 제9권2호
• /
• pp.271-293
• /
• 1992

연구에서는 해외기업 인수의 생존전략가설(生存戰略假說)(Shapiro,1989)을 $1986{\sim}1991$년까지 해외기업을 인수한 30개 국내 인수기업의 주식수익률 자료를 이용하여 검증하였다. 해외기업 인수에 관한 정보의 공시가, 전체표본(全體標本)의 경우, 국내 인수기업의 주식가격에 중립적이거나 혹은 부정적인 효과를 가져다 주었다. 또한, 국내 인수기업중에서 외국기업을 인수해야 할 긴박성의 정도에 따라 전체표본을 성장기업(成長企業)과 한계기업(限界企業)으로 분리하여 각 표본을 대상으로 인수에 관한 정보의 공시가 주가(株價)에 미치는 효과를 분석하였다. 소표본의 분석 결과에 따르면, 성장기업의 경우는 초과수익률이 통계적으로 0에 가까운 중립적인 반응을 보였으며, 한계기업의 경우는 통계적으로 유의한 마이너스 초과수익률을 나타내어 생존전략 가설을 확인시켜 주었다. 따라서, 국내기업에 의한 해외기업 인수는 국제화를 통해 초과수익을 추구하기 위한 전략이라기 보다는, 국내 및 국제시장에서 살아남기 위한 생존전략의 한 방안으로 추진된다고 결론지을 수 있다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제26권2호
• /
• pp.263-272
• /
• 1999

기능 분해는 복잡한 시스템을 이해하기 위해 광범위에게 사용되는 시스템 모델링 기술이다. 기능 분해는 문제 영역을 기능별로 분해하는 데 그 기반을 두고 있으며 , 이는 시스템의 기능에 대한 식별을 전제로 한다. 일반적으로 시스템의 기능에 대한 식별은, 분석가에 의해 어떠한 조직적인 지침없이 비정형적으로 수행되는 것이 관례였다. 따라서 이러한 기법을 이용하면 시스템을 분할하거나 시스템의 기능을 올바르게 식별하기가 매우 어렵다. 본 논문은 이러한 기능 분석에 대해 use case을 이용한 기법을 제안하고자한다. 본 기법의 장점은 크게 두가지로 요약할수 있다. 첫째, 시스템의 분할과 기능에 대한 식별이 전통적인 기법보다 더 용이하다. 둘째, 시스템의 요구사항과 구현이 사용자에 의해 쉽게 검증될 수 있다. 본 기법은 하향식으로 이루어져, 구조적 분석과 같이 보편화된 기능 분석 기법들과 자연스럽게 병합될 수 있다. 본 논문은 이를 위해 use case의 식별, 그리고 이를 이용한 기능 분해를 단계적 과정과 가이드라인을 통해 설명하고, 이를 특정 에플리케이션에 적용하여 그 유용성을 입증한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 한국컴퓨터종합학술대회 논문집 Vol.32 No.1 (B)
• /
• pp.334-336
• /
• 2005

본 논문은 정형 명세 언어인 Esterel이 가지는 취약점을 보안하기 위해 Safety-Critical Aided Development Environment를 추가로 활용하여 신뢰성 있고 안전적인 임베디드 제어 소프트웨어 개발을 위한 기법을 제시하고 있다. 그 뿐만 아니라 제시한 기법을 이용하여 개발된 간단한 자동 강속 제어 소프트웨어를 인터페이스와 기능 부분에 대해서 각각 확인 및 검증을 수행한 후 임베디드 시스템인 레고 마인드 스톰으로 제작된 차량 로봇에 탑재한 후 실험을 하고, 실험을 통해 기존 개발 기법과의 차이점을 분석한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (2)
• /
• pp.349-351
• /
• 2003

Statecharts는 UML에서 시스템의 행위를 표현하기 위한 핵심적인 언어로서 다양한 분야에 응용되고 있다. 그 의미론은 수학적인 방법으로 기술되어 있으나 실제로 응용하여 구현하는데에는 상당히 많은 과정을 거쳐야 한다. 본 논문에서는 UML Statecharts와 유사한 언어인 SyncCharts로 정의한다. SyncCharts는 Esterel의 정형명세 언어에 기반한 도식적인 언어로서 그 의미론은 물론 내장형 시스템의 코딩을 위해 잘 정의되고 진화된 언어이다. 본 논문에서는 SyncCharts를 이용하여 Statecharts의 의미론을 정의한다. 특히 실시간적인 행위 측면에서의 동기적 시간 의미론과 비동기적 시간 의미론을 모두 정의한다. 이렇게 함으로써 UML Statecharts의 실시간과 관련된 의미론을 정의한다. 그에 더하여 SyncCharts의 명세를 통해 어떻게 구현이 가능한지를 보임으로서 실제 Statecharts를 이용한 검증 및 구현 과정을 보인다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2010년도 한국컴퓨터종합학술대회논문집 Vol.37 No.1(B)
• /
• pp.148-152
• /
• 2010

열차제어 시스템은 안전필수 시스템으로 고신뢰성과 고품질이 요구되고 있다. 열차 제어 시스템 개발 과정에서 요구 사항 분석에 따라 결정되는 설계 사항의 경우 여러가지 요소들이 고려된다. 본 논문에서는 정형 요구 명세와 검증을 거쳐 제안된 설계 사항들을 하나의 패턴으로 정의하고, 시스템 개발 주기를 고려한 안전필수 시스템 설계단계에서 활용하는 프레임워크를 제안한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2001년도 춘계학술발표논문집 (상)
• /
• pp.519-522
• /
• 2001

바람직한 비즈니스 룰의 기본은 어디에 어떠한 형태로 구현되더라도 유일하고, 일관적인 모델 이여야 한다는 것이다. 또한 비즈니스 룰 자체의 정립은 의사결정 시스템을 사용함으로써 경영 전략이 바뀌어도 시스템 담당자에게 의뢰할 필요 없이 기획자가 바로 코드 값만 변경시키면 기존의 시스템을 그대로 사용할 수 있을 정도의 유연성을 가지게 된 현실에 비추어 볼 때 매우 요원한 일이다. 즉, 비즈니스 룰은 DRM(Digital Rights Management) 시스템뿐만 아니라 e-CRM을 실현하는 모든 시스템에서 사용되며, 이 비즈니스 룰의 충돌로 인해서 시스템의 작동 여부가 결정될 수 있다. 룰 자체가 자연어로 기술되고 언젠가는 모순을 유발할 가능성이 높기 때문에 먼저 명확한 논리식으로 표현하고 LEGO라는 정형기법 도구를 통해 검증하도록 한다.

• 한국전자통신학회논문지
• /
• 제11권12호
• /
• pp.1209-1218
• /
• 2016

4대의 전동실린더를 이용하여 대형 유리판과 같은 부하를 신속하고 안전하게 이송하기 위해서는 동기오차가 허용된 범위 내에서 지속적으로 유지되어야 한다. 본 연구에서는 4대 이상의 전동실린더 간의 동기화에 적용 가능한 동기제어기법이 제안된다. 이 동기제어시스템은 디커플링 구조에 기반을 두고 있으며, 기준모델, 위치제어기 그리고 동기제어기로 구성된다. 기준모델은 각각의 실린더에 대해 상호 분리된 동기오차와 제어입력의 계산이 가능하도록 한다. I-PD형의 위치제어기는 각 실린더가 오버슈트와 입력포화를 일으키지 않고 지령을 추종하도록, 그리고 진상보상기형의 동기제어기는 루프정형을 통해 안정적으로 정밀한 동기가 되도록 설계 된다. 끝으로 토크외란이 인가된 상태에서도 4개의 실린더가 신속하고 안정적으로 동기를 유지하면서 목표지점에 도달됨을 시뮬레이션으로 검증한다.

• 대한기계학회논문집A
• /
• 제39권5호
• /
• pp.473-482
• /
• 2015

최근 과학 기술의 발전으로 첨단 자율 기능을 탑재된 차량의 출현이 가능하게 되었으며, 기존 차량에 추가된 첨단 운전자 지원 시스템(Advanced Driver Assistance Systems: ADAS)은 기존 차량에 추가된 이러한 자율 시스템들의 좋은 예라 할 수 있다. 이러한 시스템은 다수의 작동 모드를 가지는데 운전자들이 현재 수행중인 작동 모드를 잘못 인지하게 되면 교통사고가 일어날 수 있음이 관찰되고 있다. 본 연구에서는 적응 순항제어(Adaptive Cruise Control: ACC) 시스템을 장착한 자동화된 자동차의 운전자 인터페이스를 설계하고 이를 정형 기법을 통한 분석과 피실험자를 이용한 실험을 통해 모드 혼동 발생 여부를 검증하고 이를 개선하는 연구를 수행하였다. 이를 통해 모드 혼동을 방지하기 위해서는 시스템에 대한 심성 모델의 정확성과 간결성뿐만 아니라 인터페이스 구현시 디스플레이의 명확성이 또한 매우 중요하다는 것을 확인하였다.

• 대한정형외과스포츠의학회지
• /
• 제2권1호
• /
• pp.50-55
• /
• 2003

목적: 플라이오메트릭 훈련이 하지 슬관절의 굴곡과신전, 족관절의 배측굴곡과 족저굴곡의 등속성 총일량에 미치는 영향의 정도를알아보며이훈련법의효과검증을위해시도되었다. 대상및방법: 선택된 플라이오메트릭훈련 방식은 7가지로pike jump, double leg hop, double leg bound, single leg hop, stride jump cross over, alternate leg bound, box jump로구성되었다. 연구대상자는20 $\~$22세사이의대학생으로, 훈련시행군(N=5), 대조군(N=4)으로8주간 시행하고 훈련 전후 등속성 장비를 이용하여 슬관절과 족관절의 등속성 총일량을 측정하였다. 결과: 플라이오메트릭 훈련을 시행한군에서 높은 각속도의 슬관절과 족관절 운동의 총일량이 대조군에 비하여 증가하였다(p<0.05) .결론: 결과적으로 플라이오메트릭 훈련은 하지슬관절과족관절의등속성 총일량에 부분적으로영향을미치는것을알수있으며, 더나아가운동수행에도영향을미칠수있는것을의미한다.

• 정보기술응용연구
• /
• 제3권4호
• /
• pp.63-92
• /
• 2001

1970대 이후 CASE 도구들은 꾸준히 발전되어 오고 활용은 보편화되고 있다. 많은 CASE 도구들은 보다 확대된 기능을 제공하기 위하여 통합되고 연계되고 있다. 한편 E-R 모델은 모델링 도구로서 널리 사용되고 있으며 대부분의 CASE 도구들이 E-R 모델을 지원하고 있다. 본 연구에서는E-R 모델에 내재한 여러 가지 특성과 응용시스템의 기본 요소들 사이에 관계를 설정하고 이를 이용하여 응용시스템을 자동적으로 생성할 수 있는 방법을 제시한다. 먼저 E-R 모델로부터 일정한 규칙에 의해 업무 프로그램, 프로그램간의 링크, 지속적 데이터 등으로 구성된 정형적 응용시스템이 생성된다. 정형적 시스템은 이용자를 위한 인터페이스 설계를 거쳐 최종적인 응용시스템으로 생성된다. 본 연구에서는 제안된 자동생성과정의 실현가능성을 가상의 시스템을 대상으로 검증해 본다. 본 연구에서 제안된 응용시스템의 자동생성 방안은 CASE 도구들의 모델링 기능과 코드 생성 기능을 연계하고 통합할 수 있는 하나의 대안을 제시할 것으로 기대된다. 동시에 종래에 데이터모델링 도구로서 주로 인식되어 온 E-R 모델에 관한 연구를 응용시스템 전체에 대한 모델링의 관점으로 확대할 수 있을 것으로 기대된다.