• Title/Summary/Keyword: Verification Software

Search Result 952, Processing Time 0.031 seconds

Effective SoC Architecture of a VDP for full HD TVs (Full HD TV를 위한 효율적인 VDP SoC 구조)

  • Kim, Ji-Hoon;Kim, Young-Chul
    • Smart Media Journal
    • /
    • v.1 no.1
    • /
    • pp.1-9
    • /
    • 2012
  • This Paper proposes an effective SoC hardware architecture implementing a VDP for Full HD TVs. The proposed architecture makes real time video processing possible with supporting efficient bus architecture and flexible interface. Video IP cores in the VDP are designed to provide a high quality of improved image enhancement function. The Avalon interface is adopted to guarantee real-time capability to IPs as well as SoC integration. This leads to reduced design time and also enhanced designer's convenience due to the easiness in IP addition, deletion, and revision for IP verification and SoC integration. The embedded software makes it possible to implement flexible real-time system by controlling setting parameter details and data transmitting schemes in real-time. The proposed VDP SoC design is implemented on Cyclon III SoPC platform. The experimental results show that our proposed architecture of the VDP SoC successfully provides required quality of Video image by converting SD level input to Full HD level image.

  • PDF

Improvement of the Yaw Motion for Electric Vehicle Using Independent Front Wheel Steering and Four Wheel Driving (독립 전륜 조향 및 4륜 구동을 이용한 전기 차량의 선회 운동 향상)

  • Jang, Jae-Ho;Kim, Chang-Jun;Kim, Sang-Ho;Kang, Min-Sung;Back, Sung-Hoon;Kim, Young-Soo;Han, Chang-Soo
    • Journal of Institute of Control, Robotics and Systems
    • /
    • v.19 no.1
    • /
    • pp.45-55
    • /
    • 2013
  • With the recent advancement of control method and battery technology, the electric vehicle have been researched to replace the conventional vehicle with electric vehicle with the view point of the environmental concerns and energy conservation. An electric vehicle which is equipped with the independent front steering system and in-wheel motors has advantage in terms of control. For example, the different torque which generated by left and right wheels directly can make yaw moment and the independent steering using outer wheel control is able to reduce the sideslip angle. Using of independent steering and driving system, the 4 wheel electric vehicle can improve a performance better than conventional vehicle. In this paper, we consider the method for improving the cornering performance of independent front steering system and in-wheel motor used electric vehicle with the compensated outer wheel angle and direct yaw moment control. Simulation results show that the method can improve the cornering performance of 4 wheel electric vehicle. We also apply the steering motor failure to steer the vehicle turned by the torque difference without steering. This paper describes an independent front steering and driving, consist of three parts; Vehicle Model, Control Algorithm for independent steering and driving and simulation. First, vehicle model is application of TruckSim software for independent front steering and 4 wheel driving. Second, control algorithm describes the reduced sideslip and direct yaw moment method in view of cornering performance. Last is simulation and verification.

Modeling Technologies for Unbonded Post-Tension Systems (비부착형 포스트텐션 구조의 모델링기법)

  • Kang, Thomas H.K.;Rha, Chang-Soon
    • Journal of the Computational Structural Engineering Institute of Korea
    • /
    • v.24 no.1
    • /
    • pp.33-41
    • /
    • 2011
  • This study presents modeling technologies applicable to an unbonded post-tension system using a finite element software package. In this study, both direct modeling method and multiple spring method were used. The direct modeling method adopts tube-to-tube contact elements to represent the physical feature of a post-tension system. The multiple spring method uses virtual tendons attached to the real tendons using a number of rigid axial springs that freely rotate at the ends. Both modeling technologies provide accurate predictions. However, only the multiple spring method provides numerically stable and reliable responses with a consideration of concrete tension stiffening effects. Therefore, the multiple spring method turned out to be a generally applicable modeling technology for the unbonded post-tension system. Comparisons were made for the analytical and experimental results for the verification of the selected method, and parameter studies were carried out to confirm the appropriateness of the modeling assumptions and parameters adopted in the analysis.

