• Title/Summary/Keyword: Verification Software

Search Result 952, Processing Time 0.027 seconds

Proposal of Performance Analysis Model for Blockchain-based Database System (블록체인 기반 데이터베이스 성능 분석 모델에 대한 제안)

  • Je-Ho Park
    • Journal of the Semiconductor & Display Technology
    • /
    • v.22 no.2
    • /
    • pp.45-49
    • /
    • 2023
  • When blockchain technology, which shows various applicability, is utilized as a component of a database system, the characteristics of open verification and integrity/transparency of blockchain technology can bring new functionalities or enhanced results to the existing database system. However, when applying this blockchain technology to a database system, the cost versus expected effect in various performance perspectives must be evaluated. These costs include execution time and required storage space, and the performance of the converged system may vary in analysis method depending on the configuration method of the characteristics of the blockchain. This paper aims to propose an analysis model for the entire architecture by considering aspects that are not considered in the performance analysis models of database systems and the unique characteristics of blockchains. In doing so, we are trying to build a theoretical framework as an important conceptual technique that should be considered in the evaluation process of the performance results that can be obtained through the utilization of blockchain components in database systems. What we hope is that this work is expected to provide a useful foundation for researchers interested in the convergence of database systems and blockchain technology in order to construct a system with new future functionalities.

  • PDF

Multi-Objective Optimization Study of Blast Wall Installation for Mitigation of Damage to Hydrogen Handling Facility (수소 취급시설 피해 저감을 위한 방호벽 설치 다목적 최적화 연구)

  • Se Hyeon Oh;Seung Hyo An;Eun Hee Kim;Byung Chol Ma
    • Journal of the Korean Society of Safety
    • /
    • v.38 no.6
    • /
    • pp.9-15
    • /
    • 2023
  • Hydrogen is gaining attention as a sustainable and renewable energy source, potentially replacing fossil fuels. Its high diffusivity, wide flammable range, and low ignition energy make it prone to ignition even with minimal friction, potentially leading to fire and explosion risks. Workplaces manage ignition risks by classifying areas with explosive atmospheres. However, the effective installation of a blast wall can significantly limit the spread of hydrogen, thereby enhancing workplace safety. To optimize the wall installation of this barrier, we employed the response surface methodology (RSM), considering variables such as wall distance, height, and width. We performed 17 simulations using the Box-Behnken design, conducted using FLACS software. This process yielded two objective functions: explosion likelihood near the barrier and explosion overpressure affecting the blast wall. We successfully achieved the optimal solution using multi-objective optimization for these two functions. We validated the optimal solution through verification simulations to ensure reliability, maintaining a margin of error of 5%. We anticipated that this method would efficiently determine the most effective installation of a blast wall while enhancing workplace safety.

Relevance of E- Learning and Quality Development in Higher Education

  • Arshi Naim;Sahar Mohammed Alshawaf
    • International Journal of Computer Science & Network Security
    • /
    • v.24 no.1
    • /
    • pp.187-195
    • /
    • 2024
  • This is an extended paper explaining the role of E-learning and quality development in the current situation. Amid Covid:19, E-Learning has achieved a new miles stone in imparting education and all levels of institutions have transformed their learning platform from face to face to virtual learning. In this scenario E-Learning is facing two major challenges, first to ensure the ability of computer systems or software to exchange and make use of information on virtual platform (interoperability) and secondly, developing quality learning through e-Learning. To impart learning and teaching (L&T) through E-learning, Middle East University (MEU) has adopted Learning Management Services (LMS) through Blackboard. The university has three types of L&T methods; full online, Blended and Supportive. This research studies the concept, scope and dimensions of interoperability (InT) of E-Learning in MEU then the connection and interdependence between with quality development. In this paper we have described the support and the importance of finest standards and specifications for the objectives of InT of E-Learning and quality development in MEU. The research is based principally on secondary data observed from MEU E-Learning deanship. Also sample of 20 E-Learning experts at MEU were given closed ended as well as semi closed questionnaires for evaluating the assurance of InT of E-Learning and quality development. These experts are mainly certified online facilitators and admin staff. Results provide the verification of application and presence of InT of E-Learning and assured the quality development process in MEU.

