• Title/Summary/Keyword: Verification Software

Search Result 952, Processing Time 0.026 seconds

Verification of Dose Evaluation of Human Phantom using Geant4 Code (Geant4 코드를 사용한 인체팬텀 선량평가 검증)

  • Jang, Eun-Sung;Choi, Ji-Hoon
    • Journal of the Korean Society of Radiology
    • /
    • v.14 no.5
    • /
    • pp.529-535
    • /
    • 2020
  • Geant4 is compatible with the Windows operating system in C++ language use, enabling interface functions that link DICOM or software. It was simulated to address the basic structure of the simulation using Geant4/Gate code and to specifically verify the density composition and lung cancer process in the human phantom. It was visualized using the Gate Graphic System, i.e. openGL, Ray Tracer: Ray Tracing by Geant4 Tracing, and using Geant4/Gate code, lung cancer is modeled in the human phantom area in 3D, 4D to verify the simulation progress. Therefore, as a large number of new functions are added to the Gate Code, it is easy to implement accurate human structure and moving organs.

A Study on the Full-HD HEVC Encoder IP Design (고해상도 비디오 인코더 IP 설계에 대한 연구)

  • Lee, Sukho;Cho, Seunghyun;Kim, Hyunmi;Lee, Jehyun
    • Journal of the Institute of Electronics and Information Engineers
    • /
    • v.52 no.12
    • /
    • pp.167-173
    • /
    • 2015
  • This paper presents a study on the Full-HD HEVC(High Efficiency Video Coding) encoder IP(Intellectual Property) design. The designed IP is for HEVC main profile 4.1, and performs encoding with a speed of 60 fps of full high definition. Before hardware and software design, overall reference model was developed with C language, and we proposed a parallel processing architecture for low-power consumption. And also we coded firmware and driver programs relating IP. The platform for verification of developed IP was developed, and we verified function and performance for various pictures under several encoding conditions by implementing designed IP to FPGA board. Compared to HM-13.0, about 35% decrease in bit-rate under same PSNR was achieved, and about 25% decrease in power consumption under low-power mode was performed.

Whole Brain Radiotherapy Plus Chemotherapy in the Treatment of Brain Metastases from Lung Cancer: A Meta-analysis of 19 Randomized Controlled Trails

  • Liu, Wen-Jing;Zeng, Xian-Tao;Qin, Hai-Feng;Gao, Hong-Jun;Bi, Wei-Jing;Liu, Xiao-Qing
    • Asian Pacific Journal of Cancer Prevention
    • /
    • v.13 no.7
    • /
    • pp.3253-3258
    • /
    • 2012
  • Objective: To evaluate the efficacy and safety of whole brain radiotherapy (WBRT) plus chemotherapy versus WBRT alone for treating brain metastases (BM) from lung cancer by performing a meta-analysis based on randomized controlled trials (RCTs). Methods: The PubMed, Embase, CENTRAL, ASCO, ESMO, CBM, CNKI, and VIP databases were searched for relevant RCTs performed between January 2000 and March 2012. After quality assessment and data extraction, the meta-analysis was performed using the RevMan 5.1 software, with funnel plot evaluation of publication bias. Results: 19 RCTs involving 1,343 patients were included. The meta-analyses demonstrated that compared to WBRT alone, WBRT plus chemotherapy was more effective with regard to the objective response rate (OR = 2.30, 95% CI = 1.79 - 2.98; P < 0.001); however, the incidences of gastrointestinal reactions (RR = 3.82, 95% CI = 2.33 - 6.28, P <0.001), bone marrow suppression (RR = 5.49, 95% CI = 3.65 - 8.25, P < 0.001), thrombocytopenia (RR = 5.83, 95% CI = 0.39 - 86.59; P = 0.20), leukopenia (RR = 3.13, 95% CI = 1.77 - 5.51; P < 0.001), and neutropenia (RR = 2.75, 95% CI = 1.61 - 4.68; P < 0.001) in patients treated with WBRT plus chemotherapy were higher than with WBRT alone. There was no obvious publication bias detected. Conclusion: WBRT plus chemotherapy can obviously improve total efficacy rate, butalso increases the incidence of adverse reactions compared to WBRT alone. From the limitations of this study, more large-scale, high-quality RCTs are suggested for further verification.

