• 한국컴퓨터산업학회논문지
• /
• 제3권1호
• /
• pp.117-124
• /
• 2002

소프트웨어 개발에 적합한 설계는 하나 이상 존재할 수 있고, 소프트웨어 아키텍쳐는 설계 과정 동안 수정, 갱신, 대체로 인해 변경될 수 있으므로, 다양한 관점에서 설계된 아키텍쳐의 서로 다른 버전들을 유지 관리 할 수 있는 방법과, 아키텍쳐의 변경 요소들을 효율적으로 명세할 수 있는 방법이 요구된다. 이 연구에서는 기존에 이미 정의되어 있는 아키텍쳐와, 이를 재사용하여 설계한 새로운 아키텍쳐를 통합된 구조의 소프트웨어 아키텍쳐로 재구성할 수 있는 방법과, 재구성 아키텍쳐 명세에 필요한 명세 요소와 명세 구조에 대해 정의하고 있다. 제안된 통합된 구조의 명세 방법은 아키텍쳐 설계 과정에서 다양한 개발자 관점 에서 정의된 아키텍쳐들을 참조 및 재사용할 수 있는 방법을 제공하고, 아키텍쳐의 수정, 대체, 갱신과 같은 변경 요소에 대해 유연성 있는 명세 방법을 제공한다.

• Journal of electromagnetic engineering and science
• /
• 제3권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.

• 한국레이저가공학회:학술대회논문집
• /
• 한국레이저가공학회 2006년도 춘계학술발표대회 논문집
• /
• 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.

• 제어로봇시스템학회논문지
• /
• 제5권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년도 한국자동제어학술회의논문집; 한국과학기술대학, 충남; 17-18 Oct. 1986
• /
• 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.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 1995년도 춘계공동학술대회논문집; 전남대학교; 28-29 Apr. 1995
• /
• pp.503-503
• /
• 1995

• 한국CDE학회논문집
• /
• 제21권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.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2011년도 제42회 하계학술대회
• /
• 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.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 1998년도 하계종합학술대회논문집
• /
• 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.

• 한국군사과학기술학회지
• /
• 제3권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.