• 제목/요약/키워드: combat effectiveness

검색결과 147건 처리시간 0.022초

추상 시간 기계를 이용한 실시간 시스템의 도달성에 대한 검증 방법 (A Method to Verify the Reachability of Real-Time Systems using Abstract Timed Machines)

  • 박지연;이문근
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제28권3호
    • /
    • pp.224-238
    • /
    • 2001
  • 본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템을 검증하기 위한 방법을 기술한다. ATM은 임무 위급 시스템인 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법이다. ATM은 모드와 전이, 포트로 구성되어 있으며 모드는 머신의 압축된 상태를 표현한다. 전이는 하나의 모드에서 다른 모드로의 전환을 나타내며 조건과 이벤트로 구성되어 있다. 포트는 ATM간의 상호작용을 위한 진입을 표현한다. 다른 정형기법과 비교하여 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. 역공학 측면에서 볼 때 ATM은 계산 논리뿐만 아니라 실시간 시스템의 실제 소스코드에 있는 설계나 환경정보를 표현할 수 있다. 이러한 목적을 위해 ATM의 모드는 계산모드, 추상화 모드, 주제모드로 구분된다. 계산 모드는 코드 상에서의 논리와 계산을 나타내며 추상화 모드는 모드와 전이의 블록을 하나의 ATM으로써 표현한다. 대개의 경우, 이것은 코드 상에서의 블록을 ATM내 하나의 모드로 나타낼 때 사용한다. 주제 모드는 예외나 주기적 동작 등과 같은 다수의 ATM의 주제를 표현한다. 실시간 시스템을 검증하기 위해 시스템의 소스 코드는 역명세 과정을 통하여 ATM으로 표현된다. 검증은 ATM에 대한 도달성 그래프를 생성하는 것에 의해 수행된다. 도달성 그래프는 상태와 시간을 추상화되고 압축된 형태로 표현할 수 있으며 그 결과 시간 속성을 지닌 상태 공간을 감소시킬 수 있다. 또한 시스템의 교착상태를 쉽게 발견할 수 있다. 본 논문은 ATM과 실행 모델, 도달성 그래프, 검증을 위한 속성 등을 기술하며 이들을 다른 정형 방법들과 예제를 통하여 비교한다.수 있다. 모피우스는 헤더나 광고와 같은 불필요한 정보들을 제거하는 별도의 단계를 거치지 않으므로 wrapper를 빠르게 생성한다. 궁극적으로 모피우스는 새로운 웹 상점을 사용자가 자유롭게 추가, 삭제할 수 있는 환경을 제공한다.X>와 반응시킬 경우에는 반응식 c에 의거 진행됨을 예측할 수 있었다.의거 진행됨을 예측할 수 있었다.이 거의 산화되지 않았고, $700^{\circ}C$에서도 ZnS와 ZnO 상이 공존한 것으로 보아 SnO$_2$코팅이 ZnS의 산화를 억제하는 것으로 나타났다.pplied not only to the strike system in the RSC circle, but also to the logistics system in the SLC circle. Thus, the RSLC model can maximize combat synergy effects by integrating the RSC and the SLC. With a similar logic, this paper develops "A Revised System of Systems with Logistics (RSSL)" which combines "A New system of Systems" and logistics. These tow models proposed here help explain several issues such as logistics environment in future warfare, MOE(Measure of Effectiveness( on logistics performance, and COA(Course of Actions)

  • PDF

OneSAF 모델을 위한 명중률 데이터 변환 방법 (A Study on Converting the Data of Probability of Hit(Ph) for OneSAF Model)

  • 김건인;강태호;서우덕;변재정
    • 한국시뮬레이션학회논문지
    • /
    • 제29권3호
    • /
    • pp.83-91
    • /
    • 2020
  • OneSAF 모델의 활용이 본격화될 것으로 판단되는 현재 시점에서 가장 중요한 요소는 입력 데이터의 확보이다. 특히 모델 운용자들이 가장 결정하기 어려운 입력 데이터는 명중률과 살상률 데이터이다. 이러한 데이터들은 개발시험평가와 운용시험평가 기간 중에 실시되는 실사격 실험들을 통하여 결정되므로 많은 자원과 시간이 소요된다. 따라서 상대적으로 효율적이면서 비교적 정확한 방법들이 필요하다. 본 논문에서는 명중률 데이터를 확보할 수 있는 가능한 방안들을 검토하고, 방안별로 어떻게 데이터를 산출할 것인가에 대한 방법론을 소개하였다. 먼저 JMEM 도구들을 사용하여 산출된 결과로부터 OneSAF 모델의 명중률 데이터로 변환하기 위하여 필요한 방법을 제시하였다. 다음은 기존의 분석용 모델인 AWAM 모델에 입력 데이터로 존재하는 %로 표시된 명중률 데이터를 오차(mil)형태로 변환하는 방법인 오차요소법을 적용할 수 있음을 보였다. 더불어 소개된 오차요소법을 사용하여 명중률을 산출한 결과를 수행하였다. 오차요소법을 사용하여 공개된 사진 자료로부터 투사면적을 계산하여 보다 정확한 명중률을 계산하였다. 최종적으로 정확한 명중률 산출의 중요성을 명중률이 전투효과에 미치는 민감도 분석을 실시하여 입증하였다. 본 논문에서는 명중률 데이터 결정의 중요성과 꾸준한 명중률 데이터의 수집 및 분석으로 M&S 체계의 신뢰성이 향상되어야 하는 것을 강조하였다.

에이전트 기반 유·무인 수색정찰 전술행위 모델링 및 분석 (Agent-based Modeling and Analysis of Tactical Reconnaissance Behavior with Manned and Unmanned Vehicles)

  • 김주연;한상우;변재정
    • 한국시뮬레이션학회논문지
    • /
    • 제27권4호
    • /
    • pp.47-60
    • /
    • 2018
  • 오늘날 여러 산업분야에서 활용되고 있는 무인화기술은 자율기술이 성숙함에 따라 장기적으로는 인공지능차원의 자율판단이 가능한 수준으로까지 발전할 것으로 예상된다. 군사 분야에 있어 무인체계의 활용성을 높이기 위해서는 사람이 수행하던 임무를 무인체계가 대신함에 따른 효율성 및 효과의 정도를 체계적 정량적으로 분석하기 위한 기법 개발이 요구된다. 이에 본 논문에서는 유 무인체계가 혼합 편성된 미래 기갑수색부대가 수색정찰 임무계획 수립 시 대두되는 수색경로 대안을 효과적으로 분석할 수 있도록 전술행위를 규칙기반(rule-based)으로 표현하고, 유 무인 수색정찰 에이전트를 모델링하는 방법을 제안한다. 먼저, 기갑수색부대의 무인차량, 소형전술차량, 전투원 등 전투개체를 에이전트 개념으로 모델링하고, 각각의 기동, 탐색, 전투원 하차지점 선정, 경로선정 등을 행동규칙화 하여 NetLogo를 이용해 구현한다. 제안한 모델은 작전지역 내 기동로 여건, 적 위협 요소, 정찰자산 등을 고려하여 적정 경로를 선정하고, 경로상의 정찰면적, 정찰소요시간, 작전효과(기여도) 등의 산출이 가능하여, 향후 지상무인체계 효과 분석 시 다양한 목적으로 활용될 수 있을 것으로 기대된다.

공방동시통합작전 구현을 위한 종심작전 효과분석 연구 (A study on Deep Operations Effect Analysis for Realization of Simultaneous Offense-Defence Integrated Operations)

  • 조정근;유병주;한도헌
    • 한국산학기술학회논문지
    • /
    • 제22권6호
    • /
    • pp.116-126
    • /
    • 2021
  • 지상작전사령부는 지상작전수행개념인 "결정적 통합작전" 구현을 위해 작전계획 및 작전수행체계 발전을 지속해서 추진하였고 괄목할 만한 성과를 거두었다. 특히 전쟁 초기부터 공격과 방어를 동시에 실시하여 종심지역의 적을 무력화시켜 아군에게 유리한 여건을 조기에 조성하기 위한 "공방동시통합작전"을 중점적으로 발전시켰다. 그러나 기존의 M&S 체계만으로는 종심작전 효과분석이 제한되어 지휘관에게 과학적이고 합리적인 의사결정 지원이 불가하였다. 본 연구의 목적은 전장관리체계에서 사용 가능한 종심작전 효과분석 모델을 개발하는 것이다. 이를 위해 먼저 종심작전 수행 구성요소인 감시, 물리적타격, 비물리적타격 효과분석에 관한 선행연구를 하여 각각의 특징 및 제한사항을 고찰하고 연구 방향을 제시하였다. 다음으로 전·평시 지구사에서 생산되는 데이터를 활용하여 구성요소 간 상호작용이 반영된 종심작전 효과분석 방법론을 제시하였고, 전투실험 및 자료수집 등을 통해 분야별 입력데이터를 산출하였다. 최종적으로 종심작전효과예측모델 (DECAM)을 구현하고 지구사 및 군단 전투참모단에 배포하여 연합연습 간 활용하였다. 본 연구를 통해 효과분석 방법론 및 개발된 모델의 유용성을 확인할 수 있었으며 지구사 및 군단의 종심작전 수행능력 발전에 기여할 수 있었다.

하이브리드형 임무계획을 고려한 군집 무인수상정 시뮬레이션 시스템의 연동 인터페이스 설계 및 구현 (Design and Implementation of Interface System for Swarm USVs Simulation Based on Hybrid Mission Planning)

  • 박희문;주학종;서경민;최영규
    • 한국시뮬레이션학회논문지
    • /
    • 제31권3호
    • /
    • pp.1-10
    • /
    • 2022
  • 국방 분야는 아군 피해를 최소화하고 전투 효과를 향상하기 위해 무인 시스템을 운용한다. 해군의 무인수상정(USV, Swarm Unmanned Surface Vehicle)은 통신범위 내 군집 형성과 USV 간의 상황인식 정보공유를 통해 임무를 수행한다. 본 논문은 무인수상정의 내부 연동 및 외부 연동을 위한 인터페이스 연동어댑터 시스템(IAS, Interface Adapter System)을 제안한다. IAS는 USV의 자율운항 경로생성과 무장할당을 계획하는 임무계획 부체계(MPS, Mission Planning Subsystem)의 타 부체계 간 연동을 담당하며, 주요 기능은 MPS와 타 부체계 간 인터페이스 데이터를 실시간으로 교환하는 것이다. 이를 위해, MPS의 기능 요구사항과 연동 메시지를 식별 및 분석하였고, 실시간 분산처리 미들웨어를 활용하여 IAS를 구현하였다. 실험은 군집 USV 시뮬레이션 환경을 통한 다수의 통합시험을 수행하였으며, 지연시간과 연동 메시지 손실률을 측정하였다. 그 결과, 제안한 IAS는 MPS와 타 부체계 간 성공적인 가교역할을 수행할 것으로 기대한다.

다문화 장병 증가에 따른 조직관리 및 정책적 발전방안 연구 (Study on Organizational Management and Policy Development in Response to Increasing Multicultural Soldiers in Korean Military)

  • 김지연;이경행;박상혁
    • 문화기술의 융합
    • /
    • 제10권4호
    • /
    • pp.419-423
    • /
    • 2024
  • 한국 사회는 국제결혼과 외국인 근로자 유입으로 다문화 가정이 급속히 증가하고 있으며, 이에 따라 다문화 가정 출신 자녀들의 군 입대도 늘어나고 있다. 2030년에는 연간 1만 명 이상의 다문화 가정 출신 장병이 입대할 것으로 전망된다. 이는 저출산으로 인한 병력 자원 감소 문제를 완화하고 군의 문화적 다양성을 제고하는 기회가 될 수 있다. 그러나 군 내 다문화 인식 부족과 차별 요소는 다문화 장병들이 건강한 군 생활을 영위하는 데 어려움을 초래할 수 있다. 본 연구는 대한민국 군의 다문화 현상을 분석하고, 다문화 장병의 안정적 복무와 건전한 병영문화 조성을 위한 발전 방안을 모색하는 것을 목적으로 한다. 이를 위해 다문화주의와 군대 내 다양성에 대한 이론적 배경을 살펴보고, 해외 다문화 군대 운영 사례를 분석한다. 또한, 다문화 장병 관리 방안으로 리더십 및 조직문화 혁신, 다문화 교육 및 인식개선 프로그램, 맞춤형 지원체계 구축을 제안하며, 대한민국 군의 다문화 정책 실효성을 높이기 위한 제도적 개선 방향을 제시한다. 다문화 장병의 성공적인 군 생활을 지원하는 것은 군의 전투력 향상과 한국 사회의 다문화 수용성 제고에 기여할 수 있을 것이다.

경제사상의 변화 (공급측면 경제학의 시험) (The changes of economic though (The trial of supply-side economics))

  • 서홍석
    • 한국관광식음료학회지:관광식음료경영연구
    • /
    • 제8권
    • /
    • pp.89-121
    • /
    • 1997
  • Many of the measures and policies advocated by supply-siders, such as lower taxation, less government intervention, more freedom from restrictive legislation and regulation, and the need for increased productivity can be found in writing the classical economist. Nor is supply-side economics a complete divorcement from Keynesian analysis. In both camps the objectives are the same-high level employment, stable prices and healthy economic growth, the means or suggestions for attaining the objectives, however, differ. Consequently, recommended economic policies and measures are different. keynesians rely primarily on the manipulation of effective demand to increase output and employment and to combat inflation. They assume ample resources to be available in order that supply will respond to demand. The supply-siders emphasize the need to increase savings, investment, productivity and output as a means of increasing income. Supply-siders assume that the increase in income will lead to an increase in effective demand. Keynesians suggest that savings, particularly those not invested, dampen economic activity. Supply-siders hold that savings, or at least an increase in after-tax income, stimulates work effort and provides funds for investment. Perhaps keynesians are guilty of assuming that most savings are not going to be invested, whereas supply-siders may erroneously assume that almost all savings will flow into investment and/ or stimulate work effort. In reality, a middle ground is possible. The supply-siders stress the need to increase supply, but Keynes did not preclude the possibility of increasing economic activity by working through the supply side. According to Keynes' aggregate demand-aggregate supply framework, a decrease in supply will increase output and employment. It must be remembered, however, that Keynes' aggregate supply is really a price. Lowering the price or cost of supply would there by result in higher profit and/ or higher output. This coincides with the viewpoint of supply-siders who want to lower the cost of production via various means for the purpose of increasing supply. Then, too, some of the means, such as tax cuts, tax credits and accelerated depreciation, recommended by suply-siders to increase productivity and output would be favored by Keynesians also as a means of increasing investment, curbing costs, and increasing effective demand. In fact, these very measures were used in the early 1960s in the United State during the years when nagging unemployment was plaguing the economy. Keynesians disagree with the supply-siders' proposals to reduce transfer payments and slow down the process of income redistribution, except in full employment inflationary periods. Keynesians likewise disagree with tax measures that favored business as opposed to individuals and the notion of shifting the base of personal taxation away from income and toward spending. A frequent criticism levied at supply-side economics is that it lacks adequate models and thus far has not been quantified to any great extent. But, it should be remembered that Keynesian economics originally was lacking in models and based on a number of unproved assumptions, such as, the stability of the consumption function with its declining marginal propensity to consume. Just as the economic catastrophe of the great depression of the 1930s paved the way for the application of Keynesian or demand-side policies, perhaps the frustrating and restless conditions of the 1970s and 1980s is an open invitation for the application of supply-side policies. If so, the 1980s and 1990s may prove to be the testing era for the supply-side theories. By the end of 1990s we should have better supply-side models and know much more about the effectiveness of supply-side policies. By that time, also, supply-side thinking may be more crystallized and we will learn whether it is something temporary that will fade away, be widely accepted as the new economics replacing Keynesian demand analysis, or something to be continued but melded or fused with demand management.

  • PDF