• Title/Summary/Keyword: 모델링 모듈

Search Result 509, Processing Time 0.028 seconds

A Study on Tools for Agent System Development (긴급메시지 전송 시스템의 모델링을 통한 안전성 검사)

  • Park, Chul-Woo;Yun, Sang-Jun;Kim, Kee-Chen
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2013.11a
    • /
    • pp.280-283
    • /
    • 2013
  • 최근 원자력 발전소, 의료 시스템, 항공 시스템 등과 같이 사람의 생명과 밀접하게 관련되어 있는 소프트웨어로 제어하는 시스템들이 점차 늘어나고 있다. 차량에서 또한 차량 제어 소프트웨어의 오작동으로 인한 잦은 사고로 인하여 운전자와 탑승자의 생명을 위협 받고 있다. 이러한 문제로 인하여 차량시스템 제어 소프트웨어도 안전성 확보를 위한 기술로 차량에 통신 기술을 접목한 차량 통신 기술에 대한 관심이 높아지고 있다. 차량 운전자 뿐 아니라 탑승자의 안전과 밀접하기 때문에 많은 연구가 진행되고 있다. 이러한 많은 연구 중 긴급메시지전송 시스템은 차량 간 통신(V2V)을 통한 운전자의 안전성 확보에 대한 연구다. 본 논문에서는 차량 긴급메시지 전송에 필요한 모듈을 구조적으로 나누고 이를 통하여 긴급메시지 전송시스템 구조의 안전성을 평가한다. 긴급메시지 전송시스템의 안정성을 검증하기 위하여 오토마타 모델링을 통한 시스템 구조를 설계하고 검증을 위해 CTL 논리식 정의, SMV(Symbolic Model Verifier)검증도구를 통한 시스템 안전성 모델 검사를 하였다.

A Study of HEAP-based Intelligent Agent applied to Warship Combat Simulation (함정전투 시뮬레이션을 위한 HEAP 기반 지능 에이전트에 관한 연구)

  • You, Yong-Jun;Chi, Sung-Do;Kim, Jae-Ick
    • Journal of the Korea Society for Simulation
    • /
    • v.19 no.4
    • /
    • pp.281-289
    • /
    • 2010
  • Recently the intelligent agent systems have been emerged as one of key issues for developing the defense M&S systems. However, most conventional agent architecture of M&S systems utilize the script-based models and can only deal with the individual behaviors so that they cannot suitably describe the precise tactical/strategic behavior and/or complex warfare environment. To overcome these problems, we have proposed the HEAP(Hierarchical Encapsulation and Abstraction Principle)-based hierarchical multi-agent system architecture that is able to intelligently cope with the complex missions based on the functional role of each agent on the hierarchy such as an intelligence officer, captain, commander.

A Digital Image Watermarking Using A Bottom-up Attention Module (상향식 주의 모듈을 사용한 디지털 워터마킹 기법)

  • Cheoi, Kyung-Joo
    • The KIPS Transactions:PartB
    • /
    • v.15B no.4
    • /
    • pp.293-300
    • /
    • 2008
  • This paper takes a bottom-up attention module into consideration for digital image watermarking. A bottom-up attention module is employed to obtain the region of interest, and watermark information is embedded into the obtained region. Previous studies in digital image watermarking have been focused on the signal processing techniques, especially in waveform coding spreading watermarks over the entire target image. However, we notice that the third party's visual attention is usually concentrated on a few regions in an image but not on all of them. These regions are easy to be the target of attacks. If watermark information is inserted into these regions from the beginning, it can be detected with high correlation. Various kinds of images are tested, and the results showed good quality.

