• Journal of Electrical Engineering and information Science
• /
• v.2 no.6
• /
• pp.43-47
• /
• 1997

A procedure presented in this paper generates test sequences to check the conformity of an implementation with a protocol specification, which is modeled as a deterministic finite state machine (FSM). Given a FSM, a common procedure of test sequence generation, first, constructs a directed graph which edges include the state check after each transition, and produces a symmetric graph G* from and, finally, finds a Euler tour of G*. We propose a technique to determine a minimum-cost tour of the transition graph of the FSM. The proposed technique using Multiple Unique State Signature (MUSS) solves an open issue that one MUIO sequence assignment may lead to two more edges of unit cost being replicated to from G* while an optimal assignment may lead to the replication of a single edge of high cost. In this paper, randomly generated FSMs have been studied as test cases. The result shows that the proposed technique saves the cost 4∼28% and 2∼21% over the previous approach using MUIO and MUSP, respectively.

• Structural Engineering and Mechanics
• /
• v.12 no.3
• /
• pp.313-328
• /
• 2001

A multi-span bridge has the peak value of resultant girder moment or membrane stress at the interior support. In this paper, the spline finite strip method (FSM) is modified to obtain the more appropriate solution at the interior support where the peak values of solution exist. The modification has been achieved by expressing the shape function with non-periodic B-splines which have multiple knots at the boundary. The modified B-splines have the useful feature for interpolating the curve with sudden change in curvature. Moreover, the modified spline FSM is very efficient in analyzing multi-span box girder bridges, since a bridge can be modeled by an assembly of strips extended along the entire bridge length. Numerical examples of the bridge analysis have been performed to verify the efficiency and accuracy of the new spline FSM.

• Steel and Composite Structures
• /
• v.28 no.1
• /
• pp.25-37
• /
• 2018

For the first time, the parametric instability characteristics of tow-steered variable stiffness composite laminated (VSCL) cylindrical panels is investigated using B-spline finite strip method (FSM). The panel is considered containing geometrical defects including cutout and delamination. The material properties are assumed to vary along the panel axial length of any lamina according to a linear fiber-orientation variation. A uniformly distributed inplane longitudinal loading varies harmoni-cally with time is considered. The instability load frequency regions corresponding to the assumed in-plane parametric load-ing is derived using the Bolotin's first order approximation through an energy approach. In order to demonstrate the capabili-ties of the developed formulation in predicting stability behavior of the thin-walled VSCL structures, some representative results are obtained and compared with those in the literature wherever available. It is shown that the B-spline FSM is a proper tool for extracting the stability boundaries of perforated delaminated VSCL panels.

• The Bulletin of The Korean Astronomical Society
• /
• v.36 no.1
• /
• pp.75.2-75.2
• /
• 2011

한국천문연구원은 GMT (Giant Magellan Telescope)의 부경 중의 하나인 FSM (Fast Steering Mirror)의 시험모델을 개발 중이다. 구경 1.06m의 비축 비구면 반사경을 시험제작하기 위하여 경량화 설계를 하였고 실제 가공 준비를 하고 있다. 반사경의 tip-tilt 제어를 위해서는 mathmatical model을 작성하고 실제 test-bed를 제작하였다. 이 논문에서는 FSM 시험모델의 개발 현황에 대해 논한다.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.8
• /
• pp.2152-2162
• /
• 1997

We developed an approach to automatically synthesize time-stationary controllers for a given pipelined data path of Application Specific Integrated Circuits (ASICs). This work consists of automated production of control specifications and Finite State Machine (FSM) Optimization. A FSM controller is implemented by performing horizontal partitioning so as to minimize the total controller area. We compared our approach to published work on FSM generation and optimization, and the results indicate large savings in total controller area.

• Proceedings of the KIEE Conference
• /
• 2009.04b
• /
• pp.136-138
• /
• 2009

A new class of electronically commutated brushless motor, the flux-switching motor(FSM) is gradually emerging in power tools and household appliances especially fan application. This motor offers advantages of both high-power density and relatively high efficiency This paper presents the principle of the FSM and design of the 12/6 pole FSM drive system. Finally, test results of the prototype motor are provided to verify a validity of the fan application.

• Journal of the Korean Institute of Navigation
• /
• v.24 no.1
• /
• pp.35-45
• /
• 2000

