• 한국학교수학회논문집
• /
• 제19권1호
• /
• pp.1-19
• /
• 2016

본 연구는 오늘날 사용되는 식의 표기를 괄호 생략의 관점에서 고찰하였다. 먼저 연산 기호 생략 규칙과 관련한 초 중등 교과 내용을 검토해본 결과, '$48{\div}2(9+3)$의 계산 결과는 얼마인가?'라는 물음에 답할 명시적 근거를 찾기 어려웠다. 다음 표기에 관한 근본적인 탐구를 위해 전위 표기법, 중위 표기법, 후위 표기법의 특징을 살펴보고, 중위 표기법이 갖는 장 단점을 확인하였다. 동시에 표기법의 발전을 괄호 생략의 관점에서 조명해 보았다. 이러한 고찰로부터 연산 생략은 곧 함수의 이미지라는 관점이 괄호 생략을 원활하게 해석할 수 있는한 방법임을 확인할 수 있었다. 이를 통해 역사 발생적 원리에 따른 수학적 표기 지도, 중위 표기법의 선택 맥락 이해와 난점 극복을 위한 노력의 재현, 연산자를 포함한 생략된 괄호를 찾아 근본 식을 파악하는 활동, 곱셈이 생략된 경우를 함수의 이미지로서 간주하는 관점의 명시 등을 포함한 몇 가지 지도방안을 제안하였다.

• 한국도서관정보학회지
• /
• 제20권
• /
• pp.351-381
• /
• 1993

The purpose of this study is to analyze the various processes and patterns to build or synthesize class numbers in the 800 class of the Dewey Decimal Classification, Edition 20(1989). The results of the analysis are as follows: 1. The 800(Literature and rhetoric) class in the DDC system is the main class added analytico-synthetic principle positively to an enumerative scheme. 2. The facets to be a n.0, pplied in literature are language literary form literary period ; kind, scope, or medium ; notation 08(collection) or 09(criticism) literary feature, subject, author, etc. 3. In the 800 class, there are the five tables of precedence for literary forms aspects ; specific kinds of persons ; literary, period in relation to the aspects for works treating more than one literary form subforms, aspects and literary periods in the works treating a specific literary form. 4. The basic number synthesis of literary works proceeds through the various facets in the following sequence, as far as necessary for the item : base no. + literary form + literary time or period + kind, scope, or medium + notation 08 or 09 + subform + additional notation from T3C and other tables. 5. In view of the multiplicity of facets, their synthesis formulas take the following order : (1) Works about the literature : base no.(schedule) + language(T6) or form(T3B) (2) Works by or about individual author : base no.(schedule) + form (T3A) + period(schedule) + subform(T3A) (3) Works by or about more than one author, not restricted by language facet : base no.(schedule) + period(T1) ; base no.(schedule) + kind, scope, medium(T3B), or feature(T3C), or person(T5). (4) Works by or about more than one author, restricted by language facet : base no.(schedule) + form (T3B) + period(schedule) + subform(T3B) + notation 08 or 09(T3B) ; base no.(schedule) + notation 08 or 09(T3B) + 9(T3C) + area notation(T2) : base no.(schedule) + form (T3B) + notation 008 or 009(T3B) : base no.(schedule) + form (T3B) + kind, scope, medium(T3B) + notation 08 or 09(T3B) + period(schedule). (5) Affiliated literatures for which period numbers are not us base no.(schedule) + form (T3A or T3B), or notation 08 or 09(T3B) : base no.(schedule) + kind, scope, medium(T3B), feature(T3C), or person(T5) 6. The problems in the number building of the 800 class are the complexity and difficulty of number synthesis, the intrinsic weakness of from distinction and the inconvenience of retrieval inherent in the form class. In order to solve these problems, therefore, the citation orders and methods of DDC should be improved and synthesis patterns simplified from the point of view of its applicability and its usefulness in the "literature class".

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 ITC-CSCC -1
• /
• pp.504-507
• /
• 2002

