• 한국정보통신학회논문지
• /
• 제10권8호
• /
• pp.1435-1442
• /
• 2006

안전성에 대한 이상적인 평가방법은 운영체제내의 모든 가능한 연산을 대상으로 실행 결과의 안정성 여부를 검사하는 것이다. 하지만 이는 현실적으로 불가능하다. 그러나 정형기법을 사용할 경우 운영체제 동작논리상의 안전성 보장 여부를 이론적으로 증명할 수 있다. 따라서 본 논문에서는 보안커널의 안정성 검증방법에 대하여 논하고, 정형검증의 대표적인 도구들에 대하여 비교분석을 수행하였다. 그리고 보안커널에 기반한 다중레벨 접근통제모델인 수정된 BLP(Bell & LaPadula) 모델을 검증하기에 적합한 PVS(Prototype Verification System) 검증도구를 선정하였다. 마지막으로 PVS 검증도구를 활용하여 정형명세를 작성하고, 작성된 정형명세의 검증을 통하여 수정된 BLP 모델이 안전한 보안모델이라는 것을 검증하였다.

• 한국정보통신학회논문지
• /
• 제14권10호
• /
• pp.2310-2316
• /
• 2010

이 논문에서는 형식 검증(formal verification)의 한 분야인 모델 검증(model checking)에 재타이밍(retiming) 기법을 적용하는 방법에서 대해 연구하였다. 재타이밍은 주어진 회로의 레지스터들을 재배치함으로써, 입출력 동작을 바꾸지 않으면서 전이 관계(transition relation)을 변환할 수 있는 기법이다. 이러한 재타이밍을 이용하면 모델 검증을 더 효율적으로 수행하도록 회로를 바꿀 수 있다. 이 논문에서는, 레지스터의 개수와 전이 관계의 특성을 반영한 cost 함수를 제안하고, 재타이밍으로 얻을 수 있는 회로 구조들을 효율적으로 탐색하는 heuristic annealing 알고리즘을 개발한다. 제안된 방법이 모델 검증의 성능을 향상시킬 수 있음을 실험 결과를 통해 보여주었다.

• 한국정보과학회논문지:정보통신
• /
• 제33권1호
• /
• pp.1-8
• /
• 2006

지금까지의 많은 보안프로토콜들은 비정형화된 설계 및 검증 방법을 통해 개발되었다. 그 결과 유.무선 네트워크 분야에서 보안상 안전하다고 여겨왔던 많은 보안 프로토콜들의 보안 취약점들이 하나둘씩 발견되어오고 있다. 이에 따라, 통신 프로토콜을 개발하기 이전에 설계단계에서부터, 수학적인 기호 및 의미에 바탕을 둔 설계 언어로, 프로토콜의 안전성을 분석하기 위한 정형적 설계 및 검증 방법의 중요성이 점차 증대되고 있다. 현재, 모바일 통신 네트워크의 확산과 더불어 다양한 모바일 프로토콜들이 제안되고 있다. 본 논문에서는 정형적 검증 방법을 이용해서 ASK 모바일 프로토콜의 보안 취약점을 지적한다. 또한, 보안 취약점을 개선한 새로운 ASK 모바일 프로토콜을 제안하고 검증하였다.

• 한국문헌정보학회지
• /
• 제15권
• /
• pp.73-94
• /
• 1988

The main purpose of the present study is to investigate the citation habit of Korean social scientists by making use of citation analysis and content analysis, and to assess the nature of interdisciplinary flow of information in Korea in terms of the citation dependency on other disciplines, the types of channels used in formal scientific communication, the countries published the literatures of other disciplines cited in the source articles, and the languages used in the literatures of other disciplines. The major findings and conclusions reached at this study are summarised as follows: 1. Korean social scientists mainly cite the literatures of economics, sociology, politics, and history when they cite the literature of other disciplines. 2. The citation dependency on other disciplines of the economists, polictial scientists, and sociologists are 6 percents, 14 percents, and 19 percents, respectively. 3. The citation dependency on history of the economists is 25 percents, the dependency on sociology of the political scientists is 34.9 percents, and the dependency on economics of the sociologists is 50. 19 percents. 4. The types of channels used in formal scientific communication in social sciences are firmly book and journal. 5. The countries published the literatures of other disciplines .cited in the source articles are Korea and the U. S. firmly. 6. The languages used in the literatures of other disciplines cited in the source articles are Korean and English overwhelmingly.

