• The Journal of Sustainable Design and Educational Environment Research
• /
• v.1 no.1
• /
• pp.44-58
• /
• 2001

This study aims to establish new architectural agenda for the existing middle school facilities responding to individualized interactive learning approach(IILA). First, it investigates the mechanism of new teaching methods and contents proposed in the national level curriculum and the province guidances. Secondly, it suggests the Quality and Quantity of new (multi-purpose) classrooms that should be built for operating new curriculum in the existing middle schools. Finally, it finally emphasizes the educational specification that should be prepared prior to planning school buildings.

• 제어로봇시스템학회:학술대회논문집
• /
• 1992.10a
• /
• pp.43-48
• /
• 1992

The automation system oriented as one of the second year automation projects for the small and medium sized enterprises(SME) was developed for the improvement of the production rate and cut the required manpower in the field of the relay which is one of the small electric components used in various industrial fields. The objectives of this study are not only improving the international competition of the relay itself but also partially solving the technical and financial problems featured by common bottlenecks of the SME for efficient assembly automation. For the purpose of these objectives, several topics are studied as followings. - Analyzing the adjustment process and determining the specification of the automation system. - Determining the layout for the automation system to meet the determined specification. - Detail design of the automation system for relay adjustment and inspection. - Control system design - Automation system development and performance test.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1992.04a
• /
• pp.374-379
• /
• 1992

The automation system oriented as one of the second year automation projects for the small and medium sized enterprises(SME) was developed for the improvement of the production rate and cut the required manpower in the field of the relay which is one of the small electric components used in various industrial fields. The objectives of this study are not only improving the international competition of the relay itself but also partially solving the technical and financial porblems featured by common bottlenecks of the SME for effecient assembly automation. For the purpose of these objectives, several topics are studied as followings. -. Analyzing the adjustment process and determining the specification of the automation system. -. Determining the layout for the automation system to meet the determined specification. -. Detail design ofthe automation system for relay adjusment and inspection. -. Control system design. -. Automation system development and performance test.

• Proceedings of the KSME Conference
• /
• 2008.11a
• /
• pp.1309-1313
• /
• 2008

This paper suggests an example of modification of the durability test specifications of electronic control unit for an automotive system in phase of design validation. The basic concept to redefine the specifications of durability test is based on the Arrhenius relationship for accelerated temperature test and the modified Coffin-Manson model for temperature cycle test. The ambient temperature of the powered-event durability test is increased to reduce the required test time of the current specification. Furthermore, the holding time between the events to cool down the temperature of the components is shortened and the resultant temperature rise affects the durability of the components. Thus, the acceleration factor due to the increased temperature range of temperature cycle is also estimated by the modified Coffin-Manson model.

• Korean Journal of Computational Design and Engineering
• /
• v.5 no.3
• /
• pp.224-231
• /
• 2000

In order to satisfy customers'various needs in the market, manufacturing companies tend to add similar variants to an existing product model. This variety causes immense growth of product configuration and makes data management uncontrollable. In order to resolve this problem, we propose a method to efficiently represent the variants in a single schema of product structure and configuration and manage the product configuration. First of all, the product structure which adopts the concept of features and options is suggested. Second, the method to represent option specifications which restricts option configurations is proposed. Finally, the prototype module, which inspects if a product configuration violates the option specifications, is introduced.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2008.05a
• /
• pp.187-191
• /
• 2008

This study focuses on applying performance-based design to construction standard in building construction. First, it realizes situation and issues of standard specification in building construction, deduces the need factors for establishing performance-based construction standard, and then, it proposes the application of performance standard. The required stages for deducing performance-based construction standard consist of dividing building parts, deducing required functions, performance items and performance requirement and deciding a method of performance evaluation. Through these stages, performance-based design process is deduced.

• Journal of Information Technology Services
• /
• v.3 no.2
• /
• pp.85-98
• /
• 2004

As the e-Commerce based on the XML technology is getting bigger, user authentication, integrity, non-repudiation and confidentiality has become important for security. Since the XML technology is widely used for exchanging information among the Internet e-business systems, the security of XML documents is essentially required and XML digital signature should be supported. To support the digital signature of XML documents, W3C proposed the XML-Signature specification as an international standard that describes five transform algorithms. In this paper, we design and implement a XML/PKI based digital tax invoice system. Our system supports the five transforming algorithms defined in the XML-Signature specification and exchanges digital tax invoices among enterprises securely. We design and implement the flexible and efficient system consists of reusable components using CBD(Component Based Development).

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.5 no.6
• /
• pp.499-503
• /
• 2004

In the actual system development site, the various specifications are drawn up into each phase, namely analysis, design, development and implementation, beginning with the analysis of user requirements and data involved. The part of the specifications are continuously drawn up by using automated tool, but all specification are not automatically drawn up. Therefore, many inconsistent items occur between the specifications. In this paper, we propose the method which detects the error which is included in the specifications, and we are going to design and implement a specification error detection system based on this.

• Proceedings of the IEEK Conference
• /
• 2002.07c
• /
• pp.1964-1967
• /
• 2002

Recently design verification have been played an important role in the design of large scale and complex systems. In this article, we especially focus on model checking methods. Behaviors of modeled systems are generally specified by temporal formulas of computation tree logic. However. Users must know well temporal specification because the specification might be complex. We proposed method that temporal formulas are gained inductively and amounts of memory and time are reduced. Finally, we will show verification results using our proposed method.

• Journal of the Korean Institute of Telematics and Electronics A
• /
• v.33A no.3
• /
• pp.28-37
• /
• 1996

Syntax notation one (ASN.1) defined by ITU-T and ISO, is a formal abstrct specification language which has been widely used in international standards specifiation to inteconnect distributed open systems. It si necessary to have well defined encoder/decoder modules which taranslate ASN.1 datum to BER octets stream to interconnect distributed open systems. In this paper, we designed and implemented a new ASN.1-to-C compiler, called HYASNC (hanyang ASN.1-to-C), which atutomatically translates and ASN.1-to-C compiler, called HYASNC (hanyang ASN.1-to-C), which automatically translates an ASN.1 specification into C-language BER encoders and decoders with simple and neat I/F for the defined ASN.1 data types, and enhanced BER (basic encoding rules)encoding/decoding libraries, called HY(hanyang)BER library, and useful utility functions. And this paper discusses HYASNC compiler, HY BER runtime library's design and implementation principles, and also evaluates the perfomrance of HY BER library and the interoperability with other ASN.1 compilers.