Case Study of Software Reverse Engineering using McCabe and BP/Win Tools (McCabe 및 BP/Win도구를 이용한 소프트웨어 역공학 사례연구)

  • Jo, Hyeon-Hun;Choe, Yong-Rak;Rhew, Sung-Yul
    • Journal of KIISE:Computing Practices and Letters
    • /
    • v.6 no.5
    • /
    • pp.528-535
    • /
    • 2000
  • This paper aims at providing guidelines enabling productive software construction by offering reusable modules which is used not only for effective maintenance for each step, but also for a re-engineering process after analyzing developed source code. There are four processing steps. The first is to analyze source code. The second is module slicing and clustering using McCabe and BP/Win Tools, The third is to transform the outputs extracted from the business model to reusable modules. The final step is to design repository and to construct a system. In this paper, we applied the fourth step to our case study, which was specified from the first step to the fourth. The specified fourth step contains various things for constructing repository. And the fourth step reanalyzes informal and unstructured information by using reverse engineering tools, in order to provide effective guidelines for productive software maintenance and re-engineering.

  • PDF

A Study of Modular Dome Structural Modeling with Highly Filled Extrusion Wood-Plastic Composite Member (고충진 압출성형 합성목재를 이용한 모듈러 돔의 구조모델링에 관한 연구)

  • Shon, Su-Deok;Kwak, Eui-Shin;Lee, Seung-Jae
    • Journal of the Korea institute for structural maintenance and inspection
    • /
    • v.19 no.2
    • /
    • pp.76-83
    • /
    • 2015
  • This paper aims at developing an environmentally friendly modular dome structure system with highly filled extrusion wood-plastic composite (WPC) member, and manufacturing a real-size specimen by modularizing members and nodes. The member used in the model is the WPC member with 70% wooden fiber contests, which is higher then previous WPC one. Its members and nodes are modularized by analyzing geometric characteristics of icosahedral-based geodetic dome. Applicapability of the 6ea prototype nodes and 3ea prototype members to the modular dome is examined with the results of the modulaization and the making process for the real-size specimen. Besides, from the analysis results, the lowest buckling mode is expected to be a nodal buckling on a node near the boundary.

A 3D Posture Measuring and Display System for Hemiplegic Patients (편마비 환자를 위한 3차원 보행 자세 측정 및 디스플레이 시스템)

  • Hwang, Yong-Ha;Kim, Yong-Seok
    • Journal of the Korea Society of Computer and Information
    • /
    • v.19 no.8
    • /
    • pp.119-127
    • /
    • 2014
  • TIn this paper, Hemiplegic patients have gait characteristics different from normal persons. This paper presents a posture measuring and display system reflecting their characteristics. Patients wear 3 sensor modules on thigh, calf and foot. To enhance measuring precision of each sensor module, 3D accelerometer and 3D gyroscope are combined. Gait posture is displayed in 3D by modeling thigh, calf and foot as connected 3D objects based on data of the sensor modules. For convenience in inspecting unusual gait posture of hemiplegic patients, any view angle of the 3D display can be selected. In addition, the current gait phase of RLA(Rancho Los Amigos) gait cycle is determined and displayed in real-time by utilizing the posture information, The phase sequence and duration of each phase can be used in evaluating gait quality of patients.

A Development of NURBS-Based Pre and Post Processor for Structural Analysis of Free-Shaped Beam (자유형상 보요소 해석을 위한 NURBS기반의 전·후처리 모듈 개발)

  • Jung, Sung-Jin;Park, Se-Hee
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.16 no.10
    • /
    • pp.6673-6678
    • /
    • 2015
  • Recently, the free form buildings are constructed frequently. Exterior and interior components of these buildings have the free cross-section and a curved shape. So, There are many usages of classical finite element having tapered section and free-style shape. Some general commercial applications like ETABS, SAP2000, MIDAS are usually used for the safety evaluation of the free form structures. However, there are some limits in the accuracy of structural analysis and the length of analysis time because a very complicated finite element mesh have to be used. Therefore, In this study, a pre and post program module was developed to take advantage of general 3-D curved beam element which has a free-style curved shape and mathematical backgrounds. Pre-post processing module has been developed in this study was developed to control the curvature of the curved members by the NURBS control points. As a result, fast geometric modeling than was possible commercial applications. In addition, realistic depiction of the shape and behavior patterns were possible because of the free-form building allows visual check of the free form.

