• East Asian mathematical journal
• /
• 제24권3호
• /
• pp.289-293
• /
• 2008

We recently showed in [5] a semilocal convergence theorem that guarantees convergence of Newton's method to a locally unique solution of a nonlinear equation under hypotheses weaker than those of the Newton-Kantorovich theorem [7]. Here, we first weaken Miranda's theorem [1], [9], [10], which is a generalization of the intermediate value theorem. Then, we show that operators satisfying the weakened Newton-Kantorovich conditions satisfy those of the weakened Miranda’s theorem.

• 대한수학회보
• /
• 제57권5호
• /
• pp.1215-1229
• /
• 2020

Let D be an integral domain and S a multiplicative subset of D. An ascending chain (I_k)_k∈ℕ of ideals of D is said to be S-stationary if there exist a positive integer n and an s ∈ S such that for each k ≥ n, sI_k ⊆ I_n. As a generalization of domains satisfying ACCP (resp., ACC on ∗-ideals) we define D to satisfy S-ACCP (resp., S-ACC on ∗-ideals) if every ascending chain of principal ideals (resp., ∗-ideals) of D is S-stationary. One of main results of this paper is the Hilbert basis theorem for an integral domain satisfying S-ACCP. Also we investigate the class of such domains D and we generalize some known related results in the literature. Finally some illustrative examples regarding the introduced concepts are given.

• International Journal of Reliability and Applications
• /
• 제8권1호
• /
• pp.53-66
• /
• 2007

This paper proposes a new non-homogeneous Poisson process software reliability growth model based on the coverage information. The new model incorporates the coverage information in the fault detection process by assuming that only the faults in the covered constructs are detectable. Since the coverage growth behavior depends on the testing strategy, the fault detection process is first modeled for the general testing strategy and then realized for the uniform testing. Finally the model for the uniform testing is empirically evaluated by applying it to real data sets.

• 대한수학회보
• /
• 제59권3호
• /
• pp.725-743
• /
• 2022

In this paper, the concepts of ω-linked homomorphisms, the ω_𝜙-operation, and DW_𝜙 rings are introduced. Also the relationships between ω_𝜙-ideals and ω-ideals over a ω-linked homomorphism 𝜙 : R → T are discussed. More precisely, it is shown that every ω_𝜙-ideal of T is a ω-ideal of T. Besides, it is shown that if T is not a DW_𝜙 ring, then T must have an infinite number of maximal ω_𝜙-ideals. Finally we give an application of Cohen's Theorem over ω-factor rings, namely it is shown that an integral domain R is an SM-domain with ω-dim(R) ≤ 1, if and only if for any nonzero ω-ideal I of R, (R/I)_ω is an Artinian ring, if and only if for any nonzero element α ∈ R, (R/(a))_ω is an Artinian ring, if and only if for any nonzero element α ∈ R, R satisfies the descending chain condition on ω-ideals of R containing a.

• Journal of applied mathematics & informatics
• /
• 제41권6호
• /
• pp.1209-1225
• /
• 2023

In this paper, we defined some new classes of analytic functions in conic domains. We investigate some important properties such as necessary and sufficient conditions, coefficient estimates, convolution results, linear combination, weighted mean, arithmetic mean, radii of starlikeness and distortion for functions in these classes. It is important to mentioned that our results are generalization of number of existing results in the literature.

• 대한수학회논문집
• /
• 제16권4호
• /
• pp.679-690
• /
• 2001

Doubly stochastic matrices are n$\times$n nonnegative ma-trices whose row and column sums are all 1. Convex polytope $\Omega$$_{n}$ of doubly stochastic matrices and more generally (R,S), so called transportation polytopes, are important since they form the domains for the transportation problems. A theorem by Birkhoff classifies the extremal matrices of , $\Omega$$_{n}$ and extremal matrices of transporta-tion polytopes (R,S) were all classified combinatorially. In this article, we consider signed version of $\Omega$$_{n}$ and (R.S), obtain signed Birkhoff theorem; we define a new class of convex polytopes (R,S), calculate their dimensions, and classify their extremal matrices, Moreover, we suggest an algorithm to express a matrix in (R,S) as a convex combination of txtremal matrices. We also give an example that a polytope of signed matrices is used as a domain for a decision problem. In this context of finite reflection(Coxeter) group theory, our generalization may also be considered as a generalization from type $A_{*}$ n/ to type B$_{n}$ D$_{n}$. n/.

• 지능정보연구
• /
• 제14권4호
• /
• pp.1-18
• /
• 2008

