• 한국정보과학회논문지:소프트웨어및응용
• /
• 제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)

• 한국건설관리학회논문집
• /
• 제21권4호
• /
• pp.21-29
• /
• 2020

본 연구에서는 사례분석 및 전문가 조사를 통하여 공사이행보증제도 운영의 문제점을 적시하고 개선방안을 제시하였다. 국가계약법에서는 공사계약에 있어서 계약상대자가 계약상의 의무를 이행하지 못하는 경우 계약상대자를 대신하여 계약상의 의무를 이행할 것을 보증하되, 이를 보증한 기관이 의무를 이행하지 아니하는 경우에는 일정금액을 납부할 것을 보증하는 공사이행보증서 제출을 의무화하고 있다. 현행 정부계약제도는 공사이행보증의 보증사고 시 잔여공사의 규모, 기술적 난이도, 특수공정의 포함 여부 등을 고려하지 않고 보증이행업체에게 일률적으로 당초 입찰공고 공고에서의 입찰참가자격을 요구하고 있다. 그리고 공동도급에서 보증사고가 발생했을 때, 잔존구성원에게 엄격하게 전체 계약에 대한 계약이행요건을 요구하여 많은 문제가 발생하고 있다. 본 연구에서 제시한 개선방안은 다음과 같다. 먼저, 보증이행업체 선정에서 잔여공사의 현황을 고려하여 예외적으로 보증이행업체의 자격을 완화해야 한다. 둘째, 공동도급의 경우 잔존 구성원의 계약이행요건을 '해당 계약이행요건'에서 '잔여공사의 계약이행요건'으로 완화시켜야 한다. 셋째, 보증이행공사의 하자담보책임을 원사업자 또는 보증기관이 부담하도록 공사이행보증의 채무범위에 하자담보채무가 포함되도록 개선해야 한다.

• 한국자원식물학회지
• /
• 제17권3호
• /
• pp.304-313
• /
• 2004

본 연구는 교잡종 옥수수의 품종개발 및 옥수수의 생산능력 방법을 개선하기 위한 기초연구로 미국에서 도입된 유망자식계통들을 이용한 5개의 교배조합들 그리고 이들의 F$_1$ 및 F$_2$ 세대에서 6개의 농업형 질들에 대한 유전양상을 구명하였다. 공시된 5개의 교배조합들과 조사된 6개의 농업형질들에서의 잡종강세효과는 교배조합 및 농업형질들에 따라 다소 차이는 있었지만 교배조합들 중에서는 Mo17/B14A, Va85/B73조합들이 조사된 대부분의 형질들에서 가장 뚜렷한 잡종강세 효과를 나타내었으며 , 그리고 조사된 6개의 농업형질들 중에서는 종자생산량이 교배조합들 사이에서 가장 큰 잡종강세 효과를 나타내었다. 조사된 6개의 농업형질들 중에서 종자생산량은 5개의 교배 조합들 중에서 C103/ND203과 FR35/Oh43 조합을 제외한 나머지 조합들에서 자식약세 현상이 다른 형질들보다 가장 크게 나타났고, 그리고 이들 수량관련 형질들은 일부 교배조합들에서의 예외적 경우를 제외하면 모두 정의 방향으로 자식 약세 현상이 나타나는 것으로 관찰되었다. 공시된 5개의 교배조합들 중에서 Mo17/B14A, C103/ND203 조합들은 조사된 6개의 농업형질들 모두에서 50%이상의 비교적 높은 유전성을 나타내었고, 반면에 Va85/B73 조합은 100립 중을 제외한 모든 형질들에서, 그리고 FR35/Oh43 조합은 간장과 착수고를 제외한 모든 형질들에서 50% 이하의 낮은 유전력을 나타내었다. 그리고 조사된 6개의 농업형질들 중에서 이삭길이를 제외한 모든 형질들은 5개의 교배조합들 모두에서 평균 유전력이 50% 이상을 나타내었으므로 이러한 형질들은 옥수수의 교잡육종을 위한 중요한 선발형질들임을 나타내었다 이상의 결과에 의하면, 본 연구에 이용된 5개의 교배 조합들 중에서 대비 조합으로 쓰인 Mo17/B14A(수원19호)조합은 조사된 대부분의 형질들에서 비교적 높은 생육 및 수량특성을 나타내었으므로 옥수수의 계통선발에 의한 품종육성에 유용한 품종 및 자원인 것으로 확인되었다.