Development of Operational Flight Program for Smart UAV (스마트무인기 비행운용프로그램 개발)

  • Park, Bum-Jin;Kang, Young-Shin;Yoo, Chang-Sun;Cho, Am
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.41 no.10
    • /
    • pp.805-812
    • /
    • 2013
  • The operational flight program(OFP) which has the functions of I/O processing with avionics, flight control logic calculation, fault diagnosis and redundancy mode is embedded in the flight control computer of Smart UAV. The OFP was developed in the environment of PowerPC 755 processor and VxWorks 5.5 real-time operating system. The OFP consists of memory access module, device I/O signal processing module and flight control logic module, and each module was designed to hierarchical structure. Memory access and signal processing modules were verified from bench test, and flight control logic module was verified from hardware-in-the-loop simulation(HILS) test, ground integration test, tethered test and flight test. This paper describes development environment, software structure, verification and management method of the OFP.

A Development of DMB-AF Player Supporting 3D Video Contents (3D 비디오 콘텐트를 지원하는 DMB-AF 플레이어 개발)

  • Kim, Yong-Han;Park, Min-Kyu
    • Journal of Broadcast Engineering
    • /
    • v.16 no.3
    • /
    • pp.542-551
    • /
    • 2011
  • Recently an extension to DMB-AF (Digital Multimedia Broadcasting Application Format) standard was proposed in [1] without sufficient validation for industrial application due to incomplete implementation. The extended DMB-AF can include stereoscopic video and stereoscopic images for interactive service data, i.e., MPEG-4 BIFS data, in addition to the existing 2D video and 2D images for BIFS services. The contents in the extended DMB-AF can provide a temporal mixture of 2D/3D video presentations possibly with or without 2D/3D images for BIFS services. In this paper we developed DMB-AF player software that can play the extended DMB-AF files and authored several test files for its verification. As a result, we introduced a new method for indicating dependencies of 3D media tracks to improve the extension in [1] and validated the extended DMB-AF with the improvement.

PKI-based Registration Authority using Efficient Human Iris Recognition Information (홍채 패턴 정보를 이용한 공개키 기반의 등록기관)

  • Lee, Kwan-Yong;Lim, Shin-Young
    • Journal of KIISE:Software and Applications
    • /
    • v.28 no.11
    • /
    • pp.864-873
    • /
    • 2001
  • In this paper, a new approach to building a registration authority for issuing PKI-based certificates is presented to make the process of identifying an individual more secure and reliable by utilizing human iris recognition technology. The tasks of the proposed system associated with the manipulation of irises except for the general functions of registration authorities can be categorized into three modules, the acquisition of iris images, the registration of iris information, and the verification of users by means of iris patterns. The information among the three modules is safely exchanged through encryption and decryption with a symmetric cryptographic method. As a feature extraction method for a given iris image, a wavelet transform is applied to represent a feature vector with a small dimension of information obtained by subsampling an image corresponding to lower frequency bands successively without loss of information. Through the experiments on human iris recognition technology we proposed and applied to the registration authority, the potential of biometric technology in various applications is confirmed.

  • PDF

A Binary Decision Diagram-based Modeling Rule for Object-Relational Transformation Methodology (객체-관계 변환 방법론을 위한 이진 결정 다이어그램 기반의 모델링 규칙)

  • Cha, Sooyoung;Lee, Sukhoon;Baik, Doo-Kwon
    • Journal of KIISE
    • /
    • v.42 no.11
    • /
    • pp.1410-1422
    • /
    • 2015
  • In order to design a system, software developers use an object model such as the UML class diagram. Object-Relational Transformation Methodology (ORTM) is a methodology to transform the relationships that are expressed in the object model into relational database tables, and it is applied for the implementation of the designed system. Previous ORTM studies have suggested a number of transformation methods to represent one relationship. However, there is an implementation problem that is difficult to apply because the usage criteria for each transformation method do not exist. Therefore, this paper proposes a binary decision diagram-based modeling rule for each relationship. Hence, we define the conditions for distinguishing the transformation methods. By measuring the query execution time, we also evaluate the modeling rules that are required for the verification. After evaluation, we re-define the final modeling rules which are represented by propositional logic, and show that our proposed modeling rules are useful for the implementation of the designed system through a case study.

