• 대한수학회논문집
• /
• 제12권2호
• /
• pp.251-256
• /
• 1997

We show that a strong system of derivations ${D_0, D_1,\cdots,D_m}$ on a commutative Banach algebra A is contained in the radical of A if it satisfies one of the following conditions for separating spaces; (1) $\partial(D_i) \subseteq rad(A) and \partial(D_i) \subseteq K D_i(rad(A))$ for all i, where $K D_i(rad(A)) = {x \in rad(A))$ : for each $m \geq 1, D^m_i(x) \in rad(A)}$. (2) $(D^m_i) \subseteq rad(A)$ for all i and m. (3) $\bar{x\partial(D_i)} = \partial(D_i)$ for all i and all nonzero x in rad(A).

• 한국컴퓨터정보학회논문지
• /
• 제20권2호
• /
• pp.63-70
• /
• 2015

최대 지배집합의 수인 도메틱 수 문제 (DNP)는 정확한 해를 다항시간으로 구하는 알고리즘이 존재하지 않아 NP-완전 문제로 알려져 있다. 본 논문은 DNP의 해를 다항시간으로 구하는 알고리즘을 제안하였다. 그래프의 최대 차수 ${\Delta}(G)$ 정점 $v_i$를 $D_i,i=1,2,{\cdots},k$의 지배집합의 원소로 선택하는 방법을 적용하고, $V_{i+1}=V_i{\backslash}D_i$의 축소된 그래프에 대해 $D_{i+1}$을 구하였다. 또한 $V{\backslash}D_i=N_G(D_i)$로 $D_i$가 지배집합으로 되는지 여부를 검증하였다. 제안된 알고리즘을 15개의 다양한 그래프에 적용한 결과 정확한 해를 다항시간 복잡도 O(kn)으로 구하는데 성공하였다. 결국, 제안된 알고리즘은 도메틱 수 문제가 P-문제임을 보였다.

• Journal of applied mathematics & informatics
• /
• 제23권1_2호
• /
• pp.517-523
• /
• 2007

Let R/I be an Artinian algebra of codimension 3 with Hilbert function H such that $h_{d-1}>h_d=h_{d+1}$. Ahn and Shin showed that A cannot be level if ${\beta}_{1,d+2}(Gin(I))={\beta}_{2,d+2}(Gin(I))$ where Gin(I) is a generic initial ideal of I. We prove that some certain graded Artinian algebra R/I cannot be level if either ${\beta}_{1,d}(I^{lex})={\beta}_{2,d}(I^{lex})+1\;or\;{\beta}_{1,d+1}(I^{lex})={\beta}_{2,d+1}(I^{lex})\;where\;I^{lex}$ is a lex-segment ideal associated to I.

• 한국음향학회지
• /
• 제11권6호
• /
• pp.15-22
• /
• 1992

i.i.d 신호의고차 모멘트와 스펙트럼의 성질에 대하여 4차까지 고찰하였으며 이의 결과를 이용하 여 2차 Volterra 급수로 표시되고, i.i.d. 입력 신호를 갖는 시불변 비선형 시스테므이 파라메타들을 추정 하는 알고리즘을 시간 영역과 주파수 영역에서 각각 제안하였다. 비록 2차 Volterra 급수가 i.i.d. 입력 신호에 대하여 orthogonal 모델이 아닐지라도 입력 신호의 각종 시간지연에 대한 모멘트나 역행렬의 계 산등이 요구되지 않으며 선형 전달함수와 2차 전달함수를 추정할 수 있는 알고리즘이 존재하는 것을 보 았다.

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

Let (D,B) be an admissible pair. Then recall that $B\;{\times}^L_HD^{{\rightarrow}{\pi}_D}_{{\leftarrow}i_D}\;D$ are bialgebra maps satisfying ${\pi}_D{\circ}i_D=I$. We have solved a converse in case D is a Hopf algebra. Let D be a Hopf algebra with antipode $S_D$ and be a left H-comodule algebra and a left H-module coalgebra over a field $k$. Let A be a bialgebra over $k$. Suppose $A^{{\rightarrow}{\pi}}_{{\leftarrow}i}D$ are bialgebra maps satisfying ${\pi}{\circ}i=I_D$. Set ${\Pi}=I_D*(i{\circ}s_D{\circ}{\pi}),B=\Pi(A)$ and $j:B{\rightarrow}A$ be the inclusion. Suppose that ${\Pi}$ is an algebra map. We show that (D,B) is an admissible pair and $B^{\leftarrow{\Pi}}_{\rightarrow{j}}A^{\rightarrow{\pi}}_{\leftarrow{i}}D$ is an admissible mapping system and that the generalized biproduct bialgebra $B{\times}^L_HD$ is isomorphic to A as bialgebras.

