• Structural Engineering and Mechanics
• /
• v.47 no.3
• /
• pp.307-329
• /
• 2013

The bending problem of Euler-Bernoulli discontinuous beams is dealt with, in which the discontinuities are due to the loads and eventually to essential constrains applied along the beam axis. In particular, the loads are modelled as random delta-correlated processes acting along the beam axis, while the ulterior eventual discontinuities are produced by the presence of external rollers applied along the beam axis. This kind of structural model can be considered in the static study of bridge beams. In the present work the exact expression of the response quantities are given in terms of means and variances, thanks to the use of the stochastic analysis rules and to the use of the generalized functions. The knowledge of the means and the variances of the internal forces implies the possibility of applying the reliability ${\beta}$-method for verifying the beam.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2004.08a
• /
• pp.123-128
• /
• 2004

A lot of efforts have been made to improve maritime safety by means of enhancing safety legislation and verifying the compliance thereof. However, with the development of mutual insurance, it is contributing more and more to better maritime safety. The P＆I clubs to be discussed in the paper are now not only exercising controls and providing guidance in event of emergencies, but also keeping close and continuous monitoring over safety operations and conditions of those vessels entered, through their world-wide network and advanced communication, and by professional accident-handling teams. In view of this, it is necessary to discuss the roles of commercial shipping and the close linkage between it and onboard safety practices. The paper looks at first basic principles in maritime insurance, and then focuses on the rules and activities of P＆I clubs and their implications upon shipboard operations.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.525-527
• /
• 2000

본 논문에서는 최근 객체지향 설계에 많이 사용되고 있는 UML 다이아그램들의 일관성과 완전성을 해결하기 위하여 UML 의 각 다이아그램을 ER 모델로 표현하고, 각 다이아 그램에 대한 공통된 표현으로 통합된 ER 다이아그램을 제공하며 일련의 집합과 함수들을 사용하여 정형적으로 명세한 다음 이러한 정형 명세를 기반으로하여 일관성을 완전성 검사를 수행하기 위한 규칙을 제공한다. 이 규칙은 다이아그램의 구문(syntax)과 의미(semantic)에 대하여 모두 검사할 수 있게 하기 위하여 구문 완전성, 구문 일관성, 의미 완전성, 의미 일관성으로 나누어 생성한다. 이렇게 생성된 규칙들은 추후 CASE 도구에 포함되어 다이아그래밍의 일관성 및 완전성을 검사할 수 있는 CASE 도구로 발전할 수 있게 된다.

• International Journal of Ocean System Engineering
• /
• v.2 no.2
• /
• pp.97-105
• /
• 2012

A all floating structures operating within a limited area require, stationkeeping to maintain the motions of the floating structure within permissible limits. In this study, methods for selecting and optimizing the mooring system Caisson for floating wind turbines in shallow water are investigated. The design of the mooring system is checked against the governing rules and standards. Adequately verifying the design of floating structures requires both numerical simulations and model testing, the combination of which is referred to as the hybrid method of design verification. The challenge in directly scaling moorings for model tests is the depth and spatial limitations of wave basins. It is therefore important to design and build equivalent mooring systems to ensure accurate static properties (global restoring forces and global stiffness).

• Journal of the Korean Society of Marine Environment & Safety
• /
• v.22 no.7
• /
• pp.807-813
• /
• 2016

The Maritime Traffic Safety Audit Scheme was institutionalized in 2009 to provide for professional surveys, measurement and the evaluation of navigational hazards that might occur in coastal waters in the course of marine work. Related researches that dealt with the reform of the Maritime Traffic Safety Audit Scheme found that there were no rules or regulations for verifying whether marine work conformed to audit results and reviewing the exactitude of ship handling simulations which were a crucial part of the scheme. According to the necessity of adopting an ex post facto management system in the field of maritime traffic, this study analyzed the similar audit acts such as the Natural Environment Impact Audit Scheme and the Road Traffic Safety Audit Scheme, and proposed specific articles for revising Maritime Safety Act in order to break out from the institutional inertia of the current Maritime Traffic Safety Audit Scheme. It is expected that a newly proposed legal system for verifying the performance of audit results and the exactitude of audits will help improve maritime traffic safety by eradicating potentially hidden hazards related to marine work.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.35 no.12B
• /
• pp.1758-1765
• /
• 2010

This paper proposes an architecture exploration methodology for the design of embedded cores exploiting design hierarchy. The proposed method performs systematic architecture exploration by taking different approaches for verifying designs and estimating performances depending on the hierarchy level in design process. Performance estimation tools generate profile having performance data related with design modules of an embedded core. Profile analyzer performs data-mining to acquire association rules between the design modules and performance parameters. Inference engine in the profile analyzer updates the association rules which will be used to improve the design performance at next exploration steps. To show the efficiency of the proposed architecture explorations methodology, experiments had been performed for JPEG encoder, Chen-DCT, and FFT application functions. The embedded cores designed by taking the proposed method show performance improvement by 60.8% in terms of clock cycles on the average when compared with the initial embedded core in MIPS R3000.

