• 대한수학회지
• /
• 제50권1호
• /
• pp.61-80
• /
• 2013

In this paper, we study ${\alpha}$-completely positive maps between locally $C^*$-algebras. As a generalization of a completely positive map, an ${\alpha}$-completely positive map produces a Krein space with indefinite metric, which is useful for the study of massless or gauge fields. We construct a KSGNS type representation associated to an ${\alpha}$-completely positive map of a locally $C^*$-algebra on a Krein locally $C^*$-module. Using this construction, we establish the Radon-Nikod$\acute{y}$m type theorem for ${\alpha}$-completely positive maps on locally $C^*$-algebras. As an application, we study an extremal problem in the partially ordered cone of ${\alpha}$-completely positive maps on a locally $C^*$-algebra.

• 한국인지과학회:학술대회논문집
• /
• 한국인지과학회 2002년도 춘계학술대회
• /
• pp.119-124
• /
• 2002

공간적 관계정보(spatial relation)가 언어적 표상시스템과 비언어적 표상시스템에서 어떻게달라지는가를 범주화 모델의 원형이론 모델을 적용하여 알아보고자 하였다. 이전의 연구들에 따르면 공간적 관계정보에 대한 프로토타입이 언어적 범주와 비언어적 범주에서 다르다는 연구 결과(Crawford 등 2000, Huttenlocher 등 1991)와 동일하다. (Hayward & Tarr 1995)는 상반된 연구 결과가 제기되고 있다. 하지만 이전 연구들에서의 문제점은 언어/비언어 표상체계 간의 편향을 통제하지 못했기 때문에 과제에 따라 서로 다른 결과가 나온 것이라고 볼 수 있다 본 연구에서는 두 대상간의 관계정보를 문장으로 제시한 조건, 그림으로 제시한 조건, 그리고 두 조건을 혼합한 조건을 사용하여 편향에 의한 효과를 제거하고자 하였다. 실험은 각 조건에 따라 짝으로 구성된 자극을 학습한 후 검사자극을 공간적 관계정보를 다양하게 하여 학습자극과 동일한지 아닌지를 판단하게 하였다. 실험결과 관계정보를 언어적으로 제시한 조건과 비언어적으로 제시한 조건간에 대상의 위치에 따른 반응시간의 경향성에서 차이가 없었으며, 대상이 단어인지 그림인지에 따라서 반응시간에서 통계적으로 차이가 나타났다. 그리고 두 표상체계에서 공간적 관계에 대한 프로토타입을 분석한 결과 수직축을 중심으로 전형성 효과가 나타나는 것을 알 수 있었다.

• 제어로봇시스템학회논문지
• /
• 제14권1호
• /
• pp.54-61
• /
• 2008

This paper proposes a new algorithm for detecting and recognizing overlapped objects among a stack of arbitrarily located objects using a signature representation scheme. The proposed algorithm consists of two processes of detecting overlap of objects and of determining the boundary between overlapping objects. To determine overlap of objects, in the first step, the edge image of object region is extracted and those areas in the object region are considered as the object areas if an area is surrounded by a closed edge. For each object, its signature image is constructed by measuring the distances of those edge points from the center of the object, along the angle axis, which are located at every angle with reference to the center of the object. When an object is not overlapped, its features which consist of the positions and angles of outstanding points in the signature are searched in the database to find its corresponding model. When an object is overlapped, its features are partially matched with those object models among which the best matching model is selected as the corresponding model. The boundary among the overlapping objects is determined by projecting the signature to the original image. The performance of the proposed algorithm has been tested with the task of picking the top or non-overlapped object from a stack of arbitrarily located objects. In the experiment, a recognition rate of 98% has been achieved.

• 로봇학회논문지
• /
• 제11권4호
• /
• pp.300-309
• /
• 2016

This paper proposes a method for motion estimation of consecutive cameras using 3-D straight lines. The motion estimation algorithm uses two non-parallel 3-D line correspondences to quickly establish an initial guess for the relative pose of adjacent frames, which requires less correspondences than that of current approaches requiring three correspondences when using 3-D points or 3-D planes. The estimated motion is further refined by a nonlinear optimization technique with inlier correspondences for higher accuracy. Since there is no dominant line representation in 3-D space, we simulate two line representations, which can be thought as mainly adopted methods in the field, and verify one as the best choice from the simulation results. We also propose a simple but effective 3-D line fitting algorithm considering the fact that the variance arises in the projective directions thus can be reduced to 2-D fitting problem. We provide experimental results of the proposed motion estimation system comparing with state-of-the-art algorithms using an open benchmark dataset.

• Asia pacific journal of information systems
• /
• 제8권2호
• /
• pp.53-67
• /
• 1998

The explosive growth of the Web is providing end-users access to ever-increasing volumes of information. The resources of legacy systems and relational databases have also been made available to the Web browser, which has become an essential business tool. Recently, model management on the Internet/Web is also proposed with its conceptual design or prototypical system like DecisionNet and DSS Web. However, they are also suffering from the same symptoms as the Web, Although we can identify the elements of a page with HTML tags and (declare) the relationships among the various document elements, they are semantically opaque to computer systems and have no domain-specific meaning. However, HTML is not extensible, so developers are forced to invent convoluted, non-standard solutions for embedding and parsing data. Extensible Markup Language (XML) is a simplified subset of SGML that has many benefits for folks who want to improve structure, maintainability, searchability, presentation, and other aspects of their document management. This paper proposes a structured markup language for model representation and management on the Web as an XML application. The language is based on a conceptual modeling framework, Object-Oriented Structured Modeling (OOSM), which is an extension of the structured modeling.

