• Journal of Korean Society of Transportation
• /
• v.27 no.6
• /
• pp.109-118
• /
• 2009

The conventional lane changing model has been developed without acceleration or deceleration of vehicles at target lane. Thus, existing lane changing models have limitation to apply in real world. In this paper, lane changing model considered acceleration or deceleration, and calculated the safety distance between subject vehicle and adjacent vehicles for lane changing as well. Simulation was conducted to verify the validity and the efficiency of the developed lane changing model in this paper. Several scenarios were carefully examined by safety distance between subject vehicle and adjacent vehicles. In the result, it was verified that if gap between subject vehicle and adjacent vehicles is larger than safety distance, lane changing behavior between subject vehicle and adjacent vehicles avoids collision. The suggested lane changing model may be applied at the future driver assistance system and advanced safety vehicle.

• The Journal of Korean Institute of Information Technology
• /
• v.16 no.12
• /
• pp.41-47
• /
• 2018

The buoy-enabled underwater surveillance system is a device that is installed in a particular sea area and operated for a certain period of tine and moved to another sea area after recovery. In this paper, a mooring method which is applied for a buoy-enabled underwater surveillance system was selected to maintain installation and enure stable operation. Also, the structure of the mooring line was designed. Two-point mooring method was selected considering interference with the communication cable of array-assembly. The composite structure of buoy chain, nylon rope, and anchor chain is designed as the basic component of mooring line. For the verification of design, a numerical simulation and wave tank experiment were performed. Their results were confirmed similarity in test condition. Finally, the mooring lines were designed for the environment of the sea trial location. The mooring line produced by the final design confirmed the stability above the significant wave height considered in the design on the sea trial.

• 한국HCI학회:학술대회논문집
• /
• 2006.02b
• /
• pp.810-814
• /
• 2006

그 동안 개발된 시뮬레이터들은 주로 단안 정보에 기초한 것들이 대부분이었고, 양안 정보를 제공하더라도 사용자의 움직임을 반영하지 못하였다. 양안정보를 제공하지 못하는 시뮬레이터는 게임으로써는 재미에 한계가 있고, 훈련 도구로써 실제 수행에 도움을 주기 어렵다. 본 연구는 사용자의 움직임을 고려한 양안 정보를 제공하는 외야수 뜬 공 잡기 가상 현실 시뮬레이터를 개발하여 이러한 문제점들을 해결할 수 있는 토대를 마련하였다. 그리고 양안 정보 제공의 중요성과 개발된 시뮬레이터의 타당성 및 유용성을 검증하기 위해 본 시뮬레이터를 이용하여 공의 위치 판단 과제를 실시하였다. 양안 시차가 주어진 조건과 주어지지 않은 조건 각각에 두 집단 구성원들을 무선적으로 배치하여 정답률과 반응 시간을 측정하였다. 숙련자들은 양안시차가 주어진 조건에서 더 좋은 수행을 보인 반면, 일반인들은 양안시차가 주어지지 않은 조건에서 더 좋은 수행을 보였다. 이는 뜬 공 잡기 상황에서 양안정보가 숙련자들에게는 유용하지만 비숙련자들에게는 그렇지 않았음을 보여준다. 또한 숙련자들이 정답률과 반응 시간 모두에서 일반인들보다 더 좋은 수행을 보였고 이는 통계적으로 유의미하였다. 이와 같은 가상 현실 시뮬레이터는 양안 정보를 제공함으로써 이전의 시뮬레이터들보다 게임이나 훈련 도구로 사용함에 있어 더 효과적이다. 또한 인간의 운동 수행에 관련된 연구를 하는데 유용하게 사용될 수 있다.

• Composites Research
• /
• v.28 no.5
• /
• pp.291-296
• /
• 2015