• Journal of the Korean Society for Precision Engineering
• /
• v.21 no.3
• /
• pp.30-37
• /
• 2004

This thesis develops a fuzzy-PID control algorithm for control the filament winding tension. It is developed by applying classical PID control technique to a fuzzy logic controller. It is composed of a fuzzy-PI controller and a fuzzy-D controller. The fuzzy-PI controller uses error and integrated error as inputs, and the fuzzy-D controller uses derivative of error as input. The fuzzy-PI controller uses Takagi-Sugeno fuzzy inference system, and the fuzzy-D controller uses Mamdani fuzzy inference system. The fuzzy rule base for the fuzzy-PI controller is designed using 19 rules, and the fuzzy rule base for the fuzzy-D controller is designed using 5 rules. A test-bed is set-up for verifying the effectiveness of the developing control algorithm in control the filament winding tension. It is composed of a mandrel, a carriage, a force sensor, a driving roller, nip rollers, a creel, and a real-time control system. Nip rollers apply a vertical force to a filament, and the driving roller drives it. The real-time control system is developed by using MATLAB/xPC Target. First, experiments for showing the inherent problems of an open-loop control scheme in a filament winding are performed. Then, experiments for showing the robustness of the developing fuzzy-PID control algorithm are performed under various working conditions occurring in a filament winding such as mandrel rotating speed change, carriage traversing, spool radius change, and reference input change.

• THE INTERNATIONAL COMMERCE & LAW REVIEW
• /
• v.55
• /
• pp.243-264
• /
• 2012

This study is aimed to analyze problems related to FTA country of origin of goods verification which is increasing from 2006 and thereby to grope for solution of such problems and seek adequate FTA performance administration. It is found, through comparative analysis and statistics of last 8 FTAs so far Korea has concluded that there are major problems such as excessive verification processing due to complicated country of origin regulation etc. This paper suggests following policies of country of origin administration ; (1) Simplification of FTA country of origin rules (2) reciprocal cooperation between each country's Customs Authorities based on trust (3) rational measurement against corresponding country's Customs Authorities' misbehavior (4) enhancement of transparency in relation to processing rule of country of origin verification (5) securing FTA country of origin verification experts. For these improvements, upcoming FTA shall rule country of origin reasonably, simplification and transparency of rule is needed for established FTAs in relation to FTA performance administration with corresponding countries. Also it is necessary to revise FTA preferential tariff law and its related laws, and carry forward policies in accordance with medium and long term plan.

• Journal of the Korean Academy of Child and Adolescent Psychiatry
• /
• v.28 no.4
• /
• pp.192-196
• /
• 2017

Social (pragmatic) communication disorder (SCD) is a new diagnosis included under communication disorders in the neurodevelopmental disorders section of Diagnostic and Statistical Manual of Mental Disorders-5. SCD is defined as a primary deficit in the social use of nonverbal and verbal communication. SCD has very much in common with pragmatic language impairment, which is characterized by difficulties in understanding and using language in context and following the social rules of language, despite relative strengths in word knowledge and grammar. SCD and Autism Spectrum Disorder (ASD) are similar in that they both involve deficits in social communication skills, however individuals with SCD do not demonstrate restricted interests, repetitive behaviors, insistence on sameness, or sensory abnormalities. It is essential to rule out a diagnosis of ASD by verifying the lack of these additional symptoms, current or past. The criteria for SCD are qualitatively different from those of ASD and are not equivalent to those of mild ASD. It is clinically important that SCD should be differentiated from high-functioning ASD (such as Asperger syndrome) and nonverbal learning disabilities. The ultimate goals are the refinement of the conceptualization, development and validation of assessment tools and interventions, and obtaining a comprehensive understanding of the shared and unique etiologic factors for SCD in relation to those of other neurodevelopmental disorders.

• The Korean Journal of Elementary Counseling
• /
• v.7 no.1
• /
• pp.67-90
• /
• 2008

The purpose of this study was to examine the effects of solution focused group counseling program on peer relationship and school life adaption of elementary school children. The subjects in this study were the 4th graders at S Elementary School in Ansan, Gyeonggi-do. 20 students were selected through the preliminary test of peer relationship and school life adaption, that is to say, each 10 students of experimental group and control group. A solution focused group counseling program was provided by researcher to the experimental group in six sessions once or twice a week, 60 minutes each. but control group was not conducted for any program. In verifying of the program effects in this study, KOREAN SPSS/WIN(version 12.0) is used for statistical analysis. The major findings of this study are as follows: First, solution focused group counseling program has a positive effect on all parts of sub-factors of peer relationship except to union life between friends. Second, solution focused group counseling program has a effect on the school life adaption of elementary and its all parts of sub-factors except to school rules. As noted above, it is proved that solution focused group counseling program has a positive effect to improve parts of sub-factors of peer relationship and school life adaption. Accordingly, it is necessary to feel satisfaction and Qualitative improvement in peer relationship and help school life adaptation of elementary school children through solution focused group counseling program.