• 논리연구
• /
• 제19권2호
• /
• pp.295-322
• /
• 2016

이 글에서 우리는 유니놈에 기반한 퍼지 논리를 위한 대수적 크립키형 의미론을 다룬다. 이를 위하여 먼저 유니놈에 기반한 논리체계들을 위한 대수적 의미론을 재고한다. 다음으로 유니놈에 기반한 체계들의 일반적 구조에서 다양한 종류의 일반적 대수적 크립키형 의미론을 소개하고 그것들을 대수적 의미론과 연관 짓는다. 마지막으로 우리는 유사하게 특수한 대수적 의미론을 소개하고 이를 또한 대수적 의미론과 연관 짓는다.

• 한국통신학회논문지
• /
• 제26권12A호
• /
• pp.1983-1989
• /
• 2001

본 논문에서는 터보복호기 설계를 위하여 2단 연판정 출력 비터비 알고리듬에 대수적 구조를 적용한 대수적 (algebraic) 2단 연판정 출력 비터비 알고리듬이 제시된다. 제시된 알고리듬은 대수적 구조를 이용함으로써 행렬화된 가지(branch) 및 상태(state) 메트릭의 병렬연산이 가능하다. 띠·라서 기존의 방식에 비해 곱의 연산량이 감소되며 전체 메모리가 줄어든다. 그러므로 제시된 대수적 2단 연판정 출력 비터비 알고리듬은 적은 계산량과 단순한 하드웨어가 요구되는 터보부호의 복호기에 적합할 것으로 사료된다.

• 한국정보처리학회논문지
• /
• 제3권6호
• /
• pp.1355-1364
• /
• 1996

복합 객체 모델은 복잡한 구조 데이타를 지원하기 위해 기존의 관계형 데이타 모 델을 자연스럽게 확장한 값 중심 데이타 모델이다. 본 논문은 복합 객체 모델의 검색 연산을 대상으로 대수적 최적화 기법의 적용이 용이한 대수 설계를 제안한다. 이를 위해 우선, 복합 객체 처리를 목적으로 제안된 기존의 대수들을 대수적 최적화 기법 의 적용성을 기준으로 비교 분석한다. 또한 단순 명료성, 데이타 구조에 대한 무제약 성, 단일 표현 체계의 설계 원칙을 기반으로 복합 객체 대수를 설계한다. 제안된 대 수의 특징은 다양한 구조의 복합 객체에 대한 대수의 안정성과 단순성을 유지하고 동 시에 대수적 최적화 기법의 적용이 용이한 점이다. 끝으로 본 연구에서 설계된 대수 가 기존 대수들과 동등하거나, 더 향상된 표현력을 갖음을 보인다.

• 한국학교수학회논문집
• /
• 제8권3호
• /
• pp.367-382
• /
• 2005

본 연구는 학교수학에서 대수적 구조(군)의 지도에 관한 논의를 담고 있다. 이를 위해 먼저 Bruner가 제시한 지식의 구조에 대해 논의하고, 그 내용을 학교대수의 지도와 관련지어 살펴본다. 또한 대수적 구조 가운데 군 개념을 중심으로 하여 이와 관련된 선행연구를 Piaget, Freudenthal, Dubinsky, Burn 등의 논의에서 검토해본다. 그리고 초등수학에서부터 고등학교 수학까지 군 개념과 관련된 내용이 어떻게 표현되고 있는지를 살펴본다. 학교수학에서 군 개념과 관련된 내용은 초등수학에서부터 시작되는데, 초등수학의 경우 항등원, 교환법칙, 결합법칙 등을 수의 맥락에서 찾아볼 수 있다. 중학교 수학에서는 덧셈과 곱셈 연산에 있어서 항등원, 역원, 교환법칙, 결합법칙이 보다 구체적으로 제시되고 있으며, 이러한 규칙은 등식의 성질과 이항, 일차방정식의 풀이 등을 통해 살펴볼 수 있다. 고등학교 수학에서는 이항연산을 비롯한 여러 영역에서 군 개념을 포함하는 대수적 구조가 제시되고 있다. 이에 비해 학교대수에서는 이러한 주제들을 통합적으로 구성하려는 시도가 이루어지지 않고 있으며 각각의 내용이 독립적으로 다루어지고 있다. 본 연구에서는 학교대수에서 군 개념과 관련된 내용들을 검토함으로써 대수적구조(군) 측면에서 이러한 내용들을 종합해보고자 한다.

• 논리연구
• /
• 제21권3호
• /
• pp.353-371
• /
• 2018

이 글에서 우리는 대수적 루트리-마이어형 의미론이라고 불릴 의미론을 연구한다. 이를 위하여 먼저 퍼지 논리 체계 MTL과 대수적 의미론을 소개한다. 다음으로 이 체계를 위한 대수적 루트리-마이어형 의미론을 제공한 후, 이를 대수적 의미론과 연관 짓는다.

