• Korean Journal of Mathematics
• /
• 제27권4호
• /
• pp.1077-1108
• /
• 2019

The notions of intuitionistic fuzzy UP-subalgebras and intuitionistic fuzzy UP-ideals of UP-algebras were introduced by Kesorn et al. [13]. In this paper, we introduce the notions of intuitionistic fuzzy near UP-filters, intuitionistic fuzzy UP-filters, and intuitionistic fuzzy strong UP-ideals of UP-algebras, prove their generalizations, and investigate their basic properties. Furthermore, we discuss the relations between intuitionistic fuzzy near UP-filters (resp., intuitionistic fuzzy UP-filters, intuitionistic fuzzy strong UP-ideals) and their upper t-(strong) level subsets and lower t-(strong) level subsets in UP-algebras.

• Nuclear Engineering and Technology
• /
• 제44권4호
• /
• pp.405-414
• /
• 2012

In this paper, we propose a reliability estimation method for DI&C systems. At the system level, a fault tree model is suggested and Boolean algebra is used to obtain the minimal cut sets. At the component level, an exponential distribution is used to model hardware failures, and Bayesian estimation is suggested to estimate the failure rate. Additionally, a binomial distribution is used to model software failures, and a recently developed software reliability estimation method is suggested to estimate the software failure rate. The overall system reliability is then estimated based on minimal cut sets, hardware failure rates and software failure rates.

• 한국초등수학교육학회지
• /
• 제14권1호
• /
• pp.153-176
• /
• 2010

본 연구는 초등수학에서 조작교구의 중요성과 함께 교구 프로그램의 개발 및 활용에 대해 생각해본 것이다. 최근 초등수학에서 활동과 구성, 조작은 중요한 주제로 다루어지고 있으며, 이를 위해 실생활과 자연현상, 사회현상에서의 다양한 소재와 상황을 연계하여 제시하고 있다. 더불어 공학 도구와 조작교구의 활용 역시 교수학습방법 측면에서 강조되고 있는 부분이다. 초등수학에서 교구의 활용은 교육과정 개정 및 교과서 개발과 함께 점차 강조되어 왔으며, 그 결과 칠교, 지오보드 등은 학년별, 영역별로 구체적인 활용 방안이 제시되고 있다. 본 연구에서는 이러한 연구의 연장선상에서 교구와 교구를 활용한 프로그램의 필요성을 강조하고 있으며, 이를 위해 호주에서 개발된 'Maths With Attitude' 교구 프로그램을 소개하고 있다. 이 프로그램은 주변에서 쉽게 구할 수 있는 교구를 이용한 활동에 중심을 두고 있지만, 한편으론 교구 자체보다 교구를 어떻게 활용할 것인가에 초점을 맞춘 것으로, 초등수준의 경우 3-4학년과 5-6학년용으로 각각 개발되어 있다. 이들 각각은 4개 영역(수와 연산, 공간과 논리, 확률과 측정, 패턴과 대수)으로 구분되어, 각 영역별로 20개 교구와 이를 활용한 프로그램으로 구성되어 있다. 본 연구는 'Maths With Attitude' 교구 프로그램을 소개하고, 이 가운데 5-6학년용 수준의 교구와 이를 활용한 프로그램을 살펴보고 있다. 그리고 이를 통해 우리나라 초등수학에서 활용할 수 있는 교구와 학년별, 영역별로 프로그램을 활용할 수 있는 가능성에 대해 생각해보고자 한다.

• 한국수학사학회지
• /
• 제21권4호
• /
• pp.19-48
• /
• 2008

본고에서는 현대 추상대수학의 기반을 닦은 독일 여성수학자 에미 뇌터의 수학적 삶의 역사를 살펴보고 수학자, 수학교사 등 수학전문가를 양성하는 대학 수학교육에 주는 시사점을 찾아보고자 하였다. 최근 Hyde et al.([14])은 수학 표준화 시험에서 미국의 2-11학년 학생들이 젠더 간 격차를 거의 보이고 있지 않음에도 불구하고, 대학이나 연구소 등 수학 관련 분야에서 전문가로 종사하는 여성수학자나 여성과학자의 비율이 남성에 비해 크게 뒤지고 있음을 지적하였다. 또한 Guise et al.([13])도 국제 수학성취도 비교를 위한 2003-PISA 연구결과를 토대로 하여 젠더 평등지수가 떨어지는 국가일수록 젠더 간 수학성취도 차이가 크다는 관계를 규명하였다. 에미 괴터는 여학생이 대학교육을 받는 것조차 어려웠던 시대에 젠더와 인종 등 사회적 편견과 차별, 그로 인한 경제적인 역경을 극복하면서 현대 추상대수학이라는 새로운 분야를 창조해 낸 20세기 가장 위대한 수학자라 불리는 독일의 여성수학자이다. 에미 뇌터는 수학자로 살면서 경험한 모든 편견과 차별은 비본질적인 것이며 수학만이 자신의 삶 속에서 추구해야 할 본질적인 것이라 판단하였고, 이를 실제 삶 속에서 실천하였고 궁극적으로는 기존 수학의 차원을 통합하거나 넘어서는 새로운 수학을 창조해냈다. 전 생애 동안 편견과 차별을 경험하면서 단 하나의 본질 즉, '수학' 탐구에만 몰입한 에미 뇌터의 삶은 오늘날 수학, 과학 분야의 연구자와 이 분야의 전공과 직업을 택하려는 대학생들 모두에게 실천적 리더십 사례로 평가된다. 특히 이공계 분야 여학생들에게는 혹독한 편견과 차별에 대해 에미 뇌터가 실천적으로 보여준 초연함, 끈기와 인내심, 그리고 수학(학문)에 대한 순수한 열정을 통해 최고 수준의 수학, 과학 탐구와 창조에서 젠더격차가 존재하지 않는다는 것을 이해하는 계기가 되기를 기대한다.

