• Korean Journal of Logic
• /
• v.14 no.3
• /
• pp.101-137
• /
• 2011

Based on his analysis of judgement forms in intuitionistic type theory, Martin-L$\ddot{o}$f claims that the usual logical laws and interesting mathematical judgements are synthetic, not analytic. He further claims that the logic of analytic judgements is decidable and complete, while the logic of synthetic judgements is undecidable and incomplete. The aim of this article is to clarify and examine his claims. In section 1, I explain and give some comments on the monomorphic version of intuitionistic type theory. In section 2, after clarifying Martin-L$\ddot{o}$f's distinction between analytic and synthetic judgements, I examine some possible objections to it and evaluate the thesis that the usual logical laws and interesting mathematical judgements are synthetic. In section 3, I clarify and examine the thesis that the logic of analytic judgements is decidable and complete, while the logic of synthetic judgements is undecidable and incomplete.

• Korean Journal of Mathematics
• /
• v.27 no.1
• /
• pp.221-267
• /
• 2019

In the five first sections of this paper we define and study the hypergeometric transmutation operators $V^W_k$ and $^tV^W_k$ called also the trigonometric Dunkl intertwining operator and its dual corresponding to the Heckman-Opdam's theory on ${\mathbb{R}}^d$. By using these operators we define the hypergeometric translation operator ${\mathcal{T}}^W_x$, $x{\in}{\mathbb{R}}^d$, and its dual $^t{\mathcal{T}}^W_x$, $x{\in}{\mathbb{R}}^d$, we express them in terms of the hypergeometric Fourier transform ${\mathcal{H}}^W$, we give their properties and we deduce simple proofs of the Plancherel formula and the Plancherel theorem for the transform ${\mathcal{H}}^W$. We study also the hypergeometric convolution product on W-invariant $L^p_{\mathcal{A}k}$-spaces, and we obtain some interesting results. In the sixth section we consider a some root system of type $BC_d$ (see [17]) of whom the corresponding hypergeometric translation operator is a positive integral operator. By using this positivity we improve the results of the previous sections and we prove others more general results.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.7 no.4
• /
• pp.404-409
• /
• 1983

The warping of unsymmetric laminated composites is induced by residual curing stress at the room temperature. Classical lamination theory (C.L.T.) predicts the room temperature shapes of all unsymmetric laminates to be a saddle. Experimental observations, however, indicate some unsymmetric laminated composites have cylindrical room temperature shapes. This anomalous behavior is explained by the extention of C.L.T. which involves Von Karman's large deflection theory. It is shown that, depending on the thickness, width, length, curing temperature and room temperature of the laminate, critical boundaries of the shape change are determined. Theoretical predictions are compared with experimental results of Toray Graphite/Epoxy {O$_{n}$/90$_{n}$}$_{T}$./....

• Proceedings of the Korean Society for Quality Management Conference
• /
• 2006.11a
• /
• pp.236-242
• /
• 2006

세계적으로 각 분야에서 SERVQUAL 모형과 SERVPERF 모형 등을 이용한 서비스품질에 대한 측정과 관련된 연구들이 많이 수행되어 오고 있지만 서비스품질을 계량화시키기 위한 연구는 활성화되고 있지 못하는 상황이다. 따라서, 본 연구의 목적은 불확실하고 주관적인 환경에서 서비스품질을 객관성있게 측정하고 계량화시키기 위해서 L.A. Zadeh가 제안한 퍼지이론의 Triangular Fuzzy Number(TFN) 와 T.L. Saaty가 제안한 Analytic Hierarchy Process (AHP)를 이용하여 서비스품질을 측정하기 위한 방법을 제안하는 것이고, 본 연구를 통해서 조직의 제한적 자원으로 고객만족 극대화를 실현하기 위한 경쟁우위적 전략의 일환으로써 서비스품질을 제고시키는데 효율적이며 효과적인 의사결정안이 도출될 것으로 사료된다.

• Communications of the Korean Mathematical Society
• /
• v.10 no.1
• /
• pp.49-55
• /
• 1995

This paper is the third of a series in which smoothness properties of function in several variables are discussed. The germ of the whole theory was laid in the works by Folland and Stein [4]. On nilpotent Lie groups, they difined analogues of the classical $L^p$ Sobolev or potential spaces in terms of fractional powers of sub-Laplacian, L and extended several basic theorems from the Euclidean theory of differentaiability to these spaces: interpolation properties, boundedness of singular integrals,..., and imbeding theorems. In this paper we study the analogue to the extension theorem for the Folland-Stein spaces. The analogue to Stein's restriction theorem were studied by M. Mekias [5] and Y.M. Kim [6]. First, we have the space of Bessel potentials on the Heisenberg group introduced by Folland [4].

• English Language & Literature Teaching
• /
• v.10 no.3
• /
• pp.21-40
• /
• 2004

