• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2017.10a
• /
• pp.399-402
• /
• 2017

We consider an sensor partitioning problem for energy-efficient measurement scheduling in a spatially correlated sensor field where sensors are located randomly. We divide the whole sensors into subsets of k sensors in the way of letting each subset give similar amount of mutual information. Then it allows more prolonged life time of the sensor field than measuring the sensors that gives most information only. To this end, we compute the Shapley value of each sensor and compose the subsets so that each subset can have total Shapley value similar with the other subsets.

• Korean Journal of Construction Engineering and Management
• /
• v.14 no.4
• /
• pp.140-151
• /
• 2013

In 2011 and 2012, Korean construction firms awarded around $ 64.5. Billion each year from the overseas market in 2011. This contract value accounted for overwhelming portion of total overseas construction contract values, and this growth is expected to continue for the next decade. However, contract scopes awarded to the Korean construction firms mainly involve detailed design and construction phases due to their competitiveness for the construction techniques. In other words, front-end-engineering-design and construction project management are not considered part of core business due to the lack of project management skills and experience. The researchers focused on development of construction sequence model required to improve construction planning and scheduling skills for the Korean construction firms. The model identifies critical work items and the sequence throughout project execution process. In addition, the researchers developed a risk evaluation method by applying fuzzy theory to the critical construction activities for the industrial plant construction projects. Developed methodology will help project practitioners to develop project schedule in a timely and effe ctive manner and evaluate project risks associated with scheduling process for the industrial plant construction projects.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.38 no.4
• /
• pp.159-167
• /
• 2015

We consider a wafer lot transfer/release planning problem from semiconductor wafer fabrication facilities to probing facilities with the objective of minimizing the deviation of workload and total tardiness of customers' orders. Due to the complexity of the considered problem, we propose a two-level hierarchical production planning method for the lot transfer problem between two parallel facilities to obtain an executable production plan and schedule. In the higher level, the solution for the reduced mathematical model with Lagrangian relaxation method can be regarded as a coarse good lot transfer/release plan with daily time bucket, and discrete-event simulation is performed to obtain detailed lot processing schedules at the machines with a priority-rule-based scheduling method and the lot transfer/release plan is evaluated in the lower level. To evaluate the performance of the suggested planning method, we provide computational tests on the problems obtained from a set of real data and additional test scenarios in which the several levels of variations are added in the customers' demands. Results of computational tests showed that the proposed lot transfer/planning architecture generates executable plans within acceptable computational time in the real factories and the total tardiness of orders can be reduced more effectively by using more sophisticated lot transfer methods, such as considering the due date and ready times of lots associated the same order with the mathematical formulation. The proposed method may be implemented for the problem of job assignment in back-end process such as the assignment of chips to be tested from assembly facilities to final test facilities. Also, the proposed method can be improved by considering the sequence dependent setup in the probing facilities.

• The KIPS Transactions:PartA
• /
• v.18A no.3
• /
• pp.109-114
• /
• 2011

We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. As is well known, IR (Intermediate Representation) optimization is an important step in a compiler backend. But unfortunately, it is difficult to detect and debug the IR optimization errors for compiler developers. So, we introduce a C level error check system for detecting the correctness of these IR transformation techniques. In our system, we first create an IR-to-C converter to translate IR to C code before and after each compiler optimization phase, respectively, since our technique is based on the Memory Comparison-based Clone(MeCC) detector which is a tool of detecting semantic equivalency in C level. MeCC accepts only C codes as its input and it uses a path-sensitive semantic-based static analyzer to estimate the memory states at exit point of each procedure, and compares memory states to determine whether the procedures are equal or not. But MeCC cannot guarantee two semantic-equivalency codes always have 100% similarity or two codes with different semantics does not get the result of 100% similarity. To increase the reliability of the results, we describe a technique which comprises how to generate C codes in IR-to-C transformation phase and how to send the optimization information to MeCC to avoid the occurrence of these unexpected problems. Our methodology is illustrated by three familiar optimizations, dead code elimination, instruction scheduling and common sub-expression elimination and our experimental results show that the C level error check system is highly reliable.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.42 no.11
• /
• pp.1-12
• /
• 2005

In wireless personal area networks(PANs), the successful design of channel time allocation algorithm is a key factor in guaranteeing the various quality of service(QoS) requirements for the stringent real-time constraints of multimedia services. In this paper we propose a dynamic channel time allocation algerian for providing delay guarantees to multimedia traffics such as MPEG streams in the IEEE 802.15.3 high-rate WPANs. The dynamic algorithm exploits the characteristics of MPEG stream, wherein the devices (DEVs) send their channel time requests only at the end of superframe boundaries. The algerian uses mini packets for feedback control in order to deliver dynamic parameters for channel time requests from the DEVs to the piconet coordinator (PNC). In this scheme, the duration of channel time allocated to a DEV during a superframe is changed dynamically depending on the MPEG frame type, traffic load and delay bound of the frame, etc. Performance of the proposed scheme is investigated by simulation. Our results show that compared to traditional scheme, the proposed scheme is very effective and has high performance while guaranteeing the delay bound.

