• Journal of Communications and Networks
• /
• 제11권6호
• /
• pp.574-588
• /
• 2009

Although much research has been conducted in the area of authentication in wireless networks, vehicular ad-hoc networks (VANETs) pose unique challenges, such as real-time constraints, processing limitations, memory constraints, frequently changing senders, requirements for interoperability with existing standards, extensibility and flexibility for future requirements, etc. No currently proposed technique addresses all of the requirements for message and entity authentication in VANETs. After analyzing the requirements for viable VANET message authentication, we propose a modified version of TESLA, TESLA++, which provides the same computationally efficient broadcast authentication as TESLA with reduced memory requirements. To address the range of needs within VANETs we propose a new hybrid authentication mechanism, VANET authentication using signatures and TESLA++ (VAST), that combines the advantages of ECDSA signatures and TESLA++. Elliptic curve digital signature algorithm (ECDSA) signatures provide fast authentication and non-repudiation, but are computationally expensive. TESLA++ prevents memory and computation-based denial of service attacks. We analyze the security of our mechanism and simulate VAST in realistic highway conditions under varying network and vehicular traffic scenarios. Simulation results show that VAST outperforms either signatures or TESLA on its own. Even under heavy loads VAST is able to authenticate 100% of the received messages within 107ms. VANETs use certificates to achieve entity authentication (i.e., validate senders). To reduce certificate bandwidth usage, we use Hu et al.'s strategy of broadcasting certificates at fixed intervals, independent of the arrival of new entities. We propose a new certificate verification strategy that prevents denial of service attacks while requiring zero additional sender overhead. Our analysis shows that these solutions introduce a small delay, but still allow drivers in a worst case scenario over 3 seconds to respond to a dangerous situation.

• Structural Engineering and Mechanics
• /
• 제62권2호
• /
• pp.125-138
• /
• 2017

Reliability-based design optimization (RBDO) is a powerful tool for design optimization when considering probabilistic characteristics of design variables. However, it is often computationally intensive because of the coupling of reliability analysis and cost minimization. In this study, the concept of reliability mapping function is defined based on the relationship between the reliability index obtained by using the mean value first order reliability method and the failure probability obtained by using an improved response surface method. Double-loop involved in the classical RBDO can be converted into single-loop by using the reliability mapping function. Since the computational effort of the mean value first order reliability method is minimal, RBDO by using reliability mapping functions should be highly efficient. Engineering examples are given to demonstrate the efficiency and accuracy of the proposed method. Numerical results indicated that the proposed method has the similar accuracy as Monte Carlo simulation, and it can obviously reduce the computational effort.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1999년도 춘계학술대회 논문집
• /
• pp.242-250
• /
• 1999

The objective of this paper is to propose an Extended AND-OR Graph (EAOG)-driven inferential simulation mechanism with which decision makers engaged in electronic commerce (EC) can effectively deal with complicated decision making problem. In the field of traditional expect systems research, AND-OR Graph approach cannot be effectively used in the EC problems in which real-time problem-solving property should be highly required. In this sense, we propose the EAOG inference mechanism for EC problem-solving in which heurisric knowledge necessary for intelligent EC problem-solving can be represented in a form of matrix. The EAOG method possesses the following three characteristics. 1. Realtime inference: The EAOG inference mechanism is suitable for the real-time inference because its computational mechanism is based on matrix computation.2. Matrix operation: All the subjective knowledge is delineated in a matrix form, so that inference process can proceed based on the matrix operation which is computationally efficient.3. Bi-directional inference: Traditional inference method of expert systems is based on either forward chaining or based on either and computational efficiency. However, the proposed EAOG inference mechanism is generically bi-directional without loss of both speed and efficiency.We have proved the validity of our approach with several propositions and an illustrative EC example.

• The Korean Journal of Physiology and Pharmacology
• /
• 제23권5호
• /
• pp.295-303
• /
• 2019