• 한국해양공학회지
• /
• 제20권3호
• /
• pp.82-87
• /
• 2006

An approach to model a high-speed monohull vessel is introduced. The high-speed monohull form belonging to the category of multihull is drawing new attention, due to the rapidly growing trend of fast passenger ships and military purpose. Multihull forms are much thinner in their overall shape, compared to those of the conventional commercial vessels. Moreover, the parent hull forms are not readily obtainable when a new design is intended, which makes it hard to perform various technical calculations in terms of hull optimization, hydrodynamic computation, structural design, and so forth. In this paper, a parametric technique is used to design a high-speed hull form. To model a hull form, NURBS (Non Uniform Rational B-Spline) representation is used. The goal of research is to provide a fast and convenient tool to design an initial hull form with fewer parameters available in the early design stage. The technique employed in this paper will be applied to the design of multihull forms, such as catamaran, trimaran, and semi-swath.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제49권1호
• /
• pp.39-51
• /
• 2010

The purpose of this article is to study students' responses to non-routine problems which are presented by using solely numerals or symbolic figures. Such figures have no mathematical meaning but just symbolical meaning. Most students understand geometric figures more concrete objects than numerals because geometric figures such as circles and squares can be visualized by the manipulatives in real life. And since students need not consider (unvisible) any operational structure of numerals when they deal with (visible) figures, problems proposed using figures are considered relatively easier to them than those proposed using numerals. Under this assumption, we analyze students' problem solving processes of numeral problems and figural problems, and then find out when students' difficulties arise in the problem solving process and how they response when they feel difficulties. From this experiment, we will suggest several comments which would be considered in the development and application of both numerical and figural problems.

• 한국중재학회지:중재연구
• /
• 제25권1호
• /
• pp.47-64
• /
• 2015

Pursuant to Article 109(1) of the Attorney-at-Law Act of Korea, a person, not an attorney-at-law, who receives or promises to receive money, articles, entertainment or other benefits or who gives or promises to give those things to a third party, in compensation for providing or mediating legal services, such as examination, representation, arbitration(emphasis added), settlement, solicitation, legal consultation, making of legal documents, etc. shall be punished by imprisonment with prison labor for not more than 7 years or by a fine not exceeding KRW 50 million or may be punished by both and there is no specific provision on qualification of arbitrator except on nationality of an arbitrator in the Arbitration Act of Korea. Then, the question arises, can any non-lawyer arbitrator who receives arbitrator's fees be punished in accordance with the Attorney-at-Law Act in Korea? To search for an answer for this matter, this paper examines the Arbitration Act or the Civil Procedure Code of 33 major countries in the world and explains a research on the participation ratio of non-lawyer arbitrators in all 360 arbitration cases registered in 2012 at the Korean Commercial Arbitration Board (KCAB).

• 한국항공운항학회지
• /
• 제22권4호
• /
• pp.42-55
• /
• 2014

The purpose of this research was to identify expertise in ait traffic control by using cognitive skill analysis for novices and experts in routine and non-routine situations. The result of study was to understand expertise in air traffic control tasks in terms of what cognitive processes are responsible for the expert's high performance levels. The problem solving task was difficult for novices, but performed relatively automatically by experts in a routine situation. The difficulty could indicate the presence of controlled processing. Rather than rules and strategies, novices focused more on environmental factors, which merely increase cognitive load. In a non-routine situation, novices showed that they did not categorize the information consistently and alternative resources were not available for them. Experts, however, performed automatically a task by arranging and organizing information related to problem solving components in contexts without regard to a routine and non-routine situation. Especially experts developed a stable representation and directed alternative resources for air traffic flow and efficiency. Based on the results, cognitive processes of experts could be useful to understand expert performance and analyze the learning process, which imply the necessity of developing expertise systematically.

• 한국실내디자인학회논문집
• /
• 제18권1호
• /
• pp.64-71
• /
• 2009

The modern society is rapidly changing through the development of computer network technology. By generation a collapse of boundaries between may important social institutions, computer networking has affected culture, economy and the physical environment. Because of this, people face a switchover from a simple society, to a compound society. It will also increase the diversity if society's demand, though, and experience. This change is not an exception in the exhibition space. People are more interested in civilized pastimes and also demand diverse thinking. So as a necessary consequence, the function of museum space Is offended and that there are various attempt to increase information and demand of that space. The purpose of this study is try to find a solution a countermeasure of modern society's mobile situation. Researchers analyzed structural qualities of Hyper-text; non-boundary, interaction and nonlinear and deduce nine kinds of methods to apply in space. Also, Researchers looked at the examples in museum space and derived like this expression way; dynamics, mobility, a non-materiality, continuity, complexity from analysis of expression way.