• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06a
• /
• pp.107-109
• /
• 2012

안전필수 소프트웨어는 다양한 분야에 걸쳐 개발과 인증을 위한 표준들이 정의되어 있고, 대부분 프로세스 중심의 인증 방식을 채택하고 있다. 프로세스 중심의 인증 방식의 단점은 제품 소프트웨어의 검증 속성을 보장할 수 없고, 표준에 따라 관점과 관심 속성이 달라서 상호연관이 있는 속성사이의 관계를 기술하는데 적합하지 않다. 본 논문에서, 안전필수 소프트웨어의 표준들의 비교를 통해 특성을 살펴보고, 안전성과 보안 속성을 함께 갖는 안전필수 소프트웨어 개발을 위해, 보증 문서(assurance case) 구성을 목표 설정 표기법(goal structuring notation)으로 작성하고 결과를 고찰한다.

• Communications of Mathematical Education
• /
• v.28 no.3
• /
• pp.375-394
• /
• 2014

The purpose of this study is to examine the transition of mathematical representation in Joseon mathematics, which is focused on numbers and operations, letters and expressions. In Joseon mathematics, there had been two numeral systems, one by chinese character and the other by counting rods. These systems were changed into the decimal notation which used Indian-Arabic numerals in the late 19th century passing the stage of positional notation by Chinese character. The transition of the representation of operation and expressions was analogous to that of representation of numbers. In particular, Joseon mathematics represented the polynomials and equations by denoting the coefficients with counting rods. But the representation of European algebra was introduced in late Joseon Dynasty passing the transitional representation which used Chinese character. In conclusion, Joseon mathematics had the indigenous representation of numbers and mathematical symbols on our own. The transitional representation was found before the acceptance of European mathematical representations.

• Proceedings of the KSPS conference
• /
• 1996.02a
• /
• pp.85-96
• /
• 1996

• KSCI Review
• /
• v.2 no.1
• /
• pp.45-54
• /
• 1995

This study is, by assigning ASCII codes hardly used to Bandaljum(ˇ) and making the fonts of Korean-English character mode, to design the way of converting automatically a word, a sentence or a document of korean into phonetic letters by applying the algorismized phonological principles inputted as a letter string, even though a user do not konw the basic principles of the usage of Korean-to-Romanization notation rule. This is designed so that it may be possible to turn into a mechanical code with reference to the corresponding character in the table of Korean-to-Romanization notation rule that is the currently used standard proposition of the government. Consequently this program makes it user more convenient in the manipulations of special case words, the assistance of colorful-screen or pull-down, pop-up menu and the adoptation of utilizable mouse works for a user convienency. This program could be installed in a single diskette of 5.25"(2HD) and be made in C programming language to mplement various font, expansion or condense of font, alternative printing.ting.

• Journal of the Korean Society for information Management
• /
• v.34 no.2
• /
• pp.7-26
• /
• 2017

There has been growing interest in the methods for measuring the credits of individual authors in multi-authored research papers in response to the increase of research collaboration. Having a good understanding for academic norms of individual discipline is essential to measure author credit effectively. However, many Korean universities do not consider different norms for determining the order of authors across disciplines. Rather, they tend to use a standardized method to assess the credits of authors in multi-authored papers. Therefore, this study presented some problems of applying a standardized method to measure author credits in multi-authored papers in economics. The findings of this study confirmed the frequent use of alphabetical author order in economics papers; however, many university guidelines for research evaluation do not take account the alphabetical authorship in measuring the credits of authors. The authors suggest the needs for (1) establishment of a clear definition for primary authors, (2) flexibility in assessment methods for author credit, and (3) empirical research on author credit.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2007.05a
• /
• pp.717-719
• /
• 2007

바둑판에 놓인 돌의 위치를 표기하기 위한 전통적인 방식은 좌상귀를 기점으로 삼는 것이다. 그러나 이 방식은 직관성과 편리성이 떨어지기 때문에 천원 기점 방식과 각 귀 기점 방식이 제안되 었다. 본 연구에서는 기존의 각 귀 기점 방식의 문제점을 개선하여 좀 더 직관적인 좌표 시스템을 제안한다.

• The monthly packaging world
• /
• s.278
• /
• pp.45-53
• /
• 2016

농식품 유통의 다각화로 인해 안전적인 물류를 위해서는 농식품 포장재가 중요한 요인이 되었다. 때문에 물류형태에 따른 포장재 재질과 포장 디자인의 다양화는 매우 중요하다. 이를 위해 본 연구는 직접유통 농가와 간접유통 농가 112명을 대상으로 포장재 표기내용 중요도와 포장재 활용실태를 분석하였다. 그 결과 유통채널별 표기내용의 중요도가 차이가 있으며, 포장 재질과 포장 디자인을 구별하여 제작 및 활용하고 있는 것으로 나타났다. 연구 결과를 토대로 유통채널의 다각화에 따른 포장재 활용방안으로 택배 물류와 비택배물류에 따른 포장 재질을 고려한 제작, 직접유통과 간접유통에 따른 포장 디자인의 차별화를 고려한 디자인, 유통채널에 따른 포장재 표기방식에서 부각해야 할 부분을 고려한 제작 방안 등을 제시하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06b
• /
• pp.63-66
• /
• 2011

