• Journal of Korea Society of Digital Industry and Information Management
• /
• v.8 no.3
• /
• pp.23-31
• /
• 2012

With the advance of Smart TV technologies, TV watchers can enjoy the Internet and games while watching TV programs. Besides retrieving with some keywords in the Internet, people may want to access local information such as notifications from town, messages from children's schools, shopping information from local marts, and even reminder messages for visiting from hospitals while watching TV without using web-browser. In this paper, we introduce the daily life notification service scenarios and its functional and non-functional requirements. Furthermore, we also propose a system that provides the notification services, consists of smart TV apps and server systems. We also introduce the system architecture and the component design of the system. Our work will help smart TV service developers because this paper will give them some service scenarios, requirements, and system architecture and its component design.

• Journal of the Korean Society of Industry Convergence
• /
• v.5 no.4
• /
• pp.353-359
• /
• 2002

The focus of this study is that spacial, material, functional, cubical reasons are visually expressed on high-rise office Architecture in Korea according to the period of their completion. Office buildings are analyzed in three of exterior composition : Lower, Middle, Top part of the Building, Comparing the whole composition of the Building, forty-five types of compositions are extracted ; expression of formal, material, structural, functional Decoration which show the tendencies of Korean office buildings.

• Nuclear Engineering and Technology
• /
• v.51 no.2
• /
• pp.463-478
• /
• 2019

The most important non-functional requirements for dependability of any Embedded Real-Time Safety Systems are safety, availability and reliability requirements. System architecture plays the primary role in achieving these requirements. Compliance with these non-functional requirements should be ensured early in the development cycle with appropriate considerations during architectural design. In this paper, we present an application of system architecture modeling for quantitative assessment of system dependability. We use probabilistic model checker (PRISM), for dependability analysis of the DTMC model derived from system architecture model. In general, the model checking techniques do not scale well for analyzing large systems, because of prohibitively large state space. It limits the use of model checking techniques in analyzing the systems of practical interest. We propose abstraction based compositional analysis methodology to circumvent this limitation. The effectiveness of the proposed methodology has been demonstrated using the case study involving the dependability analysis of safety system of a large Pressurized Water Reactor (PWR).

• Korean Institute of Interior Design Journal
• /
• v.15 no.2 s.55
• /
• pp.21-28
• /
• 2006

The purpose of this study was to analyze the characteristics of Kinetic Architecture focused on case studies, categorize them and to research the possible applications of Kinetic Architecture. The results are as follow: first, the background of Kinetic Architecture is from the art, machine, nature and ancient architectures. Second, characteristics of Kinetic Architecture are deployability, modularity, lightweight, simplexity and interchangeability of parts. Third, the types of Kinetic Architecture are dynamically self-erecting structures, kinetic components, incremental architecture, mobile and disposable architecture. Finally, today the application cases of Kinetic Architecture are divided into the spital and skin part. The spital part is a temporary space, the multi-purpose spaces, housing, commercial spaces, and the educational spaces. The skin part offers functional(controling environments), artistic images through variation of materials and structural objects in the elevation.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.16 no.6
• /
• pp.267-276
• /
• 2021

The automotive industry and academic research have been continuously conducting research on standardization such as AUTOSAR (AUTomotive Open System ARchitecture) and ISO26262 to solve problems such as safety and efficiency caused by the complexity of electric/electronic architecture of automotive. AUTOSAR is an automotive standard software platform that has a layered structure independent of MCU (Micro Controller Unit) hardware, and improves product reliability through software modularity and reusability. And, ISO26262, an international standard for automotive functional safety and suggests a method to minimize errors in automotive ECU (Electronic Control Unit)s by defining the development process and results for the entire life cycle of automotive electrical/electronic systems. These design methods are variously applied in representative automotive safety-critical systems. However, since the functional and safety requirements are different according to the characteristics of the safety-critical system, it is essential to research the AUTOSAR functional safety design method specialized for each application domain. In this paper, a software functional safety mechanism design method using AUTOSAR is proposed, and a new failure management framework is proposed to ensure the high reliability of the product. The AUTOSAR functional safety mechanism consists of memory partitioning protection, timing monitoring protection, and end-to-end protection. The fault management framework is composed of several safety SWCs to maintain the minimum function and performance even if a fault occurs during the operation of a safety-critical system. Finally, the proposed method is applied to the Shift-by-Wire system design to prove the validity of the proposed method.

