• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.4
• /
• pp.265-269
• /
• 2009

Formal specification plays important roles in guaranteeing software safety of safety-critical systems such as nuclear power plant's digital control systems. We had developed a technique [1] which synthesizes Function Block Diagram(FBD) programs from NuSCR formal requirements specifications, but it did not be used widely as it had no automatic tool support. FBD is one of the programming languages for Programmable Logic Controllers(PLC) based system. This paper introduces a CASE tool, NuSCRtoFBD, developed to automate the synthesis procedure. The CASE tool NuSCRtoFBD can reduce a number of errors occurred in the process of manual FBD programming.

• Advances in biomechanics and applications
• /
• v.1 no.3
• /
• pp.211-225
• /
• 2014

The usual assumption that the increase of fractures in aging bone is due entirely to lower bone density is taken back with respect to the possibility that aging bone fractures result from a loss of stability, or buckling, in the structure of the bone lattice. Buckling is an instability mode that becomes likely in end-loaded structures when they become too slender and lose lateral support. The relative importance of bone density and architecture in etiology bone fractures are poorly understood and the need for improved mechanistic understanding of bone failure is at the core of important clinical problems such as osteoporosis, as well as basic biological issues such as bone formation and adaptation. These observations motivated the present work in which simplified adaptive-beam buckling model is formulated within the context of the adaptive elasticity (Cowin and Hegedus 1976, Hegedus and Cowin 1976). Our results indicate that bone loss activation process leads systematically to the apparition of new elastic instabilities that can conduct to bone-buckling mechanism of fracture.

• Journal of the Korea Computer Industry Society
• /
• v.2 no.11
• /
• pp.1365-1372
• /
• 2001

We have suggested three learning rules and implemented an experimental system that automatically restructures hypertext networks according to their user browsing behavior. The system applies link weights to the hypertext networks and updates these weights according to the learning rules. The learning rules are based on how often a particular hyperlink is being traversed and operate on strictly local information of link traversals. Changes in network structure are fed back to users by dynamic link ordering according to descending link weight. This approach is used collaborative filtering and navigation support techniques. The system has been investigation to be able to structure random hypertext networks into valid representations of their user browsing preferences in experiments.

• Korean Journal of Fisheries and Aquatic Sciences
• /
• v.14 no.3
• /
• pp.171-178
• /
• 1981

The growth of Sebastes alutus was studied by scale reading to check the change of growth rate at the early stage of life. Lee's phenomenon was recognized on the scale measurements except thc first ring radius. No evidence was found to support the change of growth rate at early stage. Von Bert-alanffy's growth equation was estimated with the back-calculated fork lengths, $1_t=357.8(1-e^{-0.6124(t+1.8566)}),\;and\;W_{\infty}=784.4g$

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.32 no.5B
• /
• pp.286-294
• /
• 2007

In ASIP design, compiler is required for performance evaluation of processors being designed. The design of machine specific compiler is time consuming. This paper presents the system which generates C compiler from MDL descriptions. Compiler generation using MDL can support user retargetability and concurrency between compiler design and processor design. However, it must overcome semantics gap between compiler and machine. To handle this problem, the proposed system maps behavioral descriptions to library which contains abstract behavior for each tree pattern. Using mapped instructions and information on register file usage, the proposed system generates back-end interface function of the compiler. Generated compilers, for MIPS R3000, ARM9 cores, have been proved by application programs written in C code.

• Journal of Mechanical Science and Technology
• /
• v.17 no.12
• /
• pp.1969-1976
• /
• 2003

In the early phases of the product life cycle, Life Cycle Assessment (LCA) is recently used to support the decision-making for the product concepts, and the best alternative can be selected based on its estimated LCA and benefits. Both the lack of detailed information and time for a full LCA for a various range of design concepts need a new approach for the environmental analysis. This paper explores a new approximate LCA methodology for the product concepts by grouping products according to their environmental characteristics and by mapping product attributes into environmental impact driver (EID) index. The relationship is statistically verified by exploring the correlation between total impact indicator and energy impact category. Then, a neural network approach is developed to predict an approximate LCA of grouping products in conceptual design. Trained learning algorithms for the known characteristics of existing products will quickly give the result of LCA for newly designed products. The training is generalized by using product attributes for an EID in a group as well as another product attributes for the other EIDs in other groups. The neural network model with back propagation algorithm is used, and the results are compared with those of multiple regression analysis. The proposed approach does not replace the full LCA but it would give some useful guidelines for the design of environmentally conscious products in conceptual design phase.