• Journal of Acupuncture Research
• /
• 제21권1호
• /
• pp.51-58
• /
• 2004

Objective: The purpose of this study is to report that D.I.T.I. can be used for diagnosis of scoliosis. Methods: We measured the posterior trunk surface of the patients with shoulder pain or low back pain. They were ruled out as scoliosis by D.I.T.I. and compared with X-ray finding of T L-spine Ap views and calculated scoliosis angle. Results: In according to the spinoprocess curve in D.I.T.I. we could rule out as scoliosis. Thermal difference of left and right segmental areas of the patients was showed. Scoliosis angle of the patients ranged from $4^{\circ}$ to $11^{\circ}$ in X-ray finding. Conclusions: The results suggest that D.I.T.I. can explain physiologic and functional abnormalities than X-ray, in diagnosis of scoliosis. But further studies are required to for the diagnosis of scoliosis by analysing D.I.T.I..

• 대한수학회보
• /
• 제48권6호
• /
• pp.1137-1146
• /
• 2011

Let {$X_i$, $i{\geq}1$} be a sequence of i.i.d. nondegenerate random variables which is in the domain of attraction of the normal law with mean zero and possibly infinite variance. Denote $S_n={\sum}_{i=1}^n\;X_i$, $M_n=max_{1{\leq}i{\leq}n}\;{\mid}S_i{\mid}$ and $V_n^2={\sum}_{i=1}^n\;X_i^2$. Then for d > -1, we showed that under some regularity conditions, $$\lim_{{\varepsilon}{\searrow}0}{\varepsilon}^2^{d+1}\sum_{n=1}^{\infty}\frac{(loglogn)^d}{nlogn}I\{M_n/V_n{\geq}\sqrt{2loglogn}({\varepsilon}+{\alpha}_n)\}=\frac{2}{\sqrt{\pi}(1+d)}{\Gamma}(d+3/2)\sum_{k=0}^{\infty}\frac{(-1)^k}{(2k+1)^{2d+2}}\;a.s.$$ holds in this paper, where If g denotes the indicator function.

• Korean Journal of Mathematics
• /
• 제18권4호
• /
• pp.395-407
• /
• 2010

In this paper, we prove the generalized Hyers-Ulam stability of the following quadratic functional equations $$cf\(\sum_{i=1}^{n}x_i\)+\sum_{j=2}^{n}f\(\sum_{i=1}^{n}x_i-(n+c-1)x_j\)\\=(n+c-1)\(f(x_1)+c\sum_{i=2}^{n}f(x_i)+\sum_{i<j,j=3}^{n}\(\sum_{i=2}^{n-1}f(x_i-x_j\)\),\\Q\(\sum_{i=1}^{n}d_ix_i\)+\sum_{1{\leq}i<j{\leq}n}d_id_jQ(x_i-x_j)=\(\sum_{i=1}^{n}d_i\)\(\sum_{i=1}^{n}d_iQ(x_i)\)$$ in random normed spaces.

• 충청수학회지
• /
• 제24권2호
• /
• pp.273-286
• /
• 2011

Using the fixed point method, we prove the Hyers-Ulam stability of the following quadratic functional equations $${cf\left({\displaystyle\sum_{i=1}^n\;xi}\right)+{\displaystyle\sum_{i=2}^nf}{\left(\displaystyle\sum_{i=1}^n\;x_i-(n+c-1)x_j\right)}\\ {=(n+c-1)\;\left(f(x_1)+c{\displaystyle\sum_{i=2}^n\;f(x_i)}+{\displaystyle\sum_{i in fuzzy Banach spaces.

• 대한수학회보
• /
• 제57권2호
• /
• pp.407-417
• /
• 2020

Let (R, m) be a d-dimensional Cohen-Macaulay local ring with infinite residue field. Let I be an ideal of R that has analytic spread ℓ(I) = d, satisfies the G_d condition, the weak Artin-Nagata property AN^-_d-2 and m is not an associated prime of R/I. In this paper, we show that if j₁(I) = λ(I/J) + λ[R/(J_d-1 :_RI+(J_d-2 :_RI+I):_R m^∞)] + 1, then I has almost minimal j-multiplicity, G(I) is Cohen-Macaulay and r_J(I) is at most 2, where J = (x₁, _…, x_d) is a general minimal reduction of I and J_i = (x₁, _…, x_i). In addition, the last theorem is in the spirit of a result of Sally who has studied the depth of associated graded rings and minimal reductions for m-primary ideals.