• 논리연구
• /
• 제22권2호
• /
• pp.233-251
• /
• 2019

"자유의지에 대한 조작논증과 근원-양립가능주의의 대응"에서 김성수 교수는 근원-자유와 결정론이 양립가능하지 않다는 근원-양립불가능주의에서 제시한 논증인 조작논증에 대해 다룬다. 김성수는 조작논증에 대한 양립가능주의의 두 종류의 대응 중 강경한 대응보다는 온건한 대응이 더 설득력이 있다고 주장하는데, 특히 그는 번개 사례를 통해 강경한 대응을 펼치는 사토리오에 집중하여 반론을 펼침으로써 강경한 대응이 설득력이 부족하다고 주장한다. 본 논문에서 필자는 사토리오에 대한 김성수의 반론이 성공적이지 않다고 논증한다. 이를 위해서 필자는 사토리오의 책임희석 효과에 대한 설명에 문제가 있다는 김성수의 반론에 대해서 이러한 문제점을 피할 수 있는 원격 집행부대 예를 새롭게 제시한다. 또한 필자는 번개 사례에서 보이는 직관이 조작논증의 전제를 지지하는 직관만큼 강해보이지 않는다는 김성수의 반론에 대해 사토리오의 논증이 성공하기 위해서 번개 사례에서 보이는 직관이 다이애나 사례에서 보이는 직관만큼 강할 필요는 없다고 논증한다.

• 한국차세대컴퓨팅학회논문지
• /
• 제15권5호
• /
• pp.31-42
• /
• 2019

최근 딥러닝 기술이 발전함에 따라 많은 컴퓨터 비전 연구 분야에서 주목할 만한 성과들이 지속적으로 나오고 있다. 단일 이미지를 기반으로 사람의 2차원 및 3차원 포즈를 추정하는 연구에서도 비약적인 성능향상을 보여주고 있으며, 많은 연구자들이 문제의 범위를 확장하며 활발한 연구 활동을 진행하고 있다. 사람의 포즈 추정은 다양한 응용 분야가 존재하고, 특히 이미지나 비디오 분석에서 사람의 포즈는 행동 및 상태, 의도 파악을 위한 핵심 요소가 되기 때문에 상당히 중요한 연구 분야이다. 이러한 배경에 따라 본 논문은 단일 이미지를 기반으로 한 사람의 포즈 추정 기술에 대한 연구 동향을 살펴보고자 한다. 강인하고 정확한 문제 해결을 위해 다양한 연구 활동 결과가 존재한다는 점에서 본 논문에서는 사람의 포즈 추정 연구를 2차원 및 3차원 포즈 추정에 대해서 나누어 살펴보고자 한다. 끝으로 연구에 필요한 데이터 세트 및 사람의 포즈 추정 기술을 적용하는 다양한 연구 사례를 살펴볼 것이다.

• 인지과학
• /
• 제10권1호
• /
• pp.1-11
• /
• 1999

최근 에이전트 기반 시스템 기술은 소프트웨어 시스템의 개념화, 설계, 구현을 위한 새로운 패러다임을 제공하며 많은 기대를 받아왔다. 특히 멀티 에이전트 시스템은 분산적이고 개방적인 인터넷 환경에 잘 부합되는 특징을 가지고 있어서 많은 연구가 진행되고 있다. 멀티 에이전트 시스템에서는 각 에이전트들이 자신의 목적을 위해 행동하기 때문에 에이전트간 충돌이 발생하는 경우에 조정을 통해 협력할 수 있어야 한다. 그러나 기존의 멀티 에이전트 시스템에서의 에이전트 간 협력 방법에 관한 연구 방법들은 동적 환경에서 서로 다른 목적을 갖는 에이전트간의 협동 문제를 올바로 해결할 수 없다는 문제가 있었다. 본 논문에서는 강화학습을 이용한 자동 역할 조정 방법을 통하여 에이전트가 처한 동적 환경에서 서로 다른 목적을 갖는 에이전트간의 협력 문제를 해결한다. 이를 위하여 멀티 에이전트 시스템 분야의 전통적인 문제인 추적 문제에 동적 환경과 서로 다른 목표를 갖는 에이전트들을 모델 링 하여, 두 가지 수정된 추적 문제를 제안하고 이 문제의 해결을 통하여 제안한 방법이 타당함을 보였다.

• 지능정보연구
• /
• 제28권1호
• /
• pp.89-106
• /
• 2022

