• Annual Conference on Human and Language Technology
• /
• 2010.10a
• /
• pp.37-41
• /
• 2010

본 논문에서는 Mathematical Markup Language(MathML) 형식으로 작성된 수학식 분류를 위해 필요한 자질과 성능 향상에 기여하는 자질 조합을 비교 평가한다. 이것은 MathML 형식의 수학식을 분석하기 위한 전처리 작업으로, 연산자의 모호성을 해소하기 위한 가장 기본적인 단계에 해당한다고 볼 수 있다. 실험에 사용되는 기본자질(Baseline)은 MathML 태그 정보와 연산자이고, 여기에 다른 자질들을 추가하며 가장 높은 분류 성능을 가지는 자질을 찾는 방식으로 진행하였다. 학습은 지지벡터기기(Support Vector Machine: SVM)를 사용하였고 분류하고자 하는 단원은 '수학의 정석' 책을 토대로 총 12개(집합, 명제, 미분, 적분 등)로 나누었다. 실험을 통해 MathML 문서 안에서 가장 유용한 자질이 '식별자&연산자 바이그램'인 것을 알 수 있었고, 여러 가지 자질들을 조합하여 수학식을 분류한 결과 92.5%의 성능으로 분류하는 것을 확인할 수 있었다.

• Proceedings of the Korean Vacuum Society Conference
• /
• 2013.02a
• /
• pp.249-249
• /
• 2013

지식경제부의 청정제조기반 산업원천개발사업의 일환으로 진행 중인 "초고진공펌프 개발" 과제 중 제 3 세부 과제인 "고진공펌프종합특성평가시스템 설계, 진단기술 개발" 과제에서 진행되고 있는 연구수행결과 및 기 구축 돈 저진공펌프 종합특성평가시스템을 활용한 진공펌프의 상용화를 위한 신뢰성 평가에 관하여 소개한다. 10(3) mbar~ 10(-10) mbar 영역의 국내 진공펌프 개발 수준의 선진화를 위한 모든 특성평가장치의 국제적 신뢰성이 있는 완벽한 성능평가의 구현에 있다고 할 수 있다. 고진공펌프개발 총괄과제의 대명제는 "국제적 신뢰성을 가지는 상용화 제품의 완성"이며, 전체 사업 추진기간 동안 제품 개발 주체인 산업체에 상용화를 위한 신뢰성 기반기술의 완벽한 구현의 제공에 있다고 할 수 있다. 이러한 고진공펌프의 신뢰성 평가는 저진공펌프의신뢰성 평가기술에 기반을 두고 있으며, 기 개발 완료된 특성평가뿐만 아니라 실질적으로 공정현장에서 판단할 수 있는 내구성진단 및 제작회사에서의 기계적 신뢰성 진단기술의 복합적인 요인들의 집합적인 분석에 기인하고 있다고 판단할 수 있다. 상용화 단계의 내구성 및 신뢰성 확보를 위한 전제 조건은 대외적으로 공표할 수 있는 시험평가 데이터와 개발 주체에서 기밀 수준으로 유지해야만 하는 민감한 자료의 상시 생산 infra의 구축으로 볼 수 있다. 이러한 진공펌프개발이라는 과제의 대명제를 완성하기 위하여 추진 연구개발 방향 등 진행형인 2년간의 최종 상용화에 필요한 국제 신뢰성, 공정대응성 확보 등 핵심사업 추진내용을 소개하고자 한다.

• Proceedings of the Korean Vacuum Society Conference
• /
• 2013.08a
• /
• pp.112.2-112.2
• /
• 2013

지식경제부의 청정제조기반 산업원천개발사업의 일환으로 진행 중인 "초고진공펌프 개발" 과제 중 제 3세부 과제인 "고진공펌프종합특성평가시스템 설계, 진단기술 개발" 과제에서 5년 동안 진행되고 있는 전반적인 연구수행결과 및 구축 완료된 종합특성평가시스템을 활용한 고진공펌프의 상용화를 위한 신뢰성 평가에 관하여 소개한다. 고진공펌프개발 총괄 과제의 대명제는 "국제적 신뢰성을 가지는 상용화 제품의 완성"이며, 10(3) mbar~10(-10) mbar 영역의 국내 진공펌프 개발 수준의 선진화를 위한 모든 특성평가장치의 국제적 신뢰성이 있는 완벽한 성능평가의 구현을 포함한다고 볼 수 있으며, 전체 사업 추진기간 동안 제품 개발 주체인 산업체에 상용화를 위한 신뢰성 기반기술의 완벽한 구현의 제공에 있다고 할 수 있다. 이러한 고진공펌프의 신뢰성 평가는 저진공펌프의 신뢰성 평가기술에 기반을 두고 있으며, 기 개발 완료된 특성평가뿐만 아니라 실질적으로 나노종합팹센터의 공정현장에서 판단할 수 있는 내구성진단 및 최종 제품의 기계적 신뢰성 진단기술의 복합적인 요인들의 집합적인 분석에 기인하고 있다고 판단할 수 있다. 상용화 단계의 내구성 및 신뢰성 확보를 위한 전제 조건은 대외적으로 공표할 수 있는 시험평가 데이터와 개발 주체에서 기밀 수준으로 유지해야만 하는 민감한 자료의 상시 생산 infra의 구축으로 볼 수 있다. 이러한 진공펌프개발이라는 과제의 대명제를 완성하기 위한 연구개발 등 최종 상용화에 필요한 국제 신뢰성, 공정대응성 확보 기술개발 등 핵심사업 추진내용을 소개하고자 한다.

