• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제14권1호
• /
• pp.37-48
• /
• 2007

In this paper, we introduce and study a class of generalized multivalued quasivariational inclusions for fuzzy mappings, and establish its equivalence with a class of fuzzy fixed-point problems by using the resolvent operator technique. We suggest a new iterative algorithm for the generalized multivalued quasivariational inclusions. Further, we establish a few existence results of solutions for the generalized multivalued quasivariational inclusions involving $F_r$-relaxed Lipschitz and $F_r$-strongly monotone mappings, and discuss the convergence criteria for the algorithm.

• 대한기계학회논문집B
• /
• 제24권10호
• /
• pp.1294-1299
• /
• 2000

The combustion characteristics have been investigated to develop the 50 kW-class gas turbine combustor. The combustor design program was developed and applied to design this combustor. The combustion air which has the temperature of 45, 200, $300^{\circ}C$ were supplied to combustor for elucidating the effect of inlet air temperature on CO, NOx emissions and flame temperature. The exit temperature and NO were increased and CO was decreased with increasing inlet air temperature. Also, the effect of equivalence ratio was considered to verify the combustor performance. The emissions of CO and NO with inlet air temperature can be analyzed qualitatively by measuring the temperature inside the combustor. The combustion performance with fuel schedule was evaluated to get the informations of the starting and part loading process of gas turbine. The combustion was stable above the equivalence ratio of 0.18. The pattern factor which is the important parameter of combustor performance was satisfied with the design criterion. Consequently the combustor was proved to meet the performance goal required for the target gas turbine system.

• Kyungpook Mathematical Journal
• /
• 제46권4호
• /
• pp.503-507
• /
• 2006

Let X be a Tychonoff space and ${\sum}(X)$ the set of all the subrings of C(X) that contain $C^*(X)$. For any A(X) in ${\sum}(X)$ suppose $_{{\upsilon}A}X$ is the largest subspace of ${\beta}X$ containing X to which each function in A(X) can be extended continuously. Let us write A(X) ~ B(X) if and only if $_{{\upsilon}A}X=_{{\upsilon}B}X$, thereby defining an equivalence relation on ${\sum}(X)$. We have shown that an A(X) in ${\sum}(X)$ is isomorphic to C(Y ) for some space Y if and only if A(X) is the largest member of its equivalence class if and only if there exists a subspace T of ${\beta}X$ with the property that A(X)={$f{\in}C(X):f^*(p)$ is real for each $p$ in T}, $f^*$ being the unique continuous extension of $f$ in C(X) from ${\beta}X$ to $\mathbb{R}^*$, the one point compactification of $\mathbb{R}$. As a consequence it follows that if X is a realcompact space in which every $C^*$-embedded subset is closed, then C(X) is never isomorphic to any A(X) in ${\sum}(X)$ without being equal to it.

• 정보보호학회논문지
• /
• 제6권4호
• /
• pp.97-106
• /
• 1996

유한체 GF($2^n$)상의 모든 지수 함수들의 군에 동치 관계를 정의하고, 이들 동치 관계에 의해 분류된 각 동치류에 속하는 지수 함수들은 동일한 암호학적 성질을 가짐을 보인다. 그리고, GF($2^7$)과 GF($2^8$)상의 모든 지수 함수들을 분류한다. 다음으로 지수 함수 분류의 3가지 응용을 제시한다. 우선 GF($2^n$)상의 2개의 지수 함수의 연접에 의한 $n\;{\times}\;2n$ S(ubstitution)-box의 설계 방법을 제안하고, 그들의 입.출력 변화 내성과 선형 내성을 분석한다. 그리고, Eurocrypt '93에서 Beth가 세운 가설이 그릇된 것임을 지적하고, LOKI 블록 알고리즘에 사용된 S-box의 안전성에 대하여 논한다.

• 한국정보처리학회논문지
• /
• 제7권12호
• /
• pp.3874-3884
• /
• 2000

정보검색시스템은 색인어와 질의어가 정확히 일치하지 않더라도 사용자 질의에 적합한 문서를 검색할 수 있어야 한다. 그러나, 색인어와 질의어간의 용어 불일치는 검색성능의 개선에 심각한 장애요소로 작용해 왔다. 따라서, 본 논문에서는 문서 코퍼스의 단어들간에 자동 용어 정규화를 수행하고, 용어 정규화의 산물을 한국어 정보검색 시스템에 적용하는 방안을 제시한다. 용어 불일치를 완화하기 위해 두가지 용어 정규화, 동치부류와 공기단어 클러스터를 수행한다. 첫째, 음역어, 절차오류, 그리고 동의어를 위해 문맥 유사도를 이용하여 동치부류로 구축하는 작업이다. 둘째, 상호정보와 단어 문맥의 조합을 이용하여 단어 유사도를 계산하고 문맥 기반 용어를 정규화한다. 그런 다음, K-means 알고리즘을 이용하여 자율 클러스터링을 수행하고 공기단어 클러스터를 구축한다. 본 논문에서는 이러한 용어 정규화의 산물들을 용어 불일치를 완화하기 위해 질의어 확장과정에서 사용한다. 다시 말해서 동치부류와 공기단어 클러스터는 새로운 용어로 질의를 확장하는 자원으로서 사용된다. 이러한 질의확장으로 사용자는 질의어에 음역어를 추가하여 질의어를 포괄적으로 만들거나 특정어를 추가하여 질의어를 세밀하게 만들 수 있다. 질의어 확장을 위해 두 가지 상호보완적인 방법인 용어 제시와 용어 적합성 피드백을 이용한다. 실험 결과는 제안된 시스템이 의미적 용어 불일치를 완화할 수 있고, 적절한 유사도 값을 제공할 수 있음을 보여준다. 결과적으로 제안한 시스템이 정보 검색 시스템의 검색 효율을 향상시킬 수 있음을 알 수 있다.

