• 한국수학사학회지
• /
• 제17권4호
• /
• pp.45-64
• /
• 2004

${\lambda}$-연산은 ‘다시쓰기 규칙’으로 정의되는 계산을 위해 함수들이 형성되고, 결합되고, 활용되는 수학적 형식 체계이다. 컴퓨터과학의 발전과 더불어 많은 프로그래밍 언어들이 ${\lambda}$-연산을 원리로 삼고 있다. 나아가서, ‘커리-하워드 대응’ 덕분에 미제 연역에 의해 수행된 증명과 컴퓨터 프로그래밍 사이에 대응 관계를 설정할 수 있게 되었다. 이 글의 목적은 교육적인 차원에서 아직은 잘 알려져 있지 않은 주제를 대중화시키는 데에 있다. 논리학과 컴퓨터 과학에서 L-연산의 영향은 차후의 연구과제로 남아 있다.

• ETRI Journal
• /
• 제33권4호
• /
• pp.506-516
• /
• 2011

In this paper, we develop a registration method to eliminate the geometric inconsistency between the stereo-images and light detection and ranging (LIDAR) data obtained by an airborne multisensor system. This method consists of three steps: registration primitive extraction, correspondence establishment, and exterior orientation parameter (EOP) adjustment. As the primitives, we employ object points and linked edges from the stereo-images and planar patches and intersection edges from the LIDAR data. After extracting these primitives, we establish the correspondence between them, being classified into vertical and horizontal groups. These corresponding pairs are simultaneously incorporated as stochastic constraints into aerial triangulation based on the bundle block adjustment. Finally, the EOPs of the images are adjusted to minimize the inconsistency. The results from the application of our method to real data demonstrate that the inconsistency between both data sets is significantly reduced from the range of 0.5 m to 2 m to less than 0.05 m. Hence, the results show that the proposed method is useful for the data fusion of aerial images and LIDAR data.

• 전자공학회논문지B
• /
• 제32B권10호
• /
• pp.1305-1313
• /
• 1995

In this paper, we propose a robust estimation of camera parameters from image sequence for high quality video composition. We first establish correspondence of feature points between consecutive image fields. After the establishment, we formulate a nonlinear least-square data fitting problem. When the image sequence contains moving objects, and/or when the correspondence establishment is not successful for some feature points, we get bad observations, outliers. They should be properly eliminated for a good estimation. Thus, we propose an iterative algorithm for rejecting the outliers and fitting the camera parameters alternatively. We show the validity of the proposed method using computer generated data sets and real image sequeces.

• 한국철도학회논문집
• /
• 제7권3호
• /
• pp.215-222
• /
• 2004

Optimal route selection of railway should take consideration of the function of the railway, topography, practicability of construction and management as well as the cost. This study performed the surveys for experts and surrounding industries and the review for the bid guidelines in order to develop the quality model with the AHP method and establish the weight for each factor. Six quality models were developed for such as the efficiency of railway operation, structure design and practicability, economic feasibility, correspondence with other plans, civil appeal and environmental sustainability, and correspondence with system. The detailed evaluation elements were also derived by each factors.

• 대한수학회논문집
• /
• 제38권2호
• /
• pp.629-641
• /
• 2023

The aim of this paper is two-fold. First, we study the Chinea-Gonzalez class C₁₂ of almost contact metric manifolds and we discuss some fundamental properties. We show there is a one-to-one correspondence between C₁₂ and Kählerian structures. Secondly, we give some basic results for Riemannian curvature tensor of C₁₂-manifolds and then establish equivalent relations among 𝜑-sectional curvature. Concrete examples are given.

• 대한치과기공학회지
• /
• 제33권3호
• /
• pp.203-210
• /
• 2011

Purpose: The purpose of this study was to compare color correspondence of different sizes of Vita Mark II$^{(R)}$ and TriLuxe$^{(R)}$ Feldspar blocks. Methods: The three commercially available shades(1M2, 2M2, 3M2) of Mark II & TriLuxe blocks for the CEREC$^{(R)}$ CAD/CAM system were examined. For each of three colors, three different sizes were tested, 5 blocks each. The measurements were made using a spectrophotometer equipped with an integrating sphere using the CIE $L^*$, $a^*$, $b^*$ colorimetric system. Results: The $L^*$, $a^*$, $b^*$ value of Vita Mark II$^{(R)}$ ceramic block showed significantly higher than TriLuxe$^{(R)}$ ceramic block(p<0.05). In comparing the Vita Mark II$^{(R)}$ specimen of the three different shade, color differences between materials(${\Delta}E^*$) showed the lowest value of 2.09, and the highest was 2.24. ${\Delta}E^*$ values of the materials of Vita Mark II$^{(R)}$ were higher than 2. As the size of ceramic block differed, the color correspondence of Vita Mark II$^{(R)}$ showed statistically significant difference but, this result is clinically acceptable. Conclusion: All the different sizes of the different shades of Vita TriLuxe$^{(R)}$ blocks for the CEREC$^{(R)}$ system showed the high degree of color correspondence necessary in industrially prefabricated CAD/CAM blocks. The results of the present study suggested that it would be necessary to establish the reproducible and constant color specification system for an esthetic restoration.