• Asia pacific journal of information systems
• /
• 제12권2호
• /
• pp.99-118
• /
• 2002

In this paper, we propose a visual relational database query language, VRQL, by modifying and extending the recently proposed $VOQL^*$. Like $VOQL^*$, VRQL, based on ven Diagram and graph, naturally reflects the structure of schemas in queries and has recursive formal semantics. However, VRQL has relationally complete expressiveness, while $VOQL^*$ is only a conjunctive query language. In the logical definition part of VRQL, which is the relational version of $VOQL^*$, most features of $VOQL^*$ are retained, and the semantics of queries are based on the tuple relational calculus. In the procedural definition part of VRQL, by introducing the concept of VRQL view and set operations, the expressiveness of VRQL is increased to the level equivalent to that of the relational algebra. Due to the introduction of VRQL views, existing queries or temporary queries used in the process of creating queries can be represented with views, so that complex queries may be represented more conveniently. Set operations, used with VRQL views, enable us to represent various queries, beyond the expressiveness of conjunctive query languages.

• 대한수학회지
• /
• 제60권1호
• /
• pp.115-141
• /
• 2023

We study a class of left-invariant pseudo-Riemannian Sasaki metrics on solvable Lie groups, which can be characterized by the property that the zero level set of the moment map relative to the action of some one-parameter subgroup {exp tX} is a normal nilpotent subgroup commuting with {exp tX}, and X is not lightlike. We characterize this geometry in terms of the Sasaki reduction and its pseudo-Kähler quotient under the action generated by the Reeb vector field. We classify pseudo-Riemannian Sasaki solvmanifolds of this type in dimension 5 and those of dimension 7 whose Kähler reduction in the above sense is abelian.

• Journal of applied mathematics & informatics
• /
• 제41권3호
• /
• pp.657-685
• /
• 2023

This paper aims to apply the concept of Pythagorean fuzzy soft sets (PFSSs) to UP-algebras. Then we introduce five types of PFSSs over UP-algebras, study their generalization, and provide illustrative examples. In addition, we study the results of four operations of two PFSSs over UP-algebras, namely, the union, the restricted union, the intersection, and the extended intersection. Finally, we will also discuss t-level subsets of PFSSs over UP-algebras to study the relationships between PFSSs and special subsets of UP-algebras.

• 호남수학학술지
• /
• 제46권1호
• /
• pp.82-100
• /
• 2024

The main objective of the study is to introduce ideals of Sheffer stroke Hilbert algebras by means of fuzzy points, and investigate some properties. The process of making (fuzzy) ideals and fuzzy deductive systems through the fuzzy points of Sheffer stroke Hilbert algebras is illustrated, and the (fuzzy) ideals and the fuzzy deductive systems are characterized. Certain sets are defined by virtue of a fuzzy set, and the conditions under which these sets can be ideals are revealed. The union and intersection of two fuzzy ideals are analyzed, and the relationships between aforementioned structures of Sheffer stroke Hilbert algebras are built.

• 한국군사과학기술학회지
• /
• 제21권4호
• /
• pp.437-446
• /
• 2018

This paper describes the real-time logic implementation of orthogonal matching pursuit(OMP) algorithm for compressive sensing digital receiver. OMP contains various complex-valued linear algebra operations, such as matrix multiplication and matrix inversion, in an iterative manner. Xilinx Vivado high-level synthesis(HLS) is introduced to design the digital logic more efficiently. The real-time signal processing is realized by applying dataflow architecture allowing functions and loops to execute concurrently. Compared with the prior works, the proposed design requires 2.5 times more DSP resources, but 10 times less signal reconstruction time of $1.024{\mu}s$ with a vector of length 48 with 2 non-zero elements.

• 정보처리학회논문지D
• /
• 제11D권4호
• /
• pp.929-936
• /
• 2004

컴포넌트 기반 플랫폼이 갖는 주 한계점은 컴포넌트 기반 시스템이 갖는 컴포넌트간 상호작용과 관련된 행위에 대한 기술과 추론에 대한 적당한 수단을 제대로 제공하지 못한다는 것이다. 현 컴포넌트 기반 플래폼이 CORBA의 IDL과 같은 컴포넌트에 대한 시그네쳐 수준에서의 기술을 위한 방법을 제공하기는 하지만, 이는 컴포넌트들간 상호작용과 같은 행위 기술을 저 수준에서 제공하는 것에 불과하다 컴포넌트 기반 시스템에서 중요한 과제 중 하나는 바로 컴포넌트들간 상호작용과 같은 행위를 기술하는 것과 이를 바탕으로 행위에 대한 검증이 필요하다. 본 논문에서는 프로세스 대수를 이용하여 컴포넌트 인터페이스의 명세 정의와 추상화된 소프트웨어 아키텍처를 어떻게 만족시킬 것인가를 보장받기위한 role의 결합방법, 생성된 아키텍처에 대한 전개규칙, 시각화방법을 연구한다. 또한 사례연구를 통해 본 논문에서 제안한 명세기법 및 정의의 타당함을 보였다.