• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.9 no.5
• /
• pp.1717-1732
• /
• 2015

The widespread use of location-based services (LBSs), which allows untrusted service provider to collect large number of user request records, leads to serious privacy concerns. In response to these issues, a number of LBS privacy protection mechanisms (LPPMs) have been recently proposed. However, the evaluation of these LPPMs usually disregards the background knowledge that the adversary may possess about users' contextual information, which runs the risk of wrongly evaluating users' query privacy. In this paper, we address these issues by proposing a generic formal quantification framework,which comprehensively contemplate the various elements that influence the query privacy of users and explicitly states the knowledge that an adversary might have in the context of query privacy. Moreover, a way to model the adversary's attack on query privacy is proposed, which allows us to show the insufficiency of the existing query privacy metrics, e.g., k-anonymity. Thus we propose two new metrics: entropy anonymity and mutual information anonymity. Lastly, we run a set of experiments on datasets generated by network based generator of moving objects proposed by Thomas Brinkhoff. The results show the effectiveness and efficient of our framework to measure the LPPM.

• The Transactions of the Korean Institute of Electrical Engineers D
• /
• v.55 no.4
• /
• pp.147-153
• /
• 2006

In this paper, we propose a new delay-dependent criterion on the robust stability of time-delayed linear systems having norm bounded uncertainties. Based on new form of Lyapunov-Krasovskii functional and the Newton-Leibniz formula, we drive a result in the form of LMI which guarantees the robust stability without any model transformation. The Newton-Leibniz equation was used to relate the cross terms with free matrices. Finally, we show the usefulness of our result by two numerical examples.

• Proceedings of the Korean Information Science Society Conference
• /
• 2010.06a
• /
• pp.74-79
• /
• 2010

모바일 디바이스는 유연한 이동성을 제공하는 대신에 제한된 자원을 가지고 있는 휴대용 장치로서, 어플리케이션 구동을 가능하게 하는 새로운 클라이언트 단말기로 빠른 속도로 보급되고 있다. 대표적인 모바일 디바이스로는 iPhone, 안드로이든 폰이 있다. 현재 이러한 모바일 디바이스에는 엔터테인먼튼 관련 어플리케이션이 널리 사용되고 있지만, 앞으로 모바일 디바이스의 성장 및 네트워크 기술에 따라 다소 복잡한 어플리케이션을 필요로 하게 된다. 그러나, 모바일 디바이스에서 실행될 수 있는 어플리케이션의 복잡도에 제약이 발생하여 놓은 복잡도의 어플리케이션은 실행이 힘들다. GUI 어플리케이션에서 데이터와 그것을 표현하는 부분을 나누어 설계하는 MVC (Model-View-Control) 아키텍쳐는 어플리케이션을 설계하는데 일반적으로 많이 사용되고 있지만, 이는 모바일 어플리케이션의 특징을 반영하지는 못한다. 그러므로, 본 논문에서는 자원 사용의 최적화를 고려한 서비스 기반 모바일 어플리케이션을 설계하기 위하여 기존의 MVC 아키텍처를 보완/확장한다. 본 논문에서 제안하는 MVC 아키텍쳐는 어플리케이션 특성에 맞춰 모바일 어플리케이션의 특성들을 극복하여 모바일 디바이스의 한계점을 극복하는 동시에 고성능을 보장하는 모바일 어플리케이션을 개발하는데 적용할 수 있다.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2000.11a
• /
• pp.72-75
• /
• 2000

This paper presents a simulation study on the description of the motion and the control of an active catheter actuator with multi-link structure actuated by Shape Memory Alloy(SMA). The model of an active catheter adopted in this paper has 3 links, and the individual links are composed of 3 micro coils of SMA for the omni-directional motion. In order to analyze the motions of multi-link structure, 3-dimensional kinematics description is presented. Also, the motion control of the end point of an active catheter using simple Neural Network is shown based on GUI(Graphic User Interface) system.

• Steel and Composite Structures
• /
• v.37 no.1
• /
• pp.27-35
• /
• 2020