In this study, structural design and analysis of the automobile bonnet is performed. The flax/vinly ester composite material is applied for structural design. The Vacuum Assisted Resin Transfer Molding-Light (VARTML) manufacturing method is adopted for manufacturing the flax fiber composite bonnet. The VARTML is a manufacturing process that the resin is injected into the fly layered-up fibers enclosed by a rigid mold tool under vacuum. A series of flax/vinyl ester composite panels are manufactured, and several kinds of specimens cut out from the panels are tested to obtain mechanical performance data. Based on this, structural design of the automobile bonnet is performed.

• KIPS Transactions on Computer and Communication Systems
• /
• v.12 no.1
• /
• pp.9-16
• /
• 2023

Robots are expected to expand their scope of application to the military field and take on important missions such as surveillance and enemy detection in the coming future warfare. Swarm robots can perform tasks that are difficult or time-consuming for a single robot to be performed more efficiently due to the advantage of having multiple robots. Swarm robots require mutual recognition and collaboration. So they send and receive vast amounts of data, making it increasingly difficult to verify SW. Hardware-in-the-loop simulation used to increase the reliability of mission verification enables SW verification of complex swarm robots, but the amount of verification data exchanged between the HILS device and the simulator increases exponentially according to the number of systems to be verified. So communication overload may occur. In this paper, we propose a digital twin-based communication optimization technique to solve the communication overload problem that occurs in mission verification of swarm robots. Under the proposed Digital Twin based Multi HILS Framework, Network DT can efficiently allocate network resources to each robot according to the mission scenario through the Network Controller algorithm, and can satisfy all sensor generation rates required by individual robots participating in the group. In addition, as a result of an experiment on packet loss rate, it was possible to reduce the packet loss rate from 15.7% to 0.2%.

• Journal of KIISE:Software and Applications
• /
• v.28 no.3
• /
• pp.224-238
• /
• 2001