최근 영상 데이터의 급증으로 이를 효과적으로 처리하기 위해 객체 탐지 및 추적, 행동 인식, 표정 인식, 재식별(Re-ID)과 같은 다양한 컴퓨터비전 기술에 대한 수요도 급증했다. 그러나 객체 탐지 및 추적 기술은 객체의 영상 촬영 장소 이탈과 재등장, 오클루전(Occlusion) 등과 같이 성능을 저하시키는 많은 어려움을 안고 있다. 이에 따라 객체 탐지 및 추적 모델을 근간으로 하는 행동 및 표정 인식 모델 또한 객체별 데이터 추출에 난항을 겪는다. 또한 다양한 모델을 활용한 딥러닝 아키텍처는 병목과 최적화 부족으로 성능 저하를 겪는다. 본 연구에서는 YOLOv5기반 DeepSORT 객체추적 모델, SlowFast 기반 행동 인식 모델, Torchreid 기반 재식별 모델, 그리고 AWS Rekognition의 표정 인식 모델을 활용한 영상 분석 시스템에 단일 연결 계층적 군집화(Single-linkage Hierarchical Clustering)를 활용한 재식별(Re-ID) 기법과 GPU의 메모리 스루풋(Throughput)을 극대화하는 처리 기법을 적용한 행동 및 표정 검출용 영상 분석 시스템을 제안한다. 본 연구에서 제안한 시스템은 간단한 메트릭을 사용하는 재식별 모델의 성능보다 높은 정확도와 실시간에 가까운 처리 성능을 가지며, 객체의 영상 촬영 장소 이탈과 재등장, 오클루전 등에 의한 추적 실패를 방지하고 영상 내 객체별 행동 및 표정 인식 결과를 동일 객체에 지속적으로 연동하여 영상을 효율적으로 분석할 수 있다.

• 한국항해항만학회지
• /
• 제28권6호
• /
• pp.475-480
• /
• 2004

본 연구에서는, 충돌회피지원을 위한 자동제어에 관하여 새롭게 얻은 몇 가지 성과에 대하여 소개하려고 한다. 그 내용의 첫 번째는 그 동안의 기존 연구에서 해결되지 못하였던 집단 선박의 충돌 회피 이론이다. 이 이론은 선박이 무리를 지어 있는 어선 군을 만났거나, 혹은 무리를 지어 접근하는 선박군에 대한 충돌회피 동작에 유용한 알고리즘이다. 피항동작을 계산하는 단계에서 새로운 알고리즘을 적용한 모델을 적용하여 그 유용성을 설명하였다. 두 번째로는 충돌위험도 계산의 통합화 모델 제시이다. 선박의 경우 유지선, 피항선, 추월선, 피추월선 등 상대 선박과의 다양한 조우 상황에 따라, 항해사의 느끼는 위험도 그리고 피항 의무 등에 조금씩 차이가 있다. 이러한 현상을 반영하기 위하여, 충돌회피 동작에 사용하는 위험도 계산을 수행할 때, 조우상황에 따라 적절히 차별을 주는 모델을 제시하였다. 마지막으로는 이렇게 제시된 모델을 이용하여 다양한 상황에 따라 시뮬레이션을 통하여 검증해 보고, 그 유효성을 살펴보았다.

• 한국통신학회논문지
• /
• 제37권8B호
• /
• pp.630-636
• /
• 2012

본 논문은 VoIP 환경에서 Call 스팸 대응 방법으로 제안된 Multi Gray-Leveling 기법에서 존재하는 오류를 감소시킨 향상된 Multi Gray-Leveling 기법을 제안한다. 기존 Multi Gray-Leveling 기법은 두 개의 다른 시간 주기를 두고 송신자의 호 연결시간 간격을 체크하여 스팸 가능성을 판단함으로 공격자의 호 연결시간 간격 조절을 통한 탐지 회피 가능성을 제한하는 장점이 있으나, 긴 주기의 설정에 따라서 정상 사용자도 스패머로 오판하는 가능성이 존재한다. 본 논문에서는 이러한 오류를 방지하기 위해서 발신자의 행동 패턴뿐만 아니라 수신자의 행동 패턴까지 활용한 향상된 Multi Gray-Leveling 기법을 제안한다. 제안 기법은 사용자의 직접적인 개입이 필요하지 않고, VoIP 서비스 제공자 데이터베이스의 수신자 통화 정보를 이용하여 손쉽게 계산이 가능한 장점을 가지고 있기 때문에 실효성 있는 VoIP 스팸 탐지 방법으로 활용될 수 있다.

• Structural Engineering and Mechanics
• /
• 제35권6호
• /
• pp.677-697
• /
• 2010