• Journal of the Korean Institute of Educational Facilities
• /
• v.23 no.1
• /
• pp.3-12
• /
• 2016

This thesis examines the shape, organization, background, and significance of the classroom space in highly appraised elementary schools since the inauguration of public education in modern times in the fields of education or architecture. This thesis acknowledges that classroom shapes comprise an auditorium-like space for a large-scale study group, a square-shaped classroom designed for simultaneous teaching for single class, and bent and L-shaped classrooms for various learning activities. Whereas the square-shaped classroom for simultaneous teaching which has lasted until now evolved around 1870, the post-1930s era witnessed the emergence of a composition in which classroom and outside space are associated, of an atypical classroom, and of Functional Unit where common space and classrooms are assembled. It is deemed that the emergence of the atypical classroom comes from the reinterpretation of learning and space pursuant to progressive pedagogical philosophy and child development theories and functional architecture theories. Thus, this thesis verifies that school construction and learning space can be newly created and the synthesis between education, child development studies, and architecture is a prerequisite to such a creation.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.29 no.3A
• /
• pp.347-357
• /
• 2004

Network systems have been developed to meet the high performance of forwarding packets and flexibility for providing various services, so network processor emerged. In order to improve the performance of network processors, fast external interface and special functional units have been used. Recently as an architectural method of improving performance, the SMT(Simultaneous Multi Threading) architecture is proposed, but this architecture is difficult to implement due to its complexity. Therefore research for architectural optimization is needed to develop the SMT network processors. In this paper we analyze each functional units on performing network algorithms and propose an optimized SMT network Processor architecture.

• Journal of the Society of Naval Architects of Korea
• /
• v.47 no.2
• /
• pp.258-264
• /
• 2010

Various kinds of ballast water treatment systems (BWTS) have been developed corresponding to reinforced IMO rules for marine environment. Some of them got the certificate of IMO and others are waiting for it. Selection of optimum BWTS is very important. Optimum BWTS means not only functional requirements but also economic efficiency. This paper presents economic analysis model for optimum BWTS according to ship type and size. In this study 10 kinds of BWTS whose initial installation cost and maintenance cost are known are analyzed based on present worth method. It is assumed that all BWTS satisfy minimum functional requirements and we need to consider different economical efficiency. Through the economic analysis we could select optimum BWTS.

• Journal of the Korean Solar Energy Society
• /
• v.35 no.1
• /
• pp.97-106
• /
• 2015

Gypsum board is easy to manufacture of a variety of forms and has stable mechanical properties and thermal properties. And gypsum boards are widely used to the walls and ceiling of the building as the interior building materials. The studies about technology of applying the various features in the gypsum board with additives are being actively investigated. Development methods for enhancing performance of the gypsum board using additives are largely divided into two categories. The first case is functional gypsum board that is to improve the moisture absorption and moisture-proof properties. Also studies of adsorption and decomposition of indoor air pollutants of the gypsum board using porous materials as an additive are being actively investigated. Another case is applying thermal storage materials which gives the heat storage performance to gypsum board. In this paper, we would like to introduce the various cases of gypsum board applied various additives.

• Proceedings of the IEEK Conference
• /
• 2000.11b
• /
• pp.329-332
• /
• 2000

This paper proposed resource allocation algorithm for the minimum power consumption of functional unit in high level synthesis process as like DSP which is circuit to give many functional unit. In this paper, the proposed method though high level simulation find switching activity in circuit each functional unit exchange for binary sequence length and value bit are logic one value. To used the switching activity find the allocation with minimal power consumption, the proposed method visits all control steps one by one and determines the allocation with minimal power consumption at each control step.