• Journal of Korean Society of Transportation
• /
• v.20 no.3
• /
• pp.129-147
• /
• 2002

This paper presents a variational equality formulation by Providing new dynamic route choice condition for a link-based dynamic traffic assignment model. The concepts of used paths, used links, used departure times are employed to derive a new link-based dynamic route choice condition. The route choice condition is formulated as a time-dependent variational equality problem and necessity and sufficiency conditions are provided to prove equivalence of the variational equality model. A solution algorithm is proposed based on physical network approach and diagonalization technique. An asymmetric network computational study shows that ideal dynamic-user optimal route condition is satisfied when the length of each time interval is shortened. The I-394 corridor study shows that more than 93% of computational speed improved compared to conventional variational inequality approach, and furthermore as the larger network size, the more computational performance can be expected. This paper concludes that the variational equality could be a promising approach for real-time application of a dynamic traffic assignment model based on fast computational performance.

• Korean Journal of Construction Engineering and Management
• /
• v.17 no.1
• /
• pp.56-65
• /
• 2016

Many cases have mentioned the effect by applying BIM on the media such as at conferences, workshops, reports, ect. These cases reported that costs could be saved directly by prevention the need to re-do and reconstruct caused by using BIM. BIM users mentioned that using BIM has potential value in saving costs. The benefits of the BIM include intangible value that cannot be estimated in costs, such as reducing work time and improving productivity. However, the financial value of using BIM, such as Return on Investment, has not yet been exposed, and BIM users have a negative view of the financial value of BIM in Korea. Therefore, this study has researched the effects of applying BIM on construction estimate services in view of business productivity, not finance. This study compared the traditional and BIM based estimation, and verified the effect of estimating BIM through work sampling. This study investigated a precondition for getting the effects of BIM based estimation. The results show a need for BIM education, 3D Modeling standards, and database on quantity in order to improve product ivity and reduce work time on BIM based estimation

• Phonetics and Speech Sciences
• /
• v.12 no.2
• /
• pp.63-72
• /
• 2020

This study aims to develop a video-based smart utterance deep analyser (SUDA) application that analyzes semiautomatically the utterances that child and mother produce during interactions over time. SUDA runs on the platform of Android, iPhones, and tablet PCs, and allows video recording and uploading to server. In this device, user modes are divided into three modes: expert mode, general mode and manager mode. In the expert mode which is useful for speech and language evaluation, the subject's utterances are analyzed semi-automatically by measuring speech and language factors such as disfluency, morpheme, syllable, word, articulation rate and response time, etc. In the general mode, the outcome of utterance analysis is provided in a graph form, and the manger mode is accessed only to the administrator controlling the entire system, such as utterance analysis and video deletion. SUDA helps to reduce clinicians' and researchers' work burden by saving time for utterance analysis. It also helps parents to receive detailed information about speech and language development of their child easily. Further, this device will contribute to building a big longitudinal data enough to explore predictors of stuttering recovery and persistence.

• 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)

• 한국HCI학회:학술대회논문집
• /
• 2006.02a
• /
• pp.1305-1312
• /
• 2006

최근 들어 휴대성을 강조한 휴대폰이나 PDA 같은 다양한 모바일 기기의 등장으로 언제 어디서나 원하는 정보를 탐색할 수 있게 되었으나 기기는 점점 작아지는 반면, 기능은 증가하고, 많은 기기들이 데스크톱 인터페이스를 그대로 차용하여 작은 모바일 기기에는 적합하지 않은 결과를 낳고 있다. 따라서 본 연구는 청각 피드백을 이용한 공간정보 단서를 제공하여 작은 기기의 사용성을 높이는데 초점을 두고 있다. 이를 위하여, 실험 1에서는 두 가지 메뉴 구조에서 세 가지 청각 피드백의 영향을 조사하였는데, 격자메뉴와 한 줄 메뉴에서 각 청각피드백이 미치는 영향과 사용자의 선호도를 조사하였다. 실험 결과, 격자메뉴에서 수행이 좋았으나, 청각 피드백 유형별 수행 차이는 나타나지 않았고, 각 피드백에 대한 선호도에서도 차이가 나타나지 않았다. 실험 2에서는 실험 1에서 사용된 정보를 제공하는 청각적 피드백을 음 높이와 음의 개수 속성으로 세분화하여 PDA에서 메뉴 탐색 수행을 4블록으로 나누어 조사하도록 설계하였다. 실험 결과, 음 높이 속성만 갖는 피드백은 블록이 진행되면서 반응 시간에 있어서 피로도가 나타난 반면, 음 개수 속성만 갖는 피드백은 블록이 진행되어도 피로도가 나타나지 않았다. 한편, 두 속성을 모두 갖는 피드백은 블록이 진행되면서 보행 속도가 유의미하게 줄어드는 것을 발견하였다. 본 연구의 결과는 앞으로 유비쿼터스 환경에서 사용자에게 효율적인 청각 피드백을 통해 공간 정보를 제공함으로써 휴대기기의 사용성을 높일 수 있는 한 가지 가능성을 제시한다는 데 의의가 있다.

• Journal of the Korean Institute of Telematics and Electronics D
• /
• v.36D no.2
• /
• pp.41-47
• /
• 1999

