• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10a
• /
• pp.469-474
• /
• 2006

전통적인 임베디드 시스템 개발은 하드웨어와 소프트웨어가 독립적으로 개발된다. 그러나 시스템 개발 후 오류 발생 시, 하드웨어와 소프트웨어 둘 중 어디에서 발생했는지 알아내기 어려웠다. 따라서 임베디드 시스템 개발을 위해 하드웨어/소프트웨어의 통합 설계 방법이 연구기관들에 의해 제시되어 왔다. 본 논문은 현실적으로 많이 사용되고 있는 일반 임베디드 시스템 개발 방법으로부터 접근하는 HW/SW 통합 개발 방법을 제안하였다. 즉, 이미 만들어진 하드웨어를 설계 단계로 끌어올려 정형 기법을 통해 하드웨어를 설계 및 정형 검증하여 견고한 하드웨어를 만들고, 이를 기반으로 소프트웨어를 정형 명세 및 검증하는 하드웨어/소프트웨어 통합 개발을 수행하였다. 따라서 개발 후 하드웨어 또는 소프트웨어에서 발생할 수 있는 오류를 최소화하고 오류가 발생하였다고 해도 개발 전에 설계상에서 오류를 수정할 수 있어 임베디드 시스템의 신뢰성을 보장하였다. 또한 설계 과정의 어떤 시점에서 개발 중인 가상의 하드웨어가 아닌 개발 완료된 하드웨어의 실제 코드를 테스트할 수 있으므로, 현실적인 임베디드 시스템 개발에 더 효과적인 하드웨어/소프트웨어 통합 개발 방법론을 제시하여 그 효율성을 높였다.

• Annual Conference of KIPS
• /
• 2001.04a
• /
• pp.193-196
• /
• 2001

본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템에 대한 재/역공학 측면에서의 개발 및 검증을 위한 코드 변환기를 설계한다. ATM은 모드(mede), 전이(transition), 포트(per)로 구성되는데, 순공학 과정에서 실시간 시스템을 설계, 명세 하는 기존의 정형기법과는 달리 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. ATM은 기존 정형기법이 순공학 과정에서의 특정 물리적 환경에서 실행되는 동적행위에 대한 부적절한 표현에 대해 순환공학에서 실시간 시스템의 속성은 물론 특정 환경과 동적 정보 등을 명세하기 위한 정형 기법으로서, 본 논문에서는 DoME을 이용하여 ATM 명세도구를 개발하고 이를 이용하여 실시간 시스템의 특정 요구사항을 위한 ATM을 명세한다. 또한 해당 ATM을 DOME/ATM 스크립트 파일로 저장하고 이에 대한 명세분석을 통해 노드와 관련된 정보를 추출하여 다른 분석도구가 이용할 수 있도록 DB에 저장하거나 매개 언어인 SRL/ATM으로 변환하며, 이러한 SRL/ATM으로부터 실행코드에 대한 관련 정보를 추출하여 실시간 시스템 개발 및 검증을 위한 Ada 코드를 생성할 수 있는 코드 변환기를 설계한다.

• Advances in aircraft and spacecraft science
• /
• v.5 no.3
• /
• pp.385-400
• /
• 2018

In this paper dynamic behavior (modal analysis and dynamic transient response) of a novel sandwich T-joint is numerically and experimentally investigated. An epoxy adhesive is selected for bonding purpose and making the step wise graded behavior of adhesive region. The effect of the step graded behavior of the adhesive zone on dynamic behavior of a sandwich T-joint is numerically studied. Finite element analysis (FEA) of the T-joints with carbon fiber reinforced polymer (CFRP) face-sheets is performed by ABAQUS 6.12-1 FEM code software. Modal analysis and dynamic half-sine transient response of the sandwich T-joint are presented in this paper. Two verification processes employed to verify the dynamic modeling of the manufactured sandwich panels and T-joint modeling. It has been shown that the step wise graded adhesive zone cases have changed the second natural frequency by about 5%. Also, it has been shown that the different arranges in the step wise graded adhesive zone significantly affect the maximum stresses due to transient dynamic loading by 1112% decrease in maximum peel stress and 691.9% decrease in maximum shear stress on the adhesive region.

• Structural Engineering and Mechanics
• /
• v.76 no.3
• /
• pp.367-378
• /
• 2020

This paper presents a new design concept for ocean nuclear power plants (ONPPs) using a tension leg platform (TLP). The system-integrated modular advanced reactor, which is one of the successful small modular reactors, is mounted for demonstration. The authors define the design requirements and parameters, modularize and rearrange the nuclear and other facilities, and propose a new total general arrangement. The most fundamental level of design results for the platform and tendon system are provided, and the construction procedure and safety features are discussed. The integrated passive safety system developed for the gravity based structure-type ONPP is also available in the TLP-type ONPP with minor modifications. The safety system fully utilizes the benefits of the ocean environment, and enhances the safety features of the proposed concept. For the verification of the design concept, hydrodynamic analyses are performed using the commercial software ANSYS AQWA with the Pierson-Moskowitz and JONSWAP wave spectra that represent various ocean environments and the results are discussed.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2015.05a
• /
• pp.212-212
• /
• 2015

So far, geomorphologic dispersion due to the heterogeneity characteristics of flow paths in a basin has been demonstrated as a major factor affecting to the hydrologic response function of a catchment. This effect has considered by many previous studies taking into account flow path length factors, especially in the application of width function. Based upon the analysis of topographic index, another important geomorphologic factor extracted from DEM data, this work presents a new factor named saturation to evaluate its effects to the formation of the well-known instantaneous unit hydrograph (IUH) in Nash model and drainage structure in a river basin. First, the geomorphologic parameters corresponding to different saturation conditions are computed from DEM data with the support of GIS software. Then, in the combination of hydrologic and geomorphologic data, effective rainfall in each saturation degree and the Nash parameters are calculated using excel. Finally, the verification process with direct runoff data is conducted using Fortran programming. This process is applied to five sub-watersheds in Bocheong catchment ($485.21km^2$) in Korea where the necessary data are available and believable. The results from this approach will improve researchers and students'understandings about the relationship between rainfall and runoff and its relation with drainage structure within a catchment.

