• 한국정보과학회논문지:소프트웨어및응용
• /
• 제28권3호
• /
• pp.211-223
• /
• 2001

본 논문에서 제안하는 시나리오기반 검증기법의 목적은 UML로 작성된 객체지향 분석모델의 완전성 및 일관성을 진단하는 것이다. 검증기법의 전체 절차는 요구분석을 위한 Use Case 모델링 과정에서 생성되는 Use Case 시나리오와 UML 분석모델로부터 역공학적 방법으로 도출된 객체행위 시나리오와의 상호참조과정 및 시나리오 정보트리 추적과정을 이용하여 단계적으로 수행된다. 본 검증절차를 위하여 우선, UML로 작성된 객체지향 분석모델들은 우선 정형명세언어를 사용하여 Use Case 정형명세로 변환하다. 그 다음에, Use Case 정형명세로부터 해당 Use Case 내의 객체의 정적구조를 표현하는 시나리오 정보트리를 구축하고, Use Case 정형명세 내에 포함되어 있는 객체 동적행위 정보인 메시지 순차에 따라 개별 시나리오흐름을 시나리오 정보트리에 표현한다. 마지막으로 시나리오 정보트리 추적과 시나리오 정보 테이블 참조과정을 중심으로 완전성 및 일관성 검증작업을 수행한다. 즉, 검증하고자 하는 해당 Use Case의 시나리오 정보트리를 이용한 시나리오 추적과정을 통해 생성되는 객체행위 시나리오와 요구분석 과정에서 도출되는 Use Case 시나리오와의 일치여부를 조사하여 분석모델과 사용자 요구사양과의 완전성을 검사한다. 그리고, 시나리오 추적과정을 통해 수집되는 시나리오 관련종보들을 가지고 시나리오 정보 테이블을 작성한 후, 분석과정에서 작성된 클래스 관련정보들의 시나리오 포함 여부를 확인하여 분석모델의 일관성을 검사한다. 한편, 본 논문에서 제안하는 검증기법의 효용성을 증명하기 위해 대학의 수강등록시스템 개발을 위해 UML을 이용해 작성된 분석모델을 특정한 사례로써 적용하여 보았다. 프로세싱 오버헤드 및 메모리와 대역폭 요구량 측면에서 MARS 모델보다 유리함을 알 수 있었다.과는 본 논문에서 제안된 프리페칭 기법이 효율적으로 peak bandwidth를 줄일 수 있다는 것을 나타낸다.ore complicate such a prediction. Although these overestimation sources have been attacked in many existing analysis techniques, we cannot find in the literature any description about questions like which one is most important. Thus, in this paper, we quantitatively analyze the impacts of overestimation sources on the accuracy of the worst case timing analysis. Using the results, we can identify dominant overestimation sources that should be analyzed more accurately to get tighter WCET estimations. To make our method independent of any existing analysis techniques, we use simulation based methodology. We have implemented a MIPS R3000 simulator equipped with several switches, each of which determines the accuracy level of the

• 암석학회지
• /
• 제23권3호
• /
• pp.273-277
• /
• 2014

이 논문은 지구의 나이를 알기 위한 초기의 다양한 시도를 간략히 소개하고, 운석의 납동위원소 연대측정으로 처음으로 지구의 나이가 $4,550{\pm}70Ma$임을 밝힌 Patterson (1956)의 연구를 재조명한다. 태양계 초기의 진화과정은 성운가스가 식으면서 응축되어 만들어지는 고체입자 -> 이들 입자들이 서로 들러붙어 커지는 첨합과정을 통하여 행성 크기의 물체가 생성되는 것으로 생각되고 있다. 또한 이때 생긴 원시지구가 화성 크기의 물체와 충돌하면서 그 잔해가 달을 만들었다고 생각되고 있다. 이 일련의 과정에서 지구가 생성된 시기를 꼭 집어 말하기 힘들긴 하나, 현재 지구는 이 충돌의 직접적인 결과로 생각할 수 있기 때문에 이 충돌시기를 지구의 나이로 정할 것을 제안한다. 기존 연구를 고려하면 충돌시기는 태양계에서 가장 먼저 만들어진 운석물질의 나이(즉, 태양계의 나이) $4567.30{\pm}0.16Ma$와 지구와 달 암석에서 가장 오래된 나이 $4,456{\pm}40Ma$ 사이로 개략적으로 제한될 수 있다. 이 충돌시기는 태양계 초기 행성 크기의 물체가 만들어지는 시간간격을 밝히고, 충돌 이후 생성된 지구와 달의 마그마 바다의 열 역사를 규명하는데 매우 중요하기 때문에, 앞으로 보다 정확한 충돌시기를 측정하려는 노력이 요구된다.

• 한국융합학회논문지
• /
• 제12권10호
• /
• pp.343-352
• /
• 2021

