• 제목/요약/키워드: Verifying System

검색결과 855건 처리시간 0.031초

인터넷 환경용 정책 기반 프라이버시 인가 시스템 (A Policy-based Privacy Authorization System in the Internet Environment)

  • 최향창;박희만;이승용;노봉남;이형효
    • 정보보호학회논문지
    • /
    • 제16권6호
    • /
    • pp.47-61
    • /
    • 2006
  • 인터넷에서 기업의 정보시스템은 기업이 보유하고 있는 개인정보와 다른 기업에 저장 유지되는 개인정보를 개인이나 기업의 이익을 위해 사용한다. 본 논문은 개인정보 제공자인 사용자와 개인정보 활용자인 기업의 프라이버시 정책을 기반으로 개인정보에 대한 접근을 통제하는 프라이버시 인가 시스템을 설계하고 구현한다. 제안된 프라이버시 인가 시스템은 OASIS에서 제정한 인가정책 기술언어 표준인 XACML을 이용하여 프라이버시 보호 정책을 기술한다. 프라이버시 인가시스템은 XACML 1.0 스펙과 일부 XACML 2.0 스펙을 구현한 Sun사의 SUNXACML 1.2 패키지를 수정 및 확장하여 프라이버시 인가 시스템은 구현되었으며 프라이버시 보호 정책 설정과 점검을 위한 GUI 개발 도구 및 시험 도구도 함께 개발되었다.

배전 선로 부하예측 모델의 신뢰성 평가를 위한 비교 검증 시스템 (Development of Comparative Verification System for Reliability Evaluation of Distribution Line Load Prediction Model)

  • Lee, Haesung;Lee, Byung-Sung;Moon, Sang-Keun;Kim, Junhyuk;Lee, Hyeseon
    • KEPCO Journal on Electric Power and Energy
    • /
    • 제7권1호
    • /
    • pp.115-123
    • /
    • 2021
  • Through machine learning-based load prediction, it is possible to prevent excessive power generation or unnecessary economic investment by estimating the appropriate amount of facility investment in consideration of the load that will increase in the future or providing basic data for policy establishment to distribute the maximum load. However, in order to secure the reliability of the developed load prediction model in the field, the performance comparison verification between the distribution line load prediction models must be preceded, but a comparative performance verification system between the distribution line load prediction models has not yet been established. As a result, it is not possible to accurately determine the performance excellence of the load prediction model because it is not possible to easily determine the likelihood between the load prediction models. In this paper, we developed a reliability verification system for load prediction models including a method of comparing and verifying the performance reliability between machine learning-based load prediction models that were not previously considered, verification process, and verification result visualization methods. Through the developed load prediction model reliability verification system, the objectivity of the load prediction model performance verification can be improved, and the field application utilization of an excellent load prediction model can be increased.

RISC-V 프로세서의 FPGA 구현 및 검증 (FPGA Implementation and Verification of RISC-V Processor)

  • 이종복
    • 한국인터넷방송통신학회논문지
    • /
    • 제23권5호
    • /
    • pp.115-121
    • /
    • 2023
  • RISC-V는 오픈소스 명령어집합 아키텍처로, 누구나 자유롭게 RISC-V 마이크로프로세서를 설계하고 구현할 수 있다. 본 논문에서는 RISC-V 아키텍처를 설계하고 시뮬레이션한 후, FPGA에 구현 및 합성하고 로직아날라이저(ILA)를 이용하여 검증하였다. RISC-V 코어는 SystemVerilog로 작성되어 효율적인 설계와 높은 재사용성을 나타내며, 다양한 응용 분야에서 사용 가능하다. Vivado를 사용하여 Ultra96-V2 FPGA보드에 합성함으로써 RISC-V 코어를 하드웨어로 구현하였고, 통합로직아날라이저(ILA)를 통해 설계의 정확성과 동작을 검증하였다. 실험 결과, 설계된 RISC-V 코어는 기대한 동작을 수행함을 확인하였으며, 이러한 연구 결과는 RISC-V 기반 시스템 설계와 검증에 중요한 기여를 할 수 있다.