In this paper, we report 3D-simulations of a plasma etching process by employing cell-removal algorithm takes into account the mask shadow effect os well as spillover errors. The developed simulator haas an input interface to take not only an analytic form but a Monte Carlo distribution of the ions. The graphic user interface(GUI) was also built into the simulator for UNIX environment. To demonstrate the capability of 3D-SURFILER(SURface proFILER), we have simulated for a typical contact hole structure with 36,000($30{\times}40{\times}30$) cells, which takes about 20 minutes with 10 Mbytes memory on sun ultra sparc 1. as an exemplary case, we calculated the etch profile during the reactive ion etching(RIE) of a contact hole wherein the aspect ratio is 1.57. Furthermore, we also simulated the dependence of a damage parameter and the evolution of topography as a function of the chamber pressure and the incident ion flux.

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

원격 3차원 디자인 협업 환경이란 원거리에 있는 디자이너들이 3차원 모델을 함께 동시적으로 다루는 협업 환경으로서, 제품 개발 프로세스의 비용과 시간을 단축하는데 매우 중요한 역할을 한다. 그러나 이에 대한 연구는 아직 미비한 실정이며 기존의 연구들도 2차원 데스크탑 환경에 제한된 문제점이 있다. 따라서 본 연구는 새로운 협업 환경의 제안을 통해 지리적으로 떨어진 디자이너들간의 3D 모델에 관한 원활한 협업을 촉진하는 것을 목표로 한다. 본 연구에서 제안한 증강현실 기반의 원격 3차원 디자인 협업 환경은 3D 모델의 공유를 위한 회전 원반(turntable)과 상대의 위치 및 제스처 정보를 제공하는 가상 그림자(virtual shadows)로 구성된다. 동시적으로 회전하는 회전원반은 물리적인 매개체로서 가상물체와 실제 세계를 자연스럽게 연결하는 동시에 상대의 실재감을 높인다. 가상그림자는 가상물체 주위로 보여지는 사람들의 손과 팔의 움직임을 시각화하여 공유하는 것으로, 상대의 위치뿐 아니라 지시, 제스처 등 행동에 대한 인식이 지속적으로 이루어지게 한다. 프로토타입을 제작하고 사용자 평가 실험을 실시하여 3차원 모델을 검토하는 단계에 그 유용성이 있음을 확인하였다. 데스크탑 환경의 모델링 툴에 익숙한 사용자들은 실제 공간에서 가상물체를 조작할 수 있음에 긍정적인 반응을 보였고 회전원반과 가상그림자의 제공은 태스크 수행의 정확도를 높이며 협업을 촉진하는 결과를 보였다. 본 연구는 환경적 제약으로 원활하게 이루어지지 못했던 3D 모델에 관한 원격 협업에 의사소통의 장을 마련하고 이를 촉진시킨다는 점에서 그 의의가 있다. 본 환경에서 제시한 상대방과 협업대상물에 대한 심리적, 물리적 공유 감을 증대시키는 방법들은 3D 모델에 관한 디자인 협업에서 확장되어 다른 원격 협업을 지원하는 데도 적용될 수 있을 것이다.

• Management & Information Systems Review
• /
• v.32 no.2
• /
• pp.193-212
• /
• 2013

Despite widespread availability of communication media supported ICT(Information & Communication Technology), the influence factors and its role to the communication interaction is not clear. The main objective of this research is to examine the factors that affect to the efficient and effective means of communication interaction. The investigation focuses on the effect of four different factors such as ICT communication media characteristics, personal innovativeness, and ICT media attitude. The hypotheses have been tested with the survey of 159 smart phone users. The research summarized in this paper decomposes the influence of the characteristics of ICT media, IT personal innovativeness, and the attitude of ICT usage to the efficient and effective communication interaction.

• The Journal of the Convergence on Culture Technology
• /
• v.9 no.6
• /
• pp.1089-1095
• /
• 2023

Windows are essential and important architectural elements for the organization of architectural spaces, and they give character to the space and have a great impact on the reaction of users. Virtual windows are installed to activate architectural spaces such as underground spaces where windows cannot be installed, and to provide a sense of psychological security to users in hospital clinics, etc. In this study, we reviewed the literature and collected and analyzed the precedents of virtual windows to discuss the factors necessary to improve the realism of virtual windows. The factors that affect the realism of virtual windows are further grouped into five categories: 1. Use of reproduced images or videos for views, 2. Representation of temporality, 3. Responsiveness to changes in the observer's perspective, 4. Realistic reproduction of sunlight, and 5. Provision of non-visual sensory elements. Virtual windows are not just a replacement for traditional windows, but a way to realize a virtual environment using digital media, and it is necessary to expand the discussion to the realization of the virtual environment and the relationship with architectural elements.

• 한국HCI학회:학술대회논문집
• /
• 2008.02a
• /
• pp.174-177
• /
• 2008

In 3D gaming environment, it is important to simulate the physically plausible behaviors of gaming objects in real time. In particular, rigid body dynamics consists in the heart of most game physics. In this paper, we present a constraint-based rigid body simulation method using continuous collision detection as a collision detection method, and LCP formulation as a collision response method. The continuous collision detection method never misses any collisions and thus is able to accurately report the first time of collision as well as its associated colliding features. Moreover, since the number of colliding features is typically low, it also reduces the complexity in the LCP formulation.