• Communications of the Korean Mathematical Society
• /
• v.30 no.3
• /
• pp.169-176
• /
• 2015

A sequence of composition operators on Hardy space is considered. We prove that, by numerical range properties, it is SOT-convergence but not converge.

• Journal of Ocean Engineering and Technology
• /
• v.12 no.1
• /
• pp.10-22
• /
• 1998

In the present work the elastic-plastic FE formulations using dynamic explicit time integration schemes are used for numerical analysis of a large auto-body panel stamping processes. For analyses of more complex cases with larger and more refined meshes, the explicit method is more time effective than implicit method, and has no convergency problem and has the robust nature of contact and friction algorithms while implicit method is widely used because of excellent accuracy and reliability. The elastic-plastic scheme is more reliable and rigorous while the rigid-plastic scheme require small computation time. In finite element simulation of auto-body panel stamping processes, the roobustness and stability of computation are important requirements since the computation time and convergency become major points of consideration besides the solution accuracy due to the complexity of geometry conditions. The performnce of the dynamic explicit algorithms are investigated by comparing the simulation results of formaing of complicate shaped autobody parts, such as a fuel tank and a rear hinge, with the experimental results. It has been shown that the proposed dynamic explicit elastic-plastic finite element method enables an effective computation for complicated auto-body panel stamping processes.

• Journal of Advanced Navigation Technology
• /
• v.14 no.3
• /
• pp.409-414
• /
• 2010

Recently, It has enlarged various service requirements for the market of elevator with the environment of IT convergency. In this paper, we propose the information and control system of elevator based on media streaming service that is extended from the existing control system of an elevator. There is the service environments based on Internet for architecture of information communication in the framework of the suggested streaming service. We use this framework to operate and integrate the various services of elevator system. And also, we so apply to the user requirements easily that we can construct the smart elevator environment by convergence home network and various electronic devices based on IT.

• Journal of Environmental Science International
• /
• v.24 no.5
• /
• pp.647-655
• /
• 2015

In this study, to targeting Songpa of Seoul, were analyzed the effect on the noise mitigation in roadside buffer green spaces. Noise of Songpa Street buffer green space was determined to be higher during the day than at night. In addition, it was most of 60 db or more. However, the noise reduction function of the buffer green was not greatly affected by time. In the case of noise reduction rate, during the day time it was the order of the mounding type (18.14%)> plain type (5.73%)> slope type (4.08%), And, in the case of night time, it was the order of the mounding type (11.29%)> slope type (10.22%)> plain type (4.42%). Noise reduction rate, all of the daytime, was the highest in the mounding type. As a result of the factors on the amount of reduction of noise, More physical structure is mounding type, green structure is the stratification of green space, and the number of individuals is large, the higher the tree planting density, it is determined that the noise reduction effect is high. Also, factors affecting the noise reduction effect of the day and night were different.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.14 no.4
• /
• pp.121-125
• /
• 2014

Recently, many of people concentrates on the importance of elevator safety system for the elevator accident of traction machine malfunction. Also, IT convergence has enlarged various field for the effort of enhanced traditional industry. In this paper, we define that the safety is to minimize the dangerous factor, then explain the rules of elevator installation. Through the expert's decision we could find out the dangerous factors are poor check, malfunction of amalgamative and user's mistake. We propose the IT convergence managing system for the effective alternative method of elevator safety system.

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 1996.06a
• /
• pp.97-109
• /
• 1996

In the present work computations are carried out for analysis of complicated sheet metal forming process such as forming of a rear hinge. Finite element formulation using dynamic explicit time integration scheme and step-wise combined Implicit/Explicit scheme are introduced for numerical analysis of sheet metal forming process. The rigid-plastic finite element method based on membrane elements has long been employed as a useful numerical technique for the analysis of sheet metal forming because of its time effectiveness. The explicit scheme in general use is based on the elastic-plastic modelling of material requiring large computation time. In finite element simulation of sheet metal forming processes, the robustness and stability of computation are important requirements since the computation time and convergency become major points of consideration besides the solution accuracy due to the complexity of geometry and boundary conditions. The implicit scheme employs a more reliable and rigorous scheme in considering the equilibrium at each step of deformation, while in the explicit scheme the problem of convergency is eliminated at the cost of solution accuracy. The explicit approach and the implicit approach have merits and demerits, respectively. In order to combine the merits of these two methods a step-wise combined implicit/explicit scheme has been developed.