• 한국과학교육학회지
• /
• 제22권5호
• /
• pp.1082-1102
• /
• 2002

Most of comparative studies in science teacher education so far have been conducted in terms of teacher education policy, pre- and in-service training system and curriculum, and certificate system. While such superficial information can be readily obtainable, it does not necessarily enable us to make access to reality of science teachers' professional development in respective countries, because practice in professional development among science teachers is deeply embedded into respective socio-cultural environment or climate. In order to get information on reality in science teachers' professional development, alternative approaches of research should be developed. This paper aims at pursuing an alternative way to approach reality of Japanese science teachers' professional development. An email survey of free description method with 29 in-service science teachers with a variety of years of experience in Ibaraki Prefecture, Japan, revealed that Japanese science teachers have developed their expertise through very close daily-based communication with their peer science teachers. At least, within their consciousness, neither formal in-service training programs, nor pre-service training programs have had much stronger effects on their professional development than such non-formal, daily-based, deep, apprenticeship-typed or in some sense, family-typed communication. The results suggest that in order to conduct meaningful comparative studies, we should take much more attention to how to make access to reality of science teachers' professional development.

• 한국실내디자인학회:학술대회논문집
• /
• 한국실내디자인학회 2006년도 춘계학술발표대회 논문집
• /
• pp.87-90
• /
• 2006

The purpose of this project is to greatly elevate the image of a high-technology wireless communication company by improving its office space environment through remodeling techniques. In order to accomplish this goal, the design concept was established in the direction of harmonious beauty with maximized functionality and aesthetics. Specifically, an efficient traffic line was planned in consideration of the connectivity between mutual spaces, and smooth yet strong formal aesthetics was given to such things as planes, frontal surfaces, and ceiling design, so as to do away with the existing authoritarian atmosphere and create an image of a futuristic company.

• 영어어문교육
• /
• 제5호
• /
• pp.79-101
• /
• 1999

With the advent of the 6th and the 7th national educational curricula in Korea. English language teaching in communicative perspective has been highly recommended and widely practised in that context. The aim of new approach is to enhance the students' general communication abilities in English. However, English teachers still find it very hard to improve the students' communicative competence in English since English remains to be taught as a school subject. In so far as English is taught as a school subject, students' attention is paid to the formal elements of English and the increase in communicative competence in English is hardly expected Only when the students' attention is paid to the content, their communicative competence is expected to increase. The best way to shift the students' attention from formal elements to content is to teach other school subjects in English, that is, English immersion education. To introduce immersion education to Korea, the two most successful examples of Singapore and Hong Kong are reviewed in terms of language policies and general practices in their primary and secondary schools respectively. To implement the program into Korea, extensive research on it is expected henceforth.

• 한국비블리아학회지
• /
• 제23권2호
• /
• pp.69-86
• /
• 2012

