• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2014년도 추계학술발표대회
• /
• pp.597-600
• /
• 2014

컴퓨터 시스템의 병렬, 분산, 이동, 실시간 적인 시스템들을 명세하기 위한 여러가지 정형기법들이 존재한다. 본 논문에서는 이동 실시간 시스템의 명세를 위한 정형기법으로서 ${\delta}-Calculus$ 를 정의하였다. ${\delta}-Calculus$ 의 가장 큰 특징은 프로세스의 이동성으로써 시간의 흐름에 따라 프로세스 간의 상호작용을 통해 프로세스가 이동하는 것을 표현할 수 있다. ${\delta}-Calculus$ 를 사용하여 프로세스의 이동성을 표현함으로써 시스템의 공간정보와 시간정보를 명세하고, 프로세스의 상태에 따른 보안적 특성을 나타낼 수 있다. 본 논문에서는 ${\delta}-Calculus$ 의 문법과 의미를 설명하고 이동성에 의한 특성을 분석하였다.

• 정보과학회 논문지
• /
• 제43권3호
• /
• pp.314-326
• /
• 2016

엔터프라이즈 비즈니스 모델링의 정형 명세와 검증을 위해 프로세스 대수들이 사용된다. ${\pi}$-calculus와 Mobile ambient는 분산 실시간 비즈니스 프로세스의 이동성을 표현할 수 있다. 그러나 이동성을 표현하는 데 있어 몇 가지 제약이 존재한다: 1) ${\pi}$-calculus는 포트의 이름을 전달함으로써 간접적으로만 이동성을 표현한다, 2) mobile ambient는 ambient를 사용하여 강제적인 비동기적 이동만을 표현한다. 이러한 문제를 해결하기 위하여 본 논문은 이동성을 표현하기 위한 새로운 프로세스 대수인 ${\delta}$-calculus를 제안한다. ${\delta}$-calculus는 비즈니스 프로세스의 동기적 이동을 시공간에서 직접적으로 표현할 수 있다. 이동성으로 인해 나타날 수 있는 안전성, 보안성의 위협은 동기성, 우선순위, 데드라인 속성들을 통하여 표현이 가능하다. 제안한 개념의 시뮬레이션을 위해 ADOxx 메타-모델링 플랫폼으로 SAVE 도구를 개발하였다.

• 정보과학회 논문지
• /
• 제43권5호
• /
• pp.541-552
• /
• 2016

본 논문은 분산 이동 실시간 시스템의 분석과 명세에서 프로세스와 시스템의 복잡도를 획기적으로 감소하기 위한 방법으로 새로운 이음 선택(Conjunctive Choice) 및 여 선택(Complement Choice) 연산을 제안한다. 여 선택 연산은 두 프로세스의 선택(Choice) 연산이 연동하여 동일한 선택을 도출함을 표현한다. 이음 선택 연산은 프로세스 내의 일련의 선택 연산들 간의 의존성을 표현한다. 이음 선택 연산은 프로세스 복잡도를 선택 연산의 의존성의 수 만큼 기하급수적으로 감소시킨다. 마찬가지로 여 선택 연산은 시스템 복잡도를 선택 연산의 의존성의 수 만큼 기하급수적으로 감소시킨다. 그리하여 복잡도가 획기적으로 감소하게 되어 시스템의 명세와 분석이 용이하게 된다. 이 선택 연산은 ${\delta}$-Calculus 프로세스 대수에서 구현하였다. 또한 예제를 ADOxx 플랫폼에서 개발한 SAVE 도구를 사용하여 보여줌으로써 효과와 효율성을 제시한다.

• East Asian mathematical journal
• /
• 제14권1호
• /
• pp.107-116
• /
• 1998

This paper deals with functions of the form $f(z)=a_1z-{\sum}{\limits}_{n=2}^{\infty}a_nz^n(a_1>0,\;a_n{\geqslant}0)$ with $(1-{\mu})f(z_0)/z_0+{\mu}f'(z_0)=1(-1. We introduce the class $\varphi({\mu},{\eta},{\gamma},{\delta},A,B;\;z_0)$ with generalized fractional derivatives. Also we have obtained coefficient inequalities, distortion theorem and radious problem of functions belonging to the calss $\varphi({\mu},{\eta},{\gamma},{\delta},A,B;\;z_0)$.

• 대한수학회지
• /
• 제38권6호
• /
• pp.1191-1204
• /
• 2001