• 한국어정보학회:학술대회논문집
• /
• 2016.10a
• /
• pp.317-320
• /
• 2016

기계학습 기반의 자연어처리 모듈에서 중요한 단계 중 하나는 모듈의 입력으로 단어를 표현하는 것이다. 벡터의 사이즈가 크고, 단어 간의 유사성의 개념이 존재하지 않는 One-hot 형태와 대조적으로 유사성을 표현하기 위해서 단어를 벡터로 표현하는 단어 표현 (word representation/embedding) 생성 작업은 자연어 처리 작업의 기계학습 모델의 성능을 개선하고, 몇몇 자연어 처리 분야의 모델에서 성능 향상을 보여 주어 많은 관심을 받고 있다. 본 논문에서는 Word2Vec, CCA, 그리고 GloVe를 사용하여 106,552개의 PubMed의 바이오메디컬 논문의 요약으로 구축된 말뭉치 카테고리의 각 단어 표현 모델의 카테고리 분류 능력을 확인한다. 세부적으로 나눈 카테고리에는 질병의 이름, 질병 증상, 그리고 난소암 마커가 있다. 분류 능력을 확인하기 위해 t-SNE를 이용하여 2차원으로 단어 표현 결과를 맵핑하여 가시화 한다. 2차원으로 맵핑된 결과 값을 코사인 유사도를 사용하여 질병과 바이오 마커간의 유사도를 구한다. 이 유사도 결과 값 상위 20쌍의 결과를 가지고 실제 연구가 되고 있는지 구글 스콜라를 통해 관련 논문을 검색하여 확인하고, 검색 결과를 점수화 한다. 실험 결과 상위 20쌍 중에서 85%의 쌍이 실제적으로 질병과 바이오 마커 간의 관계를 파악하는 방향으로 진행 되고 있으나, 나머지 15%의 쌍에 대해서는 실질적인 연구가 잘 되고 있지 않은 것으로 파악되었다.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.14 no.6
• /
• pp.159-162
• /
• 2014

Recently, from 2008 to 2012, there are many of elevator safety patents from patent office survey. In this paper, we analyzed the elevator safety patent from 2009 to 2013, found out safety factor is safety control, emergency stop equipment and door opening equipment. Through reliability statistics, we defined the most important things for safety elevator factor is this three things, studied the reason about many patents. Finally, we propose the Kinect Scada elevator system for prevention safety accident.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.14 no.6
• /
• pp.163-167
• /
• 2014

From Korea Elevator Safety Institute's report, the major accident factor of elevator is user's mistake, 60%. It means that the necessity of simple monitoring system. In this paper, we explain the standard of elevator safety check and the rate of accidents, then compare with old elevator managing system and new elevator managing system based on IOT technology. Also, we explain the reliability statistics of smart managing system based on expert's decision. Finally, we propose the smart managing system as the alternative method for decreasing the accident factor of elevator.

• The Journal of the Acoustical Society of Korea
• /
• v.16 no.6
• /
• pp.85-93
• /
• 1997

Fixed systems are limited in their performances to achieve the more complicated and higher level operations. Accordingly adaptive system, which adjusts itself in accorance with the time-varying environments, has been introduced to camouflarge the defficiency of fixed systems in varying environment, and adaptive filter is the outstanding fields in adaptive system. Adaptive recursive filter is far more efficient in that it can perform the signal processing with relatively lower filter order, but there remains severe problem in stability(convergency). On the basis of hyperstability introduced by V.M. Popov, a hyperstable new adaptive recursive filter is introduced which is theoretically guaranteed in stability. In this paper a more stable algorithm for adaptive recursive filter is devised.