An analysis of torsional flange-upsetting process based on slab method (슬래브법을 이용한 회전 다이 플랜지 업세팅 공정 해석)

  • Jae-Hoon Park
    • Design & Manufacturing
    • /
    • v.18 no.2
    • /
    • pp.29-34
    • /
    • 2024
  • This study intends to reduce forming load by adding die rotation to flange-upsetting process. Materials arc formed by the compression and rotational torque which are accrued from rotation of the lower die accompanied by axial compression of the punch. For the theoretic analysis of flange-upsetting process using rotation die, slab method was used. Furthermore, for the verification of the theoretic analysis results, FEM simulation using DEFORM 3D a commercial software was done, and through the model material experiment using Prasticine, the results were compared and reviewed. Flange-upsetting process using rotation die shows reduced forming load compared with process without die rotation and demonstrates uniform distribution of strain. And as for the effect of the reduction of forming load, the less the aspect ratio(h0/d0) and the greater friction coefficient, the greater effect is. With increase in die rotation velocity, the effect of forming load reduction also increases little by little, but its effect on forming load reduction is very negligible compared with other forming parameters. Theoretic analysis results and simulation results coincided pretty well. The flange-upsetting process using die rotation are evaluated as useful process that can produce reduction of forming load and uniform strain.

Perception of Library Personel Towards Socal Media Utilization for Information Service Delivery in University Libraries in Kwara State

  • Saliu Abdulfatai;Aishat Temitope Akinbowale
    • International Journal of Knowledge Content Development & Technology
    • /
    • v.14 no.4
    • /
    • pp.85-99
    • /
    • 2024
  • The study examined perception of library personnel towards social media utilization for information service delivery in kwara state university library. It adopted the descriptive survey design with population consisting of 27 professional librarians in three selected university libraries in kwara State. Total enumerative sampling techniques were used because the population of the study is manageable by the researcher. Percentage and mean were used in analyzing the data. Primary data solicited would be cleaned, coded and entered into the Statistical Package for Social Sciences (SPSS) version 20 software for quantitative analysis. The findings of the study revealed the services rendered by library professional in university libraries in Kwara State, are Current Awareness Services (CAS), Photocopying services, Technical Services, Circulation/borrowing services, Internet services, and Bibliographic verification services. Majority of the respondent indicated Myspace, Google plus, Flickr, Telegram, Twitter, WhatsApp and Facebook are the social media platforms used for service delivery by librarians. Also, majority of the respondents in university libraries indicated Google plus, LinkedIn, Myspace, Skype, WhatsApp, Flickr, WeChat, Twitter and Facebook as social media space use for information service delivery effectively and Bandwidth problem, Limited fund, Lack of maintenance culture, Lack of Awareness, Copyright Issue, Technophobia are the major challenges inhibiting the use of social media for service delivery by the library staff. Lastly, the study concluded with recommendations.

SNN eXpress: Streamlining Low-Power AI-SoC Development With Unsigned Weight Accumulation Spiking Neural Network

  • Hyeonguk Jang;Kyuseung Han;Kwang-Il Oh;Sukho Lee;Jae-Jin Lee;Woojoo Lee
    • ETRI Journal
    • /
    • v.46 no.5
    • /
    • pp.829-838
    • /
    • 2024
  • SoCs with analog-circuit-based unsigned weight-accumulating spiking neural networks (UWA-SNNs) are a highly promising solution for achieving lowpower AI-SoCs. This paper addresses the challenges that must be overcome to realize the potential of UWA-SNNs in low-power AI-SoCs: (i) the absence of UWA-SNN learning methods and the lack of an environment for developing applications based on trained SNN models and (ii) the inherent issue of testing and validating applications on the system being nearly impractical until the final chip is fabricated owing to the mixed-signal circuit implementation of UWA-SNN-based SoCs. This paper argues that, by integrating the proposed solutions, the development of an EDA tool that enables the easy and rapid development of UWA-SNN-based SoCs is feasible, and demonstrates this through the development of the SNN eXpress (SNX) tool. The developed SNX automates the generation of RTL code, FPGA prototypes, and a software development kit tailored for UWA-SNN-based application development. Comprehensive details of SNX development and the performance evaluation and verification results of two AI-SoCs developed using SNX are also presented.

Comparison Study of Conventional Film-based and CT-reconstruction method in HDR Brachytherapy (고선량률 근접 방사선 치료에서 기존의 필름 방법과 CT 재구성 방법의 비교 연구)

  • 장지나;이형구;윤세철;서태석
    • Progress in Medical Physics
    • /
    • v.15 no.2
    • /
    • pp.63-69
    • /
    • 2004
  • HDR brachytherapy administers a large dose of radiation in a short time compare with LDR, and its optimization for treatment is related to several complex factors, such as physical, radiation and optimization algorithms, so there is a need for these to be verified for accurate dose delivery. In our approach, a previous study concerning the phantom for dose verification has been modified, and a new pelvic phantom fabricated for the purpose of localization, including a structure enabling the use of a CT or MRI system. In addition, a comparison study was performed to verify an orthogonal method that is commonly used for brachytherapy localization by comparing target coordinates from a CT system. Since the developed phantom was designed to simulate the clinical setups of cervix cancer, it included an air-filled bladder and a rectum structure shaped sphere and cylinder An N-shaped localizer was used to obtain precision coordinates from both CT and films. Moreover, the IDL 5.5 software program for Windows was used to perform coordinates analysis based on an orthogonal algorithm. The film results showed differences within 1.0 mm of the selected target points compare with the CT coordinates. For these results, a Plato planning system (Nucletron, Netherlands) could be independently verified using this phantom and software. Furthermore, the new phantom and software will be efficient and powerful qualify assurance (QA) tools in the field of brachytherapy QA.

  • PDF