• Communications of Mathematical Education
• /
• v.14
• /
• pp.197-215
• /
• 2001

최근 수학적 사고력 연구가 구체적 수학내용에 기반한 활동과 조작에 대한 연구보다는 활동이나 조작을 통한 결과로 수학적 사고력에 접근하는 일회성 연구로 이루어지는 경향이 있다. 본고에서는 교육 내용을 선정하기 위해 학교수학에서 아동들이 어떤 수학적 사고를 하는데 장애을 겪는지에 주목하여, 이러한 장애를 극복하는 것을 통해 수학적 사고력의 신장을 생각해보고자 하였다. 이에 대수에서는 문자도입에 따른 추상적 상징의 수용과 이용부분에서, 기하에서는 논증기하의 증명도입과정에서 형식적, 연역적 사고 시작으로 아동이 수학적 사고에 어려움을 겪는다는 사살에 주목하였다. 특히 논증 기하의 연역적, 형식적 증명은 논리와 추론이 바탕이 되어야 한다. 그런데 논리와 추론은 고등학교 1학년과정 집합과 명제부분에 들어있어 아동은 논리와 추론에 대한 어떤 경험도, 교육도 받지 않은 상태에서 증명을 하게 된다. 이에 교육 내용으로 수학적 사고력을 신장을 위해 가장 필요한 내용이 논증 기하가 도입되기 이전에 초등학교 5,6학년 아동을 대상으로한 논리와 추론교육이라고 본다. 또한 교육 방법으로는 컴퓨터를 이용한 교육공학적 접근을 하고자 하였다. 교육공학적 접근이 적극 권장되는 교육적 현실과 정규교육과정에서 이를 받아들일만한 시간적 여유가 없음을 감안하여, 교과 내용과 연계된 컴퓨터 교육을 제안하는 바이다. 이에 논리 및 추론 교육은 컴퓨터 교육으로 초등학교의 특기적성 시간이나 정규수업 시간에 이용할 것을 제안한다. 논리와 추론교육을 위해 무엇을 어떻게 가르칠 것인가에 대한 답으로 논리와 추론교육에 적합한 수학적 내용으로 크게 이산수학과 중등 기하의 초등화하여 탐구하도록 하는 내용을, 교육 방법 측면에서는 논리와 추론 교육을 위한 LOGO 기반 마이크로월드를 설계, 이용하여 수학적 사고력을 신장시키고자 한다. 여기까지가 수학적 사고력을 위한 가능성을 모색한 것이라면 후속연구로 이러한 가능성을 실험연구로 검증하고자 한다.

• Asia Marketing Journal
• /
• v.9 no.2
• /
• pp.23-47
• /
• 2007

A new chi-square test is proposed to assess significance of attributes for nonparametric conjoint models. The key idea is to form subsets of rankings and test the dependence between the attribute levels and the sets of rankings. The null hypothesis states that the rankings for profiles with the focal attribute are distributed randomly among the sets of rankings. The approach is simple, easy to use, and can be applied at the individual level as well as at the aggregate level. It can be used for the trade-off approach as well as for the full profile approach.

• Journal of Korean Society of Archives and Records Management
• /
• v.12 no.3
• /
• pp.155-176
• /
• 2012

Economic impact analyses have not been widely conducted in archives. This article reports on a two parallel surveys in the US and Canada to assess the economic impact of government archives (state, provincial, territorial, county, and municipal). The surveys utilize indirect measures of economic impact. Responses from 2,534 people in 66 archives were analyzed. Findings indicate that archives were the primary reason that respondents visited an area and that visitors exhibit specific patterns of visiting the archives in conjunction with other cultural organizations in an area. Furthermore, while many respondents used local eateries, fewer rented lodgings or spent money on theater or sporting events. As a result, the archives participating in this survey did have a modest impact on local economies. The article concludes by discussing three major questions about the evaluation of the economic impact of archives which were raised by the findings: 1) Are indirect measures the most appropriate means of assessing economic impact in archives or should archives employ direct measures as used by public libraries? 2) How should government archives formulate their value proposition and should those value propositions focus on other aspects of archives' impact, such as the social impact, to demonstrate archives' important role in society? and 3) Since visitors exhibited distinct visitation patterns, should archives work more with these other aligned organizations and work on larger forms of collective impact that benefit the entire cultural heritage sector in an area?

