• Journal of the Korean Institute of Intelligent Systems
• /
• v.8 no.6
• /
• pp.91-98
• /
• 1998

A DEDS is a system whose stated change in response to the occurrence of events from a predefined event set. A major difficulty in developing analytical results for the system is the lack of appropriate modeling techniques. In this paper, we consider the modeling and control problem for Discrete Event Dynamic Systems(DEDS) in the Temporal Logic framework(TLF) which have been recently defined. The traditional TLF is enhanced with time functions for real time control of Discrete Event Dynamic Systems. A sequence of event which drive the system from a given initial state to a given final state is generated by pertinently operating the given plants. This paper proposes the use of Real-time Temporal Logic as a modeling tool for the analysis and control of DEDS. An given example of fixed-time traffic control problem is shown to illustrate our results with Real-time Temporal Logic Framework.

• Journal of the Korean Society for information Management
• /
• v.14 no.1
• /
• pp.5-26
• /
• 1997

The accelerating rate of changing and the increasing complexity of information environments make information centers new framework in information organization, access, processing, and use. This article presents theory and methodology of strategic planning for special information centers with an overview of literature and conceptual framework, analytical method and role model.

• International Journal of Contents
• /
• v.5 no.2
• /
• pp.1-5
• /
• 2009

This study was to analyze important dimensions and its factors of micro level of e-learning determining the quality of e-learning. E-learning dimensions and their factors were identified and developed from the analytical review of related researches. From literature review and survey as well as expert interview, six categories of e-learning identified from this study were: 1) curriculum content, 2) usability, 3) instructional design, 4) evaluation -both process and results, 5) management, and 6) refinement and improvement. A total of thirty-seven factors determining the quality of the e-learning six categories were identified. The rank order and contribution rates for each categories and factors were calculated to explain how importantly they contribute to the quality of e-learning. Also three dimensions such as controlling the e-learning quality, e-learning fundamental dimension e-learning process dimension, and e-learning product dimension, were explained. This study suggests a useful guidance for e-learning quality and evaluation framework for better results.

• KIEAE Journal
• /
• v.3 no.2
• /
• pp.3-15
• /
• 2003

The aim of this study is to examine the linkage between environmental theory and physical development such as housing estate developments. Firstly, this paper examines environmentalism to see varying approaches in the resolution of environmental problems. Here, Technocentrism, Econcentrism and Ecosocialism was seen as dominant theoretical approaches. Secondly, an international case study on ecological housing development was conducted. Four German, Australian, Japan and Korean examples were taken as cases which revealed a wide spectrum of development tendencies. An analytical framework of building methods evaluated by the environmental theories was established. And by evaluating the cases with this framework, we were able to find out the overall environmental character of each housing developments. The hypothesis of this paper is that these differences can be explained through the differences that exist in society which the theoretical represents. The research revealed strong linkage with social tendencies.

• Journal of the Korea Society of Computer and Information
• /
• v.22 no.10
• /
• pp.73-81
• /
• 2017

In this paper, we propose an analysis framework to capture the trends of information security incidents and evaluate the security policy based on the incident analysis. We build a big data from news media collecting security incidents news and policy news, identify key trends in information security from this, and present an analytical method for evaluating policies from the point of view of incidents. In more specific, we propose a network-based analysis model that allows us to easily identify the trends of information security incidents and policy at a glance, and a cosine similarity measure to find important events from incidents and policy announcements.

• Journal of the Society of Naval Architects of Korea
• /
• v.44 no.3 s.153
• /
• pp.332-339
• /
• 2007

Integration of engineering information through the IT (Information Technology) is very important key during the collaboration design process. How can we realize the data efficiently in real-time at the early design stage? How can we manage to integrate the separate information made by each designer or department effectively in real time? IT global trend is the unique way of handling these complicated problems from the information inundation. This paper suggests the design process management system deduced from the analytical results considering BPM (Business Process Management) solution workflow. Workflow based design process management system can help user share and integrate the needed information at the right time through Internet. It is found that the proposed tool works well for a beam design case, and this framework can be thus further expanded for an engineering design environment smoothly.

• Proceedings of the Korean Institute of Interior Design Conference
• /
• 2004.11a
• /
• pp.102-107
• /
• 2004

In order to understand the characteristics of the Japanese conception of space, we examined the characteristics of Japanese human geography, schools of thought, and aesthetics through the examinations on relevant documents. In addition, we reorganized such cultural backgrounds in relation to the Japanese perception of space, extracting the fundamental principles and elements of Japanese space composition and examining their significance. We propose a structural framework for understanding and analyzing Japanese space based on the reciprocal relationship and meaning among the various elements of Japanese space. Using this analytical framework, we studied the representative works of Japanese interior space, concluding in an analysis of the expressive characteristics of the Japanese notion of space.

• ETRI Journal
• /
• v.36 no.6
• /
• pp.960-967
• /
• 2014

In this paper, an analytical framework is proposed for the optimization of network performance through joint congestion control, channel allocation, rate allocation, power control, scheduling, and routing with the consideration of fairness in multi-channel wireless multihop networks. More specifically, the framework models the network by a generalized network utility maximization (NUM) problem under an elastic link data rate and power constraints. Using the dual decomposition technique, the NUM problem is decomposed into four subproblems - flow control; next-hop routing; rate allocation and scheduling; power control; and channel allocation - and finally solved by a low-complexity distributed method. Simulation results show that the proposed distributed algorithm significantly improves the network throughput and energy efficiency compared with previous algorithms.

• Structural Engineering and Mechanics
• /
• v.53 no.1
• /
• pp.27-40
• /
• 2015

The rational analytical solutions are presented for functionally graded beams subjected to arbitrary tractions on the upper and lower surfaces. The Young's modulus is assumed to vary exponentially along the thickness direction while the Poisson's ratio keeps unaltered. Within the framework of symplectic elasticity, zero eigensolutions along with general eigensolutions are investigated to derive the homogeneous solutions of functionally graded beams with no body force and traction-free lateral surfaces. Zero eigensolutions are proved to compose the basic solutions of the Saint-Venant problem, while general eigensolutions which vary exponentially with the axial coordinate have a significant influence on the local behavior. The complete elasticity solutions presented here include homogeneous solutions and particular solutions which satisfy the loading conditions on the lateral surfaces. Numerical examples are considered and compared with established results, illustrating the effects of material inhomogeneity on the localized stress distributions.

• International conference on construction engineering and project management
• /
• 2015.10a
• /
• pp.294-298
• /
• 2015

In the United States, the completion of Construction Work Zone (CWZ) impact assessments for all federally-funded highway infrastructure improvement projects is mandated, yet it is regarded as a daunting task for state transportation agencies, due to a lack of standardized analytical methods for developing sounder Transportation Management Plans (TMPs). To circumvent these issues, this study aims to create a spatiotemporal modeling framework, dubbed "SWAT" (Spatiotemporal Work zone Assessment for TMPs). This study drew a total of 43,795 traffic sensor reading data collected from heavily trafficked highways in U.S. metropolitan areas. A multilevel-cluster-driven analysis characterized traffic patterns, while being verified using a measurement system analysis. An artificial neural networks model was created to predict potential 24/7 traffic demand automatically, and its predictive power was statistically validated. It is proposed that the predicted traffic patterns will be then incorporated into a what-if scenario analysis that evaluates the impact of numerous alternative construction plans. This study will yield a breakthrough in automating CWZ impact assessments with the first view of a systematic estimation method.