• Journal of the Institute of Convergence Signal Processing
• /
• v.12 no.4
• /
• pp.309-314
• /
• 2011

As a system becomes more complex, a design relies more heavily on a methodology based on high-level abstraction and functional verification. SystemVerilog includes characteristics of hardware design language and verification language in the form of extensions to the Verilog HDL. However, the OOP of System Veri log does not allow multiple inheritance. In this paper, we propose adoption of SystemC to introduce multiple inheritance. After being created, a SystemC unit is combined with a SystemVerilog-based verification environment using SystemVerilog DPI and ModelSim macro. Employing multiple inheritance of SystemC makes a design of a verification environment simple and easy through source code reuse. Moreover, a verification environment including SysemC unit has a benefit of reconfigurability due to OOP.

• Journal of Navigation and Port Research
• /
• v.37 no.1
• /
• pp.1-7
• /
• 2013

In this paper the developed prediction technique of wave-making resistance performance for a ship attached with a vertical blade had been verified. Numerical analysis program as a prediction technique had been developed using the Rankine source panel method and the vortex lattice method(VLM). The nonlinearity of the free surface conditions was fully taken into account using the iterative method and the trim and the sinkage of the ship were also considered in the numerical analysis program. Panel cutting method was applied to get hull surface panels. Numerical computations were carried out for a 4000TEU container carrier and the vertical blade was attached 6 different locations astern. To investigate the validity of the numerical analysis program the commercial viscous flow field analysis program FLUENT was used to obtain the viscous flow field around the ship and the model test was performed. The model test results were compared with the numerical analysis results.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.17 no.3
• /
• pp.525-532
• /
• 2013

Recently. smartphones have been popularized rapidly and now located deep in our daily life, providing a variety of services from banking, SNS (Social Network Service), and entertainment to smart-work mobile office through apps. Such smartphone apps can be easily downloaded from what is known as app store which, however, bears many security issues as software developers can just as easily upload to it. Military apps will be exposed to a myriad of security threats if distributed through internet-basis commercial app store. In order to mitigate such security concerns, this paper suggests a security guidelines for establishing a military-excusive app store and security verification system which prevent the security hazards that can occur during the process of development and distribution of military-use mobile apps.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.40 no.7
• /
• pp.608-615
• /
• 2012

In this study, we analyzed the system impedance of Unmanned Aerial Vehicle avionics bay and Environmental Control System(ECS), and estimated the proper air flow rate to be supplied avionics equipments. As the result of estimation, we evaluated the performance of ECS after analysing the flow balance rate and the air flow rate about each outlet port, and simultaneously decided the flow balance rate after evaluating the thermal substantiality by the thermal analysis of avionics bay. In order to verify the property of analysis result, we conducted the flow balance test using the actual avionics equipments and finally deduced the flow rate to be met system requirements of avionics equipments. Also, as the analysis results, we verified the satisfaction of system requirements at midium altitude condition and proved the performance characteristics of an Environmental Control System(ECS).

• Proceedings of the Korea Water Resources Association Conference
• /
• 2012.05a
• /
• pp.714-714
• /
• 2012

금강 하류부의 경우 '97년 금강홍수예경보 자료를 활용하고 있으나, 수치모형 결과 자료로 실측에 의한 검증이 이루어지지 않았으며, 이러한 문제점을 해결하기 위해서는 평수기 및 홍수기의 하류도달시간 실측 기술을 확보하여 실측을 통한 수치모형의 검증 및 보완이 필요한 실정이다. 또한, 보정된 수치모형을 이용한 도달시간 실시간 예측을 통해 댐 보 운영의 효율성을 확보하고 대 내외에 검증 결과를 제시할 필요가 있다. 하천 전 구간에서 실측할 수 있는 센서기술을 활용하여 금강의 일부 보 구간에 대하여 계측을 수행하였다. 계측결과 유출량-평균도달시간에 영향을 미치는 요인으로는 하상경사, 하폭, 지류유입량, 강우량, 식생, 하천구조물 등이 있으며, 이러한 요인을 수리학적 모형을 적용하여 모든 사상에 대해 정확한 해석을 한다는 것은 매우 어려운 일이다. 이로 인해 유출량-평균도달시간과의 관계 분석을 위해서는 여러 하도구간에 대한 지속적이고 많은 계측이 수반되어야 하며, 이로부터 얻어진 계측 결과를 토대로 각 하천별 유출량별 평균도달시간 관계에 대한 해석 방법을 제안할 수 있을 것으로 기대한다. 본 연구의 계측결과는 홍수기 8회, 평수기 10회를 통해 보 건설에 따른 하류 도달시간의 영향을 분석하기에는 계측 자료가 매우 부족한 실정이며, 향후 지속적인 관측자료 확보를 통해서 보 운영에 따른 도달시간의 영향을 분석할 수 있는 기초자료 확보가 매우 중요할 것이다. 또한, 지류 유입량을 고려한 실측자료를 기초로 기존 도달시간 산정 방법을 개선하고, 도달시간 계측 결과의 신뢰성 확보를 위한 지속적인 연구개발 수행하여 금강 전 유역으로 확대 적용하기 위한 방안 마련이 필요하다. 이를 통해 4대강살리기 사업 전 후의 도달, 지체시간 분석하여 사업구간에 대한 계측을 통한 금강에서의 보 건설 전 후의 영향 검토에 반영할 수 있도록 하여 수계별 관계분석 자료로 활용할 수 있도록 제공하여야 할 것이다.

