• Journal of applied mathematics & informatics
• /
• 제13권1_2호
• /
• pp.183-194
• /
• 2003

We will explain a new method for obtaining the nearly optimal domain for optimal shape design problems associated with the solution of a nonlinear wave equation. Taking into account the boundary and terminal conditions of the system, a new approach is applied to determine the optimal domain and its related optimal control function with respect to the integral performance criteria, by use of positive Radon measures. The approach, say shape-measure, consists of two steps; first for a fixed domain, the optimal control will be identified by the use of measures. This function and the optimal value of the objective function depend on the geometrical variables of the domain. In the second step, based on the results of the previous one and by applying some convenient optimization techniques, the optimal domain and its related optimal control function will be identified at the same time. The existence of the optimal solution is considered and a numerical example is also given.

• 충청수학회지
• /
• 제26권1호
• /
• pp.53-69
• /
• 2013

Topology may described a pattern of existence of elements of a given set X. The family ${\tau}(X)$ of all topologies given on a set X form a complete lattice. We will give some topologies on this lattice ${\tau}(X)$ using a topology on X and regard ${\tau}(X)$ a topological space. A topology ${\tau}$ on X can be regarded a map from X to ${\tau}(X)$ naturally. Such a map will be called topology field. Similarly we can also define pe-topology field. If X is a topological flow group with acting group T, then naturally we can get a another topological flow ${\tau}(X)$ with same acting group T. If the topological flow X is minimal, we can prove ${\tau}(X)$ is also minimal. The disjoint unions of the topological spaces can describe some topological systems (topological organisms). Here we will give a definition of topological organism. Our purpose of this study is to describe some properties concerning patterns of relationship between topology fields and topological organisms.

• 철학연구
• /
• 제137권
• /
• pp.277-321
• /
• 2016

니체의 철학은 실존철학과 철학적 인간학의 특징을 포괄하고 있다. "차라투스트라는 이렇게 말했다"에서 인간을 "마지막 인간"과 "위버멘쉬"의 경계에 서있는 내재적 변화가능성의 존재로 설정함으로써, 니체는 인간의 실존적 건강함이 무엇인지에 대한 물음을 제기한다. 그의 철학에서 문제시되는 인간학적 증상들은 실존의 문제를 유발하며, 실존의 치유는 인간학적 증상의 치유를 전제로 한다. 이때 위버멘쉬는 당시 유럽에 만연했던 데카당스적 인간 유형으로 대변되는 마지막 인간에 대한 치유의 시도 속에서 도출된 건강한 실존을 가진 실천적 인간유형으로 제시된다. 니체는 유럽의 허무주의적 병의 근원을 철학과 종교(형이상학과 그리스도교)로 규정하며, 이에 대한 계보학적 탐구를 시도한다. 이 과정에서 단하나의 진리로 다양한 실존의 양식을 획일화해 온 철학과 철학자의 문제가 드러난다. 니체에게 있어 형이상학적-그리스도교적-도덕적 진리만을 탐구해 온 철학과 철학자는 참된 실존의 토대를 간과함으로써 나약한 정신과 의지의 인간을 산출했다는 측면에서 강한 비판의 대상이 된다. 니체는 대지로 명명된 인간 실존의 현실적 조건 위에서 그의 삶의 상승과 성장에 기여할 수 있는 철학, 다시 말해 인간과 삶의 실존적 변화의 토대로 작용할 수 있는 철학의 실천적 역할을 강조한다. 이때 철학자들의 과제는 모든 인간에게 적용될 수 있는 변화의 가능성과 이를 위한 실천의 토대를 마련하는 것이다. 철학의 이러한 실존적-실천적 토대 위에서 비로소 건강한 인간유형으로서의 위버멘쉬는 니체의 바람처럼 "최고의 현실"이 될 수 있다.

• 한국중재학회지:중재연구
• /
• 제29권4호
• /
• pp.57-75
• /
• 2019

