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

This paper presents a new sufficient condition for the oscillation of all solutions of difference equations with several deviating arguments and oscillating coefficients. Corresponding difference equations of both retarded and advanced type are studied. Examples illustrating the results are also given.

• Industrial Engineering and Management Systems
• /
• 제7권3호
• /
• pp.266-287
• /
• 2008

To manage collaborative negotiation in software system design, we have built a socio-technical argument-based negotiation management approach by integrating a Socio-technical Co-construction Process (STCP) with an Argument-based Negotiation Process (ABNP). This paper reviews relevant research work and presents each step of this approach. The STCP provides rich contextual information of technical decisions and social interactions in a system design process. The ABNP provides STCP with a negotiation management and conflict resolution strategy by guiding software engineers to generate, exchange and evaluate their argument claims in negotiation activities. In addition, this paper describes a prototype system which implements this new approach using the advanced Web-based software technologies with the goal of demonstrating how to systematically enhance the negotiation management capabilities in a dynamic socio-technical framework.

• International Journal of Advanced Culture Technology
• /
• 제5권3호
• /
• pp.35-39
• /
• 2017

The human body is structured as sentence of healing. This study examines how the mechanism of healing works in the human body by the narrative relation of functor and argument. So, we predict the way of extreme healing by literary or human narrative. For this purpose, we analyze the principle that the emotional and semantic arguments are called by the functor set by the sentences containing the fingerprints of mind in Gosijo and the mechanism of healing works extensively. We analyze the process of the transition from the narrative of the literary to the narrative of the human body. Thus, the barcode of the healing, which is made up of the relationship between the functor of the literature and the argument, is transferred to the human body and it is judged that the fingerprint of the human mind is operated through the stage of encoding and re-encoding due to the action potential. In addition, it was predicted that the neurotransmitters such as dopamine and the secretion of hormones would be promoted and the healing level would be increased. In results, we conclude that the function of argument and functor which contains the fingerprint of the mind in the third sound step on the last sentence of Gosijo is transferred to the human body and is especially heavily focused and operate with healing.

• International journal of advanced smart convergence
• /
• 제8권2호
• /
• pp.140-146
• /
• 2019

Andrew Niccols's movie Gattaca (1997) inspired the formulation of the "Gattaca Argument" concerning the negative outcome of biotechnology, which has since been critiqued especially in the context of transhumanism and posthumanism. According this argument the development of genetic enhancement will produce a genetic discrimination and lead us to serious form of inequality. However, in particular transhumanists deny that here are reasons to worry and advocating instead the transformation of human condition in terms of genetic enhancement. Moreover, they question that genetic enhancement will necessarily lead to social inequality. In what follows, we will reexamine the Gattaca Argument and its critiques based on the movie in order to reassess the role the movie plays in the subsequent scholarly discussion. We will argue that existing critiques fall short of capturing the problem posed in the movie - the problem of the inhumane. Based on a hermeneutic approach to the movie we will both reconstruct the arguments and evaluate the transhuman counterarguments in terms of modern history of philosophical ideas.

• 대한수학회논문집
• /
• 제9권2호
• /
• pp.327-329
• /
• 1994

The Dirichlet problem (DP) on the upper half plane {z = x ＋ iy : y > 0} is to find a real-valued harmonic function u(x, y) satisfying u(x, 0) = g(x) almost everywhere for some reasonably nice function g defined on the real line, which is called the data on the boundary for (DP).(omitted)

• Computational Structural Engineering : An International Journal
• /
• 제1권1호
• /
• pp.31-38
• /
• 2001

In the case of the non-proportionally damped system such as the soil-structure interaction system, the structural control system and composite structures, the eigenproblem with the damping matrix should be necessarily performed to obtain the exact dynamic response. However, most of the eigenvalue analysis methods such as the subspace iteration method and the Lanczos method may miss some eigenvalues in the required ones. Therefore, the eigenvalue analysis method must include a technique to check the missed eigenvalues to become the practical tools. In the case of the undamped or proportionally damped system the missed eigenvalues can easily be checked by using the well-known Sturm sequence property, while in the case of the non-proportionally damped system a checking technique has not been developed yet. In this paper, a technique of checking the missed eigenvalues for the eigenproblem with the damping matrix is proposed by applying the argument principle. To verify the effectiveness of the proposed method, two numerical examples are considered.

• Kyungpook Mathematical Journal
• /
• 제56권1호
• /
• pp.137-146
• /
• 2016

In this paper we study the oscillation criteria for the second order nonlinear differential equation with delay and advanced arguments of the form $$([x(t)+a(t)x(t-{\sigma}_1)+b(t)x(t+{\sigma}_2)]^{\alpha})^{{\prime}{\prime}}+q(t)x^{\beta}(t-{\tau}_1)+q(t)x^{\gamma}(t+{\tau}_2)=0,\;t{\geq}t_0$$ where ${\sigma}_1$, ${\sigma}_2$, ${\tau}_1$ and ${\tau}_2$ are nonnegative constants and ${\alpha}$, ${\beta}$ and ${\gamma}$ are the ratios of odd positive integers. Examples are provided to illustrate the main results.