The paper is devoted to the study of fractional integration and differentiation on a finite interval [a, b] of the real axis in the frame of Hadamard setting. The constructions under consideration generalize the modified integration $\int_{a}^{x}(t/x)^{\mu}f(t)dt/t$ and the modified differentiation ${\delta}+{\mu}({\delta}=xD,D=d/dx)$ with real $\mu$, being taken n times. Conditions are given for such a Hadamard-type fractional integration operator to be bounded in the space $X^{p}_{c}$(a, b) of Lebesgue measurable functions f on $R_{+}=(0,{\infty})$ such that for c${\in}R=(-{\infty}{\infty})$, in particular in the space $L^{p}(0,{\infty})\;(1{\le}{\le}{\infty})$. The existence almost every where is established for the coorresponding Hadamard-type fractional derivative for a function g(x) such that $x^{p}$g(x) have $\delta$ derivatives up to order n-1 on [a, b] and ${\delta}^{n-1}[x^{\mu}$g(x)] is absolutely continuous on [a, b]. Semigroup and reciprocal properties for the above operators are proved.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제25권1호
• /
• pp.63-78
• /
• 2011

본 연구는 미적분학의 입실론-텔타(${\epsilon}-{\delta}$)에 의한 엄밀한 함수의 극한값 구하기를 좀 더 직관적이며 시각화를 이용한 지도 방안을 탐색해 보고자 한다. 이를 위하여 Texas Instruments의 Voyage200 CAS 그래핑 계산기의 임베디드 시각화를 활용하여 미적분학 지도에서 공학 활용의 가능성을 제기하고자 한다. 이를 위하여 개념이미지와 개념정의, 인지적 갈등, 미적분 개념에 대한 공학과 시각화의 활용, APOS 이론, 그리고 국소적 수평화를 중심으로 이론적 고찰을 실시했다. 이러한 이론적 고찰을 토대로 CAS 그래핑 계산기의 임베디드 시각화를 활용하여 함수의 극한을 구하는 지도 방안을 구현하였다.

• 대한수학회지
• /
• 제35권3호
• /
• pp.793-802
• /
• 1998

We apply the generalization of Levy's infinitesimal equation $\delta$X(t) = $\psi$(X(s), s $\leq$ t, $Y_{t}$, t, dt), $t\in R^1$, for a random field X (C) indexed by a contour C or by a more general set. Assume that the X(C) is homogeneous in x, say of degree n, then we can appeal to the classical theory of variational calculus and to the modern theory of white noise analysis in order to discuss the innovation for the X (C.)

• 치위생과학회지
• /
• 제16권2호
• /
• pp.176-182
• /
• 2016

페이스트 치약의 구강 내 사용시간(1~3분)과 사용시간을 길게 조절할 수 있는 부착형 치약의 사용시간을 고려하여 치약제의 유효성분을 처리시간 조건별로(1분, 3분, 10분, 30분 및 60분) 미백 효과, 항치석 효과, 재광화 효과 및 상아세관의 폐쇄 효과를 실험실적으로 평가한 결과 다음과 같은 결과를 도출하였다. 처리 시간대별 명도 변화값(${\Delta}L$)은 1분 $5.50{\pm}1.51$에서 60분 $27.35{\pm}0.54$였고 치석으로부터 제거된 칼슘 양(ppm)은 1분 $4.23{\pm}0.14$에서 60분 $25.15{\pm}0.32$였으며 경도 증가값은 1분 $1.96{\pm}1.44$에서 60분 $12.55{\pm}2.09$였다. 상아세관의 폐쇄 정도는 10분 처리에서 일부 상아세관의 폐쇄가 관찰되기 시작하여 60분 처리에서는 대부분의 상아세관의 폐쇄가 관찰되었다. 본 실험조건에서는 처리시간을 10분에서 60분 처리시 1분에서 3분 처리할 때보다 최소 1.57배에서 최대 8.26배까지 효능을 증가시켰으며 재광화 효과, 항치석 효과 및 상아세관 폐쇄 효과에서는 사용시간 10분 이상에서 적절하였고 미백효과에서는 30분 이상이 보다 효과적일 것으로 생각되었다.

• Kyungpook Mathematical Journal
• /
• 제55권4호
• /
• pp.953-967
• /
• 2015

In this article, by making use of a linear multiplier fractional differential operator $D^{{\delta},m}_{\lambda}$, we introduce a new subclass of spiral-like functions. The main object is to provide some subordination results for functions in this class. We also find sufficient conditions for a function to be in the class and derive Fekete-$Szeg{\ddot{o}}$ inequalities.