• Journal of Digital Convergence
• /
• v.17 no.4
• /
• pp.19-27
• /
• 2019

The purpose of this study is to develop play education programs based on the instructional systems development (ISD). To achieve the goal, play education programs for elementary school students were developed based on the ADDIE model. Internal researchers, teaching design experts, and subject matter expert reviewed, modified, and developed play and education programs having three modules: design and scheduling, making a model, and preparing an exhibition. Students set up a program to realize the play space they want through collaboration with their peers. The program was applied to fifth grade elementary school students in Chungju for verification of the play and education program. At the end of the play education program, the FGI was conducted on 13 students to measure the overall value of the play education program, including its sustainability. Through these processes, we drew the effects and implications of the play education program and presented future research directions of play education and projects for elementary school students.

• Journal of the Korea Institute of Building Construction
• /
• v.11 no.3
• /
• pp.301-309
• /
• 2011

Apartment housings that adopt a bearing wall structure design, which account for a majority of the housing units available in Korea, are not free from structural constraints that limit the extension of their service life. The resulting need for reconstruction from the ground up requires a massive consumption of resources and energy, and triggers environmental pollution resulting from construction wastes. As a solution to such issues, the government enforces incentive schemes to promote a remodeling-friendly rahmen structure design. Green Frame, which is a novel concept of composite precast concrete structure to support rahmen structure apartment housing buildings, can address the constraints of bearing wall structure and conventional rahmen structure designs that limit the potential for remodeling projects, while reducing the term of construction. Therefore, this study aims to analyze the characteristics of Green Frame and its absolute term of construction, and compare the terms of frame work construction in apartment housing projects adopting different structural design approaches to illuminate their differences. In the end, Green Frame is found to be capable of reducing the term of construction in apartment housing projects. As the term of construction is a very critical element of a construction project, Green Frame will ultimately prove to be one of the key enablers to ensure the success of apartment housing construction projects.

• Journal of Internet Computing and Services
• /
• v.4 no.4
• /
• pp.65-74
• /
• 2003

Recently, It is required that multimedia data display on not only PC but also the Mobile device such as cellar phone, PDA. Mobile divieces has not sufficient of storage space or main memory and has slow network speed. So we can't process the multimedia data with the existing way on PC. This paper presents various methods for MultimediaPresentation which are able to display on the mobile device with the low-bandwidth and small storage. There Is an analysis that Is playable on the mobile device using presentation area devision method and replayable analysis method. If the display of multimedia presentation is impossible from this analysis, to apply prefetch techniques a using EPOB apoint and as User QoS of multimedia data through prefetch techniques have keep, do so that playable. Then, it is proposed to playable smooth multimedia presentation as that each of the presentations through prefetch Scheduling techniques point and quantity of data which are prefetch.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.21 no.7
• /
• pp.1364-1370
• /
• 2017

This paper proposes a method that automatically sets profile schedule context-based mobile phone by collecting the user's external situation based on the GPS sensor and accelerometer built into the smartphone and interacting with the data in the user's schedule to minimize the user's handset handling. However, real-time data collection in mobile phones causes energy shortage in the device due to battery consumption. In other words, a service control method is explained in a way that can efficiently handle resource consumption because accessing a measurement device such as GPS and other sensors may increase power consumption of the portable device. Therefore, effective data sharing for context awareness to reduce weekly schedules and smartphone mode has improved energy efficiency in sensing for data collection. The user can use the context more effectively by providing environmental adaptability for various situations such as the end user's local context and smartphone force control.

• Annals of Occupational and Environmental Medicine
• /
• v.35
• /
• pp.7.1-7.14
• /
• 2023

Background: At present, no short standard questionnaire exists for assessing and comparing major work organization hazards in the workplaces of the United States. Methods: We conducted a series of psychometric tests (content validity, factor analysis, differential-item functioning analysis, reliability, and concurrent validity) to validate and identify core items and scales for major work organization hazards using the data from the 2002-2014 General Social Surveys (GSSs), including the Quality of Worklife (QWL) questionnaire. In addition, an extensive literature review was undertaken to find other major work organization hazards which were not addressed in the GSS. Results: Although the overall validity of the GSS-QWL questionnaire was satisfactory in the psychometric tests, some GSS-QWL items of work-family conflict, psychological job demands, job insecurity, use of skills on the job, and safety climate scales appeared to be weak. In the end, 33 questions (31 GSS-QWL and 2 GSS) were chosen as the least, but best validated core questions and included in a new short standard questionnaire (called the Healthy Work Survey [HWS]). And their national norms were established for comparisons. Furthermore, based on the literature review, fifteen more questions for assessing other significant work organization hazards (e.g., lack of scheduling control, emotional demands, electronic surveillance, wage theft) were included in the new questionnaire. Thus, the HWS includes 48 questions in total for assessing traditional and emerging work organization hazards, which covers seven theoretical domains: work schedule/arrangement, control, support, reward, demands, safety, and justice. Conclusions: The HWS is a short standard questionnaire for assessing work organization hazards which can be used as a first step toward the risk management of major work organization hazards in the workplaces of the US.