• 대한전자공학회논문지SD
• /
• 제42권12호
• /
• pp.91-102
• /
• 2005

최근의 저 전력 컴퓨터 시스템은 내장 프로세서의 성능 향상과 공정 기술의 발전을 통한 디바이스 크기 감소로 인해 전압 변동, 커플링 효과 등으로 인한 SEU(single event upset)로 모델링 되는 천이고장으로 인한 예기치 못한 동작 중 에러 발생가능성이 매우 높아지고 있다. 제안하는 방식은 프로세서가 처리하는 프로그램 분기 흐름상에서 에러를 검출하는 효과적인 watchdog 프로세서 구조로서, 기존 방식이 가지는 오버헤드를 줄이면서 프로그램 내부에서 빈번히 발생되는 루프를 매번 검사할 때, 동일한 동작을 watchdog 프로세서가 반복함으로써 생기는 비효율적인 메모리 접근, 버스 점유 경쟁등과 같은 추가적인 시스템 수준의 오버헤드를 줄이는 새로운 방법을 제안하였다. 본 논문은 기존의 실시간 분기 및 제어 흐름 연구에서는 다루지 않았던 루프 검출 및 예측 기능을 추가함으로써 실제 시스템 적용에 보다 적합한 비용 효율적인 구조를 제안하고 있다.

• 한국CDE학회논문집
• /
• 제12권1호
• /
• pp.50-57
• /
• 2007

In recent years, many robotics researches have been focused on developing human-friendly robots, that is, humanoid biped robots. The researches of humanoid robots include various areas such as hardware development, control of biped locomotion, artificial intelligence, human interaction, etc. The present work concerns the hardware development of a mid-size humanoid robot, BONOBO, focusing on rapid development of outer body parts with integrated application if CAD/CAM/CAE/RP. Most parts are three-dimensionally designed using 3D CAD, and effectively connected with CAE analyses using both kinematic simulation and structural analysis. In order to reduce lead time and investment cost for parts developments, Rapid Prototyping (RP) and CAM are selectively utilized for manufacturing body parts. These master parts are then replicated using the vacuum casting process, from which we can obtain plastic parts repeatedly. Through this integrated approach, the first prototype of BONOBO can be successfully developed with relatively low time and investment costs.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제11권6호
• /
• pp.2870-2888
• /
• 2017

Recent studies have shown that the flow table size of hardware SDN switch cannot match the number of concurrent flows. Combined SDN Forwarding Element (CFE), which comprises several software switches and a hardware switch, becomes an alternative approach to tackle this problem. Due to the limited capacity of software switch, the way to route concurrent flows in CFE can largely affect the maximum delay that a flow suffers at CFE. As delay-guarantee is a nontrivial task for network providers with the increasing number of delay-sensitive applications, we propose an analytical model of CFE to evaluate a rules placement solution first. Next, we formulate the problem of Rules Placement with delay guarantee in CFE (RPCFE), and present the genetic-based rules placement (GARP) algorithm to solve the RPCFE problem. Further, we validate the analytical model of CFE through simulations in NS-3 and compare the performance of GARP with three benchmark algorithms.

• 한국정밀공학회지
• /
• 제17권7호
• /
• pp.124-131
• /
• 2000

Rapid Prototyping(RP) models are no longer used only for design verification. Currently, parts built utilizing layer manufacturing technology can be employed as functional prototypes and as patterns or tools for different manufacturing processes such as vacuum casting, investment casting, injection molding, precise casting and sand casting. This trend of Rapid Prototyping application meets the requirement of concurrent engineering and its range covers a more spreaded area. The aim of this paper is saving the manufacturing lead time and cost of plastic parts having hollow space shapes used by prototype-car. Using rapid prototype patterns, made by the Selective Laser Sintering(SLS) technique, a new approach of manufacturing resin-based blow mold is discussed. It has a great potential fur making prototype-car parts with the batch size of under 200 parts, in case of rapid modification due to a subsequent design changes in developing stage. So, the process proposed in this research shows reduction of process time and manufacturing cost when compared with the conventional process such as a Zinc Alloy fur Stamping(ZAS) mold.

• 한국정밀공학회지
• /
• 제13권8호
• /
• pp.146-154
• /
• 1996

In this work, rapid prototyping and three-dimensional finite element analysis are simultaneously applied to the die design of metal forming processes. Rapid prototyping is a new prototyping technology which produces three-dimensional part models directly from CAD data and has been extensively applied to various manufacturing processes. There are many types of rapid prototyping systems due to their building principles and materials. In this work, Stereolithography Apparatus(SLA), which is the most widely used rapidprototyping system, is introduced to manufacture the die set. For general preparation of STL file, which is the standard input file of rapid prototyping system, mesh data which are used in describing the die surface in finite element analysis are translated so that rapid prototyping and finite element analysis are dffectively connected. A die set for spider forging and a clover punch for deep drawing section are manufactured effciently using SLA prototypes, and metal forming experiments are carried out using them. Comparing the result of experiments with that of analyses, the processes can be predicted and designed successfully.

• Journal of Communications and Networks
• /
• 제16권2호
• /
• pp.121-129
• /
• 2014

