• Journal of the Korea Computer Industry Society
• /
• v.3 no.1
• /
• pp.117-124
• /
• 2002

In software development process, appropriate design can exist more than one. And software architectures can be restructured by modification and update during design processes. Therefore, the method that specify efficiently the modification elements of architectures, and manage different versions of architecture designed through various aspects is required. In this study, we propose software architecture restructuring mechanism that can restructure legacy architecture and a new software architecture designed with reuse of it in integrated form, and define specification elements and structure of the proposed restructured architecture specification. It provides the method that can reference and reuse architectures designed with various aspects of developers in architecture design processes. In addition, it supports flexible specification method for specification of modification elements such as revision, substitution, update of legacy software architecture.

• Journal of electromagnetic engineering and science
• /
• v.3 no.2
• /
• pp.91-98
• /
• 2003

Software Communication Architecture(SCA) has been made to reduce the development period of new waveform applications by reusing design modules. Software Defined Radio(SDR) forum adopted SCA specification and follows its design concept. However, SCA specification does not describe interfaces and deployments of resources in details, which are software components, and how to implement them as well as how to communicate each other are another missing points in specification. In this paper, we propose a resource design methodology and details of adapter implementation for Core Framework(CF) that is a core set of open interface and services providing an abstraction of the underlying software and hardware layer. We also present SDR prototype system which communicates with resources implemented in different programming languages and processors in legacy environment through our design methodology.

• Proceedings of the Korean Society of Laser Processing Conference
• /
• 2006.06a
• /
• pp.129-134
• /
• 2006

In this paper, actuator based on voice coil motor is designed and estimated to check the capability whether that system is in design specification or not. Design specification is moving range as $20{\times}20mm^2$ a along XY-axis in plane and maximizes bandwidth for high speed. The type of voice coil motor is selected with regarding design specification and minimizes the size of actuator. Flux density of designed voice coil motor is simulated. And PI controller is designed to maximize bandwidth of actuator. Finally, characteristic of designed actuator is simulated and that result reveals the validity of presented design.

• Journal of Institute of Control, Robotics and Systems
• /
• v.5 no.4
• /
• pp.489-495
• /
• 1999

This paper contains the design specification and detail design for a towing winch system. We analyze operating condition of the system and decide the design specification for the winch system, and also perform a detail design for the subsystem such as hydraulic winch system, control equipment and power supplier at the full scale development. The performance of designed towing winch is established by load tests and sea trial tests.

• 제어로봇시스템학회:학술대회논문집
• /
• 1986.10a
• /
• pp.623-628
• /
• 1986

This paper reviews various CAD(Computer-Aided design) or DA(Design Automation) procedures for specification, design and verification of VLSI chips. The growth and widening of engineering achievements and applicational varieties in this revisited field has been truly explosive for the last five years. Recent trends in VLSI/CAD area and their possible implications on the future evolution of DA society are briefly touched upon. The relative importance of chip specification and design capability within the whole Korean electronics infrastructure in the future is explained with several possible suggestions for coping with upcoming difficulties already being seen in this challenging yet promising area.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1995.04a
• /
• pp.503-503
• /
• 1995

• Korean Journal of Computational Design and Engineering
• /
• v.21 no.1
• /
• pp.31-41
• /
• 2016

Building Information Modeling (BIM) has been adopted in variety domain of construction industry. In this circumstances, interest of BIM model quality has been increased. In many countries, automated building code checking system by Industry Foundation Classes (IFC) has been developed and studied to use web based building permission systems. IFC is international standard of BIM format. However, the data structure of IFC does not include all of objects and properties about national building codes. In this paper, we developed the information specification between IFC data structure and national building code to increase interoperability. First, we drew the criteria from literature review to analyze the building code. And then, we analyzed building code and sorted objects and properties for automated building code checking. After that we made mapping table between the sorted data and IFC specification. Using the mapping table, we developed pre-specification about building codes information that does not exist in IFC specification. And the defined information can be used to develop the BIM modeling guide and national building permission system. The pre-specification support increasing the interoperability between user and automated building code checking system. Increasing thee interoperability makes improvement accuracy and reliability about result of automated building code checking.

• Proceedings of the KIEE Conference
• /
• 2011.07a
• /
• pp.945-946
• /
• 2011

This paper presents design and characteristics analysis of transverse flux switched reluctance generator(TFSRG) for wind turbine. Dimension is calculated by using output equation and maximum magnetomotive force(mmf) equation per pole. Design specification within effective range of mechanical and electrical energy is suggested in order to perform the analysis. it is confirmed to torque, inductance and induced electromotive force(emf) for one phase through three dimension Finite Element Analysis. Then design specification can be verified by comparing with proposed specification.

• Proceedings of the IEEK Conference
• /
• 1998.06a
• /
• pp.815-818
• /
• 1998

Hardware formal verification involves the use of analytical techniques to prove that the implementation of a system confroms to the specification. The specification could be a set of properties that the system must have or it could be an alternative representation of the system behavior. We can represent our behavioral specification to be written in VHDL coding. In this paper, we proposed a new hardware design verification method. For theis method, we assumed that a verification pattern already exists and try to make an algorithm to find a place where a design error occurred. This method uses an hierarchical approach by making control flow graph(CFG) hierarchically. From the simulation, this method was turned out to be very effective that all the assumed design errors could be detected.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.3 no.1
• /
• pp.47-57
• /
• 2000

This paper contains the design specification and detail design for a seaborne towing winch system. We analyze operating condition of the system and decide the design specification for the towing winch system, and also perform a detail design for the subsystem such as hydraulic winch system, control equipment and power supplier at the full scale development. The performance of designed towing winch is established by load tests and sea trial tests.