In investigating how set-off defenses matter in arbitration, one should take into account that it is not permitted against the parties' will for arbitrators to rule on the disputes that are not the subject of an arbitration agreement, unless otherwise agreed upon by the parties involved, because it is considered that the parties intend to solve only the disputes which are the subject of the agreement by arbitration. Also, one should keep in mind that the parties must settle the disputes that are the subject of an arbitration agreement by arbitration when they conclude the agreement, and it is not allowed against the parties' will to resolve the disputes in other ways. The parties may agree whether the respondent can request for arbitration on the counterclaim, which is his/her claim against the claimant, and whether the respondent can raise a plea for a set-off that his/her claim against the claimant is a counter obligation. Failing on such agreement, the respondent may submit a counterclaim when his/her claim and the claimant's claim are the subject of the same arbitration agreement. The arbitral tribunal may rule on the counter obligation when the arbitration agreement, which becomes the basis for the claimant' claim, has an effect on the counter obligation. Where the claimant fails to raise an objection even after he/she becomes aware that the respondent has requested for arbitration or has raised a plea for set-off by providing his/her claim which is not the subject of the arbitration agreement as a counterclaim or a counter obligation, the arbitral tribunal may rule on the respondent's claim against the claimant. On these occasions, the arbitral tribunal has to guarantee the parties an opportunity to defend themselves by pointing out those situations. It will meet the purposes of arbitration systems to rule out the jurisdiction of the courts when the plaintiff alleges the existence of the arbitration agreement, in case the respondent raises a plea for set-off based on his/her claim which is not the subject of the arbitration agreement in the litigation procedures. However, where the plaintiff fails to allege the existence and conducts pleading in the court with regard to the counter obligation, the court must not reject the respondent's set-off defense because of the existence of the agreement.

• 대한수학회보
• /
• 제37권4호
• /
• pp.791-802
• /
• 2000

In 1968, Cameron and Storvick introduce the definition and the theories of the operator-valued function space integral. Since then, the stability theorems of the integral was developed by Johnson, Skoug, Chang etc [1, 2, 4, 5]. Recently, the authors establish the existence theorem of the operator-valued function space [8]. In this paper, we will prove the stability theorems of the operator-valued function space integral over paths in abstract Wiener space $C_0(B)$.

• 충청수학회지
• /
• 제25권4호
• /
• pp.617-631
• /
• 2012

In this paper, we will consider some existence theorems of common fixed points for a countable family of non-self multi-valued mappings defined on a closed subset of a complete metrically convex space, and give more generalized common fixed point theorems for a countable family of single-valued mappings. The main results in this paper generalize and improve many common fixed point theorems for single valued or multi-valued mappings with contractive type conditions.

• 충청수학회지
• /
• 제28권3호
• /
• pp.431-441
• /
• 2015

Topology may described a pattern of existence of elements of a given set X. The family ${\tau}(X)$ of all topologies given on a set X form a complete lattice. We will give some topologies on this lattice ${\tau}(X)$ using a topology on X and regard ${\tau}(X)$ a topological space. Our purpose of this study is to give new topologies on the family ${\tau}(X)$ of all topologies induced by old one and its ${\theta}$ topology and to compare them.

• Korean Journal of Mathematics
• /
• 제27권4호
• /
• pp.1027-1041
• /
• 2019

In this paper, we present a Schwarz lemma at the boundary for analytic functions at the unit disc, which generalizes classical Schwarz lemma for bounded analytic functions. For new inequalities, the results of Jack's lemma and Hankel determinant were used. We will get a sharp upper bound for Hankel determinant H₂(1). Also, in a class of analytic functions on the unit disc, assuming the existence of angular limit on the boundary point, the estimations below of the modulus of angular derivative have been obtained.

• 한국정보시스템학회지:정보시스템연구
• /
• 제2권
• /
• pp.194-206
• /
• 1993

Intelligent remote learning system is a system that incorporate communication technology and others : a database engine, an intelligent tutorial system. Learners can study by themselves through the intelligent tutorial system. The existence of a communication, database and artificial intelligence enhance the capability of IRLS. According to Parsaye, an intelligent databases should have the following features : 1) Knowledge discovery. 2) Data integrity and quality control. 3) Hypermedia management. 4) Data presentation and display. 5) Decision support and scenario analysis. 6) Data format management. 7) Intelligent system design tools. I hope that this research of framework for IRLS paves for the future research. As mentioned in the above, the future work will include an intelligent database, self-learning mechanism using neural network.

• 대한수학회보
• /
• 제52권1호
• /
• pp.1-11
• /
• 2015

This paper is devoted to investigate the singular directions of meromorphic functions in some angular domains. We will confirm the existence of Hayman T directions in some angular domains. This is a continuous work of Yang [8] and Zheng [10].