• 대한수학교육학회지:수학교육학연구
• /
• 제8권1호
• /
• pp.137-144
• /
• 1998

A common geoboard puzzel serves as the point of departure for an investigation that lends itself to whole-group discussion with a class of prospective secondary school teachers. Students are provided with opportunities to devise and carry out problem-solving strategies (called 'heuristics' by Polya); exploit inerrelationships among geometry, arithmetic and algebra; formulate generalizations and conjectures; plan and execute an computational project; construct mathematical arguments to establish theorems; and find counter-examples to dispose of a false conjecture. In recent tears, Eugene F. Krause wrote two papers having the same title except for the numeral In that papers he arrives at an theorem about the sizes of squares with lattice point vertices in the coordinate plane, In this paper we follow a different path genearlization to coordinate 3-space

• 대한수학회지
• /
• 제31권4호
• /
• pp.659-667
• /
• 1994

Let $H$ be a separable, infinite dimensional, complex Hilbert space and let $L(H)$ be the algebra of all bounded linear operators on $H$. A dual algebra is a subalgebra of $L(H)$ that contains the identity operator $I_H$ and is closed in the ultraweak operator topology on $L(H)$. Note that the ultraweak operator topology coincides with the weak topology on $L(H) (cf. [6]). Several functional analysists have studied the problem of solving systems of simultaneous equations in the predual of a dual algebra (cf. [3]). This theory is applied to the study of invariant subspaces and dilation theory, which are deeply related to the classes $A_{m,n}$ (that will be defined below) (cf. [3]). An abstract geometric criterion for dual algebras with property $(A_{\aleph_0}, {\aleph_0})$ was first given in [1].

• International Journal of Control, Automation, and Systems
• /
• 제5권1호
• /
• pp.1-7
• /
• 2007

In this paper, the necessary and sufficient conditions for strict positive realness of the rational transfer functions directly from basic definitions in the frequency domain are studied. A new frequency domain approach is used to check if a rational transfer function is a strictly positive real or not. This approach is based on the Taylor expansion and the Maximum Modulus Principle which are the fundamental tools in the complex functions analysis. Four related common statements in the strict positive realness literature which is appeared in the control theory are discussed. The drawback of these common statements is analyzed through some counter examples. Moreover a new necessary condition for strict positive realness is obtained from high frequency behavior of the Nyquist diagram of the transfer function. Finally a more simplified and completed conditions for strict positive realness of single-input single-output linear time-invariant systems are presented based on the complex functions analysis approach.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2013년도 춘계학술대회
• /
• pp.739-740
• /
• 2013

본 논문에서는 XGPON (10-Gigabit-capable passive optical network)의 새로운 동적대역할당 알고리즘을 제안한다. 기존의 알고리즘들과 달리 제안된 알고리즘은 각 서비스 클래스별로 공통의 서비스 카운터를 갖는다. 그리고 하나의 서비스 클래스에서 사용되지 않고 남는 대역폭을 다른 서비스 클래스에서 사용할 수 있게 하여 대역폭 활용도를 향상시킨다. 제안된 알고리즘이 기존 알고리즘들에 비해 비교우위에 있는 것을 보이기 위해 다양한 예를 제시한다.

• 한국언어정보학회지:언어와정보
• /
• 제12권2호
• /
• pp.115-137
• /
• 2008

We examine the meanings of two plural forms in Korean. Kwak (2003) and Jun (2004) claimed that unmarked (i.e. zero) plural forms denote groups and 'deul' plural forms denote sums, and Kang (2007) indicated problems in such claims. Soon after, Jun (2007) raised an objection to Kang's view by slightly modifying his former analysis, and now this paper is a reply to Jun (2007). Jun's revision of his former view is one step forward but still it is faced with many authentic counter examples. In the mean time, Noh (2008) raised an objection to Kang (2007) from a totally different direction, claiming that unmarked forms are not plural but only singular. This position is not sound, either. We have so many cases where unmarked forms are used with plural interpretation. All in all, our view that unmarked forms denote singular as well plural individuals(sums, groups) and 'deul' forms denote only plural individuals(sums, groups) is to be maintained.

• 한국언어정보학회지:언어와정보
• /
• 제12권2호
• /
• pp.77-93
• /
• 2008

This paper examines a condition that licenses distributivity. Choe (1987) and Link (1998) have proposed an indefiniteness condition on distributivity. However, detecting counter-examples, Zimmermann (2002) has argued for a non-specificity condition. This paper primarily revises the indefiniteness/non-specificity condition. Observing that the systematic class of the exceptions belongs to weak definites proposed by Poesio (1994), I claim that the property that constrains distributivity is non-strong-definiteness. Based on Landman (2000), I further explain the non-strong-definiteness condition and argue that the condition does not need to be imposed on the grammar independently. The new condition naturally accounts for Spector's (2003) scopal asymmetry. Even more, defining donkey pronouns as weak definites, I cope with various properties of donkey sentences.

• 대한수학회논문집
• /
• 제36권2호
• /
• pp.229-238
• /
• 2021