본 연구는 간호대학생을 대상으로 핵심수기술 자가학습용 모바일 앱을 개발하고, 유용성을 평가하기 위해 실시된 융합적 연구이다. 모바일 앱 평가도구(MARS)와 7개의 서술형 문항을 사용하여 22명의 간호대학생을 대상으로 모바일 앱의 유용성 평가하였다. 정보제공성 영역이 4.19(SD 0.79)점으로 가장 높았으며, 주관적 앱의 질영역이 3.08(SD 0.87)점으로 가장 낮은 평가를 받았다. 대상자의 핵심수기술 수행자신감은 8.23(SD 1.60)점 이었으며, 학습만족도는 7.89(SD 0.87)점이었다. 또한, 서술형 문항에서 학생들은 시공간의 제약이 없는 편리성과 반복적인 자가학습이 가능하다는 점을 가장 큰 강점으로 꼽았으며, 디자인과 기술적인 보완, 교수자 피드백의 필요성을 언급하였다. 본 융합연구의 결과를 활용하여 핵심수기술 자가학습의 효과적인 학습 촉매제로 모바일 앱의 사용을 도모할 수 있을 것이며, 향후 간호대학생의 핵심수기술 수행역량에 대한 모바일 앱의 효과연구가 필요하다.

• 우주기술과 응용
• /
• 제2권1호
• /
• pp.52-65
• /
• 2022

한국은 '22년 하반기 한국형발사체(KSLV-2)는 2차 발사를 통해 최종 성공을 앞두고 있으며, 인공위성개발 능력은 이미 선진국 수준에 도달하였다. 이러한 발사체와 위성 기술 성숙 이후 향후 대한민국의 우주개발은 우주탐사와 우주활용으로, Hardware 기술개발에서 과학기술 임무개발로, 무인우주개발에서 유인우주개발로 패러다임이 전환되어야 한다. 최우선 전략은 국내 우주산업과 관련 국내 산업을 확대하고 고용을 창출하고, 핵심우주기술이 개발되어야 하며, 국민 편익과 안전에 도움이 되는 우주개발이어야 한다. 이를 위해 유인우주개발을 시작해야 하는데, 20년대 글로벌하게 추진될 국제공동 유인 달탐사(Gateway, Artemis)와 '30년대 유인 화성탐사는 한국의 우주산업 외연을 확장시키고 우주기술 수준을 획기적으로 향상시킬 수 있는 절호의 기회이다. 한국의 고유하고 독자적인 과학기술로서 도전적이며 지속적인 임무수행과 Hardware 기여로 참여하는 것이 필요하다. 또한 한국 우주인의 참여는 국민적 관심을 끌고 청소년에 도전정신과 꿈을 심어 줄 수 있으며, 또한 우주선진국으로 진입하는 계기가 되며 국가위상이 높아지는 효과도 기대할 수 있을 것이다. 이를 위해 본 연구에서는 국제공동 Artemis 계획의 현황과 향후 계획을 상세히 조사·분석하였고, 한국의 참여방안을 제시하였다.

• 자원환경지질
• /
• 제55권4호
• /
• pp.421-428
• /
• 2022

본 연구는 2022년 발표한 한국의 제6회 과학기술예측조사와 2019년 발표한 최신의 일본 과학기술예측조사 결과에 주목하여 최근 지질자원 분야에서 국가·사회적으로 높은 기대를 받고 있는 지진재해와 우주이용에 관한 미래기술을 분석하였다. 한국의 2022년 발표한 지진재해 관련 미래기술은 2017년 제시한 지진 예측 및 조기경보 기술 형태와 달리 지진·복합재난 정보기술과 공공데이터 플랫폼으로 제시되었고, 건물·도시의 재난대응 생활밀착 로봇에 적용하는 형태로 제시되었다. 일본 2019년 과학기술예측조사에서는 한국의 3배 수준의 많은 미래기술이 제시되었으며, 지진재해 기술 또한 대규모 지진 예측, 지층 주입에 따른 유발 지진 예측, 전국 액상화 위험 규명, 규모 광역 응력 측정, 사물인터넷(IoT) 혹은 인공지능 관측 영상 분석에 의한 지진 재해 감시·예측 등 상세 기술이 제시되었다. 최신 한국과 일본의 과학기술예측조사의 우주이용 기술은 물/얼음, 헬륨-3, 희토류 금속 등의 자원을 채굴하는 로봇 기술과 달·화성에서 현지자원을 활용한 유인기지 기술 형태로 더욱 구체화되었다. 일본의 기술적 실현시기를 비교해 보면 2019년에 예측한 실현시기가 2015년의 조사결과보다 4~10년 정도 지연되었다. 2019년 이후에도 코로나19 전염병 상황, 2020년 한국과 일본의 탄소중립 선언, 2022년 러시아-우크라이나 전쟁 등 환경변화에 따라 한국과 일본의 미래기술 실현시기의 예측 결과의 불확실성이 더 커질 수 있다. 하지만 앞으로 지질자원 분야에서 정보기술과 연계한 지진재해 및 우주이용 기술에 대한 더욱더 활발한 연구개발이 요구된다.