본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템을 검증하기 위한 방법을 기술한다. ATM은 임무 위급 시스템인 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법이다. ATM은 모드와 전이, 포트로 구성되어 있으며 모드는 머신의 압축된 상태를 표현한다. 전이는 하나의 모드에서 다른 모드로의 전환을 나타내며 조건과 이벤트로 구성되어 있다. 포트는 ATM간의 상호작용을 위한 진입을 표현한다. 다른 정형기법과 비교하여 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. 역공학 측면에서 볼 때 ATM은 계산 논리뿐만 아니라 실시간 시스템의 실제 소스코드에 있는 설계나 환경정보를 표현할 수 있다. 이러한 목적을 위해 ATM의 모드는 계산모드, 추상화 모드, 주제모드로 구분된다. 계산 모드는 코드 상에서의 논리와 계산을 나타내며 추상화 모드는 모드와 전이의 블록을 하나의 ATM으로써 표현한다. 대개의 경우, 이것은 코드 상에서의 블록을 ATM내 하나의 모드로 나타낼 때 사용한다. 주제 모드는 예외나 주기적 동작 등과 같은 다수의 ATM의 주제를 표현한다. 실시간 시스템을 검증하기 위해 시스템의 소스 코드는 역명세 과정을 통하여 ATM으로 표현된다. 검증은 ATM에 대한 도달성 그래프를 생성하는 것에 의해 수행된다. 도달성 그래프는 상태와 시간을 추상화되고 압축된 형태로 표현할 수 있으며 그 결과 시간 속성을 지닌 상태 공간을 감소시킬 수 있다. 또한 시스템의 교착상태를 쉽게 발견할 수 있다. 본 논문은 ATM과 실행 모델, 도달성 그래프, 검증을 위한 속성 등을 기술하며 이들을 다른 정형 방법들과 예제를 통하여 비교한다.수 있다. 모피우스는 헤더나 광고와 같은 불필요한 정보들을 제거하는 별도의 단계를 거치지 않으므로 wrapper를 빠르게 생성한다. 궁극적으로 모피우스는 새로운 웹 상점을 사용자가 자유롭게 추가, 삭제할 수 있는 환경을 제공한다.X>와 반응시킬 경우에는 반응식 c에 의거 진행됨을 예측할 수 있었다.의거 진행됨을 예측할 수 있었다.이 거의 산화되지 않았고, $700^{\circ}C$에서도 ZnS와 ZnO 상이 공존한 것으로 보아 SnO$_2$코팅이 ZnS의 산화를 억제하는 것으로 나타났다.pplied not only to the strike system in the RSC circle, but also to the logistics system in the SLC circle. Thus, the RSLC model can maximize combat synergy effects by integrating the RSC and the SLC. With a similar logic, this paper develops "A Revised System of Systems with Logistics (RSSL)" which combines "A New system of Systems" and logistics. These tow models proposed here help explain several issues such as logistics environment in future warfare, MOE(Measure of Effectiveness( on logistics performance, and COA(Course of Actions)

• Tunnel and Underground Space
• /
• v.8 no.4
• /
• pp.287-295
• /
• 1998

Limit equilibrium method is widely used for the stability analysis of soil slopes. In jointed rock slopes however, the failure of the slope is largely dependent upon the strength and deformability of the joints in the rock mass and quite often failure occurs along the joints. This paper describes the use of ubiquitous joint model for the stability analysis of the jointed rock slopes. This model is essentially an anisotropic elasto-plastic model and can simulate two sets of joint in arbitrary orientations. Validation of the developed with the factor of safety equal to unity was selected when the shape of the failure plane is assumed log spiral. Then the factor of safety of the rock slope having two perpendicular joint sets was calculated while rotating joint orientations. Rusults were compared with limit equilibrium solutions on soil slopes having equivalent soil properties when plane sliding was assumed. Developed model predicted the factor of safety of jointed rock slope in a reasonable accuracy when joint spacing is sufficiently small.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2007.11a
• /
• pp.77-81
• /
• 2007

본 논문은 휴머노이드 로봇의 넘어짐 자세 시 충격량 최소화를 위한 GA 기반의 자세 자동 생성 방법을 제안한다. 관절 공간에서 관절각의 최적 조합으로 충격량을 최소화 할 수 있는 자세의 자동 생성 기법을 구현하였다. 제안된 기법의 검증을 위하여 Sony QRIO 로봇에 대해서 ODE 기반 물리적 특성의 시뮬레이션이 가능한 Webots를 이용하여 실험을 수행하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10b
• /
• pp.524-526
• /
• 1999

본 논문은 환경에 독립적인 자동차 영상에서 자동차 번호판 영역을 추출하는 방법을 제안하고 실험 결과를 기술한다. 번호판 주위환경에는 다양한 조건이 존재하며 이에 적응성을 가지고 빠른 추출을 수행하는 것은 매우 중요한 문제이다. 본 논문은 이러한 문제를 해결하기 위해 HSI 컬러 모델에 기반하여 번호판을 면밀히 분석하여 번호판을 유형별로 그룹화하고, 지역 분할 및 병합을 통해 빠른 시간안에 번호판 후보 영역을 검색한다. 그리고 번호판이 갖는 특성을 이용하여 후보 영역에서 번호판 영역임을 검증함으로써 자동차 번호판 영역을 찾는다.

• Proceedings of the Korea Air Pollution Research Association Conference
• /
• 2003.05b
• /
• pp.415-416
• /
• 2003

지표와 대기 사이의 상호작용에 의해 일어나는 지표층의 물과 에너지, 탄소 등의 순환을 이해하기 위해 이곳에서 교환되는 물질 및 에너지를 관측하는 것이 필요하다. 지표 플럭스를 관측하는 미기상학적 방법에는 경도법, 에디공분산법 등이 있다. 이 중 에디공분산법은 보존 방식을 근간으로 하여 에디 확산성에 대한 가정 없이 플럭스를 구하는 방법이다. 에디공분산법을 이용한 다양한 장/단기 관측이 국내/외에서 수행되고 있으며, 관측자료의 품질검증과 보정을 통한 양질의 자료생산은 관측 시스템의 최적화에 필수적이다. (중략)