사례 기반 계획 시스템은 과거의 유사한 사례 계획들을 이용함으로써 새로운 문제를 위한 계획을 효율적으로 생성 할 수 있다. 하지만 대부분의 기존 사례 기반 계획 시스템들은 사례 검색 및 사례 일반화를 위한 제한적 기능들만을 제공할 뿐만 아니라, 계획 생성과정에 사용자의 참여를 허용하지 않는다. 본 논문에서 제안하는 JCBP 시스템은 효율적인 메모리 사용과 사례 검색을 위해 각 도메인의 동일한 작업 목표를 가진 사례들을 개별 사례 베이스로 그룹화하고, 이들에 대한 색인을 유지한다. 또 이 시스템은 문제모델로부터 자동으로 추출한 휴리스틱 지식을 사례 적응 단계에 이용하며, 목표 회귀를 통한 사례 일반화 기능도 제공한다. 또한 JCBP 시스템은 대화형 모드를 통한 혼합 주도 계획 생성 기능도 제공한다. 이와 같이 JCBP 시스템은 문제 해결을 위해 사용자의 기호와 지식을 이용함으로써 사용자의 요구를 더 잘 만족하는 해 계획을 생성할 수 있을 뿐 아니라 계획 생성의 복잡도도 줄일 수 있다.

• 한국초등수학교육학회지
• /
• 제16권2호
• /
• pp.253-267
• /
• 2012

본 연구는 창의성이 발현되는 인지적 과정이 무엇인지에 대한 관점을 이론적으로 고찰한 후, 이를 토대로 수학적 창의성을 계발하고 측정하는데 바람직한 과제와 수업 방향을 제시하는 것을 목적으로 한다. 먼저, 창의성에 대한 영역-특수적 관점과 영역-일반적 관점을 이론적으로 고찰하였다. 창의성 발현에 대한 이 두 관점은 이론적 논의에 그치지 않고 수학적 창의성을 계발하고 신장시키기 위해 고안된 과제와 프로그램에 영향을 미친다. 창의성에 대한 교육학적 고찰에서는 수학적 창의성을 검사하고 계발하기 위한 과제와 수업 프로그램이 구비해야할 조건을 이론적으로 탐색한 후, 이를 바탕으로 실제 수학 수업에서 활용가능한 과제와 수업 사례를 제시하였다. 이 연구의 핵심적인 결론은 창의성의 발현되는 과정에 대한 연구는 수학적 창의성 연구의 핵심이 되어야 하며, 아울러 확산적 사고는 수학적 창의성 계발을 위한 필요조건이지만 충분조건은 될 수 없으므로, 수학적 창의성을 계발하기 위해서는 일반화, 추상화 등 다양한 수학적 추론과 수학적 지식을 고려할 필요가 있다.

• 기본간호학회지
• /
• 제15권3호
• /
• pp.312-320
• /
• 2008

Purpose: The purpose of this study was to verify the validity and reliability of the Type D Scale-14 (DS14). Methods: The participants were 288 patients who were diagnosed with angina pectoris, myocardial infarction, and hypertension. DS14 was developed by Denollet(2005) and consists of two domains, 7 items on negative affectivity (NA) and 7 items on social inhibition (SI). The Korean version of DS14 was developed through translation-reversed translation and a preliminary test. Data were collected using a self-report questionnaire. Cronbach $\alpha$ and Guttman split-half were used to test reliability and item analysis and factor analysis for validity. The SPSS program was used. Results: 35.8% of the participants were classified as Type D. Mean score for NA was 16.80 and for SI, 14.10 in Type D participants. For reliability of NA, Cronbach $\alpha$=0.771, and for SI, 0.707. Factor analysis on 12 items(numbers 1 & 3 were excluded as the corrected item-total correlations were below r=0.3) yielded two factors for NA (6 items) and SI (6 items). Number 7 in the NA domain was sorted into the SI domain. Conclusion: The results indicate, the cultural differences were between Europeans and Koreans. Repetition of the research is needed for generalization of DS14.

• 한국초등과학교육학회지:초등과학교육
• /
• 제17권2호
• /
• pp.55-65
• /
• 1998

This study was intended to suggest the desirable direction in the 7th national curriculum revision through the analysis of the elementary science textbooks in the 6th national curriculum. The analysis system was composed of three categories, (1)knowledge (2)inquiry process and (3)attitude. And knowledge was divided into fact, concept and rule. And inquiry process was divided into thirteen subcategories such as manipulating experimental apparatus, observing, measuring, recording data, classifying, interpreting/ predicting, determining relationship/ causal explanation, extrapolating/ interpolating, drawing conclusions/ formulating a generalization or model, evaluating, formulating a problem, generating a hypothesis and designing an experiment/ controlling variables. Each sentence in the textbooks was considered as an analyzing unit. The frequency and percentage of each category were counted and the ratios were calculated. The findings could be summarized as follows: 1. The content of the elementary science textbooks was composed of knowledge 10.3%, inquiry process 88.8%, attitude 0.8% respectively. 2. As increasing the grades, the ratio of knowledge showed high frequency, but that of attitude showed low frequency. 3. In All the grades, the ratio of observing was the highest in inquiry process. 4. In the domain of physics and chemistry, the manipulating experimental apparatus showed high frequency. In the domain of biology and earth science, the role of observing was emphasized.