• 한국산학기술학회논문지
• /
• 제20권8호
• /
• pp.634-641
• /
• 2019

세계 인구는 2019년 현재 77억 명에 달하고 있다. 이러한 추세에도 불구하고 모든 도시가 성장하고 있는 것은 아니다. 늘어나는 인구의 대부분은 편의시설, 일자리 문제로 큰 도시로 몰리고 있으며 이러한 현상은 중소도시의 인구감소를 유발하고, 더 나아가 특정도시에 있어서는 고용감소, 경기침체와 같은 결과로 이어지고 있다. 국내도 예외는 아니며 전국의 인구가 특별시, 광역시 등으로 몰리고 있는 추세이다. 일찍이 해외에서는 이러한 현상들을 해결하기 위해 오로지 도시의 성장에만 초점을 맞추는 전략이 아닌, 도시의 축소에 대응하는 방법을 연구하기 시작하였다. 본 논문에서는 국내 도시들의 인구동태를 파악하고 축소도시로 선정된 도시 사례를 파악하고 그 현황을 분석하였다. 다음으로 같은 맥락에서 해외 사례를 통해 축소도시의 문제에 대응하기 위한 전략으로 선택된 스마트 축소도시의 개념을 파악하였다. 이를 통해 국내와 해외의 대응 전략상의 차이점을 비교하였다. 결론에서는 일반적인 스마트 축소도시 전략에서 발생할 수 있는 문제점을 예측, 새로운 대안으로 유연한 스마트 축소도시(FSSC: Flexible Smart Shrinking City) 전략을 제안하여 자원과 비용을 효율적으로 사용하기 위한 방향을 제시하였다.

• 한국지반환경공학회 논문집
• /
• 제22권3호
• /
• pp.37-43
• /
• 2021

본 연구는 토지피복의 변화에 따른 토양 탄소의 변화량을 산정하고자 하였다. 다양한 토양탄소 모형가운데 InVEST Carbon Storage and Sequestration 모듈을 사용하였다. 토지피복은 토양 탄소에 영향을 주는 대표적인 인자 중 하나이다. 따라서 본 연구에서는 대한민국 전역을 대상으로 2000년과 2010년의 토지피복 변화에 따른 토양 탄소의 총량을 비교하였으며, 각 행정구역별(시도)의 변화량을 산정하였다. 대한민국의 토지피복 변화는 주로 시가 및 건조지역의 증가와 초지의 감소 등으로 나타났으며, 이로 인한 토양 탄소의 변화를 나타냈다. 대한민국의 총 토양 탄소 변화량은 10년 사이 11.48(million t) 감소한 것으로 나타났다. 행정구역별 토양탄소량은 대부분의 시도에서 감소를 나타냈으나, 예외적으로 제주도는 토양탄소량이 증가한 것으로 나타났다. 제주도를 제외한 시도 중 감소량이 제일 적은 시도는 서울로 나타났으며, 감소량은 0.033(million t)으로 나타났다. 반대로 가장 많은 감소량을 보인 시도는 경북으로 총 2.893(million t)이 감소하였다. 제주도는 유일한 총 토양 탄소 증가 지역으로 0.547(million t)이 증가하였으며, 10년 사이 농업지역이 2.1배 증가함을 보였다. 토양탄소의 경우 전국단위의 실측 자료 구축이 부족함을 보이며, 추후 다중 모형을 이용하여 연계분석을 통해 검증을 진행해야 할 것이다.

• 한국측량학회지
• /
• 제38권6호
• /
• pp.697-705
• /
• 2020