An Identification and Specification Method of Crosscutting Concerns based on Goal-Scenario Modeling for Aspect-Oriented Software Development (Aspect-Oriented 소프트웨어 개발을 위한 목표-시나리오 모델링 기반의 횡단관심사 식별 및 명세화 방법)

  • Kim, Sun-Hwa;Kim, Min-Seong;Park, Soo-Yong
    • Journal of KIISE:Software and Applications
    • /
    • v.35 no.7
    • /
    • pp.424-430
    • /
    • 2008
  • Identifying crosscutting concerns during requirements engineering phase is one of the most essential parts in Aspect-Oriented Software Development. Considering crosscutting concerns in the earlier phase of the development improves consistency among requirements so that it can help maintain software systems efficiently and effectively. It also provides a systematic way to manage requirements changes by supporting traceability throughout the software lifecycle. Thus, identifying tangled and scattered concerns, and encapsulating them into separate entities must be addressed from the early phase of the development. To do so, first, functional and non-functional concerns must be clearly separated. Second, a pointcut where a main concern meets crosscutting concerns should be defined and specified precisely. Third, it is required to detect conflicts being occurred during composition of crosscutting concerns from the earlier phase. Therefore, this paper proposes a systematic approach to identifying and specifying crosscutting concerns using goal-scenario based requirements analysis. And we demonstrate the applicability of the approach by applying it into the intelligent service robot system.

Lens system design for head mounted display using schematic eyes (정밀모형안을 이용한 Head Mounted Display용 렌즈계 설계)

  • 박성찬;안현경
    • Korean Journal of Optics and Photonics
    • /
    • v.14 no.3
    • /
    • pp.236-243
    • /
    • 2003
  • We discussed the design of lens module schematic eyes equivalent to finite model eyes, which are used to model the human eye based on spherical aberration and Stiles-Crowford effect. The optical system for head mounted display (HMD) is designed and evaluated using lens module schematic eyes. In addition to a compact HMD system, an optical system with high Performance is required. To satisfy these requirements, we used diffractive optical elements and aspheric surfaces so that the color and mono-chromatic aberrations were corrected. The optical system for HMD is composed of 0.47 inch micro-display of SVGA grade with 480,000 pixels, a plastic hybrid lens for the virtual image, and the lens module schematic eyes. The designed optical system fulfills the current specifications of HMD: such as, EFL of 31.25 mm, FOV of 24H$\times$18V$\times$30D degrees, and overall length of 59.1 mm. As a result, we could design an optical system useful for HMD; the system is expected to be comfortable while the user wears it.

Data Mining Approaches for DDoS Attack Detection (분산 서비스거부 공격 탐지를 위한 데이터 마이닝 기법)

  • Kim, Mi-Hui;Na, Hyun-Jung;Chae, Ki-Joon;Bang, Hyo-Chan;Na, Jung-Chan
    • Journal of KIISE:Information Networking
    • /
    • v.32 no.3
    • /
    • pp.279-290
    • /
    • 2005
  • Recently, as the serious damage caused by DDoS attacks increases, the rapid detection and the proper response mechanisms are urgent. However, existing security mechanisms do not effectively defend against these attacks, or the defense capability of some mechanisms is only limited to specific DDoS attacks. In this paper, we propose a detection architecture against DDoS attack using data mining technology that can classify the latest types of DDoS attack, and can detect the modification of existing attacks as well as the novel attacks. This architecture consists of a Misuse Detection Module modeling to classify the existing attacks, and an Anomaly Detection Module modeling to detect the novel attacks. And it utilizes the off-line generated models in order to detect the DDoS attack using the real-time traffic. We gathered the NetFlow data generated at an access router of our network in order to model the real network traffic and test it. The NetFlow provides the useful flow-based statistical information without tremendous preprocessing. Also, we mounted the well-known DDoS attack tools to gather the attack traffic. And then, our experimental results show that our approach can provide the outstanding performance against existing attacks, and provide the possibility of detection against the novel attack.