Development and Verification of SoC Platform based on OpenRISC Processor and WISHBONE Bus (OpenRISC 프로세서와 WISHBONE 버스 기반 SoC 플랫폼 개발 및 검증)

  • Bin, Young-Hoon;Ryoo, Kwang-Ki
    • Journal of the Institute of Electronics Engineers of Korea SD
    • /
    • v.46 no.1
    • /
    • pp.76-84
    • /
    • 2009
  • This paper proposes a SOC platform which is eligible for education and application SOC design. The platform, fully synthesizable and reconfigurable, includes the OpenRISC embedded processor, some basic peripherals such as GPIO, UART, debug interlace, VGA controller and WISHBONE interconnect. The platform uses a set of development environment such as compiler, assembler, debugger and RTOS that is built for HW/SW system debugging and software development. Designed SOC, IPs and Testbenches are described in the Verilog HDL and verified using commercial logic simulator, GNU SW development tool kits and the FPGA. Finally, a multimedia SOC derived from the SOC platform is implemented to ASIC using the Magnachip cell library based on 0.18um 1-poly 6-metal technology.

Evaluation Metrics for Ontology Modules Based on the Relationship Type (관계 유형에 기반한 온톨로지 모듈 평가 메트릭)

  • Oh, Sun-Ju
    • The Journal of Society for e-Business Studies
    • /
    • v.15 no.2
    • /
    • pp.19-35
    • /
    • 2010
  • In response to an increased need, various methods for ontology modularization have been proposed. However, few studies have focused on evaluative methods for ontology modules. In this study, we devise novel metrics to measure ontology modularity. To evaluate the ontology modules, we introduce cohesion and coupling based on the theory of software metrics. A cohesion metric and two coupling metrics were used to measure cohesion and coupling for ontology modules. These metrics were also used to check consistency between the ontology modules and the original ontology. The new metrics support a more detailed relationship between classes in ontology modules. We validate the proposed metrics using the well known verification framework and perform the empirical experiments to complement previous investigations. This study offers ontology engineers valuable criteria with which to select and use ontology modules and modularization techniques.

A Study of Information and Communications Framework for Information Education Curriculum Standard Model (초등 정보과 교육과정 표준모델을 위한 정보통신 교육과정 탐구)

  • Park, Namje;Kim, Chul;Shin, Soo-Bum
    • Journal of The Korean Association of Information Education
    • /
    • v.21 no.1
    • /
    • pp.127-137
    • /
    • 2017
  • In this paper, previous research materials for the education in the area of information and communications of elementary information curriculum, new improvement and the suitability of contents selection were examined and analyzed. Targeting professors in the departments of elementary computer education nationwide, the importance of the educational contents organization and the appropriateness of education period were investigated. Based on the investigation results, they were evaluated through the verification of the third delphi survey, the final educational contents were selected, and the elements of key concepts, achievement standards were drawn up and suggested. The proposed organization of educational contents in the area of information and communications of the elementary information curriculum and the achievement standards will be able to be used for the re-organization and improvement of detailed elementary information educational contents.

Blockly webc Programming Convergent Learning System (Blockly webc 프로그래밍 융합 학습시스템)

  • Cho, Sang
    • Journal of the Korea Convergence Society
    • /
    • v.6 no.1
    • /
    • pp.23-28
    • /
    • 2015
  • Teaching programming skills is not only required for computer related departments but through the area of engineering and natural science. Moreover recently teaching programming skill is emphasized in software education for primary schools and secondary schools. Since programming ability is considered an essencial element of national competitiveness, we need programming learning system which alleviates the difficulty. We implemented Blockly webc Programming Convergent Learning System which is based on the graphic tools called Blockly by Google. Inside system problem sets for the programming beginners are embedded in the system. These problem sets are gone under more than 20 years verification and these problem sets may be used to help beginning programmers escape novice coder in short time. Blockly webc Programming Convergent Learning System together with already developed Simple Visual Language2 Programming Learning System is expected to play an important role as a programming learning system for the beginners.