A heart simulator, UT-Heart, is a finite element model of the human heart that can reproduce all the fundamental activities of the working heart, including propagation of excitation, contraction, and relaxation and generation of blood pressure and blood flow, based on the molecular aspects of the cardiac electrophysiology and excitation-contraction coupling. In this paper, we present a brief review of the practical use of UT-Heart. As an example, we focus on its application for predicting the effect of cardiac resynchronization therapy (CRT) and evaluating the proarrhythmic risk of drugs. Patient-specific, multiscale heart simulation successfully predicted the response to CRT by reproducing the complex pathophysiology of the heart. A proarrhythmic risk assessment system combining in vitro channel assays and in silico simulation of cardiac electrophysiology using UT-Heart successfully predicted drug-induced arrhythmogenic risk. The assessment system was found to be reliable and efficient. We also developed a comprehensive hazard map on the various combinations of ion channel inhibitors. This in silico electrocardiogram database (now freely available at http://ut-heart.com/) can facilitate proarrhythmic risk assessment without the need to perform computationally expensive heart simulation. Based on these results, we conclude that the heart simulator, UT-Heart, could be a useful tool in clinical medicine and drug discovery.

• 한국통신학회논문지
• /
• 제28권8A호
• /
• pp.569-580
• /
• 2003

다중 채널 스위치 구조의 중요한 이점 중의 하나는 스위치 내부의 장애에 대한 내성 (tolerance)을 스위치 구조에 결합시킬 수 있다는 것이다. 예를 들어 하나의 다중 채널 그룹에 속하는 경로에 장애가 있을 경우, 장애 경로로 통과했어야 하는 트래픽을 나머지 경로가 책임 질 수 있다. 또한 스위치 소자에 발생하는 장애는 ATM 셀(cell)의 잘못된 라우팅을 야기하거나 순서를 뒤바꾸게 할 수 있다. 본 논문에서는 다중 채널 크로스바(crossbar) ATM 스위치에서의 장애 위치 알고리즘을 제안하였다. 최적의 알고리즘은 시간적으로 최상의 성능을 보여주지만, 계산상으로는 복잡하여 결과적으로 실제 구현을 어렵게 만든다. 이러한 단점을 극복하기 위해 최적의 알고리즘보다 계산상으로 효율적인 온라인 알고리즘을 제안하였다. 성능은 시뮬레이션을 통해 검증하였으며 그 결과로서 온라인 알고리즘의 성능은 랜덤 (random) 트래픽 및 버스트한 (bursty) 트래픽에 대해 거의 최적에 가까운 성능을 보여 준다. 끝으로 장애 위치 확인 알고리즘에 의해 제공되는 정보를 이용한 장애 복구 알고리즘을 제안하였다.

• 한국CDE학회논문집
• /
• 제17권5호
• /
• pp.375-386
• /
• 2012

Most engineering design problems require analyses or simulations to evaluate objective functions. However, a single simulation can take many hours or even days to finish for many real world problems. As a result, design optimization becomes impossible since they require hundreds or thousands of simulation evaluations. The surrogate-based optimization (SBO) strategy became a remedy for such computationally expensive analyses and simulations. A surrogate-based optimization strategy has been developed in this study in order to improve global optimization performance. The strategy is a heuristic algorithm and it exploits not only multiple surrogates, but also multiple optimizers. Multiple optimizations of multiple surrogate models yield multiple candidate design points of optima. During the sequential sampling process, the algorithm ranks candidate design points, selects the points as many as specified, and builds the improved surrogate model. Various mathematical functions with different numbers of design variables are chosen to compare the proposed method with the other most recent algorithm, MSEGO. The proposed method shows superior performance to the other method.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제23권6호
• /
• pp.343-349
• /
• 2017

대규모 가상군의 전투 모델링 및 시뮬레이션에서 자율적으로 행동하는 이성적 전투 개체의 행동 묘사는 향후 발생할 전투의 작전을 고도화하고 효율적인 모의 훈련을 가능하게 하는 핵심 요소이다. DEVS-POMDP 계층적 프레임워크는 전투 행동 교범에 따른 상위 단계 의사결정 및 구체적 서술이 어려운 하위 단계 자율 행동계획을 각각 DEVS 및 POMDP로 모델링함으로써 대규모 가상군을 모의하였으나, POMDP 최적 행동정책 계산에 있어서 많은 컴퓨팅 자원을 필요로 하는 단점이 있었다. 본 논문에서는 DEVS-POMDP로 모델링된 대화력전 모의 시나리오 및 기계화 보병여단 공격작전 모의 시나리오의 사례연구를 통해 효율적인 POMDP 트리 탐색 알고리즘을 제안하고 적군 행동 양상 모델의 학습을 통한 가상군 전투 개체의 성능 향상을 확인한다.

• Structural Engineering and Mechanics
• /
• 제11권2호
• /
• pp.133-149
• /
• 2001

A high-fidelity model of a tracked vehicle traversing a flexible ground terrain with a varying profile is presented here. In this work, we employed a recursive formulation to model the track subsystem. This method yields a minimal set of coordinates and hence, computationally more efficient than conventional approaches. Also, in the vehicle subsystem, the undercarriage frame is assumed to be connected to the chassis by a revolute joint and a spring-damper unit. This increase in system mobility makes the model more realistic. To capture the vehicle-ground interaction, a Winkler-type foundation with springs-dampers is used. Simulation runs of the integrated tracked vehicle system for vibrations for four varying ground profiles are provided.

• Structural Monitoring and Maintenance
• /
• 제3권4호
• /
• pp.395-406
• /
• 2016

Modal parameter identification has received much attention recently for their usefulness in earthquake engineering, damage detection and structural health monitoring. The identification method based on Matrix Pencil technique is adopted in this paper to identify structural modal parameters, such as natural frequencies, damping ratios and modal shapes using impulse vibration responses. This method can also be applied to dynamic responses induced by stationary and white-noise inputs since the auto- and cross-correlation function of the two outputs has the same form as the impulse response dynamic functions. Matrix Pencil method is very robust to noise contained in the measurement data. It has a lower variance of estimates of the parameters of interest than the Polynomial Method, and is also computationally more efficient. The numerical simulation results show that this technique can identify modal parameters accurately even if the noise level is high.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1991년도 추계학술대회 논문집 학회본부
• /
• pp.397-400
• /
• 1991

This paper presents a cartesian space decentralized adaptive controller design for the end effector of the robot manipulator to track the given desired trajectory in the cartesian coordinate. By the cartesian based control scheme, the task related high level motion command is directly executed without solving the complex inverse kinematic equations. The controller does not require the complex manipulator dynamic model, and hence it is computationally very efficient. Each degree of freedom of the end effector on the cartesian space is controlled by a PID feedback controller and a velocity acceleration feed forward conpensation part. Simulation results for a two-link direct drive manipulator conform that the present cartesian based decentralized scheme is feasible.