Extracting of Features in Code Changes of Existing System for Reengineering to Product Line

  • Yoon, Seonghye;Park, Sooyong;Hwang, Mansoo
    • 한국컴퓨터정보학회논문지
    • /
    • 제21권5호
    • /
    • pp.119-126
    • /
    • 2016
  • Software maintenance becomes extremely difficult, especially caused by multiple versions in project-based or customer-oriented software development methodology. For reducing the maintenance cost, reengineering to software product line can be a solution to the software which either is a family of products nevertheless little different functionalities or are customized for each different customer's requirement. At an initial stage of the reengineering, the most important activity in software product line is feature extraction with respect to commonality and variability from the existing system due to verifying functional coverage. Several researchers have studied to extract features. They considered only a single version in a single product. However, this is an obstacle to classify the commonality and variability of features. Therefore, we propose a method for systematically extracting features from source code and its change history considering several versions of the existing system. It enables us to represent functionalities reflecting developer's intention, and to clarify the rationale of variation.

기술난이도와 기술성숙도를 이용한 핵심기술 연구개발 위험도 관리에 관한 연구 (A Study on the Risk Management of Core Technology R&D Project using Degree of Difficulty and Technology Readiness Level)

  • 이태형
    • 한국군사과학기술학회지
    • /
    • 제19권6호
    • /
    • pp.789-796
    • /
    • 2016
  • In the Core Technology R&D of the defence area, the development of the related core element technology could be the foundation to develop advanced weapon system in the future. But it might make various problems if you can not accurately define the TRL of the element technology. In other words, if the technology is not sufficiently mature and then the project starts, it might require an increase in the development period and additional cost. Finally the system will be in an incomplete state and result in user dissatisfaction and the project failure. Therefore it is a very important task to properly assess the TRL for a successful project. In this study, We propose the method for risk management of core technology R&D project of the defence area using the QFD process with degree of difficulty and technology readiness level. It is also presented the process to determine the risk level using TRL and Degree of difficulty. Finally We apply this method to UGV system for verifying the result of this study.

PM 스텝 모터의 개선된 마이크로 스텝 구동 (A Modified Microstep Drive of PM Step Motor)

  • 이태규;신기상;허욱열
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 1996년도 하계학술대회 논문집 A
    • /
    • pp.15-17
    • /
    • 1996
  • In this paper, a modified microstep drive of PM step motor is presented. The open-loop drive of a step motor is attractive and widely accepted in applications of speed and position controls. However, the performance of the step motor is limited under the open-loop drive. The closed-loop control is advantages over the open-loop control not only in that step failure never occurs but that the motion is much quicker and smoother. However, a high resolution sensor is needed for detecting position and speed. The modified microstep drive is constructed as a microstep drive with speed feedback. The advantages of the proposed method is that the controller can be designed by a low resolution sensor and is simpler than other closed-loop controller. A concept of vector control is used for verifying the proposed scheme. Simulations show the performance of the proposed method and a comparison with a classic drive method.

  • PDF

디젤엔진 공기과급기의 압력맥동 기인소음 평가기법 개발 (Development of the Evaluation Method for Aerodynamic Noise Caused by Pressure Pulsation in the Turbocharged Diesel Engine)

  • 이종규;김형진;강구태
    • 한국소음진동공학회:학술대회논문집
    • /
    • 한국소음진동공학회 2007년도 추계학술대회논문집
    • /
    • pp.918-922
    • /
    • 2007
  • Aero-pulsation noise, generally caused by geometric asymmetry of a rotating device, is considerable source of annoyance in passenger cars using the turbocharged diesel engine. Main source of this noise is the compressor wheel in the turbocharger system, and can be reduced by after-treatment such as silencers, but which may increase the manufacturing cost. More effective solution is to improve the geometric symmetry over all, or to control the quality of components by sorting out inferior ones. The latter is more effective and reasonable than the former in view of manufacturing. So, an appropriate discrimination method should be needed to evaluate aero-pulsation noise level at the production line. In this paper, we introduce the accurate method which can measure the noise level of aeropulsation and also present its evaluation criteria. Besides verifying the reliability of a measurement system - a rig test system -, we analyze the correlation between the results from rig tests and those from vehicle tests. The gage R&R method is carried out to check the repeatability of measurements over 25 samples. From the result, we propose the standard specification which can discriminate inferior products from superior ones on the basis of aero-pulsation noise level.

  • PDF