본 논문은 GNSS 자료를 이용하여 한반도 동남권 지역의 지각 변동 파라미터에 관한 내용이다. 한반도 동남권 지역에 5.0이상의 지진이 발생하였으며, 여러 가지 방법으로 지진의 위험성에 대하여 평가할 필요성이 있다. 포항과 경주의 장기적인 지각 운동 패턴을 밝히기 위해 탄성 이론을 이용하여 지각변동 파라미터를 도출하였다. CORS의 7년간의 GNSS 데이터를 Gamit/Globk S/W를 사용하여 정밀한 좌표를 취득하였다. 한반도 전체의 속도 벡터는 평균 31mm/yr로 나왔으며 방위각은 일반적으로 110°의 경향을 나타내었다. 연구의 주요 내용은 7년간 한반도 동남권 지역의 주응력의 방향은 몇가지 예외를 제외하면 전체적으로 ENE-WSW으로 나왔다. 최대 전단 변형률의 크기는 평균적으로 (0.11±0.07) μ/yr으로 일본 중부 지역의 약1/3이다. 이번 연구 결과를 고려하면 한반도 남부의 평균 최대전단응력은 타당한 것으로 간주된다. 주응력의 평균 방위각은 약 (85.4°±26.8°)이다. 양산단층을 기준으로 평균 방위각이 좌우 (73.2°±21.5°) 와 (105.2°± 17.0°)로 차이가 난다. 한반도 동남부 지역의 지진 발생 지역이 전단응력이 크게 나온 것은 주목할만 하다. 결론적으로 본 연구는 한반도 동남부 지각 변동 파라미터 특성을 반영하여 지진 재해 관리 연구에 기여할 수 있음을 알 수 있다.

• 문화기술의 융합
• /
• 제8권1호
• /
• pp.277-284
• /
• 2022

본 연구에서는 실제 청년 모택동(毛泽东)이 1917년 『신청년(新靑年)』잡지에 직접 작성 투고한 「체육지연구(體育之硏究)」라는 문장을 직접 해석하고 분석하여, 이후 그의 이 체육에 대한 사유가 이후 그의 체육사상 형성과 현대 중국의 체육 발전에 미친 직간접적 영향이 무엇이었는지를 정리하고자 하였다. 구체적 연구 방법으로는 원문 「체육지연구(體育之硏究)」중 청년모택동의 특이한 체육에 대한 생각이 담겨있는 서론과 본론 2조항과 6조항을 주로 인용 발췌하였다. 그는 이 문장에서 첫째, 그는 체육교육의 목적이 구국에 있음을 밝히고 당시 체육교육의 폐해를 일부 언급하며, 실질적인 체육교육이 되어야 함을 이야기하였다. 두 번째, 그는 심신일원론적인 체육사상을 제시하였다. 세 번째, 그의 체육사상에 따른 실천은 예외적으로 소박하고 실질적이었다. 대표적으로 「체육지연구(體育之硏究)」에서 제시하는 모택동이 고안한 6가지 체력운동실천방법이 중요한 예시가 된다. 결론적으로 이 문장에서 모택동(毛泽东)은 체육을 통해 덕육과 지육의 부족한 부분을 극복할 수 있으며, 적극적인 체육활동은 개인의 자아실현을 앞당기는 것이라고 주장하였다. 모택동(毛泽东)은 중화인민공화국 수립이후 근 30년간 중국 최고 통치자로서 본인이 직접 '장강 수영' 등 체육활동의 적극적인 실천을 강조하였고, 중국 전역에 체육교육과 신체 활동의 중요성을 강조하였다. 그리고 이러한 체육사상은 1960년대 이후 중국의 엘리트 체육이 급속히 성장하고 중국 전역에 사회체육의 기초가 다져지는 기반이 되었다.

• Composites Research
• /
• 제35권5호
• /
• pp.347-358
• /
• 2022