사서교사와 학부모의 협력 관계는 학교도서관의 학습 공동체적 성격과 경영의 확대 측면에서 매우 중요한 경영 요소이다. 이러한 협력 관계는 학생의 스트레스와 위험요소를 완화함으로써 학생의 자아 탄력성을 활성화하는데 기여한다. 본 연구에서는 10명의 현직 사서교사를 대상으로 학부모와의 협력 관계를 통한 학생지도 사례를 분석하고, 관계 형성에 어떠한 공식 또는 비공식 커뮤니케이션 채널을 활용하고 있는지 알아보았다. 분석 결과 사서교사는 학부모와의 협력이 필요하다고 인식하고 있으며, 학생의 생활지도, 진로지도, 독서상담 및 담임교사와 학부모 간의 갈등 조정 등의 경험이 있는 것으로 나타났다. 그리고 사서교사와 학부모의 공식 커뮤니케이션은 학교도서관운영위원회와 같은 제도적인 협의체 보다는 함께 참여하는 독서프로그램인 것으로 나타났다. 또한 사서교사는 학교도서관에서 이루어지는 학부모 모임이나 연수를 통해서 학부모와 비공식적으로 만나고 있다. 학부모를 위해서 학교도서관이 제공하는 정기 프로그램은 독서관련 행사와 연수이며, 주요 홍보 수단은 가정통신문과 학교홈페이지인 것으로 나타났다. 사서교사와 학부모가 협력을 통해서 학생의 자아 탄력성 강화에 기여하기 위해서는 학교도서관운영위원회에 학부모를 참여시킴으로써 공식적인 커뮤니케이션 채널을 확보해야 한다. 그리고 학부모의 도서관 운영 참여를 단순한 일손 돕기 보다는 책 읽어주기, 도서관 이용 안내, 사서교사의 도서관 활용수업 보조, 교수매체 제작 등으로 확대하는 것이 바람직하다.

• 디지털융복합연구
• /
• 제11권6호
• /
• pp.103-112
• /
• 2013

전통적인 방식의 예측모형 구축에서 사용되는 데이터는 주로 데이터베이스에 잘 보관되어 있는 정형데이터를 사용하였다. 하지만 지금의 상황은 스마트 시대의 도래로 인한 통신수단의 획기적인 발달로 비정형 데이터가 전체데이터의 80%를 상회하는 현실이다. 이러한 현실에서 기존의 방법대로 정형데이터 만을 이용하여 예측모형을 개발하면 예측모형의 신뢰성에 문제가 있을 것이다. 즉 전체데이터의 80%에 해당하는 비정형(SNS, 페이스북, 트위트, 이미지, 동영상 등)과 반정형(로그데이터)데이터를 반드시 포함하여 모형을 구축해야 만이 신뢰성을 현실화 시킬 수 있을 것이다. 본 논문에서는 예측모형 개발시 빅데이타 방법론을 적용하여 예측 모형의 신뢰성을 높이고, 데이터를 이용하여 제안된 방법과 전통적인 방법의 예측모형의 신뢰도를 비교 분석 하였다.

• 정보관리학회지
• /
• 제38권4호
• /
• pp.65-82
• /
• 2021

이 연구의 목적은 연구소프트웨어의 공유, 재사용, 인용 현황을 분석하는 것이다. 학술커뮤니케이션에서 연구소프트웨어는 최근 들어 더욱 중요한 역할을 하고 있다. 현재 연구소프트웨어의 인용이 일반적인 관행이 아니거나, 적어도 데이터인용색인(DCI)이 연구소프트웨어의 인용과 재사용을 제대로 인덱싱하지 못하는 것으로 관찰되었다. 소프트웨어인용은 주요 레포지토리(prominent repositories)에서 발견되었다. 소프트웨어인용이 많은 레포지토리는 CRAN(Comprehensive R Archive Network)과 Zenodo였다. 연구소프트웨어가 재사용되는 경우, 비공식 소프트웨어인용(informal software citation)과 공식 소프트웨어인용(formal software citation)이 동시에 관찰되었다. 비공식 소프트웨어인용은 연구소프트웨어가 논문의 본문에서는 언급되지만 참고문헌에는 없는 경우였고, 공식 소프트웨어인용은 참고문헌에도 있는 경우였다. 또한, 이 연구의 결과는 연구소프트웨어의 자기 인용(self-citation) 현황을 설명했다.