• The Journal of the Korea Contents Association
• /
• v.21 no.10
• /
• pp.630-644
• /
• 2021

This study was conducted to develop evidence-based nursing practice guideline for the prevention of VAP. This is a methodological study to develop guideline and verify the effectiveness according to the hybrid method of the NECA. Topics and key questions were derived through literature review and interviews, and recommendations were converged and developed through guidelines review and SR and meta-analysis. This was verified through the RAND and evaluated through AGREEII. The clinical feasibility of the nursing practice guideline, consisting of 44 recommendations in 9 categories, was evaluated by 122 ICU nurses. Conclusively this evidence-based nursing practice guideline for the prevention of VAP was confirmed methodological quality and content validity and was suitable for our nursing practice environment.

• Journal of Platform Technology
• /
• v.8 no.4
• /
• pp.47-58
• /
• 2020

DO-330 Software Tool Qualification Considerations is a guideline for development of tools used to develop/verify software and hardware installed on aircraft. And among several processes, the verification process is very crucial as it occupies a large proportion for DO-330. Especially, in order to qualify tool with high safety level, test objectives must be performed with independence, accordingly, more time, cost, and manpower are required than other objectives. In addition, even if the test cases or test procedures are well defined, the higher the complexity of the test the higher probability of human error occurs. In this paper, we propose Script-based Test Automation Agent software structure for efficient DO-330 verification process of A661UAGEN tool developed by Hanwha Systems. Compared to the test performed manually by the test engineer, testing time of the Script-based Test Automation Agent is reduced by 87.5% and testing productivity is increased by 43.75%.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.28 no.5D
• /
• pp.677-684
• /
• 2008

The paper provides an approximate cost estimating model that can be used for tunnel. Based on the previous study analyzed critical factors that have impact on tunnel construction cost, this paper establishes a cost variance index table that reflects the cost impacts due to the change of the critical cost factors. An estimating procedure is described utilizing the index table. For the verification of the suggested model, the comparison of the estimated construction cost with real project cost is performed. The estimated results range from 95%~111% of the real project costs. As an approximate tunnel cost estimating model, the model can be utilized to quickly estimate tunnel construction costs based on the conceptual information at the planning stage and to efficiently make a decision on design alternatives.

• Journal of The Korean Institute of Defense Technology
• /
• v.5 no.3
• /
• pp.8-17
• /
• 2023

The current weapon system is operated as a complex weapon system with various standards and protocols applied, so there is a risk of failure in smooth information exchange during combined and joint operations on the battlefield. The interoperability of weapon systems to carry out precise strikes on key targets through rapid situational judgment between weapon systems is a key element in the conduct of war. Since the Korean military went into service, there has been a need to change the configuration and improve performance of a large number of software and hardware, but there is no verification system for the impact on interoperability, and there are no related test tools and facilities. In addition, during combined and joint training, errors frequently occur during use after arbitrarily changing the detailed operation method and software of the weapon/power support system. Therefore, periodic verification of interoperability between weapon systems is necessary. To solve this problem, rather than having people schedule an evaluation period and conduct the evaluation once, AI should continuously evaluate the interoperability between weapons and power support systems 24 hours a day to advance warfighting capabilities. To solve these problems, To this end, preliminary research was conducted to improve defense interoperability capabilities by applying natural language processing techniques (①Word2Vec model, ②FastText model, ③Swivel model) (using published algorithms and source code). Based on the results of this experiment, we would like to present a methodology (automated evaluation of interoperability requirements evaluation / level measurement through natural language processing model) to implement an automated defense interoperability evaluation tool without relying on humans.

• Journal of Korea Entertainment Industry Association
• /
• v.14 no.1
• /
• pp.137-147
• /
• 2020

This study is aimed to develop and validate the clinical competence scale of occupational therapy student. The development of clinical competence scale analyzed the definition of clinical performance and previous studies. preliminary examinations were conducted on 203 occupational therapy departments in 3rd and 4th grade to verify item analysis and job validity. After exploratory factor analysis, eight factors of professional consciousness, 11 items of occupational therapy evaluation factors, 4 items of occupational therapy intervention factors, and 4 items of communication factors were extracted into a total of 27 factors. As a result of verifying the reliability of each factor through the internal consistency coefficient Cronbach's α, it was found to be .87~.94 and the overall reliability was .96. The correlation between the total score and the factors of the clinical competence scale was statistically significant. Through the confirmatory factor analysis, the model fit test of the factor structure for 27 items of 4 factors (χ²=.76, df = .31, CFI = .81, TLI = .80, RMSEA = .79) is considered acceptable. Through this study, The clinical competence scale is a valid and reliable scale that can be useful for objectively assessing.