• Steel and Composite Structures
• /
• v.5 no.2_3
• /
• pp.103-126
• /
• 2005

This paper describes the theoretical background and underlying principles behind the American Institute of Steel Construction Load and Resistance Factor Design (AISC LRFD) Specification for the analysis and stability design of steel frames. Various analysis procedures that can take into consideration the effects of member instability, frame instability, member-frame interaction, geometric imperfections, and inelasticity are reviewed. Design approaches by which these factors can be incorporated in the design of steel moment frames are addressed. Current specification guidelines for member and frame design in the U.S. are summarized. Examples are given to illustrate the validity of the design equations. Some future directions for the analysis and stability design of steel frames are discussed.

• Steel and Composite Structures
• /
• v.7 no.3
• /
• pp.201-217
• /
• 2007

Two combinatorial optimization algorithms, tabu search and simulated annealing, are presented for the minimum-weight design of geometrically non-linear steel plane frames. The design algorithms obtain minimum weight frames by selecting suitable sections from a standard set of steel sections such as American Institute of Steel Construction (AISC) wide-flange (W) shapes. Stress constraints of AISC Load and Resistance Factor Design (LRFD) specification, maximum and interstorey drift constraints and size constraints for columns were imposed on frames. The stress constraints of AISC Allowable Stress Design (ASD) were also mounted in the two algorithms. The comparisons between AISC-LRFD and AISC-ASD specifications were also made while tabu search and simulated annealing were used separately. The algorithms were applied to the optimum design of three frame structures. The designs obtained using tabu search were compared to those where simulated annealing was considered. The comparisons showed that the tabu search algorithm yielded better designs with AISC-LRFD code specification.

• Journal of the Korea Society of Computer and Information
• /
• v.8 no.4
• /
• pp.21-27
• /
• 2003

In these paper, we define object models in order to represent a correct analysis model, propose translation method to formal specification necessary to uniform and standard. The translated model provide to correctness, consistency and completeness. If it is happen to error in the VDM specification, we can verify model to adapt initial object model step. It increase correctness to retrieval, reduce the costs and efforts of after development because of the verified model used to basic specification in design step.

• Journal of Korea Society of Industrial Information Systems
• /
• v.13 no.3
• /
• pp.31-37
• /
• 2008

MPEG 4 Part 20 LASeR (ISO/IEC 14496 20) is a specification designed to deliver rich media services in a mobile environment. The specification is an emerging standard that can replace the MPEG 4 BIFS specification designed to deliver PC based heavyweight media contents. The specification describes the representation of scene information in a resource constrained mobile environment. Unlike the BIFS standard designed to deliver heavyweight rich media, the LASeR specification has a restricted description that conforms to the SVG Tiny 1.2 specification. Also, the specification has an advantage of allowing for the efficient conversion of one graphics format to another. In this paper, we present the design and the implementation of a LASeR authoring system that allows for fast and efficient creation of interactive rich media contents in a mobile environment. The Gill interface of the authoring system presented in this paper allows users, who do not have prior knowledge of the scene description language, to conveniently create contents and store the produced scenes using the internal list data structure. The system allows users to navigate scene objects internally stored and to create LASeR XML files in the structured XML format.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.20 no.4
• /
• pp.739-746
• /
• 2016

The real-time railway safety monitoring and control system is for prevention of safety accidents, and this system adopts DDS (Data Distribution Service) standard based data transmission method to support integrated management of data from existing on-site safety detection devices. In this paper, we introduce the design of DDS-based data specification from on-site signal equipment on the conventional railway. For this, we (1) design UML data model of KRS SG 0062 standard which defines existing data specification, (2) define DDS Topics for DDS transmission and map KRS model to DDS Topic model, (3) suggest data transformation rules and (4) design network control QoS polices. In addition, we analysis actual on-site log data and validate our data specification design. DDS-based data transmission enables data compatibility among on-site devices and the real-time railway safety monitoring and control system, and allows efficient network management for a large amount of data transfer.

• Journal of the Korea Society of Computer and Information
• /
• v.7 no.2
• /
• pp.34-39
• /
• 2002

This paper proposed a kind of software component specification method based on XML. We define a document type definition(DTD) of software component specification for the XML representation of a component. The semantic relationship of the component elements in diagrams of component specification must be Presented by the XML tag. This paper also designs the supporting tool for the representation of the software component specification.

• Journal of the Korea Society of Computer and Information
• /
• v.13 no.3
• /
• pp.45-55
• /
• 2008

Due to the increasing complexity of embedded system design, automatic code generation of embedded software and hardware-software co-design methodologies are gaining great interest from industries and academia. Such an automatic design methodologies are always demanding a formal system specification languages for defining designer's idea clearly and precisely. In this paper, we propose automatic embedded C code generation from SDL (Specification and Description Language, ITU-T recommended the SDL as a standard system description language) with considering a real-time uC/OS-II operating system. Our automatic embedded C code generator is expected to provide a fast specification, verification and performance evaluation platform for embedded software designs.

• Proceedings of the IEEK Conference
• /
• 2000.07a
• /
• pp.410-413
• /
• 2000

This paper suggests a methodology in which control signals for high-level synthesis are generated from SDL specification. SDL is based on EFSM(Extended Finite State Machine) model. Data path and control part are partitioned into representing data operations in the from of scheduled data flow graph and process behavior of an SDL code in forms of an abstract FSM. Resource allocation is performed based on the suggested architecture model and local control signals to drive allocated functional blocks are incorporated into an abstract FSM extracted from an SDL process specification. Data path and global controller acquired through suggested methodology are combined into structural VHDL representation and correctness of behavior for final circuit is verified through waveform simulation.

• Steel and Composite Structures
• /
• v.45 no.4
• /
• pp.513-533
• /
• 2022

This study presents similarities and differences between Turkish Building Code for Steel Structures, which are TS 648 and SDCCSS (Specification for Design, Calculation and Construction of Steel Structures) in terms of the design of the members. Hot-rolled I-shaped steel sections for symmetrical and U-shaped steel sections (i.e., channels) for monosymmetric sections were elaborated in detail. The design strength of tension members under tensile load, compression members under axial load and flexural members under flexure and shear were examined separately. Connection details for tension members, slenderness for compression members and distance between lateral supports for flexural members were considered as prime variables. Analysis results revealed the design strength of the tension members where at least one of the cross-sectional parts is not connected to the connection plates, I-shaped compression members where a slenderness ratio is below 39 (𝛌<39), U-shaped compression members and flexural members where L_b is between L_p and L_r (L_pb≤L_r) designed based on TS 648 are greater than those designed based on SDCCSS 2018. Strength differences between the specification can reach 79% for tensile members, 13% for compression members and 9% for flexural members.

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

This paper presents optimal recursive digital filter design to meet simultaneous specifications of magnitude and linear phase characteristics. As is well known, the overshoot in the vicinity of discontinuity is hight. The technique using linear programming (the dual programming) is choosing more specification points in the vicinity of band limit frequency. The resulting filter can shown improved response and numerical accuracy with reduced nonuniform specification points in frequency domain.