• 우주기술과 응용
• /
• 제3권1호
• /
• pp.26-43
• /
• 2023

우리나라의 첫 달 탐사선 다누리호가 달 궤도에 진입을 성공하면서 이후 화성 탐사와 같은 우리나라의 새로운 우주탐사 계획을 기대할 수 있게 되었다. 우리나라의 우주탐사 탑재체는 한정적인 분야에서만 개발되어 새로운 우주탐사 탑재체를 개발할 필요성이 있다. 국외에서는 우주탐사에 거의 기본적으로 탑재되는 장비로 질량분석기가 있으며, 탐사 대상의 대기와 휘발성 물질 관측과 더불어 유기물 분석을 통한 생명체 탐사까지 아우르는 매우 유용한 탑재체이다. 하지만 우리나라에선 우주탐사용으로 질량분석기 탑재체를 개발한 전적이 없으므로 앞으로의 우주탐사를 대비해 기술을 확보해야 할 필요가 있다. 그에 앞서 국외의 우주탐사용 질량분석기 탑재체의 과학적 성과를 살펴보고 동향을 파악해본다.

• 우주기술과 응용
• /
• 제3권1호
• /
• pp.86-99
• /
• 2023

질량분석기는 태양계와 생명의 기원을 밝히기 위한 필수 과학 장비로서, 달/행성/소행성/혜성 등의 대기 및 지표에 존재하는 중성 원소와 이온에 대한 정보를 파악하기 위해 1970년대 초반부터 우주 탐사에 활용되어 왔다. 제4차 우주개발진흥 기본계획(2023-2027)에 따르면 우리나라는 2032년에 달 착륙을 2045년에는 화성 착륙을 성공하는 것을 핵심 목표로 삼고 무인 탐사를 위한 능력을 확보하는 데 기술개발의 역점을 두기로 하였다. 따라서 우주 탐사의 과학적 목표 달성을 위한 가장 기본적인 장비이지만 국내 우주탐사에서 한번도 시도되지 않았던 질량분석기의 국내 개발은 필수적이라고 할 수 있다. 본 논문에서는 국내에서 개발된 사중극자 질량분석기의 원리와 원형 모델 및 성능에 대해 소개하고 향후 발전 방향에 대해 논의하고자 한다.

• 천문학회지
• /
• 제56권2호
• /
• pp.263-275
• /
• 2023

The Sun-Earth Lagrange point L4 is considered as one of the unique places where the solar activity and heliospheric environment can be observed in a continuous and comprehensive manner. The L4 mission affords a clear and wide-angle view of the Sun-Earth line for the study of the Sun-Earth and Sun-Moon connections from he perspective of remote-sensing observations. In-situ measurements of the solar radiation, solar wind, and heliospheric magnetic field are critical components necessary for monitoring and forecasting the radiation environment as it relates to the issue of safe human exploration of the Moon and Mars. A dust detector on the ram side of the spacecraft allows for an unprecedented detection of local dust and its interactions with the heliosphere. The purpose of the present paper is to emphasize the importance of L4 observations as well as to outline a strategy for the planned L4 mission with remote and in-situ payloads onboard a Korean spacecraft. It is expected that the Korean L4 mission can significantly contribute to improving the space weather forecasting capability by enhancing the understanding of heliosphere through comprehensive and coordinated observations of the heliosphere at multi-points with other existing or planned L1 and L5 missions.

• 한국초등과학교육학회지:초등과학교육
• /
• 제43권2호
• /
• pp.337-352
• /
• 2024

본 연구는 참여와 실천의 차원을 위한 창의적 설계 기반 비형식 과학교육 프로그램을 개발하고 그 타당성과 효과성에 대하여 알아보는 데 목적이 있다. 프로그램의 개발은 참여와 실천의 지역화와 맥락화에 초점을 맞추어 주제를 선정하였고 연구 개발진의 반복적인 논의와 수정을 통해 최종적으로 '마션, 화성에서 살아남기', '선정릉이 있어 다행이다', '햇빛 레스토랑 설계하기'의 세 가지 프로젝트로 하였다. 프로그램은 총 42차시로 프로젝트 수행 이외에도 학습을 수행하면서 알게 된 내용을 자료로 정리하고 발표하는 발표회를 포함하여 개인적인 맥락화가 가능하도록 구성하였다. 개발된 프로그램의 적용은 5~6학년 학생 15명을 대상으로 하였으며, 효과성을 검증하기 위하여 참여와 실천 차원, 과학긍정경험은 전체 프로그램의 시작과 끝에 사전･사후 검사를 수행하였다. 또한 검사 문항 말미에 학생들의 소감이나 느낌을 자유롭게 적을 수 있는 자율 서술식 문항을 추가하여 학생들의 생각을 알아보았다. 효과성에 대한 적용 결과, 참여와 실천 차원의 안전 사회 기여에서 가장 높은 상승 폭을 보였으며 그 외의 다른 하위 구인도 상승한 것을 알 수 있었다. 과학긍정경험과 관련해서는 과학 관련 자아개념이 가장 높은 상승 폭을 보였고 다른 하위 구인도 참여와 실천 차원과 동일하게 모두 소폭 상승하였다.

