• 산업융합연구
• /
• 제21권5호
• /
• pp.133-142
• /
• 2023

최근 학력 위변조 문제는 단순히 교육기관에서 생성된 증명서 조작, 재학 중에 수료를 졸업으로 속여 기록하는 등 자동화된 관계 검증과 검증 자체를 신뢰하기 어려운 문제가 존재한다. 이는 대학 기관들의 학력 데이터베이스 공유 부재와 학력 추적이 어려운 독립된 시스템을 구축/운영하고 있기 때문이다. 본 연구는 대학 기관을 중심으로 학력 검증을 위한 E-AV 모델을 설계 및 구현한다. 기존 학력에 대한 연계 정보들을 요약하여 암호화된 데이터베이스로 저장하고, 기존 시스템의 호환성과 확장성을 고려하여 웹 표준 기술로 구현했다. 샘플 데이터 검증 결과 위변조에 안전성을 개선하고, 저장 공간과 실행성능의 준수한다는 것을 확인했다. 본 연구는 향후 국내 대학 교육기관 학력 관리 등 온라인 검증 서비스 개선에 이바지하고자 한다.

• 교육시설 논문지
• /
• 제24권3호
• /
• pp.3-13
• /
• 2017

This study has developed a design indicator required to promote green remodeling in school facilities. And, implemented the green remodeling pilot test on the school facilities that are planning actual remodeling. This pilot test suggested user participation design methodology such as verification of the developed design indicator, design goal setting, evaluation and adjustment of design proposal. The Green Remodeling Design Indicators were classified into 3 large categories of architectural performance, usability, and design through analysis of cases related to 'green buildings' and 'remodeling'. We have developed nine middle categories such as architectural and structural performance, facility performance, environmentally-friendly, circulation, space, amenity, harmony with surroundings, form and symbolization. In addition, 42 detailed indicators were developed for each category, including general, functional, and special indicators. For the verification of this study, two green remodeling design workshops were conducted for Gwangju J elementary school. The first design workshop presented the importance of the design indicator and set the goal of the design plan of green remodeling for project. And, the second Workshop presented the evaluation of the satisfaction with the design and the direction of future adjustment for project. The design indicator developed in this study can be utilized as a design indicator of design quality management and decision system for the school green remodeling in the future. In addition, by accumulating information on the Green Remodeling Project, it is necessary to spread green remodeling and construct a sustainable building environment.

• 유체기계공업학회:학술대회논문집
• /
• 유체기계공업학회 2002년도 유체기계 연구개발 발표회 논문집
• /
• pp.419-424
• /
• 2002

The HANARO, a multi-purpose research reactor of 30 MWth open-tank-in-pool type, has been under normal operation since its initial criticality In February, 1995. Many experiments should be safely performed to activate the utilization of the HANARO. A flow simulation facility is being developed for the endurance test of reactivity control units for extended life times and the verification of structural integrity of those experimental facilities prior to loading in the HANARO. This test facility is composed of three major parts; a half-core structure assembly, flow circulation system and support system. The flow circulation system is composed of a circulation pump, a core flow pipe, a core bypass flow pipe and instruments. The system is to be filled with de-mineralized water and the flow should be met the design flow to simulate similar flow characteristics in the core channel of the half-core test facility to the HANARO. This paper, therefore, describes an analytical analysis to study the flow behavior of the system. The computational flow analysis has been performed for the verification of system pressure variation through the three-dimensional analysis program with standard k-$\epsilon$ turbulence model and for the verification of the structural piping integrity through the finite element method. The results of the analysis are satisfied the design requirements and structural piping integrity of flow circulation system.

• 한국실내디자인학회논문집
• /
• 제20권3호
• /
• pp.242-248
• /
• 2011

According to a study on the accident patterns of older people in 2006 by Korea Consumer Agency (CISS), the number of accidents of the elderly at home reached 486, and the figure has increased every year. As Korea is about to enter into the aged society, it is important to investigate the factors that cause an accident in the welfare facilities for the aged and establish the barrier-free construction standards. The accident influence factors include facility environmental, physical functional, socio demographic and socio psychological factors. In terms of the verification tools, there are Facility Evaluation Index, FIM, MMSE-K and General Feature. In terms of analysis method, in addition, there are real number, percentage, t-test, ANOVA and logistic regression. In conclusion, this paper attempts to reveal correlations among the accident influence factors using the Facility Evaluation Standards (115 items in total) for facility environmental factor, FIM (3 items) for physical functional factor, MMSE-K (6 items) for socio psychological factor and questionnaire (5 items) for socio demographic factor.

• 한국CDE학회논문집
• /
• 제16권5호
• /
• pp.351-360
• /
• 2011

Product systems are quickly and frequently changed because Product Life Cycle is continuously reduced and adopting new product is steadily fast. Thus, various studies are progressed using simulation which is one of digital manufacturing. The research that is concerning simulation of control verification for shorten the commissioning which has a lot of trial and error is in progress. Also, simulation of control verification has strength that it can catch the errors in advance. However, a control program in simulation needs virtual factory for representation of control information. For this reason, excessive time and energy is put into controlling the virtual factory. So, in this paper, we construct library which is using exist data, in order to overcome limitation of these problems. Furthermore, we suggest methodology which can model and verify the process more speedy using library. Especially, we give body to the BB/BR Line process which has many altering equipment and need high technology effectively using physical and logical modeling. We can set up a control simulation environment very rapidly, as well as cut process time down using our suggestion.