• Korean Journal of Logic
• /
• v.22 no.1
• /
• pp.151-182
• /
• 2019

According to the realization criterion that distinguishes deductive argument from inductive argument, the realized necessity relation between the premises and the conclusion defines deductive argument. In this case, 'invalid deductive argument' is an oxymoron. According to the intention criterion, the intended necessity relation between the premises and the conclusion defines deductive argument. In this case, 'invalid deductive argument' is not an oxymoron. In this paper, we will argue for the intention criterion. The realization criterion cannot classify an elliptical argument without referring to the intention represented in the argument. It cannot distinguish an argument from a set of propositions that is not an argument either. On the other hand, the problem that an intention may not be recognized in an argument can be resolved by referring to the principle of charity. Moreover, by distinguishing the expressions showing the conviction or the attitude to the argument from the intention of the argument, we conclude that the intention criterion successfully distinguishes deductive argument from inductive argument.

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.7
• /
• pp.35-48
• /
• 2022

In this study, it propose a proof theory method for expressing and reasoning knowledge in a multiagent environment. Since this method determines logical results in a mechanical way, it has developed as a core field from early AI research. However, since the proposition cannot always be proved in any set of closed sentences, in order for the logical result to be determinable, the range of expression is limited to the sentence in the form of a clause. In addition, the resolution principle, a simple and strong reasoning rule applicable only to clause-type sentences, is applied. Also, since the proof theory can be expressed as a meta predicate, it can be extended to the metalogic of the proof theory. Metalogic can be superior in terms of practicality and efficiency based on improved expressive power over epistemic logic of model theory. To prove this, the semantic method of epistemic logic and the metalogic method of proof theory are applied to the Muddy Children problem, respectively. As a result, it prove that the method of expressing and reasoning knowledge and common knowledge using metalogic in a cooperative multiagent environment is more efficient.

• School Mathematics
• /
• v.18 no.1
• /
• pp.143-157
• /
• 2016

North Korea had been reorganized its educational curriculum and new contexts were authored in 2013. In this study, mathematics contexts of North Korean secondary school's first grade in 2009 and 2013 were investigated. And the changes of content structure, content development, and content composition were analyzed. Results were as follows: First, with respect to the content structure, 1 chapter decreased, while lesson number was intact and 4 subunits increased. Second, with respect to the content development, considerable changes were presented. The tendencies that encouraged student and pursued a student friendly form were investigated. Third, with respect to the content composition, obvious changes were presented. It was investigated that the ratio of numbers and number operations, letters and expressions decreased nearly half. And new contents were supplemented in the areas of patterns, geometry, functions, probability and statics, equation of figures, set and statement. This changes suggests that differences between contexts of South and North Korea is narrowing compared to the past. In conclusion, the direction of North Korean mathematical education is changing for the general direction of South Korean mathematical education.

• Management & Information Systems Review
• /
• v.39 no.1
• /
• pp.93-114
• /
• 2020

Platform is considered as an alternative strategy to the traditional linear pipeline based business. Moreover, in the 4th industrial revolution period, efficiency driven pipeline business model needs to be changed to platform business. We have such success stories about platform as Apple, Google, Amazon, Uber, and so on. However, for those smaller corporations, it is not easy to find out the transformation strategy. The essence of platform business is to leverage network effect in management. Thus platform based management can be rephrased as network management across the business functions. Research on platform business is popular and related to diverse facets. But few scholars cover what the research trend of the domain is. The main purpose of this paper is to identify the research trend on platform business in Korea. To do that we first propose the analytical model for platform architecture whose components are consumers, suppliers, artifacts, and IT platform system. We conjecture that mapping of the research work on platform to the components of the model will make us understand the hidden domain of platform research. We propose three hypotheses regarding the characteristics of research and one proposition for the transitional path from pipeline to platform business model. The mapping is based on the research articles filtered from the Korea Citation Index, using keyword search. Research papers are searched through the keywords provided by authors using the word of "platform". The filtered articles are summarized in terms of the attributes such as major component of platform considered, platform type, main purpose of the research, and research method. Using the filtered data, we test the hypotheses in exploratory ways. The contribution of our research is as follows: First, based on the findings, scholars can find the areas of research on the domain: areas where research has been matured and territory where future research is actively sought. Second, the proposition provided can give business practitioners the guideline for changing their strategy from pipeline to platform oriented. This research needs to be considered as exploratory not inferential since subjective judgments are involved in data collection, classification, and interpretation of research articles.