• 한국과학교육학회지
• /
• 제31권5호
• /
• pp.694-708
• /
• 2011

본 연구에서는 과학 수업에서 학생들이 과학 현상을 근거 있게 설명하고 주장할 수 있도록 인지적 발판이 포함된 과제를 개발하였고, 과제가 소집단 논변 발달에 미치는 영향을 알아보았다. 이를 위해 한 학급에서 이질적인 소집단을 구성한 후, 개발된 과제를 수업중에 활용하였다. 소집단 논변활동에서 학생들은 먼저 각자의 의견을 적고, 서로의 의견을 공유한 후 가장 그럴듯한 의견을 선택하였다. 학생들의 사전 사후 논변 검사지와 논의가 활발하게 일어난 한 소집단의 담화 전사본, 학생들의 반 구조화된 인터뷰, 수업관찰 노트를 통해 과제가 소집단 논변에 미치는 영향을 분석하였다. 개발된 과제는 모순된 논변 예시를 포함하여 학생들이 증거를 가지고 반박할 수 있도록 하였으며, 친구의 생각과 비교하고 설득하는 활동을 통해 소집단 논변이 활발히 이루어지도록 하였다. 그 결과 학생들의 논변 검사 점수가 향상되었으며, 증거와 추론이 포함된 주장을 하였다. 또한 과제를 진행함에 따라 학생들의 논변은 높은 향상 발화의 빈도와 긴 추론 고리의 특성을 보이면서 그 수준이 높아졌다. 학생들은 과제를 수행하면서 제시된 예시 의견에 대해 반성적, 비판적으로 사고하여 타당한 증거와 추론이 포함된 정교한 주장을 하였으며, 자료를 바탕으로 다양한 근거를 제시할 수 있는 과제는 학생들로 하여금 자발적으로 의견을 제시하도록 하여 다양한 참여로 이끌었다. 본 연구는 발달된 소집단 논변 활동의 맥락에 대한 이해와 일반 중학교 과학 탐구수업에서 학생들의 논변 활동을 조력하는 교수 학습 상황에 대한 정보를 제공하였다는 점에서 의의가 있다.

• 논리연구
• /
• 제13권2호
• /
• pp.117-134
• /
• 2010

'모호함'의 모호성을 정당화하는 소렌센의 논증은, '모호함'에 대한 직관적 이해를 체계적으로 정당화한다는 측면에서 매우 중요한 의미를 갖는다. 그러나 필자는 이러한 소렌센의 논증이 성립하지 않음을 보이고자 한다. 소렌센의 논증에 대한 가장 일반적인 비판은, 'n-작음'이라는 용어에 기초하는 그의 논증은 '모호함'의 모호함이 아니라 '작음'의 모호함을 입증할 뿐이라는 것이다. 그런데 이러한 비판에 근거한 디즈와 헐의 논의는, 소렌센의 더미를 구성하는 "'n-작음'은 모호하다."의 주어는 언급된 정확한 용어라는 바르찌의 주장에 의해 반박된다. 그러나 필자는 "'n-작음'은 모호하다."의 진리값 결정에 술어 '모호함'이 아무런 역할을 수행하지 못함을 보임으로써 바르찌의 주장을 반박하고, 소렌센의 논증으로부터 정당화되는 것은 '작음'의 모호성뿐임을 보이고자 한다. 물론 필자 역시 '모호함'이 모호하다는 것에는 동의한다. 본 논문을 통해 필자가 주장하는 것은 이러한 '모호함'의 특징에 대한 소렌센의 정당화가 성립하지 않는다는 것뿐이다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(A)
• /
• pp.154-157
• /
• 2011

본 연구는 2인의 전문의와 함께 의료 문헌의 초록을 분석하여 의료문서에서의 절차적 지식을 모델링하고 텍스트 마이닝 기법을 적용하여 절차적 지식을 추출하는 방법론에 대해 기술한다. 절차적 지식은 목적과 해법의 묶음으로, 해법은 다시 단위 절차 지식의 네트워크로 정의 하였고, 목적과 해법 정보 추출과 단위 절차 지식의 구성요소인 대상/행위/방법 개체를 인식하기 위해, 품사태깅, 구문분석, 술어-논항구조(Predicate-Argument Structure), 온톨로지 용어 매핑 정보 등에 기반한 기계학습 방법을 사용하였다. 실험을 위해 전문의와 함께 위함과 척추질환에 대한 1309 문서에 절차적 지식 태깅을 수행하였고, 이 문서 집합을 기반으로 목적/해법 추출 작업과 단위 절차 지식(대상질병/행위/적용방법) 추출 실험을 수행하여, 각각 82% 와 63%의 F-measure 값을 얻을 수 있었다.