• 항공우주정책ㆍ법학회지
• /
• 제35권1호
• /
• pp.181-202
• /
• 2020

비전유원칙은 1967년 우주조약(OST) 및 1979년 달협정(MA)에 규정되어 있다. 2020년 2월 현재 OST가 109개국의 회원국을 확보한 반면, 국제법상 최초로 인류공동유산(CHM)개념을 도입한 MA는 우주의 천체에서 추출한 자원의 소유권을 가지지 못하도록 국제조약을 통해 국가들을 더욱 제한하려는 시도를 해 보았지만, 미국 및 대부분의 우주개발국기들의 MA채택 거부로 인해 18개국의 회원국만 확보한 상태이다. OST에 규정된 비전유원칙은 사실상 우주와 천체를 국제법상 국제공역(res extra commmercium)으로 선언한 것이다. 국제공역은 마치 공해상에서 각국이 생선을 잡아서 판매하는 것과 같은데, 어부들이 생선을 어획하고 판매하는 데 필요한 허가는 각 국가에서 얻지만 바다를 소유하지 않고도 어업행위와 판매가 가능하다. 따라서 이 논리에 따르면 어느 국가이든, 사기업체이든, 개인은 우주와 천체의 비전유원칙을 존중하는 한 그것을 이용하고, 수익을 취할 수 있다. 한편 OST는 당사국으로 하여금 우주활동시 타 당사국의 이익을 고려하여야 한다고 명시하고 있다. 우주자원 채취하려는 개인이나 민간기업은 반드시 당해 국가의 승인을 받아야 하며, 우주나 천체를 자기 멋대로 전유할 수 없다. 이러한 실체들이 우주활동을 할 때에는 관할권을 가진 각 당사국은 그 활동에 대한 책임을 지게 된다. 우주활동에 대한 국가책임은 OST 제6조와 제7조에 명시되어 있고, 1972년 책임협약은 이러한 문제를 상세하게 다루고 있다. OST 제2조의 비전유원칙과 관련하여 미국의 2015년 CSLCA나 2017년 룩셈부르크의 우주자원의 탐사 및 활용에 관한 법은 OST 제2조를 위반하고 있는가 하는 문제가 제기된다. 그러나 이 법들은 OST 제2조상 비전유원칙을 위반하지 않는다는 점에 주목해야 한다. 특히 미국의 CSLCA의 경우에는 이 법에 의해 특정 천체에 대한 주권이나 점유권, 사법권을 주장하거나 소유를 주장할 수 없다고 분명하게 명시하고 있다. 학자들이 미국의 CSLCA나 룩셈부르크 우주자원법의 OST의 비전유원칙을 위반한 것이라고 주장할지라도 이 두 국가의 우주자원개발을 막을 수는 없다. 그러나 한편 이렇게 비전유원칙이 국가나 기업체가 주권을 주장하지 않으면서 우주자원을 마음대로 활용하게 할 수 있다면 우주자원채취에 대한 선착순의 원리가 배제될 수 없기 때문에 국제사회는 우주자원의 확보에 대한 국제경쟁을 도모하고, 개발에서 얻어진 이익을 세대간 형평을 위해 배분하고, 지구와 우주의 환경을 보호하고 보존하기 위하여 조만간 새로운 국제 규제체제를 확립해야 할 것이다. 이러한 새로운 우주자원개발에 관한 국제규제체제에는 인간의 거주가능성이 있는 달과 화성의 경우 그 면적을 고려하여 각 국가들이 어느 정도의 면적을 개발할 수 있으며, 언제까지 개발할 수 있는지 그 기간이 명시되어야 할 것이다. 우리는 미래세대를 위하여 국가들이 선착순의 원리에 따라 우주와 천체를 자유롭게 전유하거나 무한정 소유하게 해서는 안 된다. 새로운 우주법(Corpus Juris Spatialis)은 1979년 달협정의 실패를 고려해 볼 때 우선 결의나 선언 같은 연성법의 채택이 경성법인 조약보다는 더 나을 것 같다.