This paper focuses on geometrically non-linear static analysis of a simply supported beam made of hyperelastic material subjected to a non-follower transversal uniformly distributed load. As it is known, the line of action of follower forces is affected by the deformation of the elastic system on which they act and therefore such forces are non-conservative. The material of the beam is assumed as isotropic and hyperelastic. Two types of simply supported beams are considered which have the following boundary conditions: 1) There is a pin at left end and a roller at right end of the beam (pinned-rolled beam). 2) Both ends of the beam are supported by pins (pinned-pinned beam). In this study, finite element model of the beam is constructed by using total Lagrangian finite element model of two dimensional continuum for a twelve-node quadratic element. The considered highly non-linear problem is solved by using incremental displacement-based finite element method in conjunction with Newton-Raphson iteration method. In order to use the solution procedures of Newton-Raphson type, there is need to linearized equilibrium equations, which can be achieved through the linearization of the principle of virtual work in its continuum form. In the study, the effect of the large deflections and rotations on the displacements and the normal stress and the shear stress distributions through the thickness of the beam is investigated in detail. It is known that in the failure analysis, the most important quantities are the principal normal stresses and the maximum shear stress. Therefore these stresses are investigated in detail. The convergence studies are performed for various numbers of finite elements. The effects of the geometric non-linearity and pinned-pinned and pinned-rolled support conditions on the displacements and on the stresses are investigated. By using a twelve-node quadratic element, the free boundary conditions are satisfied and very good stress diagrams are obtained. Also, some of the results of the total Lagrangian finite element model of two dimensional continuum for a twelve-node quadratic element are compared with the results of SAP2000 packet program. Numerical results show that geometrical nonlinearity plays very important role in the static responses of the beam.

• 한국가정과교육학회지
• /
• 제12권2호
• /
• pp.29-45
• /
• 2000

The purpose of this study is (1) to develop the teaching plan based on Practical Problems solving on the area of food habits in home economics class and (2) to investigate the participation of teaching, the attitude of teaching method and food life. The subject of this study was two classes consisted off 66 students(male 26. female 40, 33 for each class) who are the first grade of middle school. The comparison group was taught by lecturing. while the experiment group by cooperative learning. The period of this experiment was three weeks: from June 7th to Jun 23th. 1999. The experiment was conducted through 5 classes. First of all students identify the problem of food habits and seek and evaluate information. Students evaluate actions and reflect on decision and evaluate action. The statistical method for the study was a paired T-test. The results of this study are as follows: 1. After experiment, the participation of teaching(p<.05) and the attitude of teaching method(p<.01) in the experiment group showed a statistically significant difference. Therefore the students in the class based on the practical problems solving took an active part in teaching 2. The practical problems solving is more effective than the lecturing in doing guide the positive attitude of teaching. 3. Through the experiment the attitude of food life in the experiment group showed a statistically significant difference(p<.05) Therefore the practical problems solving is more effective than the lecturing in changing positive attitude of food life.

• 한국시스템다이내믹스연구
• /
• 제13권1호
• /
• pp.133-157
• /
• 2012

This paper aims to propose the strategy making in social enterprise for ensuring organizational sustainability and governance of social enterprise from systems thinking's perspective. Based on previous reviews on organizational sustainability and theories of governance currently advocated in the social enterprise literature, we use 'Holon Dynamics' approach, which is a synthesis of System Dynamics and Soft Systems Methodology (SSM), offers the problem-solving method for dealing with social contexts and "ill-defined" situations. To do so, a researcher carried out the interpretive action research using 'Holon Dynamics' approach from September, 2009 to August, 2010. The outcomes of research are summarized as follows. Firstly, systems methodologies are useful to offer a strategic choice that makes to achieve an organizational sustainability in the case of Korean social enterprise; 'the Rediscovery of Korea'. Secondly, systems thinking offers an alternative concept of system, which is known as an 'appreciative system' that is evolved from the mental constructs amongst participants in given situations. Lastly, the paper delineates the usefulness of systems thinking and the process of inquiry, which deal with social contexts (including cultural and political factors), are contributed to making the necessary conditions for organizational legitimacy and the appropriate strategic choice for social enterprise within combined functioning of the two roles of social and commercial activities from systemic perspectives.

• Journal of Mechanical Science and Technology
• /
• 제14권9호
• /
• pp.956-967
• /
• 2000

In this paper, we explore the issues of force display in the cooperative virtual environment shared by multiple users distributed over the network with heterogeneous hardware platforms. The proposed method is to cope with the problem of small time delay and the difference of sampling rate in the distributed configuration. In the proposed approach the interaction forces of the participants are just treated as the independent sources of acceleration. Thus the action of a participant simply changes the acceleration of the virtual object and consequently the states of the virtual object will be updated. When the updated states are reported to all the participants, the information on the time of state changes is delivered, too. Employing the discrete state information updated by the other users, each user modifies his own virtual environment and pseudo-realtime simulation can be realized. Excluding the software interface and the communication technique, it is proposed the simulation method for the operation of respective users and the way of calculating the driving input to the display device. For experimental verification we construct a cooperative virtual environment shared by two remote users and outline the results of experiments.