탄소섬유 복합소재의 우수성은 이미 여러 산업분야에서 입증되었으며, 조선산업 또한 예외는 아니다. 특히, 해양선진국에서는 탄소섬유 복합소재 선체의 해군과 해경의 특수선박이 이미 실전 배치된 바 있다. 국내에서도 10톤 급 레저선박 혹은 30톤 급 고속정 등에 탄소섬유 복합소재가 적용된 바 있으나, 아직까지 수 백 톤 이상의 경비함급에 대한 연구는 이루어진 바 없다. 본 연구에서는 해외 유사사례 분석을 통해 탄소섬유 복합소재 선체의 500톤 급 경비함에 대한 건조가능성 검토를 수행하였다. 연구결과, 기존 알루미늄 혹은 FRP 선체 대비 약 21%~25%의 경량화가 가능함을 확인할 수 있었으며, 이러한 경량화 효과는 동급 선박보다 최대 운항 속력의 향상과 함께 작전 반경의 향상효과 또한 기대할 수 있는 것으로 시뮬레이션되었다.

• 문화기술의 융합
• /
• 제8권6호
• /
• pp.873-879
• /
• 2022

미래는 인공지능과 메타버스가 세상을 삼킬 정도로 활용 영역과 영향력이 강력해지고 있다. 광고 분야도 예외가 아니어서 이러한 미래 변화를 예측하고 분석하여 전략화하는 것이 더욱 중요해지고 있다. 인공지능과 메타버스 발전에 따른 광고의 미래 변화 연구를 위해 인공지능과 메타버스 기술 발전과 이에 따른 광고 환경 변화 관련한 문헌연구와 미래 및 광고 전문가를 대상으로 한 심층 인터뷰와 델파이 기법 연구 방법을 통해 광고 변화에 대해 연구하고자 한다. 본 연구를 통해 먼저 포스트코로나 문명대변혁시대에 인공지능과 메타버스 기술 발전과 이에 따른 광고부문의 변화에 대한 전문가의 의견을 심층 인터뷰를 통해 살펴보고자 한다. 그리고 델파이 기법으로 미래광고 기술영역, 미래광고 미디어영역, 미래광고 형태영역, 미래광고 효과영역, 미래광고 적용영역, 미래광고 프로세스영역별로 변화가 어느 정도 중요하며 미래 어느 시점에 주요하게 변화할 것인지를 파악하고 또한 미래광고 형태는 구체적으로 어떻게 변화할 지에 대해 연구하고자 한다. 또한 이를 근거로 광고업계의 대응 방안을 제안하고자 한다.

• 분석과 대안
• /
• 제7권2호
• /
• pp.79-110
• /
• 2023

본 연구는 현재 영국 사회가 보여주고 있는 다양한 측면에서의 분열과 브렉시트의 관계를 규명하는 것을 목적으로 한다. 이를 통해 영국 사회의 분열과 브렉시트 결정이 상호 어떠한 영향을 미쳤는지 살펴보고자 한다. 영국의 EU 탈퇴는 영국과 EU와의 관계를 중심으로 설명되어 왔고, 이에 이민, EU 규제, 분담금 반환 등이 주요 원인으로 제시되었다. 영국만의 정체성 혹은 영국 예외주의도 이미 오랫동안 영국 사회 및 정치에 존재해 왔던 브렉시트의 원인으로 여겨진다. 비록 브렉시트로 인해 영국 사회의 분열이 초래되었다는 것이 일반적인 논리로 받아들여지고 있지만, 상기 원인들이 국민투표 결과와 포스트 브렉시트 시대에 나타난 영국 사회의 분열을 설명하는 데에는 한계가 있다. 이에 본 연구는 영국 사회의 다양한 분야 - 세대, 소득 및 교육 수준 등을 포함한 사회등급, 가치, 지역 등 -에서 드러난 분열은 브렉시트 문제로 발생한 것이 아님을 규명하고 있다, 오히려 국민투표 시행 이전부터 이미 영국 사회에 뿌리 깊게 자리잡고 있었던 분열이 브렉시트의 근본적 원인이라고 주장한다. 영국 사회에 오랫동안 내재된 다양한 분야에서 분열은 서로 복잡하게 얽혀있으며, 국민투표를 통한 브렉시트 결정은 영국 사회의 분열을 더욱 고착화시키는 결과를 초래하였다. 결국 이러한 영국사회의 분열은 상대에 대한 증오로 확대되고 있다는 점에서 분열을 봉합하고 국민 통합을 위한 정책 수립이 필요하다.