ISO/IEC 9126 Quality Model-based Assessment Criteria for Measuring the Quality of Big Data Analysis Platform (빅데이터 분석 플랫폼 평가를 위한 ISO/IEC 9126 품질 모델 기반 평가준거 개발)

  • Lee, Jong Yun
    • Journal of KIISE
    • /
    • v.42 no.4
    • /
    • pp.459-467
    • /
    • 2015
  • The analysis platform of remote-sensing big data is a system that downloads data from satellites, transforms it to a data type of L3, and then analyzes it and produces its analysis results. The objective of this paper is to develop ISO/IEC 9126-1 software quality model-based assessment criteria, in order to evaluate the quality of remote-sensing big data analysis platform. Its detailed research contents are as follows. First, the ISO/IEC 9216 standards and previous software evaluation models will be reviewed. Second, this paper will define evaluation areas, evaluation elements, and evaluation items for measuring the quality of big data analysis platform. Third, the validity of the assessment criteria will be verified by statistical experiments through content validity, reliability validity, and construct validity, by using SPSS 20.0 and Amos 20.0 software. The construct validity will also be conducted by performing the confirmatory factor analysis and path analysis. Lastly, it is significant that our research result demonstrates the first evaluation criteria in measuring the quality of big data analysis platform. It is also expected that our assessment criteria could be used as the basis information for evaluation criteria in the platforms that will be developed in the future.

The establishment of Digital Image Capture System(DICS) using conventional simulator (Conventional simulator를 이용한 Digital image capture system(DICS)의 구축)

  • Oh Taesung;Park Jongil;Byun Youngsik;Shin HyunKyoh
    • The Journal of Korean Society for Radiation Therapy
    • /
    • v.16 no.2
    • /
    • pp.25-32
    • /
    • 2004
  • Purpose : The simulator is used to determine patient field and ensure the treatment field, which encompasses the required anatomy during patient normal movement such as during breathing. The latest simulator provide real time display of still, flouroscopic and digitalized image, but conventional simulator is not yet. The purpose of this study is to introduce digital image capture system(DICS) using conventional simulator and clinical case using digital captured still and flouroscopic image. Methods and materials : We connect the video signal cable to the video terminal in the back up of simulator monitor, and connect the video jack to the A/D converter. After connection between the converter jack and computer, We can acquire still image and record flouroscopic image with operating image capture program. The data created with this system can be used in patient treatment, and modified for verification by using image processing software. (j.e. photoshop, paintshop) Result : DICS was able to establish easy and economical procedure. DCIS image was helpful for simulation. DICS imaging was powerful tool in the evaluation of the department specific patient positioning. Conclusion : Because the commercialized simulator based of digital capture is very expensive, it is not easily to establish DICS simulator in the most hospital. DICS using conventional simulator enable to utilize the practical use of image equal to high cost digitalized simulator and to research many clinical cases in case of using other software program.

  • PDF

Topology of High Speed System Emulator and Its Software (초고속 시스템 에뮬레이터의 구조와 이를 위한 소프트웨어)

  • Kim, Nam-Do;Yang, Se-Yang
    • The KIPS Transactions:PartA
    • /
    • v.8A no.4
    • /
    • pp.479-488
    • /
    • 2001
  • As the SoC designs complexity constantly increases, the simulation that uses their software models simply takes too much time. To solve this problem, FPGA-based logic emulators have been developed and commonly used in the industry. However, FPGA-based logic emulators are facing with the problems of which not only very low FPGA resource usage rate due to the very limited number of pins in FPGAs, but also the emulation speed getting slow drastically as the complexity of designs increases. In this paper, we proposed a new innovative emulation architecture and its software that has high FPGA resource usage rate and makes the emulation extremely fast. The proposed emulation system has merits to overcome the FPGA pin limitation by pipelined ring which transfers multiple logic signal through a single physical pin, and it also makes possible to use a high speed system clock through the intelligent ring topology. In this topology, not only all signal transfer channels among EPGAs are totally separated from user logic so that a high speed system clock can be used, but also the depth of combinational paths is kept swallow as much as possible. Both of these are contributed to achieve high speed emulation. For pipelined singnals transfer among FPGAs we adopt a few heuristic scheduling having low computation complexity. Experimental result with a 12 bit microcontroller has shown that high speed emulation possible even with these simple heuristic scheduling algorithms.

  • PDF