Let R be a ring with characteristic different from 2. An additive mapping F : R → R is called a generalized derivation on R if there exists a derivation d : R → R such that F(xy) = F(x)y + xd(y) holds for all x, y ∈ R. In the present paper, we show that if R is a prime ring satisfying certain identities involving a generalized derivation F associated with a derivation d, then R becomes commutative and in some cases d comes out to be zero (i.e., F becomes a left centralizer). We provide some counter examples to justify that the restrictions imposed in the hypotheses of our theorems are not superfluous.

• Journal of applied mathematics & informatics
• /
• 제42권3호
• /
• pp.471-481
• /
• 2024

In this paper, the concept of D-sets will be applied to create D-lindelöf spaces, a new type of topological space covering the property. This is performed by using a D-cover, which is a special type of cover. The primary purpose of this work is to introduce the principles and concepts of D-lindelöf spaces. We look into their properties as well as their relationships with other topological spaces. The basic relationship between D-lindelöf spaces and lindelöf spaces, as well as many other topological spaces, will be given and described, including D-compact, D-countably compact, and D-countably lindelöf spaces. Many novel theories, facts, and illustrative and counter-examples will be investigated. We will use several informative instances to explore certain of the features of the Cartesian product procedure across D-lindelöf spaces as well as additional spaces under more conditions.

• 디지털융복합연구
• /
• 제14권6호
• /
• pp.253-261
• /
• 2016

PC 와 모바일 기기에 있는 다양한 프로그램을 이용하여 인터넷을 이용하는 사람들이 늘어날수록 프로그램에서 개인정보 등이 유출될 가능성은 매우 높아지고 있다. 따라서 인터넷을 사용하는 프로그램에서 정보흐름의 안전성 분석을 한 후에 개인정보의 유출이 없는 안전한 프로그램을 사용해야 한다. 정보흐름의 안전성 분석은 프로그램 내에서 정보의 흐름이 안전한지 분석하는 방법으로 정보흐름이 안전하면 개인정보 유출이 없고 안전하지 않으면 개인정보 유출이 발생할 수 있다. 본 논문에서는 SAT 해결기를 활용하여 정보흐름 분석을 수행하는 방법을 제시한다. 이 방법은 보안 수준이 설정된 변수를 포함하는 프로그램을 제어와 정보흐름을 나타내는 명제 논리식으로 변환하고, SAT 해결기를 이용해 명제 논리식으로부터 만족가능성 여부를 판단한다. 판단된 결과를 통해 프로그램에서 정보흐름이 안전한지 알 수 있으며, 안전하지 않은 경우 반례를 생성하여 어느 부분에서 안전하지 않은 지 알 수 있다.

• 유통과학연구
• /
• 제11권5호
• /
• pp.63-76
• /
• 2013

Purpose - For the past several decades, behavioral economics or behavioral decision theory has undergone rapid development. This study provides a critical review of the development of behavioral economics with a focus on what are deemed to be core theories in the field. Starting from the utility function proposed by Daniel Bernoulli in the 18th century, the development history of utility functions until the emergence of the prospect theory is thoroughly reviewed. Some of the experimental results violating the traditionally assumed utility function and supporting the prospect theory value function are summarized. The most representative principles of rational choice are transitivity, independence from irrelevant alternatives (IIA), and regularity. The development of behavioral economics has been triggered by finding counter-examples to these principles. Some of the choice behaviors discussed in this study as counter-examples to the traditional theories of rational choice are the St. Petersburg paradox; the Allais paradox; gambling behavior; and the various context effects including the similarity effect, attraction effect, and the compromise effect. The Elimination-by-Aspects (EBA) model, which was proposed as an explanation for the similarity effect, is discussed in detail as well. Based on the literature review and further analysis, this study summarizes the relationship between the context effects, prospect theory, and EBA model. Research design, data, and methodology - This study provides an extensive literature review on several important theories in the field of behavioral decision theory and adds some critical comments to the theories and the relationships among them. This study first reviews the development of utility functions. Daniel Bernoulli introduced the concept of utility function to solve the St. Petersburg paradox. In the mid-20th century, Herbert Simon proposed the "satisficing" heuristic and presented a value function with a shape different from traditional utility functions. This study highlights the strengths and weaknesses of several utility functions proposed until the emergence of the prospect theory value function. Results - This study posits that prospect theory and EBA model are the two most important theories in the field of behavioral decision theory. They can explain various choice behaviors that traditional utility maximization analysis has been unable to. The application of these models to various fields is further increasing nowadays. This study explains how prospect theory and the EBA model can be used to explain the context effects. Conclusions - The traditional economic theory relies on a single variable called "utility" in explaining consumer choice. However, this study argues that, in investigating consumer choice, several other variables should also be considered. These are the similarity among alternatives, an alternative's prototypicality within the category, the dominance relationship between alternatives, and the reference point in evaluating alternatives. Due to the development of behavioral economics, we are now closer to a more complete understanding of consumer choice behavior than in the past when we had only a single tool called utility.