Recently, in the shipping companies have been employing prudently in order to prevent from sea accidents occurred by human factors. Also the students of merchant marine universities are choosing prudently the shipping companies when taking a job. But many qualitative and quantitative factors are considered in decision making for the employment and the choice of a company. FSM(Fuzzy Structural Modeling) has been widely used in modeling the system composed of such qualitative and quantitative factor. In this paper, a case study is discussed for the analysis of the consciousness of the employment of shining companies and students' choice of such company in maritime university using FSM. Also this paper proposed the planes for educating and recruitment guiding the student in maritime university.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.30 no.2A
• /
• pp.137-146
• /
• 2005

IP-based design methodology has been popularly employed for SoC design to reduce design complexity and to cope with time-to-market pressure. Interface modules for communication between system buses and IPs are required, since many IPs employ different protocols. Automatic generation of these interface modules would enhance designer's productivity and IP's reusability. This paper proposes an automatic interface generation system based on FSM generated from the protocol description of IPs. The proposed system provides the library modules for the standard buses to reduce the burdens of describing the protocols for data transfer from/to standard buses. Experimental results show that the area of the interface circuits generated by the proposed system had been increased slightly by 4.5% on the average when compared to manual designs. In the experiment, where bus clock is 100 Mhz and slave module clock is 34 Mhz, the latency of the interface had been increased by 7.1% in burst mode to transfer 16 data words. However, occupation of system bus can be reduce by 64.9%. A chip designer can generate an interface that improves the efficiency of system bus, by using this system.

• Journal of Korean Society of Steel Construction
• /
• v.19 no.5
• /
• pp.515-526
• /
• 2007

In this study, the models and methods for the safety assessment of Steel-Concrete Hybrid Cable-Stayed Bridge, which consists of steel composite girder and concrete girder erected by the FCM(Free Cantilever Method) and FSM(Full Staging Method) are proposed for the assurance of structural safety and the prevention against bridge collapse during construction. By the structural reliability approach that reasonably considers the uncertainties associated with the resistance and the load effect, the resistance and the load distribution characteristics of Steel-Concrete Hybrid Cable-Stayed Bridgeare defined and the strength limit state equations of permanent structures and temporary structures during construction are suggested. An AFOSM algorithm and MCS technique are used for the reliability analysis of cables, pylons, girders, steel-concrete conjunction part and temporary bents. Also, component reliability analyses are performed at the construction stages based on the structural system model. To demonstrate their rationality and practicality, the proposed models and approaches are applied to a real bridge. The sensitivity analyses of main parameters are performed in order to identify the critical factors that control the safety of similar bridges. As a result, it may be stated that the proposed models could be implemented as a rational and practical approach for the safety assessment of Steel-Concrete Hybrid Cable-stayed bridges erected by FCM and FSM during construction.

• Journal of Korea Port Economic Association
• /
• v.34 no.3
• /
• pp.113-132
• /
• 2018

Mokpo port marked the $131^{st}$ anniversary of its opening in 2018. while the Mokpo has taken the new port development initiatives, it is limited by inefficient port functioning due to the lack of maritime port policy and government investment. Hence, port logistics has not been activated. Additionally, studies on Mokpo port have not been conducted, and knowledge available on the port is declarative in nature. On the other hand, research on port competitiveness focuses on how to analyze the factors that determine port competitiveness. Therefore, this study was intended to expand the existing research on Mokpo port and conduct an analysis of non-competitiveness factors and suggested improvements by considering the operational aspect of Mokpo port. In this regard the importance of non-competitiveness factors was assessed through an analytic hierarchy process(AHP) analysis and the influence of the non-competitiveness factors was analyzed through an fuzzy structural modeling(FSM) analysis. The result of the AHP analysis show ed the important non-competitiveness factors included the deactivation of industrial complexes around Mokpo port, the number of liner route, the cost of the pilot and tug. Accor ding to the FSM analysis, the top level included the non-competitive factors at Mokpo port; the intermediate level included the number of liner routes, cost of pilot and tug, enrance and clearance fee, costs of inland transportation, fee for port facilities, and loading and unloading costs; and the bottom level comprised the most non-competitive factors including the deactivation of industrial complexes around Mokpo port, hinterland connectivity, access to international port, incentives, and cost of transportation and storage. Based on the results of analysis, improvements were suggested for non-competitive factors of Mokpo.