• 논리연구
• /
• 제21권2호
• /
• pp.155-174
• /
• 2018

이 글에서 우리는 (곱 연언 &의) 약한 형식의 결합 원리를 갖는 퍼지 논리를 위한 대수적 크립키형 의미론을 연구한다. 이를 위하여 먼저 약한 결합 원리를 갖는 퍼지 논리의 대수적 의미론을 소개한다. 다음으로 이 체계들을 위한 대수적 크립키형 의미론을 제공한 후, 이를 대수적 의미론과 연관 짓는다.

• 대한수학교육학회지:학교수학
• /
• 제14권4호
• /
• pp.445-468
• /
• 2012

본 연구는 산술적 바탕 위에 있는 학생들이 형식적인 대수 추론으로 자연스럽게 이행하는 것을 돕고자, 초등학생들이 대수 문제를 접하였을 때 사용하는 대수 추론 전략을 조사하였다. 총 839명을 대상으로 초등학생의 대수 추론 방법을 조사한 결과, 초등학생들이 연립 일차방정식과 관련된 문장제의 해결에서 기존의 교과서에 제시된 방법 이외의 다양한 산술적 추론과 전형식적 대수 추론을 사용하는 것이 파악되었다. 또한, 대수 문제의 구조에 따라 학생들이 사용하는 추론 전략의 차이가 있음을 밝혔으며, 학생들의 대수 문제해결에서 나타나는 추론상의 오류의 원인을 분석하였다. 특히, 초등학생들이 사용하는'양적 추론'과 '비례적 추론'과 같은 전략들은 비형식적인 대입법, 이항법임을 밝혔다. 마지막으로, 이러한 전형식적 대수 추론들을 형식적 대수 추론으로 연결할 수 있는 가능성에 대하여 논의하였다.

• 한국전산구조공학회논문집
• /
• 제20권6호
• /
• pp.743-749
• /
• 2007

대수학 부구조법은 대형 문제들의 고유치 계산에 최고 성능을 지닌 방법이지만 근본적으로 최소 고유치만을 계산하기 위해 설계되었다. 본 논문에서는 이동값을 이용하여 특정범위 안의 내부 고유치를 계산하기 위해 대수학 부구조법의 갱신된 버전을 제안하고, 이를 이동 대수학 부구조법이라 명명한다. 그리고 구조문제의 유한요소모델에 대한 수치실험을 통해 제안된 방법이 다수의 내부고유치를 계산하는데 란쵸스방법보다 월등한 효율성을 가지고 있음을 보였다.

• 한국수학사학회지
• /
• 제17권2호
• /
• pp.97-103
• /
• 2004

이 논문에서는 다원환의 자유결합의 대수적 구조를 규명하여 분수확대체로서의 미분가군의 일반적인 특성을 연구하고 있다. 보편적 범주 내에서의 미분과 미분가군의 대수적 형태는 대수적 결합의 기본 원칙을 충실히 보존한다는 원칙을 밝혔을 뿐만 아니라 대수적 동형 개념으로 수학의 우주적 균형이론을 실질적으로 보여주고 있다.

• 한국지하수토양환경학회:학술대회논문집
• /
• 한국지하수토양환경학회 2002년도 추계학술발표회
• /
• pp.144-147
• /
• 2002

효과적인 국내 충적층 지하수의 이용을 위해서는, 충적 대수층의 내부 구조를 정밀하게 평가하여야 한다. 특히, 강변여과, 인공 침투지 등의 적극적인 충적 대수층의 활용을 위해서는 충적 대수층의 퇴적 환경에 대한 이해가 요구된다. 국내 충적층의 대부분은 하천 둔치 주변에서 하도의 수평 이동에 의해 형성된 경사 지층으로, 니질 박층이 협재하므로 내부의 분균일성에 의해 인접한 취수 공간에도 지하수체의 이동 특성 및 화학적 특성이 달라질 수 있다. 본 연구는 이러한 불균질성을 박히기 위해 지하투과레이다(GPR)를 이용하여 부여 군수리 지역의 천부 충적층에 대한 퇴적학적 분석을 시도하였다. 군수리 지역은 크게 상하 두 개의 충적층으로 구분되며, 상부 수평층은 범람에 의해 형성된 것으로 수직 불균질성이 크고 수평 불균질성은 낮다. 하부 경사층은 수평, 수직 불균질성이 모두 크다. 특히 하부 경사층내에 발달한 하도곡은 인접한 충적층과 분리되어 이 층내의 지하수체 이동은 제한적일 것이고 수질 특성 또한 크게 다를 것으로 판단된다. 본 연구는 충적 대수층에 대한 물리 화학적 특성의 정확한 해석을 위해서 퇴적학적 해석이 선행되어야 함을 시사한다.