In this paper, we proposed the formation of Hangul-International Phonetic Alphabet conversion table that also meets the standard Korean pronunciation rule. In Hangul, due to a phonetic value change phenomenon, notation and pronunciation are different. To do this, conversion table of notation-phonetic value is created, and conversion table of phonetic value-International Phonetic Alphabet notation are formed. As a result, the conversion table of International Phonetic Alphabet notation that accords with the standard Korean pronunciation has been formed, and it is proved by experiments that the result of conversion has no faults.

• 한국도서관정보학회지
• /
• 제14권
• /
• pp.149-179
• /
• 1987

The concept of a "switching language " between different indexing languages and information retrieval systems has been discussed since the mid-1960s. Some preliminary investigates into the feasibility of switching between mediating tool yielded positive results. The Broad system of ordering(BSO) , a general classification scheme for information exchange and switching, has been under development as a joint FID/UNESCO project since 1973. The purpose of this study is to find out the origin, development, definition, and principle of BSO. The results of the study can be summarized as follows: (1) BSO is a switching language for the purpose of interconnection of information system which is located different regions, or using different indexing languages. (2) BSO is in effect, fully faceted and broad classification system. (3) BSO is not only a subject code but also an ordering system. (4) BSO can be used information retrieval system because the notation of composite subjects is formed by combining notation. (5) BSO has to some extent sacrificed brevity by leaving large unused notational gap for future use. (6) The structure of the scheme is in no way dependent upon the notation. notation.

• 한국정밀공학회지
• /
• 제20권4호
• /
• pp.103-111
• /
• 2003

The Denavit-Hartenberg symbolic notation provides the framework for the convenient and systematic method for the robot manipulator kinematics, but is limited its use to the lower pair mechanism or to the single loop mechanisms. The Sheth-Uicker notation is its revised and generalized version to be extended fur the entire domain of the link mechanism including the higher pairs. This paper proposes the method that uses the Sheth-Uicker notation fur the robot kinematics modeling. It uses the instantly coincident coordinate system and the closed loop chain fur the coordinate transformation. It enables us to model the velocity kinematics of the robot that has the complex structures such as the ternary links and the wheels in a systematic and rational way. As an implementation of the proposed method, the Jacobian matrices were obtained for not only the robot with two legs and a torso, but a manipulator on a mobile platform.

• International Journal of Computer Science & Network Security
• /
• 제21권11호
• /
• pp.230-240
• /
• 2021

This paper presents the definition of a business process and a taxonomy of anomalies in BPMN. Graphical modeling is very popular nowadays and is easily understood by various specialists from different fields. Modeling is a graphical representation of processes in an organization using available rules and resources. Therefore, it is important to use a universal and comprehensive standard to describe models of processes, decisions and software. Such a standard is the BPMN notation, which is a precise notation, but unfortunately it is only a descriptive and graphical form that may contain inaccuracies. The aim of this paper is to collect and analyze available literature describing current state of knowledge about BPMN notation and to present problems and shortcomings related to this topic. The paper includes a taxonomy of problems, their definitions and examples of occurrence in real cases.

• 한국의류산업학회지
• /
• 제16권5호
• /
• pp.785-790
• /
• 2014

This study was performed to investigate purchasing practice and size satisfaction in order to establish marketing strategy and produce free-size clothes for the male and female in their 20s. Results were as follows; first, regarding the size selection method, it has been found that 71.5% of subjects answered that they buy clothes as a sales clerk chooses for them without knowing the old size name or notation. Second, 47.5% of subjects answered that free size is the size, which fits well to 55~66 size. Meanwhile, 36.1% answered that free size fits well to any body type; while 4% answered that free size fits well to 77 size. Third, regarding the clothes kind, which consumers buy most as free size, consumers buy shirts and sportswear by free size. Fourth, they were observed to purchase free-size clothes "free-size clothes what I want" and to not purchase clothes "due to the lack of right sizes." The size notation of clothes products is basic information, by which consumers can tell whether the clothes fit to self or not before the consumer would wear the clothes and confirm its fitness. Therefore, it is suggested that all clothes products would be manufactured by having KS clothes size as basic data and they would use standard size notation so that consumers would not have confusion. Standardized size notation by proper education and utilization on new KS notation method and attitude change of companies and consumers on size are suggested.

