http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
김창익,Kim, Chang-Ik 한국영어어문교육학회 2003 영어어문교육 Vol.9 No.S
This paper is aimed at the investigation of pragmatic contributions to the identification of explicatures. An explicature is the result of fleshing out the semantic representation of an utterance. The basic assumption of the paper is that the process of the developing the semantic representation into an explicature depends heavily on contextual information. Therefore, we are concerned with the way in which hearers use contextual information to flesh rut or develop the semantic representation of an utterance. The identification of explicatures includes both the recovery of the proposition expressed and the recovery of what we called higher-level explicatures. There are three subtasks involved in the recovery of the proposition expressed: reference assignment disambiguation and enrichment On the other hand, there are two subtasks involved in the recovery of higher-level explicatures: attitudes and speech acts.
비중격의 후상부 절제술 전후 비강 내의 유동장에 대한 연구
김록은(Rog Eun Kim),김창익(Chang Ik Kim),서안나(Anna Seo),김성원(Sung Won Kim),김성균(Sung Kyun Kim) 대한기계학회 2013 대한기계학회 춘추학술대회 Vol.2013 No.12
Detailed knowledge of airflow characteristics in nasal cavities is essential to understanding of the physiological and pathological aspects of nasal breathing. My research team have developed an exact technique for 3D computational anatomic model with the high resolution CT data that use Mimics software(an medical imaging software and Rapidform(an applied CAD software). In this article, the airflow inside the nasal cavity, after the transnasal endoscopic surgery of anterocentral skull base, was investigated numerically and experimentally. In order to remove the brain tumor where it locates in the anterocentral skull base, doctors may have surgery through the nasal cavity using the endoscope, by removing and upper part of the nasal septum, rather than by opening the cranium. This operation method shows a tendency to increase because of the surgery accuracy caused by a clear view from endoscopy, shortened operation hours, and lower riskiness compared to cranioclasty. However, there is a possibility that functions of the nose may decreases. We established the procedure for creating the anatomically correct nasal cavity model from CT data, using the medical imaging software(Mimics 16.0) and the applied CAD software(Rapidform XOS3). Numerical and experimental models of pre- and post-surgery nasal cavity were created by the aforementioned procedure under the ENT doctor’s advice. The numerical results by using ANSYS/Fluent were compared with the PIV experimental results.
金昌翼(Chang ik Kim) 호서대학교 사회과학연구소 1986 社會科學硏究 Vol.5 No.1
The purpose of this paper is to treat formally the two of the four problems which Belief-sentences may create: one is the problem of substitution and the other the problem of ambiguous readings. For that purpose, the writer makes the best use of the intension which Formal Semanticists have already established. The concept of the intension used is as follows: 1) The intension of a name as a function from indices to individuals. 2) The intension of a predicate as a function that gives the set denoted at that index. 3) The intension of a formula as a function from indices to truth values. By means of this intension, Belief-sentences are treated formally and adequately. There are two findings that we can have: One of the two is the fact that we cannot substitute one name for another in Belief-sentence if their intensions are different. Another is the fact that if a non-rigid designator in Belief-sentences is within the intensional operator, it is possible for us to have a de dict reading.
김창익 ( Chang Ik Kim ) 한국현대영어영문학회 2010 현대영어영문학 Vol.54 No.2
This paper is to argue that two complaints by anti-accommodation are mistaken and that the concept of presupposition accommodation is still needed. One of two complaints is involved with the problem of informative presuppositions. The problem is that while presuppositions are supposed to be conditions on the update of contexts, the update can go through perfectly well though the condition is not satisfied. The other complaint is that the process of accommodation involves mysterious magic. Concerning solving the problem of informative presuppositions, a time dependent account by von Fintel is used to defend common ground theory and accommodation theory. The account extends the range of common ground through before the update can be performed.(Hoseo University)
김창익(Chang-Ick Kim),우운택(Woon-Tac Woo),정홍(Hong Jeong) 한국정보과학회 1992 정보과학회논문지 Vol.19 No.6
The standard definition of computational vision is a set of inverse problems of recovering surface from images. Thus, computing optical flow is also an ill-posed problem like any other modules in early vision and the main idea for computing optical flow is to restrict the space of admissible solutions by introducing suitable a priori knowledge. This standard regularization method produces satisfactory solutions of early vision problems but cannot deal effectively and directly with the general problems, such as discontinuity and fusion of informations from several modules in early vision. In this paper, we review regularization theory, discuss its limitations, and suggest new stochastic approaches to solve the discontinuity problem that regularization could not deal with The optical flow field is modeled as an MRF(Marcovian Random Field), or equivalently as a GRF(Gibbs Random Field) and computed by Bayesian estimation. 영상으로부터 표면의 구조 및 성질을 추출해 내는 대부분의 초기 비젼 문제들을 ill-posed 문제이다. 따라서 초기 비젼의 여러 모듈 가운데 하나인 옵티컬 플로우의 계산 역시 ill-posed 문제이며 이는 적절한 제약 조건을 도입하여 가능한 해의 공간을 제한하는 Regularization 이론으로 해결할 수 있다. Regularization 이론은 초기 비젼 문제들에 대해 만족할 만한 해를 제공해 주지만 불연속 문제와 여러 모듈간의 정보 통합 문제 등을 정확히 다루지 못하는 한계를 갖는다. 본 논문은 옵티컬 플로우 문제에 적용되었던 Regularization 이론을 고찰해 보고 그의 한계를 논의한 후 Regularization으로는 다룰 수 없었던 불연속 문제를 해결하기 위하여 확률 모형의 이용을 제안한다. 이에 따라 옵티컬 플로우 필드는 MRF로서 모형화되며 Bayesian 추정이론에 근거하여 계산된다.
김창익 ( Chang Ik Kim ) 한국현대영어영문학회 2011 현대영어영문학 Vol.55 No.3
All definite NPs carry a presupposition of existential uniqueness. Thus we can access an entity which is presented as the only one of the type expressed by the N of the definite NP. In the case of associative definites which introduce a new entity, this entity must be easily accessible through NP1. Prototypical whole-part relations are a case in point where such accessibility exists between the entities denoted by NP1 and NP2. The fact that a definite associative NP2 must be supported by an accessibility relation explains why the use of a definite associative NP2 come across as strange and awkward. The last part of this paper is devoted to a discussion needed in proposing two new constraints of my own, which are bearing on associative definite NPs. It is argued that nouns referring to abstract properties and nouns denoting body parts of animate entities should be constrained as candidates for associative definite NPs. (Hoseo University)