• International Journal of Naval Architecture and Ocean Engineering
• /
• v.8 no.5
• /
• pp.496-510
• /
• 2016

Simulation technology is a type of shipbuilding product lifecycle management solution used to support production planning or decision-making. Normally, most shipbuilding processes are consisted of job shop production, and the modeling and simulation require professional skills and experience on shipbuilding. For these reasons, many shipbuilding companies have difficulties adapting simulation systems, regardless of the necessity for the technology. In this paper, the data model for shipyard production simulation model generation was defined by analyzing the iterative simulation modeling procedure. The shipyard production simulation data model defined in this study contains the information necessary for the conventional simulation modeling procedure and can serve as a basis for simulation model generation. The efficacy of the developed system was validated by applying it to the simulation model generation of the panel block production line. By implementing the initial simulation model generation process, which was performed in the past with a simulation modeler, the proposed system substantially reduced the modeling time. In addition, by reducing the difficulties posed by different modeler-dependent generation methods, the proposed system makes the standardization of the simulation model quality possible.

• Journal of the Ergonomics Society of Korea
• /
• v.23 no.4
• /
• pp.45-56
• /
• 2004

The purpose of this study is to evaluate perceived discomfort of working postures in terms of upper body (back, shoulder, and elbow) flexions when an external load varies. Eighteen subjects participated in an experiment of appraising perceived discomfort of varying upper body postures with three levels of external loads given. The ANOVA results showed that the perceived discomfort of upper body postures was significantly affected by the external load. It was also apparent that the interactions between external load and upper body posture were significant (p< 0.001). The result implies that a new posture classification scheme for workload assessment methods may be in need to reflect such interactions between external load and upper body posture. In order to support the statement, a regression model of perceived discomfort of upper body postures obtained from the experiment was developed and compared to that of perceived discomfort of seven work-related postures found in automobile assembly operations. The correlation coefficient between predicted and actual values of perceived discomfort was about 0.96. It is expected that the result help to properly estimate the body stress resluting from worker's postures and external loads and can be used as a valuable design guideline on preventing work-related musculoskeletal diseases in industry.

• Proceedings of the KSR Conference
• /
• 2005.05a
• /
• pp.610-614
• /
• 2005

Rock mass classification by using electrical resistivity tomography(ERT) method is widely performed for the determination of rock support type in tunnel design. In the region of high electrical noise level, however, the result of the ERT will have many erroneous features. In this study, the back ground electrical noise had been measured to find out the reason why the results of ERT in this area did not agree to the expected geology confirmed by boreholes. In order to overcome this limitation of ERT, a hybrid surface-borehole array seismic refraction tomography had been followed. Using this technique, we could get P-wave velocity section including the depth level of tunnel. The comparison of the P-wave velocity and RMR shows fairly good statistical relationship to make it possible to set up the rock mass classification for the entire tunnel line.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.2 no.2
• /
• pp.11-18
• /
• 1979

The purpose of this study is to establish a purchasing cost reduction program for the management practical use. The research method of this study is a bibliographical search of the materials available in the library at Keimyung University and the writer's private study, and the case analysis. The body of this study is divided into three sections. The first section deals with the purchasing management systems in terms of the nature and characters of purchasing management and purchasing cost in total management system. The second section includes purchasing cost reduction program through value analysis technique and the third section covers summary and the following conclusions : 1) Top management should be aware of the important position of purchasing activities from the cost point of view, and they should be aware that a good purchasing cost reduction program could be established through value analysis technique. 2) For such a purchasing cost reduction program to be carried out. effectively the management should support and back up the program. 3) There should be a training program to educate and develop the personnel who can manage and operate the purchasing cost reduction program through valuean analysis technique. 4) And cooperative system should be established in management and operative organization system from the total management systems, view for the effective use of the program.