This study Questioned what happens in L2 reading comprehension of the expository text, as measured by recall and inference-making abilities, when a L2 reader was induced to develop a content schema about the topic of a target text, but the structure of that schema departs from the structure of the target text Seventy-four. Korean university students read either the same version text twice (consistent condition) or two different version texts (inconsistent condition) with a three-day interval between the two readings. The results of a verification test indicate that, for those subjects with higher L2 reading proficiency, the inconsistent condition was more beneficial than the consistent condition for the inference-making task. On the other hand, for lower-level L2 readers, the consistent condition was more favorable for the recall task. It was concluded that inducing a structurally inconsistent schema through an L2 pre-reading would be beneficial only when the reader's L2 linguistic ability is proficient enough to produce necessary propositions from the pre-reading.

• Journal of applied mathematics & informatics
• /
• v.39 no.3_4
• /
• pp.487-496
• /
• 2021

In this paper we show that if A ∈ L(X) and B ∈ L(Y), X and Y complex Banach spaces, then A ⊕ B ∈ L(X ⊕ Y) is subscalar if and only if both A and B are subscalar. We also prove that if A, Q ∈ L(X) satisfies AQ = QA and Q^p = 0 for some nonnegative integer p, then A has property (C) (resp. property (𝛽)) if and only if so does A + Q (resp. property (𝛽)). Finally, we show that A ∈ L(X, Y) and B, C ∈ L(Y, X) satisfying operator equation ABA = ACA and BA ∈ L(X) is subscalar with property (𝛿) then both Lat(BA) and Lat(AC) are non-trivial.

• Communications of the Korean Mathematical Society
• /
• v.27 no.1
• /
• pp.77-95
• /
• 2012

For a bounded linear operator T we prove the following assertions: (a) If T is algebraically (p, k)-quasihyponormal, then T is a-isoloid, polaroid, reguloid and a-polaroid. (b) If $T^*$ is algebraically (p, k)-quasihyponormal, then a-Weyl's theorem holds for f(T) for every $f{\in}Hol({\sigma}T))$, where $Hol({\sigma}(T))$ is the space of all functions that analytic in an open neighborhoods of ${\sigma}(T)$ of T. (c) If $T^*$ is algebraically (p, k)-quasihyponormal, then generalized a-Weyl's theorem holds for f(T) for every $f{\in}Hol({\sigma}T))$. (d) If T is a (p, k)-quasihyponormal operator, then the spectral mapping theorem holds for semi-B-essential approximate point spectrum $\sigma_{SBF_+^-}(T)$, and for left Drazin spectrum ${\sigma}_{lD}(T)$ for every $f{\in}Hol({\sigma}T))$.

• Bulletin of the Society of Naval Architects of Korea
• /
• v.14 no.2
• /
• pp.1-9
• /
• 1977

Streamlines around a ship's hull can be calculated by using streamline tracing method replacing the ship section with distribution of singularity. The influence of frame lines on the stream surrounding a hull surface, however, can not be found. Jinnaka studied on streamlines for Lewis form by applying the slender body theory. The influence of frame lines on stream surrounding a hull surface is well found in Jinnaka's method. In this paper streamline calculation method for chine type has been developed by using conformal transformation and applying slender body theory as Jinnaka did. Three kinds of model-one of series 62 for chine type, V.L.C.C. and high speed craft built in Korea for Lewis form-were used for streamline calculation;

• Bulletin of the Korean Chemical Society
• /
• v.34 no.10
• /
• pp.2889-2894
• /
• 2013

A new complex [$Ni(phen)(C_9H_8Br_2NO_3)_2{\cdot}2CH_3OH{\cdot}2H_2O$] [phen: 1,10-phenanthroline $C_9H_8Br_2NO_3$: 3,5-dibromo-L-tyrosine] was synthesized and characterized by IR, elemental analysis and single crystal X-ray diffraction. X-ray crystallography shows that Ni(II) ion is six-coordinated. The Ni(II) ion coordinates with four nitrogen atoms and two oxygen atoms from three ligands, forming a mononuclear Ni(II) complex. The crystal crystallizes in the Orthorhombic system, space group $P2_12_12$ with a = 12.9546 ${\AA}$, b = 14.9822 ${\AA}$, c = 9.9705 ${\AA}$, V = 1935.2 ${\AA}$, Z = 1, F(000) = 1008, S = 0.969, ${\rho}_{calcd}=1.742g{\cdot}cm^{-3}$, ${\mu}=4.688mm^{-1}$, $R_1$ = 0.0529 and $wR_2$ = 0.0738 for 3424 observed reflections (I > $2{\sigma}(I)$). Theoretical study of the title complex was carried out by density functional theory (DFT) method and the B3LYP method employing the $6-3l+G^*$ basis set. The energy gap between HOMO and LUMO indicates that this complex is prone to interact with DNA. CCDC: 908041.