• 정신신체의학
• /
• 제2권1호
• /
• pp.46-51
• /
• 1994

Model' is one of the well-used, but poorly understood word in the neurobehavioral research. After Darwin's evolutionary theory, it has been generally believed that human is different from animals in terms of the complexity, not of the essential. This notion could be applied to the mind as well as body. Therefore, it became possible to establish animal models in the scientific field of mind. Experimental analysis of the animal behavior becomes an important area for establishing an animal model of human psychopathology because behavior is the ambassador of the mind. A model emphasizes a structural correspondence between sets of causally related variables in two different domains such as the animal and the human. The first selection of elements of the two domains in correspondence called the initial analogy. Once the initial analogy is formed. causally related variables in the two domains are examined and arrayed The structural parallel is the formal analogy of a model, and similarities between corresponding variables are called material analogy. Models may serve any of three major functions ; heuristic, evidential and representative. In many cases, utilizing models may be more practical than directly assessing the domain of primary interest, since technical and/or ethical problems are more serious in the human domain. Although modeling is important to study human psychopathology, rare animal models approved to be a good model for the human psychopathology up to now. Developing the appropriate model is urgent to solve many problems raised from human psychopathology.

• 동아시아경상학회지
• /
• 제11권2호
• /
• pp.15-27
• /
• 2023

Purpose - The goal of this study is to extensively grasp the latest status of domestic home shopping and to propose useful information on the direction of development for the somewhat stagnant this market. This study investigates the relationship between purchasing media and demographic factors such as average monthly income, age and occupation. Categories of purchasing media under consideration are cell phones, tablet PCs, PCs/notebooks, phone calls and TV directly. Research design, data, and methodology -The survey was conducted in 2021 on a total of 4,537 integrated panel households including 3,510 households and 191,027 newly constructed in 2019 and about 10,800 household members aged 6 years or older in the household. The independence test and correspondence analysis as statistical tools are exploited to detect the relationship between the underlying factors. Result - It can be demonstrated that all demographic variables considered are related to the purchase media of home shopping. In particular, cell phones among purchasing media are closely associated with 2 million - 5 million won, teenagers, 20s, 40s, professionals, office workers, managers and soldiers. Conclusion - It is necessary to establish a new management strategy and related policies in order to overcome the current stagnation and ensure the continued growth of this industry.

• 한국산업융합학회 논문집
• /
• 제12권2호
• /
• pp.85-90
• /
• 2009

The Toyota production system (TPS) developed by Toyota corporation is a management principle and production model to improve values added through elimination of waste. Since the oil shock in 1970s, the TPS has drawn the worldwide attentions as a main factor of competitiveness of Japanese manufacturing system and has been studied and implemented in many countries regardless of size and types of industry. For the correspondence to various customer's requirement, it is required to establish on time delivery procedure and to shorten lead time. Therefore it intended to establish TPS which is adopted to 7 losses reduction and JIT(Just in Time). In this paper, the automatic production line for color TV manufacturing by TPS was developed and proved to push up two times of productivity, to reduce the 25 workers at a time, and to widen the flexibility of manufacturing from 14" to 25" TV.

• 한국지진공학회:학술대회논문집
• /
• 한국지진공학회 2000년도 춘계 학술발표회 논문집 Proceedings of EESK Conference-Spring
• /
• pp.81-88
• /
• 2000

This paper based on a survey of the 1995 Hyogo-Ken Nanbu Earthquake analyzes human behavior by the house pattern through the correspondence analysis in an area of Shindo 7: earthquake with an intensity of 7 on the Japanese scale. According to the analysis the following proposals are shown as a space safety planning: First : To establish the space allotment based on which the role behavior among family members are smoothly executed, . Second In the apartment house it is important to install a common space or a "Helping Neighbot" -route to the adjoining dwelling unit which is safe for residents' activities and effective for the improvement of the earthquake-resistant structure of the building. building.