하이브리드 시스템은 연속적인 행위와 이산적인 행위가 긴밀하게 통합되어 있는 시스템이다. 하이브리드 시스템을 모델링 하기 위해서 본 논문에서는 확장한 CHARON을 사용한다. 확장한 CHARON은 기존의 CHARON에서 변수의 도식적 표기법, 모드의 도식적 표기법, 통신 방식 변경(Renaming 방식 제거), 통신과 계층 간 연계의 분리, 긴급 전이 추가, 신호 변수를 추가하였다. 또한 확장한 CHARON을 사용하여 전장을 모델링 하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10c
• /
• pp.339-342
• /
• 2006

BPMN(Business Process Modeling Notation)은 BPMI(Business Process Management Initiative)에서 발표한 것으로서 비즈니스 프로세스 모델링을 위한 표준 표기법이다. BPMN은 표준 모델링 표기법 이므로 다른 모델링 표기법을 익히는데 사용되는 시간을 줄이며 IT 및 비즈니스 사용자들 간의 의사소통을 증진시킬 수 있다. 이에 대응하여 WfMC(The Workflow Management Coalition)는 XPDL 매핑작업을 시도하여 BPMN을 XPDL로 표현할 수 있도록 하였고, 그 결과 BPMN에 매핑시킨 XPDL2.0을 발표하였다. 본 논문에서 설계한 모델링 시스템은 표준 표기법인 BPMN을 통하여 모델링을 하고 그 결과를 국제 표준화 워크풀로우 정의 언어인 XPDL2.0으로 제공하는 워크플로우 모델링시스템을 제안하여 다른 워크플로우 시스템들과의 상호 호환성을 제공하는 것이며, 역할 기반의 모델링 방식으로 복잡한 모델링 작업을 단순화 시킬 수 있다. 즉, 워크플로우 모델링 기능에 실시간 그룹웨어 특성들을 통합하여, 한 차원 높은 수준의 모델링 환경제공을 통하여 기존의 워크플로우 시스템들이 지원하지 못 했던 워크플로우 모델링 협동 작업을 실시간으로 지원 할 수 있을 문만 아니라, 요즘과 같이 대형화와 복잡화 그리고 다양화의 특징을 갖는 조직들의 워크플로우 들에 대한 효율적인 분석 및 모델링 환경을 제공하기 위한 워크플로우 모델링 시스템을 제안한다.

• Bulletin of the Korean Space Science Society
• /
• 2010.04a
• /
• pp.33.3-33.3
• /
• 2010

17세기 이후 조선과 일본은 서로 다른 시각법을 사용하였다. 일본의 경우 서양의 자명종을 받아 들여 12시(時) 100각법(刻法)의 부정시법을 기초로 한 일식시계(和時計)인 자명종을 제작 발전시켰다. 이러한 자명종의 제작기술이 조선에 유입되었지만 조선과 일본의 시각법의 차이로 인해 정확한 기계시계임에도 불구하고 널리 보급되지 못했다. 현재 한국의 대표적인 자명종 유물은 고려대학교 박물관과 서울대학교 박물관에 소장되어 있다. 고려대학교 자명종의 경우 12시 96각법을 기준으로 하여 자명종 전면에 원형으로 12시와 1시진(時辰)에 8각(현행 1시간당 4각)으로 각인되어 있고, 그 밑 부분에 "구(九)", "팔(八)", "칠(七)", "육(六)", "오(五)", "사(四)"가 2회 반복하여 각인되어 있다. 타종장치는 파손되어 있고 구조와 형태로 봤을 때 일정한 시간에 한번 종을 치는 일정천부방식(一挺天符方式, Foliout) 자명종이다. 서울대학교 자명종은 시반에 12시와 숫자만 표기되어 있다. 이 자명종은 "구(九)", "팔(八)", "칠(七)", "육(六)", "오(五)", "사(四)"의 숫자 표기가 고려대학교 자명종과 일본 자명종 유물과는 다르게 반대의 방향으로 표기되어 있다. 이 자명종의 타종장치는 정해진 시각에 해당 시각만큼 타종하는 장치가 달린 이정천부방식(二挺天符方式) 자명종 형식이다. 서울대학교 자명종의 경우 일부 부품이 유실되고 개조된 것으로 보이며, 야간용 천부(天符)와 알람장치가 유실된 상태이다. 이는 일본의 부정시법 자명종을 조선의 정시법로 사용하기 위해서 개조한 것으로 여겨진다. 수차례에 걸친 국내와 일본의 학술조사를 수행하여 당시의 조선과 일본의 시각법에 대한 비교조사와 유물 및 문헌을 통해서 두 자명종의 구동방식을 알게 되었다. 또한 일본의 자명종 제작 기술 발달 과정과 비교하여 두 자명종의 제작시기 등을 추정하였다. 아울러 두 자명종의 파손된 부분에 대한 구조를 연구하여 기계적 작동원리에 대한 개념도를 제시하고자 한다.