This study examines the wave propagation of the functionally graded polymer composite (FG-PC) nanoplates reinforced with graphene nanoplatelets (GNPs) resting on elastic foundations in the framework of the nonlocal strain gradient theory incorporating both stiffness hardening and softening mechanisms of nanostructures. To this end, the material properties are based on the Halpin-Tsai model, and the expressions for the classical and higher-order stresses and strains are consistently derived employing the second-order shear deformation theory. The equations of motion are then consistently derived using Hamilton's principle of variation. These governing equations are solved with the help of Trial function method. Extensive numerical discussions are conducted for wave propagation of the nanoplates and the influences of different parameters, such as the nonlocal parameter, strain gradient parameter, weight fraction of GNPs, uniform and non-uniform distributions of GNPs, elastic foundation parameters as well as wave number.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2009.01a
• /
• pp.128-135
• /
• 2009

In this paper, we proposed an interactive GUI (Graphical User Interface) system to model buildings with an editable script. Our system also provides probabilistic finite-state machine (PFSM) to define the relationships of sub-models with transformation matrices and transition probabilities for constructing new novel building models automatically. User can not only get various building models by PFSM but also adjust the probabilities of sub-models from PFSM to get desired building models. As shown in the results, the various and vivid building models can be constructed easily and quickly for non-expert users. Besides, user can also edit the script file which is provided by our system to modify the properties directly.

• Proceedings of the KOSOMBE Conference
• /
• v.1998 no.11
• /
• pp.261-262
• /
• 1998

The purpose of this study is to develop 2D brachy-therapy plannig system using Visual C++ on the IBM PC. The method of Semi-orthogonal Localization was used and dose calculation is based on point dose computation model. The GUI of this planning system was designed for user's convenience and the dose distribution of Cs137 brachy-therapy is demonstrated.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10b
• /
• pp.280-282
• /
• 2001

MPEG-4 컨텐츠는 다양한 사용자 상호작용에 의하여 장면과 객체의 재생 시간이 동적으로 변화하는 특징이 있다[1-2]. 그러므로 MPEG-4 컨텐츠를 생성할 때, 사용자 이벤트에 의하여 변화하는 시간 관계의 저작은 중요하다. 본 논문에서는 사용자 상호작용에 의하여 멀티미디어 객체간 시간 관계와 재생 시간, 재생 순서가 변화하는 시간 제약 모델을 제안한다. 그리고, 사용자 상호작용 지원 시간 제약 모델에 기반 한 MPEG-4 컨텐츠 저작 시스템인 MPEG-4 Studio를 제안한다. MPEG-4 Studio는 동적인 시간 관계를 지원하기 위하여 시간 관계 설정 GUI와 시간 관계 설정에 대한 제약 조건 검사, 시간 관계 정보에 대한 BIFS 변환을 제공하여 동적 시간 관계 정보를 포함한 MPEG-4 컨텐츠를 생성한다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.21 no.2
• /
• pp.409-416
• /
• 1996

This paper describes the simulation environment that verifies whether a new microporcessor described with HDL is compatible with an existing microprocessor. The compatibility verification is done by showing that the new microprocessor executes the OS(Operating System) program used in the existing microprocessor without any modification of its binary code. The proposed verification environment consists of a virtual system and a graphic user interface (GUI) module. Each module is independently designed based on serve-client model and three exists a communication part for information interchange between the two modules. This paper describes the method of constructing the verification environment and presents the compatibility verification environment of the x86 microprocessor as the simulation result.

• Journal of the Semiconductor & Display Technology
• /
• v.19 no.1
• /
• pp.17-22
• /
• 2020

Recently, the decrease in thin film thickness has been actively studied by changing several physical elements such as the increase in revolution velocity of lower substrate equipped with AC or DC motor. In this paper, we propose a novel spin coater control system that changes AC or DC motor and common use software with limitation of velocity and position control into step motor and LABVIEW software based on GUI to control revolution velocity and position more precisely. By determining six input values of rotation velocity 1, 5, 10, 25, 50, 100 PPS, we fabricated six samples using coating target, TA(tantalum) on silicon substrate and measured their thin film thickness by SEM. Hence, this research can be applied to inferring thin film thickness of tantalum regarding any value of revolution velocity without additional experiments and for linear reference model via property analysis of thin film thickness using other thin-film materials.