• 한국컴퓨터정보학회논문지
• /
• 제12권3호
• /
• pp.251-258
• /
• 2007

웹서비스 기술의 활성화와 더불어, XML 문서에 대한 접근통제기술이 새롭게 개발되었다. 그 결과, 기존의 접근통제시스템에서와 마찬가지로, 중요정보 자원에 대한 접근통제문제에 대한 연구가 큰 각광을 받고 있다. 본 논문에서는 XML 문서에 대한 접근통제정책을 정형명세언어인 CSP로 변환하는 방법을 제시한다. 이를 위해, 첫째, XPath 경로지정 언어로 표현된 XML 문서의 계층적 접근을 CSP 프로세스 알제브라로 변환하는 방법을 소개한다. 둘째, XML 스키마 문서를 오토마타 형태의 정형모델로 표현하는 방법을 설명한다. 셋째, XML 접근통제정책에 사용되는 적용 규칙 및 충돌규칙의 의미론을 프로세스 알제브라 언어로 표현하는 방법을 제시한다. 마지막으로, 본 논문에서 제시한 방법론의 타당성을 보이기 위해, XML 스키마 문서 및 경로지정 표현에 대한 CSP 명세 예제를 보여준다.

• 한국수학사학회지
• /
• 제25권4호
• /
• pp.69-82
• /
• 2012

본 논문은 복소수 지도에 대한 De Morgan의 관점을 분석하였다. De Morgan의 복소수를 도입하고 정당화하는 과정은 그의 대수에 대한 관점이 보편적 산술, 기호 대수, 의미 대수로 발전해가는 과정과 일치한다. De Morgan은 허수의 유용성을 이유로 수학적으로 엄밀하지 않은 허수를 인정하였다. 이를 설명하기 위해 De Morgan은 기호의 의미나 대상은 고려할 필요가 없다는 기호대수를 수용했다. 그러나 그는 허수의 의미를 포기할 수 없었고, 결국 길이와 방향을 가진 직선을 대상으로 하는 이중대수 이론을 전개하였다. De Morgan은 복소수 지도를 정당화하는 과정을 정련해가면서 대수와 수학 전반에 관한 자신의 관점을 지속적으로 발전시켜나갔다고 볼 수 있다. 이는 복소수의 지도가 새로운 수학적 개념의 도입에 머물지 않고 대수에 대한 관점의 변화와 발전을 일으키는 촉매가 될 수 있음을 보여주고 있다.

• International journal of advanced smart convergence
• /
• 제3권2호
• /
• pp.6-9
• /
• 2014

SaaS provides software hosted on the cloud computing in a form of service. Thus, it enables the extension of service functions by combining or reusing the existing software. As an analysis technique, this paper suggests a method of verifying the reusability of a process by analyzing it with the process algebra. The suggested method can confirm the reusability of existing software, ensure the consistency of modifications by tenants or requests, and provide probabilities of combining processes.

• 품질경영학회지
• /
• 제20권1호
• /
• pp.11-21
• /
• 1992

The Purpose of this paper contribute to design the multistate Markov process for the reliability of a system when the transition-rates of each unit depend on the current state of the system. The system transition-rate matrix has the form of the kronecker sum of transition rate matrices for the units, is analyzed and investigated. As a result, the system which has the state-dependent units is detaily analyzed and introduced by the approach of an algorithm for the system transition-rate matrix based on the kronecker algebra.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제43권1호
• /
• pp.87-96
• /
• 2004

For finding the optimal strategy in Blackout game which was introduced in the homepage of popular mono "Beautiful mind", we develope a mathematical proof and an algorithm with a software. We only use the concept of basis and knowledge of basic linear algebra. This process can be extended to the fullsize Go table problem and shows why we have to study mathematics at the college level.

• 한국전산응용수학회:학술대회논문집
• /
• 한국전산응용수학회 2002년도 학술발표대회
• /
• pp.25.1-25
• /
• 2002

• 한국수학교육학회지시리즈A:수학교육
• /
• 제52권3호
• /
• pp.271-301
• /
• 2013

The purpose of the study was to investigate how students generalize and prove the factoring of $x^n-1$ using a Computer Algebra System application and the role of CAS in this process. The theoretical framework consists of the anthropological and the instrumental approach. In particular, the basis of the Task-Technique-Theorization(T-T-T) frame adapted form Chevallard's anthropological approach of Didactics is utilized. We found that Technique-Theorization emerges in mutual interaction between paper-and-pencil techniques and computer algebra techniques. And this interaction led to the students' theoretical reflection and conceptual understanding. In this process, we could identify three epistemic role of CAS : the role of checking the result, the role of cognitive stimulation and the role of extending thinking. Therefore CAS plays on a epistemic role of checking the result of a task, stimulating the student' cognition and extending their thinking as well as pragmatic role of producing the result of a input.

• 대한수학교육학회지:수학교육학연구
• /
• 제17권1호
• /
• pp.67-90
• /
• 2007

본 연구의 목적은 문제해결의 결과로 나타나는 성공과 실패에 대한 학생들의 사고 과정을 유사성의 관점에서 이해하고자 하는 것이다. 따라서 사례연구 방법을 사용하여 정답을 제시한 학생들의 사고과정이 반드시 바람직하지 않을 수 있다는 의사(擬似) 분석적 사고와 분석적 사고에 대한 Vinner(1997a, 1997b)의 연구내용을 근거로 학생들의 사고과정을 분석하고자 하였다. 본 사례 연구 분석 결과, 학교 성적이 중상위권인 2명의 연구대상자들은 각각 의사(擬似) 분석적 사고와 분석적 사고를 함으로써 대수 문장제 해결에서 성공하거나 실패하였다. 학생들의 의사(擬似) 분석적 사고와 분석적 사고의 특징은 구조적 유사성의 구성에서 각 연구 대상자들이 인식한 해법 공식이 변형이 가능한 것인가의 여부와 해법을 적용하는 과정에서 학생 자신의 사고를 통제하거나 조절할 수 있는가의 여부에 따라 구분된다는 것이었다. 따라서 본 연구에서는 학생들이 해법으로 인식하는 공식의 형태가 어떠한 것이며, 그러한 해법을 어떻게 적용하는가를 유사성의 관점에서 문제 해결의 성공 여부와 관련하여 분석할 수 있었다.

• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제11권2호
• /
• pp.143-151
• /
• 2007

Nowadays there are practically no mathematical courses in which Computer Algebra Systems (CAS) programs, such as MATHEMATlCA, Maple, and TI-89/92, are not used to some extent. However, generally the usage of these programs is reduced to illustration of computing processes: calculation of integrals, differentiation, solution of various equations, etc. This is obtained by usage of standard command of type: Solve [...] in MATHEMATICA. At the same time the main difficulties arise at teaching nonconventional mathematical courses such as coding theory, discrete mathematics, cryptography, Scientific computing, which are gaining the increasing popularity now. Now it is impossible to imagine a modern engineer not having basic knowledge in discrete mathematics, Cryptography, coding theory. Digital processing of signals (digital sound, digital TV) has been introduced in our lives.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제52권1호
• /
• pp.97-109
• /
• 2013

Research in undergraduate mathematics education has been active very recently. The purpose of the paper is to investigate how college students make ion from some known informations about integer and rational numbers in algebra. Three college students were involved in the study. We analyze student's personal answers in order to find where their misunderstandings and difficulties come from based on the theoretical frameworks on mathematical understanding such as APOS-model and P-K-model. Finally we discuss about constructivist teaching ways for algebra and propose new paradigm for teaching undergraduate mathematics.