A Method of Intra Mode Coding for Joint Exploration Model (JEM) (차세대 비디오 부호화 실험모델(JEM)의 화면내 예측 모드 부호화 기법)

  • Park, Dohyeon;Lee, Jinho;Kang, Jung Won;Kim, Jae-Gon
    • Journal of Broadcast Engineering
    • /
    • v.23 no.4
    • /
    • pp.495-502
    • /
    • 2018
  • JVET (Joint Video Exploration Team) which explored evolving technologies of video coding with capabilities beyond HEVC (High Efficiency Video Coding), released a references software codec named the Joint Exploration Model (JEM) for performance verification of coding technologies. JEM has 67 intra prediction modes that extend the 35 modes of HEVC for intra prediction. Therefore, the enhancement of the coding performance is limited due to the overhead of prediction mode coding. In this paper, we analyze the probabilities of prediction modes selections, and then we propose a more efficient intra prediction mode coding based on the results of analyzed mode occurrence. In addition, we propose a context modeling for CABAC (Context-Adaptive Binary Arithmetic Coding) of the proposed mode coding. Experimental results show that the BD-rate gain is 0.02% on the AI (All Intra) coding structure compared to JEM 7.0. We need to optimize context modeling for additional coding performance enhancement.

Strengthening of concrete structures with buckling braces and buckling restrained braces

  • Mazloom, Moosa;Pourhaji, Pardis;Farash, Abbas Moosa;Sanati, Amir Hossein
    • Structural Monitoring and Maintenance
    • /
    • v.5 no.3
    • /
    • pp.391-416
    • /
    • 2018
  • The purpose of this article is to strengthen concrete structures using buckling and non-buckling braces. Connection plates are modeled in three shapes including the effect of 1.5t hinge zone length, 2t one and without the zone (1.5t-CP, 2t-CP and WCP). According to the verification performed with ABAQUS software, the connection plates which are superior in ductility and strengthening are found. The results show adding steel braces in concrete moment frames increase the strength and stiffness of the structures up to about 12 and 3 times, respectively. The frame strength increased about 21 and 25 percent with considering the effect of 2t hinge length in connection plates compared to 1.5t-CPs and WCPs. Also the ductility of retrofitted frames with 2t-CP improved 2.06 times more than WCP ones. Thus, 2t-CP sample is the best choice for connecting steel braces to concrete moment frames for retrofitting them. Afterwards, optimum conditions for elemental coating in braces with no buckling are assessed. The length of concrete coatings could be reduced about 30 percent, and buckling did not occur. Therefore, the weight of restraining coating decreased, and its performance improved. It is worth noting that BRBs could be constructed with only steel materials, which have outer steel tubes too. In fact, only the square cross sections of the tube profiles are appropriate for removing the filler concrete, and the rectangular ones are prone to buckle around their weak axis.

(A Process Model to Improve the Requirements Change Management for the Development Methodologies) (개발 방법론의 요구 사항 변경 관리를 개선하기 위한 프로세스 모델)

  • 정규장;신종철;구연설
    • Journal of KIISE:Software and Applications
    • /
    • v.30 no.5_6
    • /
    • pp.503-514
    • /
    • 2003
  • In conventional development methodologies, requirements are considered to be not changing after analysis phase, and requirements specifications are used for the next step system design purpose. But in the real world, requirements can be changed and modified throughout the development life cycle according to end-user's more understanding about the target system, new IT technologies, changes of customer environment and market situation, and so on. So there needs a requirements change management process that can extend requirements management over the entire development life cycle and can support managing changes to the requirements after design phase. In this paper, a requirements change management process that can be integrated into conventional development methodologies is proposed to support the extension of requirements life cycle and managing changes to the requirements after design phase. This process was evaluated through an verification test with a widely used development methodology‘MaRMI’.