• 건축역사연구
• /
• 제17권5호
• /
• pp.71-94
• /
• 2008

This study examines the examples and changes of wooden member terms in Yeonggeon-euigwe(營建儀軌) in the era of Joseon Dynasty. As a result of examining examples, about 240 wood member terms were found on the basis of phonetic value and examples different from today's term use were also confirmed. Wood member terms were derived in variety and synonym and different style, that is, coexistence or transition of several notations as the term indicating the same member was found. Derivation of detail terms has the characteristic increasing on the basis of morpheme and formation of different notation followed Chinese notation or was caused by complex coinage features like a coined word of Korea by the meaning of a word and borrowed character notation borrowing sound and it is also related to the specificity of that time which had dual language system. The typical examples without different style for long were pillar, rafter, door and window. Examples with active generation and selection of different styles included beam, capital and bracket-system terms. Different styles were caused by the combination of several notations including borrowed character in the process of Chinese character notation borrowing sound, Korean unique character emphasizing and limiting combination of 木 (wood) with side of character and Chinese. Period showing remarkable change of example notation was the compilation of ${\ll}$the Hwa-Sung-Sung-Euk-Eui-Gue${\gg}$ 華城城役儀軌. ${\ll}$the Hwa-Sung-Sung-Euk-Eui-Gue${\gg}$ is the representative type uigwe made by printed type not by handicraft. Printing by type accompanies unification of the shape of a character necessarily and it was considered that it resulted in the unification of character of different style, the number of strokes and minute difference of strokes, and it was interpreted that common use of intentional notation with the unification of the shape of a character was achieved.

• 한국콘텐츠학회논문지
• /
• 제22권4호
• /
• pp.742-753
• /
• 2022

최근 문화의 세계화와 K-컬처의 세계적인 유행은 한국의 전통문화를 더욱 발전시키고 알릴 수 있는 좋은 배경이 되고 있다. 그러나 한국의 전통음악에는 세종대왕이 개발한 정간보라는 우수한 기보법을 가지고 있음에도 불구하고 서양 기보법의 보편성으로 점차 사용되지 않고 있는 추세이다. 하지만 7차 교육과정 이후 초등 음악교육에서 정간보의 소개와 활용 비중이 늘어나고 있고, 이는 우리의 고유한 전통 기보법을 다시금 보편화 할 수 있는 좋은 기회가 되고 있다. 반면 기보법의 해석에 관한 연습 이외에 정간보 사보의 실습을 활성화하기 위해서는 더욱 다양한 도구가 필요할 것으로 보인다. 이에 본 연구는 설치나 다운로드가 없이 웹에서 정간보를 사보할 수 있는 웹 프로그램에 대한 설계를 연구하였다. 또한 정간보를 사보하는 과정에 사용자의 편의성을 증대하기 위해 자판을 건반처럼 활용하여 입력하는 방안과 입력된 음악 정보를 MIDI 기능을 통해 청취하고 파일로 저장할 수 있는 방법에 대해 설계하고 제안한다. 본 연구를 통해 누구나 쉽고 간단히 접근하여 실습하고 사보할 수 있는 웹 프로그램을 개발할 수 있으며, 이는 향후 국악의 기보 실습 혹은 전통음악 사보에 유용한 도구가 될 것으로 기대된다.

• 한국철도학회논문집
• /
• 제20권1호
• /
• pp.55-63
• /
• 2017

철도에 사용되고 있는 Safety critical systems 중 하나인 연동장치는 relay-based systems에서 computer-based systems으로 급속히 변환되고 있다. computer-based interlocking systems (CBI)의 안전성확보가 중요한 문제 중 하나로 떠오르고 있다. CBI를 구성하는 연동논리 software는 시스템 안전성에 직접적으로 영향을 미치는 부분 중 하나이다. Formal methods 중 하나인 "Z"notation은 이 software 안전성 확보를 위해 software 명세에 많이 사용되고 있다. 본 논문에서는 "Z"notation을 이용하여 연동논리 일부분을 구현하였으며, Z/EVES를 이용하여 검증을 하였다.