Adaptive On-line State-of-available-power Prediction of Lithium-ion Batteries

  • Fleischer, Christian;Waag, Wladislaw;Bai, Ziou;Sauer, Dirk Uwe
    • Journal of Power Electronics
    • /
    • v.13 no.4
    • /
    • pp.516-527
    • /
    • 2013
  • This paper presents a new overall system for state-of-available-power (SoAP) prediction for a lithium-ion battery pack. The essential part of this method is based on an adaptive network architecture which utilizes both fuzzy model (FIS) and artificial neural network (ANN) into the framework of adaptive neuro-fuzzy inference system (ANFIS). While battery aging proceeds, the system is capable of delivering accurate power prediction not only for room temperature, but also at lower temperatures at which power prediction is most challenging. Due to design property of ANN, the network parameters are adapted on-line to the current battery states (state-of-charge (SoC), state-of-health (SoH), temperature). SoC is required as an input parameter to SoAP module and high accuracy is crucial for a reliable on-line adaptation. Therefore, a reasonable way to determine the battery state variables is proposed applying a combination of several partly different algorithms. Among other SoC boundary estimation methods, robust extended Kalman filter (REKF) for recalibration of amp hour counters was implemented. ANFIS then achieves the SoAP estimation by means of time forward voltage prognosis (TFVP) before a power pulse occurs. The trade-off between computational cost of batch-learning and accuracy during on-line adaptation was optimized resulting in a real-time system with TFVP absolute error less than 1%. The verification was performed on a software-in-the-loop test bench setup using a 53 Ah lithium-ion cell.

Vulnerability Analysis on the Mobile Core Network using OpenAirInterface (OpenAirInterface를 통한 모바일 코어네트워크 보안위협 분석)

  • Oh, In Su;Park, Jun Young;Jung, Eun Seon;Yim, Kang Bin
    • Smart Media Journal
    • /
    • v.9 no.3
    • /
    • pp.71-79
    • /
    • 2020
  • Mobile network is used by many users worldwide for diverse services, including phone-call, messaging and data transfer over the Internet. However, this network may experience massive damage if it is exposed to cyber-attacks or denial-of-service attacks via wireless communication interference. Because the mobile network is also used as an emergency network in cases of disaster, evaluation or verification for security and safety is necessary as an important nation-wide asset. However, it is not easy to analyze the mobile core network because it's built and serviced by private service providers, exclusively operated, and there is even no separate network for testing. Thus, in this paper, a virtual mobile network is built using OpenAirInterface, which is implemented based on 3GPP standards and provided as an open source software, and the structure and protocols of the core network are analyzed. In particular, the S1AP protocol messages captured on S1-MME, the interface between the base station eNodeB and the mobility manager MME, are analyzed to identify potential security threats by evaluating the effect of the messages sent from the user terminal UE to the mobile core network.

A Study on Verify of UAV Flight Control Software Simulated Flight using Model-Based Development and X-Plane simulator (모델기반 개발기법과 X-plane을 이용한 무인항공기 비행제어 프로그램 모의비행 검증)

  • Han, Dong-In;Kim, Young-Sik;Lee, Chang-Yong;Lee, Dae-Woo;Cho, Kyeum-Rae
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.43 no.2
    • /
    • pp.166-171
    • /
    • 2015
  • This paper shows the design of operational flight program(OFP) using model-based design(MBD) method which is used in various engineering fields to reduce time and flight risks for development. The verification of OFP for DO-178C guidelines carry out by a model advisor function of simulink. The flight control logic on simulink is converted into C-language by auto code generation tool from, then it is implemented on 32bit digital signal processor(DSP). The verifications of flight control algorithm on various weather conditions are performed by the HILS system with Flight simulator program, X-plane.