• 대한전자공학회논문지SD
• /
• 제38권10호
• /
• pp.735-745
• /
• 2001

범용성이란 측면은 프로세서의 설계 과정 중 기능 검증의 중요도를 크게 부각시킨다. 따라서 본 논문은 기존 시뮬레이션 방법과 병행하여 기능 검증의 효율성을 높일 수 있는 효율적인 랜덤 벡터 기능 검증 방법을 제시한다. 본 기능 검증 방법은 내장형 제어 RISC 코어에 적합하며 실제 연세대학교와 삼성전자가 공동 개발한 32비트 프로세서인 CalmRISCTM-32의 코어 기능 검증에 적용하여 효율성을 확인한 바 있다. 본 기능 검증 방법은 클락 기반의 명령어 수준 시뮬레이터를 개발하여 이를 참조 모델로 삼고 랜덤 벡터로 이루어진 워크로드에 대해 HDL 시뮬레이션 결과와 비교함으로써 오류 검출을 수행하며 일반적인 테스트 벡터로써 발견하기 어려운 오류 유형을 보완하는 동시에 설계자에게 새로운 오류 유형의 기준을 제시하는 효과를 지닌다.

• Journal of Computing Science and Engineering
• /
• 제11권1호
• /
• pp.9-23
• /
• 2017

NuDE 2.0 (Nuclear Development Environment 2.0) is a formal-method-based software development, verification and safety analysis environment for safety-critical digital I&Cs implemented with programmable logic controller (PLC) and field-programmable gate array (FPGA). It simultaneously develops PLC/FPGA software implementations from one requirement/design specification and also helps most of the development, verification, and safety analysis to be performed mechanically and in sequence. The NuDE 2.0 now consists of 25 CASE tools and also includes an in-depth solution for indirect commercial off-the-shelf (COTS) software dedication of new FPGA-based digital I&Cs. We expect that the NuDE 2.0 will be widely used as a means of diversifying software design/implementation and model-based software development methodology.

• 한국유체기계학회 논문집
• /
• 제7권1호
• /
• pp.30-35
• /
• 2004

The HANARO, a multi-purpose research reactor of 30 MWth open-tank-in-pool type, has been under normal operation since its initial criticality in February, 1995. Many experiments should be safely performed to activate the utilization of the HANARO. HANARO flow simulation facility is being developed for the endurance test of reactivity control units for extended life time and the verification of structural integrity of those experimental equipments prior to loading in the HANARO. This facility is composed of three major parts; a half-core structure assembly, a flow circulation system and a support system. The flow circulation system is composed of a circulation pump, a core flow piping, a core bypass flow piping and instruments. The system is to be filled with de-mineralized water and the flow should be met the design requirements to simulate a similar flow characteristics in the core channel of the half-core structure assembly to the HANARO. This paper, therefore, presents an analytical analysis to study the flow behavior of the system. Computational flow analysis has been performed for the verification of system pressure variation through the three-dimensional analysis program with the standard $k-{\epsilon}$ turbulence model and for the verification of the structural piping integrity through the finite element method. According to the analysis results, it could be said that the design requirements and the structural piping integrity of the flow circulation system are satisfied.

• 한국시뮬레이션학회논문지
• /
• 제20권2호
• /
• pp.41-48
• /
• 2011

함포 사격통제시스템은 수상함 전투체계에서 가장 사용빈도가 높은 무장 시스템으로 탄도 계산의 연산과정이 복잡할 뿐만 아니라 각종 레이더 및 센서등 자함에 탑재된 대부분의 장비로부터 정보를 수신하여 탄도계산을 수행하기 때문에 시뮬레이션을 통해 사전에 검증을 하는 것이 필요하다. 본 논문에서는 함포 사격통제시스템을 검증하기 위한 시뮬레이션 환경 구축 기법을 제안하였으며, 구축된 시뮬레이션 환경을 통해 무기체계의 개발진행단계별로 주어진 데이터를 최대한 활용하는 효율적이며 실용적인 시뮬레이션 방법을 제시하였다. 시뮬레이션을 통해 검증된 사격통제시스템은 실제 수상함 전투체계에 탑재되어 함포사격에서 우수한 결과를 얻었으며, 이를 통해 제안된 시뮬레이션 방법의 정확성 또한 입증되었다.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2004년도 춘계학술대회
• /
• pp.2053-2058
• /
• 2004

The pressurized light water cooled, medium power (330 MWt) SMART (System-integrated Modular Advanced ReacTor) has been under development at KAERI for a dual purpose : seawater desalination and electricity generation. The SMART design verification phase was followed to conduct various separate effects tests and comprehensive integral effect tests. The high temperature / high pressure thermal-hydraulic test facility, VISTA(Experimental Verification by Integral Simulation of Transient and Accidents) has been constructed to simulate the SMART-P (the one fifth scaled pilot plant) by KAERI. Experimental tests have been performed to investigate the thermal-hydraulic dynamic characteristics of the primary and the secondary systems. Heat transfer characteristics and natural circulation performance of the PRHRS (Passive Residual Heat Removal System) of SMART-P were also investigated using the VISTA facility. The coolant flows steadily in the natural circulation loop which is composed of the steam generator (SG) primary side, the secondary system, and the PRHRS. The heat transfers through the PRHRS heat exchanger and ECT are sufficient enough to enable the natural circulation of the coolant.