The trend of an increasing demand for a high-quality user experience, coupled with a shortage of radio resources, has necessitated more advanced wireless techniques to cooperatively achieve the required quality-of-experience enhancement. In this study, we investigate the critical problem of rate splitting in heterogeneous cellular networks, where concurrent transmission, for instance, the coordinated multipoint transmission and reception of LTE-A systems, shows promise for improvement of network-wide capacity and the user experience. Unlike most current studies, which only deal with spectral efficiency enhancement, we implement an optimal rate splitting strategy to improve both spectral efficiency and energy efficiency by exploring and exploiting cooperation diversity. First, we introduce the motivation for our proposed algorithm, and then employ the typical cooperative bargaining game to formulate the problem. Next, we derive the best response function by analyzing the dual problem of the defined primal problem. The existence and uniqueness of the proposed cooperative bargaining equilibrium are proved, and more importantly, a distributed algorithm is designed to approach the optimal unique solution under mild conditions. Finally, numerical results show a performance improvement for our proposed distributed cooperative rate splitting algorithm.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제18권1호
• /
• pp.64-88
• /
• 2024

Security and reliability are the utmost importance facts in intelligent networked vehicles. Stochastic Petri Net and Z (SPZN) as an excellent formal verification tool for modeling concurrent systems, can effectively handles concurrent operations within a system, establishes relationships among components, and conducts verification and reasoning to ensure the system's safety and reliability in practical applications. However, the application of a system with numerous nodes to Petri Net often leads to the issue of state explosion. To tackle these challenges, a refinement and abstraction method based on SPZN is proposed in this paper. This approach can not only refine and abstract the Stochastic Petri Net but also establish a corresponding relationship with the Z language. In determining the implementation rate of transitions in Stochastic Petri Net, we employ the interval average and weighted average method, which significantly reduces the time and space complexity compared to alternative techniques and is suitable for expert systems at various levels. This reduction facilitates subsequent comprehensive system analysis and module analysis. Furthermore, by analyzing the properties of Markov Chain isomorphism in the case study, recommendations for minimizing system risks in the application of intelligent parking within the intelligent networked vehicle system can be put forward.

• International Journal of Advanced Culture Technology
• /
• 제4권3호
• /
• pp.13-19
• /
• 2016

The growth of mobile devices in Internet of Things (IoT) leads to a number of remote and controlling system related IoT applications. For instance, home automation controlling system uses client system such web apps on smartphone or web service to access the home server by sending control commands. The home server receives the command, then controls for instance the light system. The web service gateway responsible for handling clients' requests attests an internet latency when an increasing number of end users requests submit toward it. Therefore, this web service gateway fails to detect several commands, slows down predefined actions which should be performed without human intervention. In this paper, we investigate the performance of a web server-side platgorm based event-driven, non-blocking approach called Node.js against traditional thread-based server side approach to handle a large number of client requests simultaneously for remote and controlling system in IoT remote monitoring applications. The Node.JS is 40% faster than the traditional web server side features thread-based approach. The use of Node.js server-side handles a large number of clients' requests, then therefore, reduces delay in performing predefined actions automatically in IoT environment.

• 대한가정학회지
• /
• 제50권7호
• /
• pp.109-116
• /
• 2012

The purpose of this study is to develop a scale for evaluation of Parent's Literacy Interaction Rating Scale (PLIRS) for preschool children and to examine its validity and reliability. The participants of this study were 342 Korean mothers with children of 3 to 5 year olds. The methods for data analysis included item analysis, factor analysis for construct validity, Pearson correlations between PLIRS and two sub tests of EC-HOME for concurrent validity, and Cronbach's ${\alpha}$ for reliability. The item discrimination was determined by comparing the highest and lowest groups using Chi-square (${\chi}^2$), and Cramer's V. The 25 items of the scale were found to be satisfactory in item discrimination. The concurrent validity was also identified by correlation between PLIRS and two sub tests of EC-HOME. Factor analysis revealed that the structure of the PLIRS consisted of three factors: 'open interaction', 'directive interaction', and 'picture-book reading interaction'. 'Open interaction' is based on 'Whole Language Approach', such as 'I have my child write as he/she likes even if they spell wrongly.' 'Directive interaction' is based on 'Code Emphasis Approach', such as 'I have my child take dictation.' 'Picture-book reading interaction' is how parents read picture-book with her/his children, such as 'When I read a picture book to my child, I ask various questions about a book story.' The Cronbach's ${\alpha}$ for internal consistency reliability range was .78 to .87 for three subscales. It was concluded that PLIRS was valid and reliable to examine the literacy interaction between parents and children in home.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 2004년도 춘계공동학술대회 논문집
• /
• pp.603-606
• /
• 2004

Automatic test case generation for testing an embedded software is considered. Existing tools for test case generation such as finite state machine or mutant test usually adopt top down approach and depend upon graphical transition and decision table, which makes it difficult to find out where the bugs exist. Also it is hard to describe the special features of embedded systems such as concurrent execution of individual components. Most of embedded systems interacts with the real world, receiving signals through sensors or switches and sending output signals to actuators that somehow manipulate the environment. Embedded software controls the entire system based on the logics such as interpreting the sensor inputs and making the actuators to start or stop their intended operation. This study proposes an automatic test case generation procedure that tests the system starting from the control logics of sensors, switches and actuators and then their concurrent execution controls, and finally the entire system operation. Such a stepwise approach makes it easy to generate test cases to tell where the bugs of embedded software exist.