• 정보처리학회논문지D
• /
• 제10D권5호
• /
• pp.859-872
• /
• 2003

클래스계층구조는 객체지향 소프트웨어의 중심적인 구성요소가 되며, 따라서 이에대한 품질은 매우 중요하다. 좋은 품질을 갖춘 클래스계층 구조를 구축하는 것은 객체지향 소프트웨어 개발에 있어서 매우 중요한 작업이지만, 좋은 품질의 클래스계층구조를 구축하는 작업은 수월하지 않다. 더욱이, 반복 및 점증적인 소프트웨어 개발에 있어서, 요구사양에 적합하도록 개발중인 클래스계층구조를 재구성하거나 세련시키는 작업이 빈번히 발생한다. 따라서, 객체지향 개발자들이 이와같은 클래스계층구조의 재구성 작업을 수행할 경우에 도움이 될 수 있는 기법 및 도구들에 대한 관심이 증가하고 있다. 본 논문에서는, 클래스계층구조의 복잡도를 일정수준 측정가능한 몇가지 평가척도를 제안하고, 이러한 평가척도들을 바탕으로 클래스계층구조를 재구성하는 알고리즘들을 정의한다. 또한, 각 알고리즘들에 대하여, 알고리즘을 적용하기 전과 후의 각 클래스계층구조들로부터 생성할 수 있는 객체들의 집합이 변화하지 알고 보존됨을 증명하였다. 본 논문에서 제안하는 재구성기법은 클래스계층구조의 구축 및 재구성 등의 지침으로서 사용할 수 있으며, 이러한 평가척도들을 기반으로 하는 클래스계층구조의 재구성 알고리즘들은 객체지향 소프트웨어 개발시에 유용한 도구로서 개발자들에게 도움이 될 수 있다.

• 대한수학교육학회지:수학교육학연구
• /
• 제23권2호
• /
• pp.285-295
• /
• 2013

본 연구에서는 지난 5, 6, 7차 교육과정 교과서의 비와 비율 관련 용어 정의의 변천과정을 검토하고, 이를 바탕으로 2007 개정 교과서의 정의에서 개선된 사항은 무엇이고 여전히 남아있는 문제는 무엇인지 살펴본다. 그리고 비율, 비의 값, 백분율의 관계를 재설정함으로써 그 용어들에 대한 대안적 정의를 제안한다. 마지막으로 비와 비율 관련 용어 정의와 관련된 이러한 문제는 동치류로서의 비의 수학적 속성을 충분히 다루지 않은 채로 비율 관련 용어를 도입하고 있는 교과서의 내용 전개 자체에 내재하고 있음을 지적한다.

• 대한수학회논문집
• /
• 제35권3호
• /
• pp.809-823
• /
• 2020

Let C[0, T] denote the space of continuous, real-valued functions on the interval [0, T] and let C₀[0, T] be the space of functions x in C[0, T] with x(0) = 0. In this paper, we introduce a Banach algebra ${\bar{\mathcal{S}}}_{{\alpha},{\beta};{\varphi}}$ on C[0, T] and its equivalent space ${\bar{\mathcal{F}}}({\mathcal{H}}) $, a space of transforms of equivalence classes of measures, which generalizes Fresnel class 𝓕(𝓗), where 𝓗 is an appropriate real separable Hilbert space of functions on [0, T]. We also investigate their properties and derive an isomorphism between ${\bar{\mathcal{S}}}_{{\alpha},{\beta};{\varphi}}$ and ${\bar{\mathcal{F}}}({\mathcal{H}}) $. When C[0, T] is replaced by C₀[0, T], ${\bar{\mathcal{F}}}({\mathcal{H}}) $ and ${\bar{\mathcal{S}}}_{{\alpha},{\beta};{\varphi}}$ reduce to 𝓕(𝓗) and Cameron-Storvick's Banach algebra 𝓢, respectively, which is the space of generalized Fourier-Stieltjes transforms of the complex-valued, finite Borel measures on L²[0, T].

• Journal of the Korean Statistical Society
• /
• 제34권2호
• /
• pp.141-151
• /
• 2005

Under the assumption that the three-level factors are quantitative, the linear effects are taken more attention than the quadratic effects of the interaction terms. Webb (1971) presented some small incomplete factorial designs that are mixed two- and three-level designs with 20 or fewer runs. The designs provided the estimating linear-by-linear components of interactions between the three-level factors; moreover, they could also offer estimation of interactions that interest the experiments. Webb used ad hoc methods to find these plans; hence, there was still no unified structure to those experiments. In this paper, we develop the methods to construct the $2^{n}3^3$ and $2^{1}3^3$ designs. The designs constructed by these methods not only supply orthogonal estimates of all the main effects but also permit estimation of all the two-factor interactions not involving the quadratic effects. Furthermore, the designs we find are nearly orthogonal.

• East Asian mathematical journal
• /
• 제24권2호
• /
• pp.177-186
• /
• 2008

In this paper, we introduce and study a new class of system of parametric general quasivariational-like inequalities. Using $\eta$-subdifferential and $\eta$-proximal mappings of proper functionals in Hilbert spaces, we prove the equivalence between the system of parametric general quasivariational-like inequalities and a xed point problem and construct two iterative algorithms. A few existence and uniqueness results as well as the sensitivity analysis of solutions are also established for the system of parametric general quasivariational-like inequalities, and some convergence results of iterative sequence generated by the algorithms are proved. Our results extend a few known results in the literature.