Discovery of CPA`s Tacit Decision Knowledge Using Fuzzy Modeling

  • Li, Sheng-Tun;Shue, Li-Yen
    • 한국지능정보시스템학회:학술대회논문집
    • /
    • 한국지능정보시스템학회 2001년도 The Pacific Aisan Confrence On Intelligent Systems 2001
    • /
    • pp.278-282
    • /
    • 2001
  • The discovery of tacit knowledge from domain experts is one of the most exciting challenges in today\`s knowledge management. The nature of decision knowledge in determining the quality a firm\`s short-term liquidity is full of abstraction, ambiguity, and incompleteness, and presents a typical tacit knowledge extraction problem. In dealing with knowledge discovery of this nature, we propose a scheme that integrates both knowledge elicitation and knowledge discovery in the knowledge engineering processes. The knowledge elicitation component applies the Verbal Protocol Analysis to establish industrial cases as the basic knowledge data set. The knowledge discovery component then applies fuzzy clustering to the data set to build a fuzzy knowledge based system, which consists of a set of fuzzy rules representing the decision knowledge, and membership functions of each decision factor for verifying linguistic expression in the rules. The experimental results confirm that the proposed scheme can effectively discover the expert\`s tacit knowledge, and works as a feedback mechanism for human experts to fine-tune the conversion processes of converting tacit knowledge into implicit knowledge.

  • PDF

스마트그리드를 위한 초고속 전력선통신기술 연구 (Study on Very High-Rate Power Line Communications for Smart Grid)

  • 최성수;오휘명;김영선;김용화
    • 전기학회논문지
    • /
    • 제60권6호
    • /
    • pp.1255-1260
    • /
    • 2011
  • In this paper, we study on the reliability of Very High-rate Power Line Communication (VH-PLC) for Smart Grid, so that the resultant data rate is over 400Mbps at a physical layer. Firstly, reviewing the research trend of the PLC, we discuss the required techniques for supporting the Smart Grid. Considering a pre-specification with the value of several parameters, we investigate a multi-carrier modulation technique to overcome limitations of higher rate transmission under power line channel environments. Then, we propose a system specification of the VH-PLC in the sense of enhancing two features. One is resolving the problem of the co-existence of the deployed high-speed PLC according to the published standardization of KS X 4600-1 in Korea. The other is getting better performance on the grid adopting the diverse element techniques, such as multi-carrier modulation, a subcarrier utilization mode, a variable rate LDPC (Low Density Parity Check) code, and a time and frequency diversity technique. Further, a simulation tool, composed of an Event-Driven simulator and a Time-Driven simulator, is developed for the purpose of verifying the system performance and continuously cross-checking the test bench signal of the proposed VH-PLC system.

10의 -10승 수준에서 조셉슨 전압표준기 불확도 평가 (Uncertainty Evaluation of Josephson Voltage Standard in the level of $10^{-10}$)

  • 김규태;김문석;정연욱;김완섭;송운
    • Progress in Superconductivity
    • /
    • 제9권1호
    • /
    • pp.56-61
    • /
    • 2007
  • The most recent improvement in the 10 V array system was carried out with focusing on noise reduction. We have evaluated the uncertainty of the 10 V Josephson array system after the improvement. The uncertainty evaluation of 10 V standard included a comparison with a programmable Josephson array system at 1 V. Every contribution to the measurement uncertainty was evaluated in the level of $10^{-10}$. The estimated combined uncertainty was found to be approximately $10^{-9}$ at 10 V, which was limited only by the indirect verifying method. In the near future, a direct comparison with another 10 V Josephson voltage standard is expected to be carried out to provide more accurate uncertainty evaluation for the KRISS Josephson voltage standard.

  • PDF