• The Journal of the Convergence on Culture Technology
• /
• v.5 no.4
• /
• pp.457-465
• /
• 2019

This paper present developing methods of man-machine interface(MMI) system for smart temperature controller with android platform. This MMI system could communicate with mobile machine. Firstly we present electrical hardware design method of MMI system of smart temperature controller. Smart temperature controller is composed of dual processors. Secondly we develop operating software of MMI system using android development environment. And finally we present verification of MMI systems of smart temperature controller with android platform through field experiment. This MMI system with android platform has rapid development speed due to performance of android platform.

• Smart Structures and Systems
• /
• v.6 no.5_6
• /
• pp.545-559
• /
• 2010

This paper presents the results of a pilot study and verification of a concept of a novel methodology for damage detection and assessment of water distribution system. The unique feature of the proposed noninvasive methodology is the use of accelerometers installed on the pipe surface, instead of pressure sensors that are traditionally installed invasively. Experimental observations show that a sharp change in pressure is always accompanied by a sharp change of pipe surface acceleration at the corresponding locations along the pipe length. Therefore, water pressure-monitoring can be transformed into acceleration-monitoring of the pipe surface. The latter is a significantly more economical alternative due to the use of less expensive sensors such as MEMS (Micro-Electro-Mechanical Systems) or other acceleration sensors. In this scenario, monitoring is made for Maximum Pipe Acceleration Gradient (MPAG) rather than Maximum Water Head Gradient (MWHG). This paper presents the results of a small-scale laboratory experiment that serves as the proof of concept of the proposed technology. The ultimate goal of this study is to improve upon the existing SCADA (Supervisory Control And Data Acquisition) by integrating the proposed non-invasive monitoring techniques to ultimately develop the next generation SCADA system for water distribution systems.

• International Journal of Internet, Broadcasting and Communication
• /
• v.13 no.2
• /
• pp.67-75
• /
• 2021

As pass the three revised bills, the Personal Information Protection Act was revised to have a larger application for personal information. For an industrial development through an efficient and secure usage of personal information, there is a need to revise the existing anonymity processing method. This paper modifies the Zero Knowledge Proofs algorithm among the anonymity processing methods to modify the anonymity process calculations by taking into account the reliability of the used service company. More detail, the formula of ZKP (Zero Knowledge Proof) used by ZK-SNAKE is used to modify the personal information for pseudonymization processing. The core function of the proposed algorithm is the addition of user variables and adjustment of the difficulty level according to the reliability of the data user organization and the scope of use. Through Setup_p, the additional variable γ can be selectively applied according to the reliability of the user institution, and the degree of agreement of Witness is adjusted according to the reliability of the institution entered through Prove_p. The difficulty of the verification process is adjusted by considering the reliability of the institution entered through Verify_p. SimProve, a simulator, also refers to the scope of use and the reliability of the input authority. With this suggestion, it is possible to increase reliability and security of anonymity processing and distribution of personal information.

• Journal of Power Electronics
• /
• v.19 no.5
• /
• pp.1074-1086
• /
• 2019

This paper presents the design and implementation of an improved cascaded multilevel inverter topology with asymmetric DC sources. This experimental inverter topology is a stand-alone system with simulations and experiments performed using resistance loads. The topology uses four asymmetric binary DC sources that are independent from each other and one H-bridge. The topology was simulated using PSIM software before an actual prototype circuit was tested. The proposed topology was shown to be very efficient. It was able to generate a smooth output waveform up to 31 levels with only eight switches. The obtained simulation and experimental results are almost identical. In a 1,200W ($48.3{\Omega}$) resistive load application, the THDv and efficiency of the topology were found to be 1.7% and 97%, respectively. In inductive load applications, the THDv values were 1.1% and 1.3% for an inductive load ($R=54{\Omega}$ dan L=146mH) and a 36W fluorescent lamp load with a capacitor connected at the dc bus.

• Microbiology and Biotechnology Letters
• /
• v.47 no.2
• /
• pp.278-288
• /
• 2019

In the present investigation, we attempted to design a protocol to develop a hybrid protein with better bioremediation capacity. Using in silico approaches, a Hybrid Open Reading Frame (Hybrid ORF) is developed targeting the genes of microorganisms known for degradation of organophosphates. Out of 21 genes identified through BLAST search, 8 structurally similar genes (opdA, opd, opaA, pte RO, pdeA, parC, mpd and phnE) involved in biodegradation were screened. Gene conservational analysis categorizes these organophosphates degrading 8 genes into 4 super families i.e., Metallo-dependent hydrolases, Lactamase B, MPP and TM_PBP2 superfamily. Hybrid protein structure was modeled using multi-template homology modeling (3S07_A; 99%, 1P9E_A; 98%, 2ZO9_B; 33%, 2DXL_A; 33%) by $Schr{\ddot{o}}dinger$ software suit version 10.4.018. Structural verification of protein models was done using Ramachandran plot, it was showing 96.0% residue in the favored region, which was verified using RAMPAGE. The phosphotriesterase protein was showing the highest structural similarity with hybrid protein having raw score 984. The 5 binding sites of hybrid protein were identified through binding site prediction. The docking study shows that hybrid protein potentially interacts with 10 different organophosphates. The study results indicate that the hybrid protein designed has the capability of degrading a wide range of organophosphate compounds.